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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cat_8__l31_cat_82021-07-18 05:44 43K 
[ ]cat_8__l31_cat_8.vout2021-07-25 14:29 4.1K 
[ ]cat_8__l77_cat_82021-07-18 05:44 48K 
[ ]cat_8__l77_cat_8.vout2021-07-25 18:41 4.1K 
[ ]cat_8__l90_cat_82021-07-18 05:45 46K 
[ ]cat_8__l90_cat_8.vout2021-07-25 17:37 7.2K 
[ ]cat_8__l93_cat_82021-07-18 05:48 35K 
[ ]cat_8__l93_cat_8.vout2021-07-25 16:41 6.8K 
[ ]cat_8__l94_cat_82021-07-18 05:48 38K 
[ ]cat_8__l94_cat_8.vout2021-07-25 19:32 6.7K 
[ ]cat_8__l111_cat_82021-07-18 05:46 84K 
[ ]cat_8__l111_cat_8.vout2021-07-25 15:20 6.8K 
[ ]cat_8__l112_cat_82021-07-18 05:47 42K 
[ ]cat_8__l112_cat_8.vout2021-07-25 19:50 4.7K 
[ ]cat_8__l113_cat_82021-07-18 05:47 42K 
[ ]cat_8__l113_cat_8.vout2021-07-25 19:31 4.7K 
[ ]cat_8__t1_cat_82021-07-18 05:13 2.0K 
[ ]cat_8__t1_cat_8.depv12021-07-25 20:57 47  
[ ]cat_8__t1_cat_8.depvmin12021-07-25 21:03 47  
[ ]cat_8__t1_cat_8.vmin12021-07-25 20:57 1.4K 
[ ]cat_8__t1_cat_8.vmin1out2021-07-25 21:01 33K 
[ ]cat_8__t1_cat_8.vout2021-07-25 20:24 33K 
[ ]cat_8__t2_cat_82021-07-18 05:13 2.4K 
[ ]cat_8__t2_cat_8.depv12021-07-25 20:57 58  
[ ]cat_8__t2_cat_8.depvmin12021-07-25 21:03 58  
[ ]cat_8__t2_cat_8.vmin12021-07-25 20:57 2.0K 
[ ]cat_8__t2_cat_8.vmin1out2021-07-25 20:59 45K 
[ ]cat_8__t2_cat_8.vout2021-07-25 19:21 45K 
[ ]cat_8__t3_cat_82021-07-18 05:13 1.7K 
[ ]cat_8__t3_cat_8.depv12021-07-25 20:57 37  
[ ]cat_8__t3_cat_8.depvmin12021-07-25 21:03 37  
[ ]cat_8__t3_cat_8.vmin12021-07-25 20:57 1.2K 
[ ]cat_8__t3_cat_8.vmin1out2021-07-25 21:02 32K 
[ ]cat_8__t3_cat_8.vout2021-07-25 18:05 33K 
[ ]cat_8__t4_cat_82021-07-18 05:14 23K 
[ ]cat_8__t4_cat_8.depv12021-07-25 20:57 54  
[ ]cat_8__t4_cat_8.depvmin12021-07-25 21:03 54  
[ ]cat_8__t4_cat_8.vmin12021-07-25 20:57 1.5K 
[ ]cat_8__t4_cat_8.vmin1out2021-07-25 21:01 23K 
[ ]cat_8__t4_cat_8.vout2021-07-25 14:43 24K 
[ ]cat_8__t5_cat_82021-07-18 05:14 17K 
[ ]cat_8__t5_cat_8.depv12021-07-25 20:57 100  
[ ]cat_8__t5_cat_8.depvmin12021-07-25 21:03 100  
[ ]cat_8__t5_cat_8.vmin12021-07-25 20:57 1.6K 
[ ]cat_8__t5_cat_8.vmin1out2021-07-25 20:59 36K 
[ ]cat_8__t5_cat_8.vout2021-07-25 16:56 34K 
[ ]cat_8__t6_cat_82021-07-18 05:14 20K 
[ ]cat_8__t6_cat_8.depv12021-07-25 20:57 89  
[ ]cat_8__t6_cat_8.depvmin12021-07-25 21:03 89  
[ ]cat_8__t6_cat_8.vmin12021-07-25 20:57 1.1K 
[ ]cat_8__t6_cat_8.vmin1out2021-07-25 21:01 16K 
[ ]cat_8__t6_cat_8.vout2021-07-25 18:12 12K 
[ ]cat_8__t7_cat_82021-07-18 05:15 21K 
[ ]cat_8__t7_cat_8.depv12021-07-25 20:57 105  
[ ]cat_8__t7_cat_8.depvmin12021-07-25 21:03 105  
[ ]cat_8__t7_cat_8.vmin12021-07-25 20:57 1.4K 
[ ]cat_8__t7_cat_8.vmin1out2021-07-25 21:00 20K 
[ ]cat_8__t7_cat_8.vout2021-07-25 18:48 23K 
[ ]cat_8__t8_cat_82021-07-18 05:15 37K 
[ ]cat_8__t8_cat_8.vout2021-07-25 17:41 6.7K 
[ ]cat_8__t9_cat_82021-07-18 05:16 39K 
[ ]cat_8__t9_cat_8.vout2021-07-25 17:13 4.6K 
[ ]cat_8__t10_cat_82021-07-18 05:16 41K 
[ ]cat_8__t10_cat_8.vout2021-07-25 15:35 1.1K 
[ ]cat_8__t11_cat_82021-07-18 05:16 32K 
[ ]cat_8__t11_cat_8.depv12021-07-25 20:57 192  
[ ]cat_8__t11_cat_8.depvmin12021-07-25 21:03 174  
[ ]cat_8__t11_cat_8.vmin12021-07-25 20:57 2.6K 
[ ]cat_8__t11_cat_8.vmin1out2021-07-25 21:02 35K 
[ ]cat_8__t11_cat_8.vout2021-07-25 18:44 39K 
[ ]cat_8__t12_cat_82021-07-18 05:13 26K 
[ ]cat_8__t12_cat_8.depv12021-07-25 20:57 30  
[ ]cat_8__t12_cat_8.depvmin12021-07-25 21:03 30  
[ ]cat_8__t12_cat_8.vmin12021-07-25 20:57 1.2K 
[ ]cat_8__t12_cat_8.vmin1out2021-07-25 21:00 16K 
[ ]cat_8__t12_cat_8.vout2021-07-25 15:49 24K 
[ ]cat_8__t13_cat_82021-07-18 05:17 26K 
[ ]cat_8__t13_cat_8.depv12021-07-25 20:57 30  
[ ]cat_8__t13_cat_8.depvmin12021-07-25 21:03 30  
[ ]cat_8__t13_cat_8.vmin12021-07-25 20:57 1.5K 
[ ]cat_8__t13_cat_8.vmin1out2021-07-25 20:59 27K 
[ ]cat_8__t13_cat_8.vout2021-07-25 15:45 38K 
[ ]cat_8__t14_cat_82021-07-18 05:17 43K 
[ ]cat_8__t14_cat_8.vout2021-07-25 15:39 4.1K 
[ ]cat_8__t15_cat_82021-07-18 05:18 49K 
[ ]cat_8__t15_cat_8.vout2021-07-25 16:52 8.3K 
[ ]cat_8__t16_cat_82021-07-18 05:18 35K 
[ ]cat_8__t16_cat_8.depv12021-07-25 20:57 67  
[ ]cat_8__t16_cat_8.depvmin12021-07-25 21:03 67  
[ ]cat_8__t16_cat_8.vmin12021-07-25 20:57 1.8K 
[ ]cat_8__t16_cat_8.vmin1out2021-07-25 21:02 17K 
[ ]cat_8__t16_cat_8.vout2021-07-25 20:46 24K 
[ ]cat_8__t17_cat_82021-07-18 05:19 41K 
[ ]cat_8__t17_cat_8.vout2021-07-25 20:11 4.1K 
[ ]cat_8__t18_cat_82021-07-18 05:19 59K 
[ ]cat_8__t18_cat_8.vout2021-07-25 16:42 8.3K 
[ ]cat_8__t19_cat_82021-07-18 05:20 20K 
[ ]cat_8__t19_cat_8.depv12021-07-25 20:57 119  
[ ]cat_8__t19_cat_8.depvmin12021-07-25 21:03 63  
[ ]cat_8__t19_cat_8.vmin12021-07-25 20:57 1.6K 
[ ]cat_8__t19_cat_8.vmin1out2021-07-25 21:01 21K 
[ ]cat_8__t19_cat_8.vout2021-07-25 17:30 36K 
[ ]cat_8__t20_cat_82021-07-18 05:20 22K 
[ ]cat_8__t20_cat_8.vout2021-07-25 17:11 8.3K 
[ ]cat_8__t21_cat_82021-07-18 05:20 25K 
[ ]cat_8__t21_cat_8.vout2021-07-25 17:58 2.0K 
[ ]cat_8__t22_cat_82021-07-18 05:21 26K 
[ ]cat_8__t22_cat_8.vout2021-07-25 17:09 4.1K 
[ ]cat_8__t23_cat_82021-07-18 05:21 20K 
[ ]cat_8__t23_cat_8.vout2021-07-25 17:56 4.1K 
[ ]cat_8__t24_cat_82021-07-18 05:22 35K 
[ ]cat_8__t24_cat_8.depv12021-07-25 20:57 242  
[ ]cat_8__t24_cat_8.depvmin12021-07-25 21:03 220  
[ ]cat_8__t24_cat_8.vmin12021-07-25 20:57 2.4K 
[ ]cat_8__t24_cat_8.vmin1out2021-07-25 20:59 37K 
[ ]cat_8__t24_cat_8.vout2021-07-25 15:06 40K 
[ ]cat_8__t25_cat_82021-07-18 05:22 29K 
[ ]cat_8__t25_cat_8.vout2021-07-25 16:41 4.1K 
[ ]cat_8__t26_cat_82021-07-18 05:22 30K 
[ ]cat_8__t26_cat_8.vout2021-07-25 20:34 4.1K 
[ ]cat_8__t27_cat_82021-07-18 05:23 47K 
[ ]cat_8__t27_cat_8.vout2021-07-25 17:16 4.1K 
[ ]cat_8__t28_cat_82021-07-18 05:23 32K 
[ ]cat_8__t28_cat_8.depv12021-07-25 20:57 110  
[ ]cat_8__t28_cat_8.depvmin12021-07-25 21:03 110  
[ ]cat_8__t28_cat_8.vmin12021-07-25 20:57 1.7K 
[ ]cat_8__t28_cat_8.vmin1out2021-07-25 21:00 17K 
[ ]cat_8__t28_cat_8.vout2021-07-25 16:09 15K 
[ ]cat_8__t29_cat_82021-07-18 05:24 35K 
[ ]cat_8__t29_cat_8.vout2021-07-25 14:57 4.1K 
[ ]cat_8__t30_cat_82021-07-18 05:24 20K 
[ ]cat_8__t30_cat_8.depv12021-07-25 20:57 119  
[ ]cat_8__t30_cat_8.depvmin12021-07-25 21:03 63  
[ ]cat_8__t30_cat_8.vmin12021-07-25 20:57 1.6K 
[ ]cat_8__t30_cat_8.vmin1out2021-07-25 20:58 21K 
[ ]cat_8__t30_cat_8.vout2021-07-25 14:28 36K 
[ ]cat_8__t31_cat_82021-07-18 05:24 22K 
[ ]cat_8__t31_cat_8.vout2021-07-25 20:17 8.3K 
[ ]cat_8__t32_cat_82021-07-18 05:25 25K 
[ ]cat_8__t32_cat_8.vout2021-07-25 18:09 2.0K 
[ ]cat_8__t33_cat_82021-07-18 05:25 26K 
[ ]cat_8__t33_cat_8.vout2021-07-25 16:43 4.1K 
[ ]cat_8__t34_cat_82021-07-18 05:26 20K 
[ ]cat_8__t34_cat_8.vout2021-07-25 17:09 4.1K 
[ ]cat_8__t35_cat_82021-07-18 05:26 36K 
[ ]cat_8__t35_cat_8.vout2021-07-25 19:34 4.1K 
[ ]cat_8__t36_cat_82021-07-18 05:26 29K 
[ ]cat_8__t36_cat_8.vout2021-07-25 17:49 4.1K 
[ ]cat_8__t37_cat_82021-07-18 05:27 30K 
[ ]cat_8__t37_cat_8.vout2021-07-25 17:22 4.1K 
[ ]cat_8__t38_cat_82021-07-18 05:13 35K 
[ ]cat_8__t38_cat_8.vout2021-07-25 20:14 4.7K 
[ ]cat_8__t39_cat_82021-07-18 05:27 27K 
[ ]cat_8__t39_cat_8.vout2021-07-25 15:58 4.1K 
[ ]cat_8__t40_cat_82021-07-18 05:28 20K 
[ ]cat_8__t40_cat_8.vout2021-07-25 17:00 4.1K 
[ ]cat_8__t41_cat_82021-07-18 05:28 37K 
[ ]cat_8__t41_cat_8.vout2021-07-25 17:42 4.1K 
[ ]cat_8__t42_cat_82021-07-18 05:28 22K 
[ ]cat_8__t42_cat_8.depv12021-07-25 20:57 142  
[ ]cat_8__t42_cat_8.depvmin12021-07-25 21:03 116  
[ ]cat_8__t42_cat_8.vmin12021-07-25 20:57 2.7K 
[ ]cat_8__t42_cat_8.vmin1out2021-07-25 20:58 56K 
[ ]cat_8__t42_cat_8.vout2021-07-25 20:11 51K 
[ ]cat_8__t43_cat_82021-07-18 05:29 23K 
[ ]cat_8__t43_cat_8.depv12021-07-25 20:57 85  
[ ]cat_8__t43_cat_8.depvmin12021-07-25 21:03 85  
[ ]cat_8__t43_cat_8.vmin12021-07-25 20:57 2.6K 
[ ]cat_8__t43_cat_8.vmin1out2021-07-25 20:58 27K 
[ ]cat_8__t43_cat_8.vout2021-07-25 16:06 27K 
[ ]cat_8__t44_cat_82021-07-18 05:29 23K 
[ ]cat_8__t44_cat_8.vout2021-07-25 15:57 4.1K 
[ ]cat_8__t45_cat_82021-07-18 05:30 32K 
[ ]cat_8__t45_cat_8.vout2021-07-25 20:29 4.1K 
[ ]cat_8__t46_cat_82021-07-18 05:30 28K 
[ ]cat_8__t46_cat_8.vout2021-07-25 19:58 4.1K 
[ ]cat_8__t47_cat_82021-07-18 05:30 42K 
[ ]cat_8__t47_cat_8.vout2021-07-25 17:01 4.1K 
[ ]cat_8__t48_cat_82021-07-18 05:31 29K 
[ ]cat_8__t48_cat_8.vout2021-07-25 17:42 4.1K 
[ ]cat_8__t49_cat_82021-07-18 05:31 40K 
[ ]cat_8__t49_cat_8.vout2021-07-25 19:24 4.1K 
[ ]cat_8__t50_cat_82021-07-18 05:32 35K 
[ ]cat_8__t50_cat_8.vout2021-07-25 14:55 4.1K 
[ ]cat_8__t51_cat_82021-07-18 05:32 34K 
[ ]cat_8__t51_cat_8.vout2021-07-25 17:03 4.1K 
[ ]cat_8__t52_cat_82021-07-18 05:33 38K 
[ ]cat_8__t52_cat_8.vout2021-07-25 19:09 4.1K 
[ ]cat_8__t53_cat_82021-07-18 05:33 38K 
[ ]cat_8__t53_cat_8.depv12021-07-25 20:57 33  
[ ]cat_8__t53_cat_8.depvmin12021-07-25 21:03 33  
[ ]cat_8__t53_cat_8.vmin12021-07-25 20:57 1.5K 
[ ]cat_8__t53_cat_8.vmin1out2021-07-25 21:00 45K 
[ ]cat_8__t53_cat_8.vout2021-07-25 14:31 26K 
[ ]cat_8__t54_cat_82021-07-18 05:33 40K 
[ ]cat_8__t54_cat_8.depv12021-07-25 20:57 159  
[ ]cat_8__t54_cat_8.depvmin12021-07-25 21:03 149  
[ ]cat_8__t54_cat_8.vmin12021-07-25 20:57 5.8K 
[ ]cat_8__t54_cat_8.vmin1out2021-07-25 21:02 137K 
[ ]cat_8__t54_cat_8.vout2021-07-25 16:23 112K 
[ ]cat_8__t55_cat_82021-07-18 05:34 39K 
[ ]cat_8__t55_cat_8.vout2021-07-25 18:53 4.1K 
[ ]cat_8__t56_cat_82021-07-18 05:34 41K 
[ ]cat_8__t56_cat_8.vout2021-07-25 17:30 4.1K 
[ ]cat_8__t57_cat_82021-07-18 05:35 43K 
[ ]cat_8__t57_cat_8.vout2021-07-25 19:59 4.1K 
[ ]cat_8__t58_cat_82021-07-18 05:35 36K 
[ ]cat_8__t58_cat_8.vout2021-07-25 20:46 4.1K 
[ ]cat_8__t59_cat_82021-07-18 05:36 57K 
[ ]cat_8__t59_cat_8.vout2021-07-25 19:19 6.8K 
[ ]cat_8__t60_cat_82021-07-18 05:37 77K 
[ ]cat_8__t60_cat_8.vout2021-07-25 19:13 4.1K 
[ ]cat_8__t61_cat_82021-07-18 05:37 29K 
[ ]cat_8__t61_cat_8.depv12021-07-25 20:57 40  
[ ]cat_8__t61_cat_8.depvmin12021-07-25 21:03 40  
[ ]cat_8__t61_cat_8.vmin12021-07-25 20:57 2.5K 
[ ]cat_8__t61_cat_8.vmin1out2021-07-25 21:01 76K 
[ ]cat_8__t61_cat_8.vout2021-07-25 16:45 61K 
[ ]cat_8__t62_cat_82021-07-18 05:38 31K 
[ ]cat_8__t62_cat_8.vout2021-07-25 20:24 2.0K 
[ ]cat_8__t63_cat_82021-07-18 05:38 54K 
[ ]cat_8__t63_cat_8.vout2021-07-25 19:28 6.8K 
[ ]cat_8__t64_cat_82021-07-18 05:39 57K 
[ ]cat_8__t64_cat_8.vout2021-07-25 17:36 6.7K 
[ ]cat_8__t65_cat_82021-07-18 05:39 41K 
[ ]cat_8__t65_cat_8.vout2021-07-25 17:37 4.1K 
[ ]cat_8__t66_cat_82021-07-18 05:40 25K 
[ ]cat_8__t66_cat_8.vout2021-07-25 19:36 7.2K 
[ ]cat_8__t67_cat_82021-07-18 05:40 29K 
[ ]cat_8__t67_cat_8.vout2021-07-25 18:58 7.2K 
[ ]cat_8__t68_cat_82021-07-18 05:41 31K 
[ ]cat_8__t68_cat_8.vout2021-07-25 16:36 4.1K 
[ ]cat_8__t69_cat_82021-07-18 05:41 40K 
[ ]cat_8__t69_cat_8.vout2021-07-25 17:16 4.1K 
[ ]cat_8__t70_cat_82021-07-18 05:41 28K 
[ ]cat_8__t70_cat_8.vout2021-07-25 14:48 7.2K 
[ ]cat_8__t71_cat_82021-07-18 05:42 47K 
[ ]cat_8__t71_cat_8.vout2021-07-25 17:43 7.2K 
[ ]cat_8__t72_cat_82021-07-18 05:42 30K 
[ ]cat_8__t72_cat_8.vout2021-07-25 18:23 4.1K 
[ ]cat_8__t73_cat_82021-07-18 05:43 40K 
[ ]cat_8__t73_cat_8.vout2021-07-25 19:35 4.1K 
[ ]cat_8__t74_cat_82021-07-18 05:43 47K 
[ ]cat_8__t74_cat_8.vout2021-07-25 16:32 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80