Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/dilworth

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dilworth__t1_dilworth2025-09-09 22:32 32K 
[ ]dilworth__t1_dilworth.depv12025-09-15 19:47 112  
[ ]dilworth__t1_dilworth.depvmin12025-09-15 19:52 112  
[ ]dilworth__t1_dilworth.vmin12025-09-15 19:47 675  
[ ]dilworth__t1_dilworth.vmin1out2025-09-15 19:51 5.5K 
[ ]dilworth__t1_dilworth.vout2025-09-15 17:28 5.4K 
[ ]dilworth__t2_dilworth2025-09-09 22:33 30K 
[ ]dilworth__t2_dilworth.depv12025-09-15 19:47 60  
[ ]dilworth__t2_dilworth.depvmin12025-09-15 19:52 60  
[ ]dilworth__t2_dilworth.vmin12025-09-15 19:47 789  
[ ]dilworth__t2_dilworth.vmin1out2025-09-15 19:48 6.9K 
[ ]dilworth__t2_dilworth.vout2025-09-15 14:28 9.0K 
[ ]dilworth__t3_dilworth2025-09-09 22:35 34K 
[ ]dilworth__t3_dilworth.vout2025-09-15 19:42 7.3K 
[ ]dilworth__t4_dilworth2025-09-09 22:36 36K 
[ ]dilworth__t4_dilworth.vout2025-09-15 18:12 7.8K 
[ ]dilworth__t5_dilworth2025-09-09 22:38 54K 
[ ]dilworth__t5_dilworth.vout2025-09-15 16:31 7.3K 
[ ]dilworth__t6_dilworth2025-09-09 22:39 31K 
[ ]dilworth__t6_dilworth.depv12025-09-15 19:47 138  
[ ]dilworth__t6_dilworth.depvmin12025-09-15 19:52 108  
[ ]dilworth__t6_dilworth.vmin12025-09-15 19:47 1.9K 
[ ]dilworth__t6_dilworth.vmin1out2025-09-15 19:50 42K 
[ ]dilworth__t6_dilworth.vout2025-09-15 16:51 43K 
[ ]dilworth__t7_dilworth2025-09-09 22:40 35K 
[ ]dilworth__t7_dilworth.depv12025-09-15 19:47 125  
[ ]dilworth__t7_dilworth.depvmin12025-09-15 19:52 110  
[ ]dilworth__t7_dilworth.vmin12025-09-15 19:47 1.6K 
[ ]dilworth__t7_dilworth.vmin1out2025-09-15 19:51 25K 
[ ]dilworth__t7_dilworth.vout2025-09-15 13:30 22K 
[ ]dilworth__t8_dilworth2025-09-09 22:42 35K 
[ ]dilworth__t8_dilworth.vout2025-09-15 17:04 4.7K 
[ ]dilworth__t9_dilworth2025-09-09 22:43 31K 
[ ]dilworth__t9_dilworth.depv12025-09-15 19:47 95  
[ ]dilworth__t9_dilworth.depvmin12025-09-15 19:52 95  
[ ]dilworth__t9_dilworth.vmin12025-09-15 19:47 1.3K 
[ ]dilworth__t9_dilworth.vmin1out2025-09-15 19:51 25K 
[ ]dilworth__t9_dilworth.vout2025-09-15 19:29 22K 
[ ]dilworth__t10_dilworth2025-09-09 22:44 32K 
[ ]dilworth__t10_dilworth.depv12025-09-15 19:47 61  
[ ]dilworth__t10_dilworth.depvmin12025-09-15 19:52 61  
[ ]dilworth__t10_dilworth.vmin12025-09-15 19:47 1.1K 
[ ]dilworth__t10_dilworth.vmin1out2025-09-15 19:50 15K 
[ ]dilworth__t10_dilworth.vout2025-09-15 13:39 15K 
[ ]dilworth__t11_dilworth2025-09-09 22:46 36K 
[ ]dilworth__t11_dilworth.vout2025-09-15 19:21 7.4K 
[ ]dilworth__t12_dilworth2025-09-09 22:47 36K 
[ ]dilworth__t12_dilworth.vout2025-09-15 17:20 7.3K 
[ ]dilworth__t13_dilworth2025-09-09 22:48 36K 
[ ]dilworth__t13_dilworth.depv12025-09-15 19:47 126  
[ ]dilworth__t13_dilworth.depvmin12025-09-15 19:52 111  
[ ]dilworth__t13_dilworth.vmin12025-09-15 19:47 1.5K 
[ ]dilworth__t13_dilworth.vmin1out2025-09-15 19:48 22K 
[ ]dilworth__t13_dilworth.vout2025-09-15 16:26 21K 
[ ]dilworth__t14_dilworth2025-09-09 22:50 36K 
[ ]dilworth__t14_dilworth.vout2025-09-15 17:06 4.7K 
[ ]dilworth__t15_dilworth2025-09-09 22:51 32K 
[ ]dilworth__t15_dilworth.depv12025-09-15 19:47 47  
[ ]dilworth__t15_dilworth.depvmin12025-09-15 19:52 47  
[ ]dilworth__t15_dilworth.vmin12025-09-15 19:47 1.3K 
[ ]dilworth__t15_dilworth.vmin1out2025-09-15 19:50 24K 
[ ]dilworth__t15_dilworth.vout2025-09-15 19:14 17K 
[ ]dilworth__t16_dilworth2025-09-09 22:52 31K 
[ ]dilworth__t16_dilworth.depv12025-09-15 19:47 117  
[ ]dilworth__t16_dilworth.depvmin12025-09-15 19:52 117  
[ ]dilworth__t16_dilworth.vmin12025-09-15 19:47 1.5K 
[ ]dilworth__t16_dilworth.vmin1out2025-09-15 19:49 26K 
[ ]dilworth__t16_dilworth.vout2025-09-15 15:06 31K 
[ ]dilworth__t17_dilworth2025-09-09 22:54 32K 
[ ]dilworth__t17_dilworth.depv12025-09-15 19:47 39  
[ ]dilworth__t17_dilworth.depvmin12025-09-15 19:52 39  
[ ]dilworth__t17_dilworth.vmin12025-09-15 19:47 872  
[ ]dilworth__t17_dilworth.vmin1out2025-09-15 19:50 15K 
[ ]dilworth__t17_dilworth.vout2025-09-15 13:45 15K 
[ ]dilworth__t18_dilworth2025-09-09 22:55 40K 
[ ]dilworth__t18_dilworth.vout2025-09-15 14:53 4.7K 
[ ]dilworth__t19_dilworth2025-09-09 22:57 41K 
[ ]dilworth__t19_dilworth.vout2025-09-15 17:08 4.7K 
[ ]dilworth__t20_dilworth2025-09-09 22:58 41K 
[ ]dilworth__t20_dilworth.vout2025-09-15 17:03 4.7K 
[ ]dilworth__t21_dilworth2025-09-09 23:00 41K 
[ ]dilworth__t21_dilworth.depv12025-09-15 19:47 230  
[ ]dilworth__t21_dilworth.depvmin12025-09-15 19:52 230  
[ ]dilworth__t21_dilworth.vmin12025-09-15 19:47 2.6K 
[ ]dilworth__t21_dilworth.vmin1out2025-09-15 19:50 39K 
[ ]dilworth__t21_dilworth.vout2025-09-15 16:52 41K 
[ ]dilworth__t22_dilworth2025-09-09 23:01 37K 
[ ]dilworth__t22_dilworth.vout2025-09-15 13:35 4.7K 
[ ]dilworth__t23_dilworth2025-09-09 23:03 49K 
[ ]dilworth__t23_dilworth.vout2025-09-15 15:14 7.3K 
[ ]dilworth__t24_dilworth2025-09-09 23:04 36K 
[ ]dilworth__t24_dilworth.vout2025-09-15 19:06 6.8K 
[ ]dilworth__t25_dilworth2025-09-09 23:06 36K 
[ ]dilworth__t25_dilworth.vout2025-09-15 18:53 6.8K 
[ ]dilworth__t26_dilworth2025-09-09 23:07 41K 
[ ]dilworth__t26_dilworth.vout2025-09-15 19:05 7.3K 
[ ]dilworth__t27_dilworth2025-09-09 23:09 41K 
[ ]dilworth__t27_dilworth.vout2025-09-15 16:49 7.3K 
[ ]dilworth__t28_dilworth2025-09-09 23:10 38K 
[ ]dilworth__t28_dilworth.vout2025-09-15 17:59 7.3K 
[ ]dilworth__t29_dilworth2025-09-09 23:12 41K 
[ ]dilworth__t29_dilworth.vout2025-09-15 18:34 7.3K 
[ ]dilworth__t30_dilworth2025-09-09 23:13 38K 
[ ]dilworth__t30_dilworth.vout2025-09-15 15:11 6.8K 
[ ]dilworth__t31_dilworth2025-09-09 23:15 45K 
[ ]dilworth__t31_dilworth.vout2025-09-15 15:12 6.8K 
[ ]dilworth__t32_dilworth2025-09-09 23:17 38K 
[ ]dilworth__t32_dilworth.vout2025-09-15 16:33 4.7K 
[ ]dilworth__t33_dilworth2025-09-09 23:18 38K 
[ ]dilworth__t33_dilworth.vout2025-09-15 16:34 4.7K 
[ ]dilworth__t34_dilworth2025-09-09 23:20 44K 
[ ]dilworth__t34_dilworth.vout2025-09-15 16:31 4.7K 
[ ]dilworth__t35_dilworth2025-09-09 23:22 44K 
[ ]dilworth__t35_dilworth.vout2025-09-15 16:02 4.7K 
[ ]dilworth__t36_dilworth2025-09-09 23:23 47K 
[ ]dilworth__t36_dilworth.vout2025-09-15 14:44 7.3K 
[ ]dilworth__t37_dilworth2025-09-09 23:25 41K 
[ ]dilworth__t37_dilworth.vout2025-09-15 17:30 7.4K 
[ ]dilworth__t38_dilworth2025-09-09 23:27 47K 
[ ]dilworth__t38_dilworth.vout2025-09-15 13:43 7.3K 
[ ]dilworth__t39_dilworth2025-09-09 23:28 41K 
[ ]dilworth__t39_dilworth.vout2025-09-15 18:35 7.4K 
[ ]dilworth__t40_dilworth2025-09-09 23:30 37K 
[ ]dilworth__t40_dilworth.vout2025-09-15 18:30 7.3K 
[ ]dilworth__t41_dilworth2025-09-09 23:31 37K 
[ ]dilworth__t41_dilworth.vout2025-09-15 16:17 6.8K 
[ ]dilworth__t42_dilworth2025-09-09 23:33 41K 
[ ]dilworth__t42_dilworth.vout2025-09-15 14:28 4.7K 
[ ]dilworth__t43_dilworth2025-09-09 23:34 44K 
[ ]dilworth__t43_dilworth.vout2025-09-15 15:20 7.3K 
[ ]dilworth__t44_dilworth2025-09-09 23:36 41K 
[ ]dilworth__t44_dilworth.vout2025-09-15 15:08 4.7K 
[ ]dilworth__t45_dilworth2025-09-09 23:37 44K 
[ ]dilworth__t45_dilworth.vout2025-09-15 14:57 6.8K 
[ ]dilworth__t46_dilworth2025-09-09 23:39 48K 
[ ]dilworth__t46_dilworth.vout2025-09-15 17:25 4.7K 
[ ]dilworth__t47_dilworth2025-09-09 23:41 54K 
[ ]dilworth__t47_dilworth.vout2025-09-15 18:39 4.7K 
[ ]dilworth__t48_dilworth2025-09-09 23:43 52K 
[ ]dilworth__t48_dilworth.vout2025-09-15 19:24 4.7K 
[ ]dilworth__t49_dilworth2025-09-09 23:46 68K 
[ ]dilworth__t49_dilworth.vout2025-09-15 17:45 3.7K 
[ ]dilworth__t50_dilworth2025-09-09 23:47 49K 
[ ]dilworth__t50_dilworth.vout2025-09-15 13:51 4.7K 
[ ]dilworth__t51_dilworth2025-09-09 23:50 86K 
[ ]dilworth__t51_dilworth.vout2025-09-15 17:32 7.4K 
[ ]dilworth__t52_dilworth2025-09-09 23:52 62K 
[ ]dilworth__t52_dilworth.vout2025-09-15 14:15 3.7K 
[ ]dilworth__t53_dilworth2025-09-09 23:55 94K 
[ ]dilworth__t53_dilworth.vout2025-09-15 18:36 4.8K 
[ ]dilworth__t54_dilworth2025-09-09 23:58 84K 
[ ]dilworth__t54_dilworth.vout2025-09-15 19:01 7.3K 
[ ]dilworth__t55_dilworth2025-09-10 00:00 75K 
[ ]dilworth__t55_dilworth.vout2025-09-15 14:02 6.8K 
[ ]dilworth__t56_dilworth2025-09-10 00:03 58K 
[ ]dilworth__t56_dilworth.vout2025-09-15 14:00 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80