Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/hausdorf

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hausdorf__l20_hausdorf2025-09-11 22:57 44K 
[ ]hausdorf__t1_hausdorf2025-09-11 21:53 5.9K 
[ ]hausdorf__t2_hausdorf2025-09-11 21:54 43K 
[ ]hausdorf__t3_hausdorf2025-09-11 21:56 45K 
[ ]hausdorf__t4_hausdorf2025-09-11 21:57 48K 
[ ]hausdorf__t5_hausdorf2025-09-11 21:59 48K 
[ ]hausdorf__t6_hausdorf2025-09-11 22:00 27K 
[ ]hausdorf__t7_hausdorf2025-09-11 22:02 52K 
[ ]hausdorf__t8_hausdorf2025-09-11 22:04 44K 
[ ]hausdorf__t9_hausdorf2025-09-11 22:05 42K 
[ ]hausdorf__t10_hausdorf2025-09-11 22:06 21K 
[ ]hausdorf__t11_hausdorf2025-09-11 22:07 21K 
[ ]hausdorf__t12_hausdorf2025-09-11 22:09 43K 
[ ]hausdorf__t13_hausdorf2025-09-11 22:10 51K 
[ ]hausdorf__t14_hausdorf2025-09-11 22:12 50K 
[ ]hausdorf__t15_hausdorf2025-09-11 22:14 46K 
[ ]hausdorf__t16_hausdorf2025-09-11 22:15 46K 
[ ]hausdorf__t17_hausdorf2025-09-11 22:17 41K 
[ ]hausdorf__t18_hausdorf2025-09-11 22:18 49K 
[ ]hausdorf__t19_hausdorf2025-09-11 22:20 43K 
[ ]hausdorf__t20_hausdorf2025-09-11 22:21 53K 
[ ]hausdorf__t21_hausdorf2025-09-11 22:23 45K 
[ ]hausdorf__t22_hausdorf2025-09-11 22:24 47K 
[ ]hausdorf__t23_hausdorf2025-09-11 22:26 51K 
[ ]hausdorf__t24_hausdorf2025-09-11 22:28 49K 
[ ]hausdorf__t25_hausdorf2025-09-11 22:30 49K 
[ ]hausdorf__t26_hausdorf2025-09-11 22:31 46K 
[ ]hausdorf__t27_hausdorf2025-09-11 22:33 47K 
[ ]hausdorf__t28_hausdorf2025-09-11 22:34 26K 
[ ]hausdorf__t29_hausdorf2025-09-11 22:36 46K 
[ ]hausdorf__t30_hausdorf2025-09-11 22:37 26K 
[ ]hausdorf__t31_hausdorf2025-09-11 22:39 50K 
[ ]hausdorf__t32_hausdorf2025-09-11 22:40 47K 
[ ]hausdorf__t33_hausdorf2025-09-11 22:42 57K 
[ ]hausdorf__t34_hausdorf2025-09-11 22:44 57K 
[ ]hausdorf__t35_hausdorf2025-09-11 22:45 27K 
[ ]hausdorf__t36_hausdorf2025-09-11 21:52 26K 
[ ]hausdorf__t37_hausdorf2025-09-11 22:47 57K 
[ ]hausdorf__t38_hausdorf2025-09-11 22:48 27K 
[ ]hausdorf__t39_hausdorf2025-09-11 22:50 56K 
[ ]hausdorf__t40_hausdorf2025-09-11 22:52 55K 
[ ]hausdorf__t41_hausdorf2025-09-11 22:54 56K 
[ ]hausdorf__t42_hausdorf2025-09-11 22:56 57K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80