Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/hausdorf

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hausdorf__l20_hausdorf2024-07-28 22:00 27K 
[ ]hausdorf__l20_hausdorf.vout2024-08-03 05:58 8.4K 
[ ]hausdorf__t1_hausdorf2024-07-28 21:04 3.1K 
[ ]hausdorf__t1_hausdorf.depv12024-08-03 10:19 62  
[ ]hausdorf__t1_hausdorf.depvmin12024-08-03 10:24 62  
[ ]hausdorf__t1_hausdorf.vmin12024-08-03 10:19 679  
[ ]hausdorf__t1_hausdorf.vmin1out2024-08-03 10:23 9.5K 
[ ]hausdorf__t1_hausdorf.vout2024-08-03 04:43 5.8K 
[ ]hausdorf__t2_hausdorf2024-07-28 21:05 26K 
[ ]hausdorf__t2_hausdorf.depv12024-08-03 10:19 100  
[ ]hausdorf__t2_hausdorf.depvmin12024-08-03 10:24 100  
[ ]hausdorf__t2_hausdorf.vmin12024-08-03 10:19 1.7K 
[ ]hausdorf__t2_hausdorf.vmin1out2024-08-03 10:23 28K 
[ ]hausdorf__t2_hausdorf.vout2024-08-03 08:49 21K 
[ ]hausdorf__t3_hausdorf2024-07-28 21:07 27K 
[ ]hausdorf__t3_hausdorf.depv12024-08-03 10:19 374  
[ ]hausdorf__t3_hausdorf.depvmin12024-08-03 10:24 310  
[ ]hausdorf__t3_hausdorf.vmin12024-08-03 10:19 3.8K 
[ ]hausdorf__t3_hausdorf.vmin1out2024-08-03 10:20 46K 
[ ]hausdorf__t3_hausdorf.vout2024-08-03 06:41 41K 
[ ]hausdorf__t4_hausdorf2024-07-28 21:08 29K 
[ ]hausdorf__t4_hausdorf.vout2024-08-03 04:31 4.7K 
[ ]hausdorf__t5_hausdorf2024-07-28 21:09 29K 
[ ]hausdorf__t5_hausdorf.vout2024-08-03 09:05 4.7K 
[ ]hausdorf__t6_hausdorf2024-07-28 21:10 16K 
[ ]hausdorf__t6_hausdorf.vout2024-08-03 07:19 7.3K 
[ ]hausdorf__t7_hausdorf2024-07-28 21:12 32K 
[ ]hausdorf__t7_hausdorf.vout2024-08-03 07:22 4.7K 
[ ]hausdorf__t8_hausdorf2024-07-28 21:13 27K 
[ ]hausdorf__t8_hausdorf.depv12024-08-03 10:19 69  
[ ]hausdorf__t8_hausdorf.depvmin12024-08-03 10:24 36  
[ ]hausdorf__t8_hausdorf.vmin12024-08-03 10:19 1.7K 
[ ]hausdorf__t8_hausdorf.vmin1out2024-08-03 10:21 45K 
[ ]hausdorf__t8_hausdorf.vout2024-08-03 08:33 79K 
[ ]hausdorf__t9_hausdorf2024-07-28 21:15 26K 
[ ]hausdorf__t9_hausdorf.depv12024-08-03 10:19 76  
[ ]hausdorf__t9_hausdorf.depvmin12024-08-03 10:24 76  
[ ]hausdorf__t9_hausdorf.vmin12024-08-03 10:19 1.2K 
[ ]hausdorf__t9_hausdorf.vmin1out2024-08-03 10:23 19K 
[ ]hausdorf__t9_hausdorf.vout2024-08-03 08:47 25K 
[ ]hausdorf__t10_hausdorf2024-07-28 21:15 13K 
[ ]hausdorf__t10_hausdorf.depv12024-08-03 10:19 49  
[ ]hausdorf__t10_hausdorf.depvmin12024-08-03 10:24 49  
[ ]hausdorf__t10_hausdorf.vmin12024-08-03 10:19 567  
[ ]hausdorf__t10_hausdorf.vmin1out2024-08-03 10:20 6.1K 
[ ]hausdorf__t10_hausdorf.vout2024-08-03 10:07 6.1K 
[ ]hausdorf__t11_hausdorf2024-07-28 21:16 13K 
[ ]hausdorf__t11_hausdorf.depv12024-08-03 10:19 49  
[ ]hausdorf__t11_hausdorf.depvmin12024-08-03 10:24 49  
[ ]hausdorf__t11_hausdorf.vmin12024-08-03 10:19 567  
[ ]hausdorf__t11_hausdorf.vmin1out2024-08-03 10:20 6.1K 
[ ]hausdorf__t11_hausdorf.vout2024-08-03 05:22 6.1K 
[ ]hausdorf__t12_hausdorf2024-07-28 21:17 26K 
[ ]hausdorf__t12_hausdorf.depv12024-08-03 10:19 223  
[ ]hausdorf__t12_hausdorf.depvmin12024-08-03 10:24 223  
[ ]hausdorf__t12_hausdorf.vmin12024-08-03 10:19 2.3K 
[ ]hausdorf__t12_hausdorf.vmin1out2024-08-03 10:20 24K 
[ ]hausdorf__t12_hausdorf.vout2024-08-03 08:33 26K 
[ ]hausdorf__t13_hausdorf2024-07-28 21:19 31K 
[ ]hausdorf__t13_hausdorf.vout2024-08-03 04:29 4.7K 
[ ]hausdorf__t14_hausdorf2024-07-28 21:20 30K 
[ ]hausdorf__t14_hausdorf.vout2024-08-03 06:22 4.7K 
[ ]hausdorf__t15_hausdorf2024-07-28 21:22 28K 
[ ]hausdorf__t15_hausdorf.vout2024-08-03 08:54 7.3K 
[ ]hausdorf__t16_hausdorf2024-07-28 21:23 29K 
[ ]hausdorf__t16_hausdorf.vout2024-08-03 06:04 4.7K 
[ ]hausdorf__t17_hausdorf2024-07-28 21:24 25K 
[ ]hausdorf__t17_hausdorf.vout2024-08-03 09:16 7.3K 
[ ]hausdorf__t18_hausdorf2024-07-28 21:26 30K 
[ ]hausdorf__t18_hausdorf.vout2024-08-03 10:04 4.7K 
[ ]hausdorf__t19_hausdorf2024-07-28 21:27 26K 
[ ]hausdorf__t19_hausdorf.depv12024-08-03 10:19 118  
[ ]hausdorf__t19_hausdorf.depvmin12024-08-03 10:24 118  
[ ]hausdorf__t19_hausdorf.vmin12024-08-03 10:19 1.7K 
[ ]hausdorf__t19_hausdorf.vmin1out2024-08-03 10:22 18K 
[ ]hausdorf__t19_hausdorf.vout2024-08-03 09:38 24K 
[ ]hausdorf__t20_hausdorf2024-07-28 21:29 33K 
[ ]hausdorf__t20_hausdorf.vout2024-08-03 05:45 4.7K 
[ ]hausdorf__t21_hausdorf2024-07-28 21:30 27K 
[ ]hausdorf__t21_hausdorf.depv12024-08-03 10:19 118  
[ ]hausdorf__t21_hausdorf.depvmin12024-08-03 10:24 118  
[ ]hausdorf__t21_hausdorf.vmin12024-08-03 10:19 1.8K 
[ ]hausdorf__t21_hausdorf.vmin1out2024-08-03 10:21 20K 
[ ]hausdorf__t21_hausdorf.vout2024-08-03 10:14 25K 
[ ]hausdorf__t22_hausdorf2024-07-28 21:32 29K 
[ ]hausdorf__t22_hausdorf.depv12024-08-03 10:19 256  
[ ]hausdorf__t22_hausdorf.depvmin12024-08-03 10:24 243  
[ ]hausdorf__t22_hausdorf.vmin12024-08-03 10:19 4.5K 
[ ]hausdorf__t22_hausdorf.vmin1out2024-08-03 10:20 57K 
[ ]hausdorf__t22_hausdorf.vout2024-08-03 06:23 54K 
[ ]hausdorf__t23_hausdorf2024-07-28 21:33 31K 
[ ]hausdorf__t23_hausdorf.vout2024-08-03 05:48 4.7K 
[ ]hausdorf__t24_hausdorf2024-07-28 21:35 30K 
[ ]hausdorf__t24_hausdorf.vout2024-08-03 06:34 4.7K 
[ ]hausdorf__t25_hausdorf2024-07-28 21:36 30K 
[ ]hausdorf__t25_hausdorf.vout2024-08-03 08:21 4.7K 
[ ]hausdorf__t26_hausdorf2024-07-28 21:38 29K 
[ ]hausdorf__t26_hausdorf.depv12024-08-03 10:19 228  
[ ]hausdorf__t26_hausdorf.depvmin12024-08-03 10:24 228  
[ ]hausdorf__t26_hausdorf.vmin12024-08-03 10:19 3.7K 
[ ]hausdorf__t26_hausdorf.vmin1out2024-08-03 10:20 49K 
[ ]hausdorf__t26_hausdorf.vout2024-08-03 06:42 59K 
[ ]hausdorf__t27_hausdorf2024-07-28 21:39 29K 
[ ]hausdorf__t27_hausdorf.vout2024-08-03 06:44 7.9K 
[ ]hausdorf__t28_hausdorf2024-07-28 21:40 16K 
[ ]hausdorf__t28_hausdorf.depv12024-08-03 10:19 92  
[ ]hausdorf__t28_hausdorf.depvmin12024-08-03 10:24 92  
[ ]hausdorf__t28_hausdorf.vmin12024-08-03 10:19 1.6K 
[ ]hausdorf__t28_hausdorf.vmin1out2024-08-03 10:22 24K 
[ ]hausdorf__t28_hausdorf.vout2024-08-03 06:24 36K 
[ ]hausdorf__t29_hausdorf2024-07-28 21:41 28K 
[ ]hausdorf__t29_hausdorf.depv12024-08-03 10:19 180  
[ ]hausdorf__t29_hausdorf.depvmin12024-08-03 10:24 180  
[ ]hausdorf__t29_hausdorf.vmin12024-08-03 10:19 2.5K 
[ ]hausdorf__t29_hausdorf.vmin1out2024-08-03 10:22 23K 
[ ]hausdorf__t29_hausdorf.vout2024-08-03 07:56 21K 
[ ]hausdorf__t30_hausdorf2024-07-28 21:42 16K 
[ ]hausdorf__t30_hausdorf.depv12024-08-03 10:19 92  
[ ]hausdorf__t30_hausdorf.depvmin12024-08-03 10:24 92  
[ ]hausdorf__t30_hausdorf.vmin12024-08-03 10:19 1.6K 
[ ]hausdorf__t30_hausdorf.vmin1out2024-08-03 10:21 24K 
[ ]hausdorf__t30_hausdorf.vout2024-08-03 07:50 36K 
[ ]hausdorf__t31_hausdorf2024-07-28 21:44 31K 
[ ]hausdorf__t31_hausdorf.vout2024-08-03 08:07 4.7K 
[ ]hausdorf__t32_hausdorf2024-07-28 21:45 29K 
[ ]hausdorf__t32_hausdorf.vout2024-08-03 07:12 7.3K 
[ ]hausdorf__t33_hausdorf2024-07-28 21:47 35K 
[ ]hausdorf__t33_hausdorf.vout2024-08-03 07:20 4.7K 
[ ]hausdorf__t34_hausdorf2024-07-28 21:48 35K 
[ ]hausdorf__t34_hausdorf.vout2024-08-03 09:17 4.7K 
[ ]hausdorf__t35_hausdorf2024-07-28 21:49 16K 
[ ]hausdorf__t35_hausdorf.depv12024-08-03 10:19 119  
[ ]hausdorf__t35_hausdorf.depvmin12024-08-03 10:24 78  
[ ]hausdorf__t35_hausdorf.vmin12024-08-03 10:19 2.4K 
[ ]hausdorf__t35_hausdorf.vmin1out2024-08-03 10:21 26K 
[ ]hausdorf__t35_hausdorf.vout2024-08-03 06:31 45K 
[ ]hausdorf__t36_hausdorf2024-07-28 21:03 15K 
[ ]hausdorf__t36_hausdorf.depv12024-08-03 10:19 113  
[ ]hausdorf__t36_hausdorf.depvmin12024-08-03 10:24 89  
[ ]hausdorf__t36_hausdorf.vmin12024-08-03 10:19 1.6K 
[ ]hausdorf__t36_hausdorf.vmin1out2024-08-03 10:22 14K 
[ ]hausdorf__t36_hausdorf.vout2024-08-03 09:23 22K 
[ ]hausdorf__t37_hausdorf2024-07-28 21:51 35K 
[ ]hausdorf__t37_hausdorf.vout2024-08-03 10:01 6.8K 
[ ]hausdorf__t38_hausdorf2024-07-28 21:52 17K 
[ ]hausdorf__t38_hausdorf.depv12024-08-03 10:19 169  
[ ]hausdorf__t38_hausdorf.depvmin12024-08-03 10:24 169  
[ ]hausdorf__t38_hausdorf.vmin12024-08-03 10:19 3.3K 
[ ]hausdorf__t38_hausdorf.vmin1out2024-08-03 10:21 47K 
[ ]hausdorf__t38_hausdorf.vout2024-08-03 06:45 38K 
[ ]hausdorf__t39_hausdorf2024-07-28 21:53 34K 
[ ]hausdorf__t39_hausdorf.depv12024-08-03 10:19 179  
[ ]hausdorf__t39_hausdorf.depvmin12024-08-03 10:24 179  
[ ]hausdorf__t39_hausdorf.vmin12024-08-03 10:19 3.6K 
[ ]hausdorf__t39_hausdorf.vmin1out2024-08-03 10:22 33K 
[ ]hausdorf__t39_hausdorf.vout2024-08-03 06:40 47K 
[ ]hausdorf__t40_hausdorf2024-07-28 21:55 33K 
[ ]hausdorf__t40_hausdorf.vout2024-08-03 08:21 6.2K 
[ ]hausdorf__t41_hausdorf2024-07-28 21:57 34K 
[ ]hausdorf__t41_hausdorf.depv12024-08-03 10:19 327  
[ ]hausdorf__t41_hausdorf.depvmin12024-08-03 10:24 230  
[ ]hausdorf__t41_hausdorf.vmin12024-08-03 10:19 4.3K 
[ ]hausdorf__t41_hausdorf.vmin1out2024-08-03 10:21 122K 
[ ]hausdorf__t41_hausdorf.vout2024-08-03 06:08 55K 
[ ]hausdorf__t42_hausdorf2024-07-28 21:59 35K 
[ ]hausdorf__t42_hausdorf.depv12024-08-03 10:19 179  
[ ]hausdorf__t42_hausdorf.depvmin12024-08-03 10:24 179  
[ ]hausdorf__t42_hausdorf.vmin12024-08-03 10:19 4.0K 
[ ]hausdorf__t42_hausdorf.vmin1out2024-08-03 10:21 40K 
[ ]hausdorf__t42_hausdorf.vout2024-08-03 06:00 61K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80