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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dilworth__t56_dilworth.vout2021-07-25 17:38 6.8K 
[ ]dilworth__t56_dilworth2021-07-18 03:11 55K 
[ ]dilworth__t55_dilworth.vout2021-07-25 17:00 6.8K 
[ ]dilworth__t55_dilworth2021-07-18 03:11 70K 
[ ]dilworth__t54_dilworth.vout2021-07-25 20:53 7.3K 
[ ]dilworth__t54_dilworth2021-07-18 03:10 81K 
[ ]dilworth__t53_dilworth.vout2021-07-25 15:02 4.8K 
[ ]dilworth__t53_dilworth2021-07-18 03:09 90K 
[ ]dilworth__t52_dilworth.vout2021-07-25 19:49 3.7K 
[ ]dilworth__t52_dilworth2021-07-18 03:08 57K 
[ ]dilworth__t51_dilworth.vout2021-07-25 17:42 6.8K 
[ ]dilworth__t51_dilworth2021-07-18 03:07 83K 
[ ]dilworth__t50_dilworth.vout2021-07-25 19:58 4.7K 
[ ]dilworth__t50_dilworth2021-07-18 03:06 46K 
[ ]dilworth__t49_dilworth.vout2021-07-25 17:28 3.7K 
[ ]dilworth__t49_dilworth2021-07-18 03:05 63K 
[ ]dilworth__t48_dilworth.vout2021-07-25 15:36 4.7K 
[ ]dilworth__t48_dilworth2021-07-18 03:04 48K 
[ ]dilworth__t47_dilworth.vout2021-07-25 18:27 4.7K 
[ ]dilworth__t47_dilworth2021-07-18 03:04 49K 
[ ]dilworth__t46_dilworth.vout2021-07-25 20:47 4.7K 
[ ]dilworth__t46_dilworth2021-07-18 03:03 46K 
[ ]dilworth__t45_dilworth.vout2021-07-25 18:20 6.8K 
[ ]dilworth__t45_dilworth2021-07-18 03:03 41K 
[ ]dilworth__t44_dilworth.vout2021-07-25 18:21 4.7K 
[ ]dilworth__t44_dilworth2021-07-18 03:02 38K 
[ ]dilworth__t43_dilworth.vout2021-07-25 15:51 6.8K 
[ ]dilworth__t43_dilworth2021-07-18 03:02 41K 
[ ]dilworth__t42_dilworth.vout2021-07-25 17:24 4.7K 
[ ]dilworth__t42_dilworth2021-07-18 03:01 38K 
[ ]dilworth__t41_dilworth.vout2021-07-25 16:46 7.3K 
[ ]dilworth__t41_dilworth2021-07-18 03:00 35K 
[ ]dilworth__t40_dilworth.vout2021-07-25 16:38 7.3K 
[ ]dilworth__t40_dilworth2021-07-18 03:00 35K 
[ ]dilworth__t39_dilworth.vout2021-07-25 18:27 7.3K 
[ ]dilworth__t39_dilworth2021-07-18 03:00 38K 
[ ]dilworth__t38_dilworth.vout2021-07-25 16:41 7.3K 
[ ]dilworth__t38_dilworth2021-07-18 02:59 43K 
[ ]dilworth__t37_dilworth.vout2021-07-25 17:06 7.4K 
[ ]dilworth__t37_dilworth2021-07-18 02:58 38K 
[ ]dilworth__t36_dilworth.vout2021-07-25 16:45 7.3K 
[ ]dilworth__t36_dilworth2021-07-18 02:58 43K 
[ ]dilworth__t35_dilworth.vout2021-07-25 19:48 4.7K 
[ ]dilworth__t35_dilworth2021-07-18 02:57 41K 
[ ]dilworth__t34_dilworth.vout2021-07-25 18:21 4.7K 
[ ]dilworth__t34_dilworth2021-07-18 02:57 41K 
[ ]dilworth__t33_dilworth.vout2021-07-25 14:57 4.7K 
[ ]dilworth__t33_dilworth2021-07-18 02:56 35K 
[ ]dilworth__t32_dilworth.vout2021-07-25 14:57 4.7K 
[ ]dilworth__t32_dilworth2021-07-18 02:56 35K 
[ ]dilworth__t31_dilworth.vout2021-07-25 17:54 6.8K 
[ ]dilworth__t31_dilworth2021-07-18 02:55 42K 
[ ]dilworth__t30_dilworth.vout2021-07-25 17:02 6.8K 
[ ]dilworth__t30_dilworth2021-07-18 02:54 36K 
[ ]dilworth__t29_dilworth.vout2021-07-25 17:05 7.3K 
[ ]dilworth__t29_dilworth2021-07-18 02:54 38K 
[ ]dilworth__t28_dilworth.vout2021-07-25 20:36 6.8K 
[ ]dilworth__t28_dilworth2021-07-18 02:53 35K 
[ ]dilworth__t27_dilworth.vout2021-07-25 19:00 7.3K 
[ ]dilworth__t27_dilworth2021-07-18 02:53 38K 
[ ]dilworth__t26_dilworth.vout2021-07-25 16:26 7.3K 
[ ]dilworth__t26_dilworth2021-07-18 02:52 38K 
[ ]dilworth__t25_dilworth.vout2021-07-25 18:06 7.3K 
[ ]dilworth__t25_dilworth2021-07-18 02:52 33K 
[ ]dilworth__t24_dilworth.vout2021-07-25 14:48 7.3K 
[ ]dilworth__t24_dilworth2021-07-18 02:51 33K 
[ ]dilworth__t23_dilworth.vout2021-07-25 17:55 6.8K 
[ ]dilworth__t23_dilworth2021-07-18 02:51 45K 
[ ]dilworth__t22_dilworth.vout2021-07-25 20:34 4.7K 
[ ]dilworth__t22_dilworth2021-07-18 02:50 34K 
[ ]dilworth__t21_dilworth.vout2021-07-25 17:54 40K 
[ ]dilworth__t21_dilworth.vmin1out2021-07-25 21:01 39K 
[ ]dilworth__t21_dilworth.vmin12021-07-25 20:57 2.6K 
[ ]dilworth__t21_dilworth.depvmin12021-07-25 21:03 230  
[ ]dilworth__t21_dilworth.depv12021-07-25 20:57 230  
[ ]dilworth__t21_dilworth2021-07-18 02:50 38K 
[ ]dilworth__t20_dilworth.vout2021-07-25 17:57 4.7K 
[ ]dilworth__t20_dilworth2021-07-18 02:49 38K 
[ ]dilworth__t19_dilworth.vout2021-07-25 16:49 5.3K 
[ ]dilworth__t19_dilworth2021-07-18 02:49 38K 
[ ]dilworth__t18_dilworth.vout2021-07-25 14:38 4.7K 
[ ]dilworth__t18_dilworth2021-07-18 02:48 38K 
[ ]dilworth__t17_dilworth.vout2021-07-25 15:33 15K 
[ ]dilworth__t17_dilworth.vmin1out2021-07-25 20:59 15K 
[ ]dilworth__t17_dilworth.vmin12021-07-25 20:57 872  
[ ]dilworth__t17_dilworth.depvmin12021-07-25 21:03 39  
[ ]dilworth__t17_dilworth.depv12021-07-25 20:57 39  
[ ]dilworth__t17_dilworth2021-07-18 02:48 30K 
[ ]dilworth__t16_dilworth.vout2021-07-25 15:23 29K 
[ ]dilworth__t16_dilworth.vmin1out2021-07-25 21:02 16K 
[ ]dilworth__t16_dilworth.vmin12021-07-25 20:57 1.3K 
[ ]dilworth__t16_dilworth.depvmin12021-07-25 21:03 77  
[ ]dilworth__t16_dilworth.depv12021-07-25 20:57 99  
[ ]dilworth__t16_dilworth2021-07-18 02:47 29K 
[ ]dilworth__t15_dilworth.vout2021-07-25 17:46 17K 
[ ]dilworth__t15_dilworth.vmin1out2021-07-25 21:02 24K 
[ ]dilworth__t15_dilworth.vmin12021-07-25 20:57 1.3K 
[ ]dilworth__t15_dilworth.depvmin12021-07-25 21:03 47  
[ ]dilworth__t15_dilworth.depv12021-07-25 20:57 47  
[ ]dilworth__t15_dilworth2021-07-18 02:47 29K 
[ ]dilworth__t14_dilworth.vout2021-07-25 20:44 4.7K 
[ ]dilworth__t14_dilworth2021-07-18 02:46 33K 
[ ]dilworth__t13_dilworth.vout2021-07-25 18:15 21K 
[ ]dilworth__t13_dilworth.vmin1out2021-07-25 20:59 22K 
[ ]dilworth__t13_dilworth.vmin12021-07-25 20:57 1.5K 
[ ]dilworth__t13_dilworth.depvmin12021-07-25 21:03 111  
[ ]dilworth__t13_dilworth.depv12021-07-25 20:57 126  
[ ]dilworth__t13_dilworth2021-07-18 02:46 33K 
[ ]dilworth__t12_dilworth.vout2021-07-25 17:06 7.3K 
[ ]dilworth__t12_dilworth2021-07-18 02:45 32K 
[ ]dilworth__t11_dilworth.vout2021-07-25 18:45 7.3K 
[ ]dilworth__t11_dilworth2021-07-18 02:45 32K 
[ ]dilworth__t10_dilworth.vout2021-07-25 15:24 15K 
[ ]dilworth__t10_dilworth.vmin1out2021-07-25 21:00 15K 
[ ]dilworth__t10_dilworth.vmin12021-07-25 20:57 1.1K 
[ ]dilworth__t10_dilworth.depvmin12021-07-25 21:03 61  
[ ]dilworth__t10_dilworth.depv12021-07-25 20:57 61  
[ ]dilworth__t10_dilworth2021-07-18 02:44 29K 
[ ]dilworth__t9_dilworth.vout2021-07-25 16:57 22K 
[ ]dilworth__t9_dilworth.vmin1out2021-07-25 20:59 25K 
[ ]dilworth__t9_dilworth.vmin12021-07-25 20:57 1.3K 
[ ]dilworth__t9_dilworth.depvmin12021-07-25 21:03 95  
[ ]dilworth__t9_dilworth.depv12021-07-25 20:57 95  
[ ]dilworth__t9_dilworth2021-07-18 02:44 28K 
[ ]dilworth__t8_dilworth.vout2021-07-25 16:43 4.7K 
[ ]dilworth__t8_dilworth2021-07-18 02:43 32K 
[ ]dilworth__t7_dilworth.vout2021-07-25 19:57 22K 
[ ]dilworth__t7_dilworth.vmin1out2021-07-25 21:02 25K 
[ ]dilworth__t7_dilworth.vmin12021-07-25 20:57 1.6K 
[ ]dilworth__t7_dilworth.depvmin12021-07-25 21:03 110  
[ ]dilworth__t7_dilworth.depv12021-07-25 20:57 125  
[ ]dilworth__t7_dilworth2021-07-18 02:43 32K 
[ ]dilworth__t6_dilworth.vout2021-07-25 19:01 37K 
[ ]dilworth__t6_dilworth.vmin1out2021-07-25 20:59 41K 
[ ]dilworth__t6_dilworth.vmin12021-07-25 20:57 1.6K 
[ ]dilworth__t6_dilworth.depvmin12021-07-25 21:03 108  
[ ]dilworth__t6_dilworth.depv12021-07-25 20:57 108  
[ ]dilworth__t6_dilworth2021-07-18 02:42 28K 
[ ]dilworth__t5_dilworth.vout2021-07-25 17:46 7.3K 
[ ]dilworth__t5_dilworth2021-07-18 02:42 49K 
[ ]dilworth__t4_dilworth.vout2021-07-25 19:30 19K 
[ ]dilworth__t4_dilworth.vmin1out2021-07-25 21:00 16K 
[ ]dilworth__t4_dilworth.vmin12021-07-25 20:57 1.9K 
[ ]dilworth__t4_dilworth.depvmin12021-07-25 21:03 243  
[ ]dilworth__t4_dilworth.depv12021-07-25 20:57 300  
[ ]dilworth__t4_dilworth2021-07-18 02:41 33K 
[ ]dilworth__t3_dilworth.vout2021-07-25 14:41 7.3K 
[ ]dilworth__t3_dilworth2021-07-18 02:41 31K 
[ ]dilworth__t2_dilworth.vout2021-07-25 17:42 9.0K 
[ ]dilworth__t2_dilworth.vmin1out2021-07-25 20:59 6.9K 
[ ]dilworth__t2_dilworth.vmin12021-07-25 20:57 789  
[ ]dilworth__t2_dilworth.depvmin12021-07-25 21:03 60  
[ ]dilworth__t2_dilworth.depv12021-07-25 20:57 60  
[ ]dilworth__t2_dilworth2021-07-18 02:41 27K 
[ ]dilworth__t1_dilworth.vout2021-07-25 18:25 5.4K 
[ ]dilworth__t1_dilworth.vmin1out2021-07-25 20:59 5.5K 
[ ]dilworth__t1_dilworth.vmin12021-07-25 20:57 675  
[ ]dilworth__t1_dilworth.depvmin12021-07-25 21:03 112  
[ ]dilworth__t1_dilworth.depv12021-07-25 20:57 112  
[ ]dilworth__t1_dilworth2021-07-18 02:40 30K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80