Index of /~mptp/mml5.63.1382/MPTP2/problems_small/hausdorf

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hausdorf__l20_hausdorf2021-07-17 20:06 23K 
[ ]hausdorf__l20_hausdorf.vout2021-07-25 18:26 8.4K 
[ ]hausdorf__t1_hausdorf2021-07-17 19:46 3.1K 
[ ]hausdorf__t1_hausdorf.depv12021-07-25 20:57 62  
[ ]hausdorf__t1_hausdorf.depvmin12021-07-25 21:03 62  
[ ]hausdorf__t1_hausdorf.vmin12021-07-25 20:57 679  
[ ]hausdorf__t1_hausdorf.vmin1out2021-07-25 20:58 9.5K 
[ ]hausdorf__t1_hausdorf.vout2021-07-25 16:01 5.8K 
[ ]hausdorf__t2_hausdorf2021-07-17 19:47 22K 
[ ]hausdorf__t2_hausdorf.depv12021-07-25 20:57 100  
[ ]hausdorf__t2_hausdorf.depvmin12021-07-25 21:03 100  
[ ]hausdorf__t2_hausdorf.vmin12021-07-25 20:57 1.7K 
[ ]hausdorf__t2_hausdorf.vmin1out2021-07-25 20:57 28K 
[ ]hausdorf__t2_hausdorf.vout2021-07-25 16:49 21K 
[ ]hausdorf__t3_hausdorf2021-07-17 19:47 24K 
[ ]hausdorf__t3_hausdorf.depv12021-07-25 20:57 374  
[ ]hausdorf__t3_hausdorf.depvmin12021-07-25 21:03 310  
[ ]hausdorf__t3_hausdorf.vmin12021-07-25 20:57 3.8K 
[ ]hausdorf__t3_hausdorf.vmin1out2021-07-25 20:59 46K 
[ ]hausdorf__t3_hausdorf.vout2021-07-25 14:30 41K 
[ ]hausdorf__t4_hausdorf2021-07-17 19:48 25K 
[ ]hausdorf__t4_hausdorf.vout2021-07-25 16:35 4.7K 
[ ]hausdorf__t5_hausdorf2021-07-17 19:48 26K 
[ ]hausdorf__t5_hausdorf.vout2021-07-25 14:39 4.7K 
[ ]hausdorf__t6_hausdorf2021-07-17 19:48 16K 
[ ]hausdorf__t6_hausdorf.vout2021-07-25 14:23 7.3K 
[ ]hausdorf__t7_hausdorf2021-07-17 19:49 28K 
[ ]hausdorf__t7_hausdorf.vout2021-07-25 15:10 4.7K 
[ ]hausdorf__t8_hausdorf2021-07-17 19:49 23K 
[ ]hausdorf__t8_hausdorf.depv12021-07-25 20:57 69  
[ ]hausdorf__t8_hausdorf.depvmin12021-07-25 21:03 36  
[ ]hausdorf__t8_hausdorf.vmin12021-07-25 20:57 1.7K 
[ ]hausdorf__t8_hausdorf.vmin1out2021-07-25 20:58 45K 
[ ]hausdorf__t8_hausdorf.vout2021-07-25 15:05 79K 
[ ]hausdorf__t9_hausdorf2021-07-17 19:50 22K 
[ ]hausdorf__t9_hausdorf.depv12021-07-25 20:57 76  
[ ]hausdorf__t9_hausdorf.depvmin12021-07-25 21:03 76  
[ ]hausdorf__t9_hausdorf.vmin12021-07-25 20:57 1.2K 
[ ]hausdorf__t9_hausdorf.vmin1out2021-07-25 21:01 19K 
[ ]hausdorf__t9_hausdorf.vout2021-07-25 17:46 25K 
[ ]hausdorf__t10_hausdorf2021-07-17 19:50 13K 
[ ]hausdorf__t10_hausdorf.depv12021-07-25 20:57 49  
[ ]hausdorf__t10_hausdorf.depvmin12021-07-25 21:03 49  
[ ]hausdorf__t10_hausdorf.vmin12021-07-25 20:57 567  
[ ]hausdorf__t10_hausdorf.vmin1out2021-07-25 21:02 6.1K 
[ ]hausdorf__t10_hausdorf.vout2021-07-25 16:54 6.1K 
[ ]hausdorf__t11_hausdorf2021-07-17 19:51 13K 
[ ]hausdorf__t11_hausdorf.depv12021-07-25 20:57 49  
[ ]hausdorf__t11_hausdorf.depvmin12021-07-25 21:03 49  
[ ]hausdorf__t11_hausdorf.vmin12021-07-25 20:57 567  
[ ]hausdorf__t11_hausdorf.vmin1out2021-07-25 20:58 6.1K 
[ ]hausdorf__t11_hausdorf.vout2021-07-25 19:48 6.1K 
[ ]hausdorf__t12_hausdorf2021-07-17 19:51 23K 
[ ]hausdorf__t12_hausdorf.depv12021-07-25 20:57 384  
[ ]hausdorf__t12_hausdorf.depvmin12021-07-25 21:03 372  
[ ]hausdorf__t12_hausdorf.vmin12021-07-25 20:57 3.7K 
[ ]hausdorf__t12_hausdorf.vmin1out2021-07-25 20:59 63K 
[ ]hausdorf__t12_hausdorf.vout2021-07-25 16:20 37K 
[ ]hausdorf__t13_hausdorf2021-07-17 19:51 28K 
[ ]hausdorf__t13_hausdorf.vout2021-07-25 17:38 4.7K 
[ ]hausdorf__t14_hausdorf2021-07-17 19:52 27K 
[ ]hausdorf__t14_hausdorf.vout2021-07-25 20:30 4.7K 
[ ]hausdorf__t15_hausdorf2021-07-17 19:52 24K 
[ ]hausdorf__t15_hausdorf.vout2021-07-25 15:17 7.3K 
[ ]hausdorf__t16_hausdorf2021-07-17 19:53 25K 
[ ]hausdorf__t16_hausdorf.vout2021-07-25 16:40 4.7K 
[ ]hausdorf__t17_hausdorf2021-07-17 19:53 21K 
[ ]hausdorf__t17_hausdorf.vout2021-07-25 17:09 7.3K 
[ ]hausdorf__t18_hausdorf2021-07-17 19:54 27K 
[ ]hausdorf__t18_hausdorf.vout2021-07-25 19:31 4.7K 
[ ]hausdorf__t19_hausdorf2021-07-17 19:54 22K 
[ ]hausdorf__t19_hausdorf.depv12021-07-25 20:57 118  
[ ]hausdorf__t19_hausdorf.depvmin12021-07-25 21:03 118  
[ ]hausdorf__t19_hausdorf.vmin12021-07-25 20:57 1.7K 
[ ]hausdorf__t19_hausdorf.vmin1out2021-07-25 21:02 18K 
[ ]hausdorf__t19_hausdorf.vout2021-07-25 14:36 24K 
[ ]hausdorf__t20_hausdorf2021-07-17 19:55 29K 
[ ]hausdorf__t20_hausdorf.vout2021-07-25 19:34 4.7K 
[ ]hausdorf__t21_hausdorf2021-07-17 19:55 23K 
[ ]hausdorf__t21_hausdorf.depv12021-07-25 20:57 118  
[ ]hausdorf__t21_hausdorf.depvmin12021-07-25 21:03 118  
[ ]hausdorf__t21_hausdorf.vmin12021-07-25 20:57 1.8K 
[ ]hausdorf__t21_hausdorf.vmin1out2021-07-25 20:59 20K 
[ ]hausdorf__t21_hausdorf.vout2021-07-25 16:59 25K 
[ ]hausdorf__t22_hausdorf2021-07-17 19:56 25K 
[ ]hausdorf__t22_hausdorf.depv12021-07-25 20:57 229  
[ ]hausdorf__t22_hausdorf.depvmin12021-07-25 21:03 216  
[ ]hausdorf__t22_hausdorf.vmin12021-07-25 20:57 4.2K 
[ ]hausdorf__t22_hausdorf.vmin1out2021-07-25 21:01 53K 
[ ]hausdorf__t22_hausdorf.vout2021-07-25 18:38 52K 
[ ]hausdorf__t23_hausdorf2021-07-17 19:56 28K 
[ ]hausdorf__t23_hausdorf.vout2021-07-25 14:28 4.7K 
[ ]hausdorf__t24_hausdorf2021-07-17 19:57 26K 
[ ]hausdorf__t24_hausdorf.vout2021-07-25 18:14 4.7K 
[ ]hausdorf__t25_hausdorf2021-07-17 19:57 26K 
[ ]hausdorf__t25_hausdorf.vout2021-07-25 19:29 4.8K 
[ ]hausdorf__t26_hausdorf2021-07-17 19:58 25K 
[ ]hausdorf__t26_hausdorf.depv12021-07-25 20:57 228  
[ ]hausdorf__t26_hausdorf.depvmin12021-07-25 21:03 228  
[ ]hausdorf__t26_hausdorf.vmin12021-07-25 20:57 3.7K 
[ ]hausdorf__t26_hausdorf.vmin1out2021-07-25 21:01 49K 
[ ]hausdorf__t26_hausdorf.vout2021-07-25 14:58 55K 
[ ]hausdorf__t27_hausdorf2021-07-17 19:58 25K 
[ ]hausdorf__t27_hausdorf.vout2021-07-25 20:01 7.4K 
[ ]hausdorf__t28_hausdorf2021-07-17 19:59 16K 
[ ]hausdorf__t28_hausdorf.depv12021-07-25 20:57 92  
[ ]hausdorf__t28_hausdorf.depvmin12021-07-25 21:03 92  
[ ]hausdorf__t28_hausdorf.vmin12021-07-25 20:57 1.6K 
[ ]hausdorf__t28_hausdorf.vmin1out2021-07-25 21:01 24K 
[ ]hausdorf__t28_hausdorf.vout2021-07-25 16:15 36K 
[ ]hausdorf__t29_hausdorf2021-07-17 19:59 24K 
[ ]hausdorf__t29_hausdorf.depv12021-07-25 20:57 180  
[ ]hausdorf__t29_hausdorf.depvmin12021-07-25 21:03 180  
[ ]hausdorf__t29_hausdorf.vmin12021-07-25 20:57 2.5K 
[ ]hausdorf__t29_hausdorf.vmin1out2021-07-25 21:00 23K 
[ ]hausdorf__t29_hausdorf.vout2021-07-25 19:28 20K 
[ ]hausdorf__t30_hausdorf2021-07-17 19:59 16K 
[ ]hausdorf__t30_hausdorf.depv12021-07-25 20:57 92  
[ ]hausdorf__t30_hausdorf.depvmin12021-07-25 21:03 92  
[ ]hausdorf__t30_hausdorf.vmin12021-07-25 20:57 1.6K 
[ ]hausdorf__t30_hausdorf.vmin1out2021-07-25 21:02 24K 
[ ]hausdorf__t30_hausdorf.vout2021-07-25 14:55 36K 
[ ]hausdorf__t31_hausdorf2021-07-17 20:00 27K 
[ ]hausdorf__t31_hausdorf.vout2021-07-25 15:05 4.7K 
[ ]hausdorf__t32_hausdorf2021-07-17 20:00 25K 
[ ]hausdorf__t32_hausdorf.vout2021-07-25 19:23 7.3K 
[ ]hausdorf__t33_hausdorf2021-07-17 20:01 31K 
[ ]hausdorf__t33_hausdorf.vout2021-07-25 19:25 4.7K 
[ ]hausdorf__t34_hausdorf2021-07-17 20:01 31K 
[ ]hausdorf__t34_hausdorf.vout2021-07-25 14:38 4.7K 
[ ]hausdorf__t35_hausdorf2021-07-17 20:02 16K 
[ ]hausdorf__t35_hausdorf.depv12021-07-25 20:57 119  
[ ]hausdorf__t35_hausdorf.depvmin12021-07-25 21:03 78  
[ ]hausdorf__t35_hausdorf.vmin12021-07-25 20:57 2.4K 
[ ]hausdorf__t35_hausdorf.vmin1out2021-07-25 21:02 26K 
[ ]hausdorf__t35_hausdorf.vout2021-07-25 20:57 45K 
[ ]hausdorf__t36_hausdorf2021-07-17 19:46 15K 
[ ]hausdorf__t36_hausdorf.depv12021-07-25 20:57 113  
[ ]hausdorf__t36_hausdorf.depvmin12021-07-25 21:03 89  
[ ]hausdorf__t36_hausdorf.vmin12021-07-25 20:57 1.6K 
[ ]hausdorf__t36_hausdorf.vmin1out2021-07-25 20:59 14K 
[ ]hausdorf__t36_hausdorf.vout2021-07-25 20:50 22K 
[ ]hausdorf__t37_hausdorf2021-07-17 20:02 32K 
[ ]hausdorf__t37_hausdorf.vout2021-07-25 16:18 6.8K 
[ ]hausdorf__t38_hausdorf2021-07-17 20:03 17K 
[ ]hausdorf__t38_hausdorf.depv12021-07-25 20:57 169  
[ ]hausdorf__t38_hausdorf.depvmin12021-07-25 21:03 169  
[ ]hausdorf__t38_hausdorf.vmin12021-07-25 20:57 3.3K 
[ ]hausdorf__t38_hausdorf.vmin1out2021-07-25 21:01 47K 
[ ]hausdorf__t38_hausdorf.vout2021-07-25 16:12 38K 
[ ]hausdorf__t39_hausdorf2021-07-17 20:03 31K 
[ ]hausdorf__t39_hausdorf.vout2021-07-25 17:59 6.3K 
[ ]hausdorf__t40_hausdorf2021-07-17 20:04 30K 
[ ]hausdorf__t40_hausdorf.vout2021-07-25 19:05 6.2K 
[ ]hausdorf__t41_hausdorf2021-07-17 20:05 30K 
[ ]hausdorf__t41_hausdorf.depv12021-07-25 20:57 327  
[ ]hausdorf__t41_hausdorf.depvmin12021-07-25 21:03 230  
[ ]hausdorf__t41_hausdorf.vmin12021-07-25 20:57 4.3K 
[ ]hausdorf__t41_hausdorf.vmin1out2021-07-25 21:00 122K 
[ ]hausdorf__t41_hausdorf.vout2021-07-25 19:35 55K 
[ ]hausdorf__t42_hausdorf2021-07-17 20:05 31K 
[ ]hausdorf__t42_hausdorf.vout2021-07-25 14:50 6.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80