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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cat_8__l31_cat_82024-07-27 18:08 27K 
[ ]cat_8__l31_cat_8.vout2024-08-03 10:07 4.1K 
[ ]cat_8__l77_cat_82024-07-27 18:10 37K 
[ ]cat_8__l77_cat_8.vout2024-08-03 04:15 4.1K 
[ ]cat_8__l90_cat_82024-07-27 18:11 34K 
[ ]cat_8__l90_cat_8.vout2024-08-03 04:14 6.8K 
[ ]cat_8__l93_cat_82024-07-27 18:20 24K 
[ ]cat_8__l93_cat_8.vout2024-08-03 06:50 6.7K 
[ ]cat_8__l94_cat_82024-07-27 18:21 27K 
[ ]cat_8__l94_cat_8.vout2024-08-03 04:08 6.8K 
[ ]cat_8__l111_cat_82024-07-27 18:16 70K 
[ ]cat_8__l111_cat_8.vout2024-08-03 09:27 6.8K 
[ ]cat_8__l112_cat_82024-07-27 18:17 30K 
[ ]cat_8__l112_cat_8.vout2024-08-03 08:32 4.7K 
[ ]cat_8__l113_cat_82024-07-27 18:18 31K 
[ ]cat_8__l113_cat_8.vout2024-08-03 10:16 4.7K 
[ ]cat_8__t1_cat_82024-07-27 16:46 2.0K 
[ ]cat_8__t1_cat_8.depv12024-08-03 10:19 47  
[ ]cat_8__t1_cat_8.depvmin12024-08-03 10:24 47  
[ ]cat_8__t1_cat_8.vmin12024-08-03 10:19 1.4K 
[ ]cat_8__t1_cat_8.vmin1out2024-08-03 10:23 33K 
[ ]cat_8__t1_cat_8.vout2024-08-03 08:58 33K 
[ ]cat_8__t2_cat_82024-07-27 16:47 2.4K 
[ ]cat_8__t2_cat_8.depv12024-08-03 10:19 58  
[ ]cat_8__t2_cat_8.depvmin12024-08-03 10:24 58  
[ ]cat_8__t2_cat_8.vmin12024-08-03 10:19 2.0K 
[ ]cat_8__t2_cat_8.vmin1out2024-08-03 10:21 45K 
[ ]cat_8__t2_cat_8.vout2024-08-03 09:25 45K 
[ ]cat_8__t3_cat_82024-07-27 16:47 1.7K 
[ ]cat_8__t3_cat_8.depv12024-08-03 10:19 37  
[ ]cat_8__t3_cat_8.depvmin12024-08-03 10:24 37  
[ ]cat_8__t3_cat_8.vmin12024-08-03 10:19 1.2K 
[ ]cat_8__t3_cat_8.vmin1out2024-08-03 10:23 32K 
[ ]cat_8__t3_cat_8.vout2024-08-03 09:10 33K 
[ ]cat_8__t4_cat_82024-07-27 16:48 15K 
[ ]cat_8__t4_cat_8.depv12024-08-03 10:19 54  
[ ]cat_8__t4_cat_8.depvmin12024-08-03 10:24 54  
[ ]cat_8__t4_cat_8.vmin12024-08-03 10:19 1.5K 
[ ]cat_8__t4_cat_8.vmin1out2024-08-03 10:23 23K 
[ ]cat_8__t4_cat_8.vout2024-08-03 07:16 24K 
[ ]cat_8__t5_cat_82024-07-27 16:49 12K 
[ ]cat_8__t5_cat_8.depv12024-08-03 10:19 100  
[ ]cat_8__t5_cat_8.depvmin12024-08-03 10:24 100  
[ ]cat_8__t5_cat_8.vmin12024-08-03 10:19 1.6K 
[ ]cat_8__t5_cat_8.vmin1out2024-08-03 10:20 36K 
[ ]cat_8__t5_cat_8.vout2024-08-03 08:56 34K 
[ ]cat_8__t6_cat_82024-07-27 16:50 11K 
[ ]cat_8__t6_cat_8.depv12024-08-03 10:19 89  
[ ]cat_8__t6_cat_8.depvmin12024-08-03 10:24 89  
[ ]cat_8__t6_cat_8.vmin12024-08-03 10:19 1.1K 
[ ]cat_8__t6_cat_8.vmin1out2024-08-03 10:20 16K 
[ ]cat_8__t6_cat_8.vout2024-08-03 04:51 16K 
[ ]cat_8__t7_cat_82024-07-27 16:51 12K 
[ ]cat_8__t7_cat_8.depv12024-08-03 10:19 105  
[ ]cat_8__t7_cat_8.depvmin12024-08-03 10:24 105  
[ ]cat_8__t7_cat_8.vmin12024-08-03 10:19 1.4K 
[ ]cat_8__t7_cat_8.vmin1out2024-08-03 10:21 20K 
[ ]cat_8__t7_cat_8.vout2024-08-03 05:02 22K 
[ ]cat_8__t8_cat_82024-07-27 16:52 24K 
[ ]cat_8__t8_cat_8.vout2024-08-03 07:46 6.7K 
[ ]cat_8__t9_cat_82024-07-27 16:53 12K 
[ ]cat_8__t9_cat_8.depv12024-08-03 10:19 228  
[ ]cat_8__t9_cat_8.depvmin12024-08-03 10:24 150  
[ ]cat_8__t9_cat_8.vmin12024-08-03 10:19 4.3K 
[ ]cat_8__t9_cat_8.vmin1out2024-08-03 10:20 151K 
[ ]cat_8__t9_cat_8.vout2024-08-03 06:30 201K 
[ ]cat_8__t10_cat_82024-07-27 16:54 26K 
[ ]cat_8__t10_cat_8.vout2024-08-03 10:06 2.0K 
[ ]cat_8__t11_cat_82024-07-27 16:55 21K 
[ ]cat_8__t11_cat_8.depv12024-08-03 10:19 237  
[ ]cat_8__t11_cat_8.depvmin12024-08-03 10:24 195  
[ ]cat_8__t11_cat_8.vmin12024-08-03 10:19 3.2K 
[ ]cat_8__t11_cat_8.vmin1out2024-08-03 10:22 40K 
[ ]cat_8__t11_cat_8.vout2024-08-03 07:20 45K 
[ ]cat_8__t12_cat_82024-07-27 16:45 4.0K 
[ ]cat_8__t12_cat_8.depv12024-08-03 10:19 30  
[ ]cat_8__t12_cat_8.depvmin12024-08-03 10:24 30  
[ ]cat_8__t12_cat_8.vmin12024-08-03 10:19 1.2K 
[ ]cat_8__t12_cat_8.vmin1out2024-08-03 10:22 16K 
[ ]cat_8__t12_cat_8.vout2024-08-03 08:29 16K 
[ ]cat_8__t13_cat_82024-07-27 16:55 4.6K 
[ ]cat_8__t13_cat_8.depv12024-08-03 10:19 30  
[ ]cat_8__t13_cat_8.depvmin12024-08-03 10:24 30  
[ ]cat_8__t13_cat_8.vmin12024-08-03 10:19 1.5K 
[ ]cat_8__t13_cat_8.vmin1out2024-08-03 10:20 27K 
[ ]cat_8__t13_cat_8.vout2024-08-03 04:33 27K 
[ ]cat_8__t14_cat_82024-07-27 16:57 32K 
[ ]cat_8__t14_cat_8.vout2024-08-03 07:37 4.1K 
[ ]cat_8__t15_cat_82024-07-27 16:59 35K 
[ ]cat_8__t15_cat_8.vout2024-08-03 04:45 8.3K 
[ ]cat_8__t16_cat_82024-07-27 17:00 24K 
[ ]cat_8__t16_cat_8.depv12024-08-03 10:19 67  
[ ]cat_8__t16_cat_8.depvmin12024-08-03 10:24 67  
[ ]cat_8__t16_cat_8.vmin12024-08-03 10:19 1.8K 
[ ]cat_8__t16_cat_8.vmin1out2024-08-03 10:20 17K 
[ ]cat_8__t16_cat_8.vout2024-08-03 09:51 24K 
[ ]cat_8__t17_cat_82024-07-27 17:01 27K 
[ ]cat_8__t17_cat_8.vout2024-08-03 05:11 4.1K 
[ ]cat_8__t18_cat_82024-07-27 17:03 43K 
[ ]cat_8__t18_cat_8.vout2024-08-03 05:56 8.3K 
[ ]cat_8__t19_cat_82024-07-27 17:04 12K 
[ ]cat_8__t19_cat_8.depv12024-08-03 10:19 91  
[ ]cat_8__t19_cat_8.depvmin12024-08-03 10:24 63  
[ ]cat_8__t19_cat_8.vmin12024-08-03 10:19 1.5K 
[ ]cat_8__t19_cat_8.vmin1out2024-08-03 10:21 21K 
[ ]cat_8__t19_cat_8.vout2024-08-03 05:15 28K 
[ ]cat_8__t20_cat_82024-07-27 17:05 13K 
[ ]cat_8__t20_cat_8.vout2024-08-03 06:12 8.3K 
[ ]cat_8__t21_cat_82024-07-27 17:06 16K 
[ ]cat_8__t21_cat_8.vout2024-08-03 07:28 2.0K 
[ ]cat_8__t22_cat_82024-07-27 17:07 17K 
[ ]cat_8__t22_cat_8.vout2024-08-03 05:35 4.1K 
[ ]cat_8__t23_cat_82024-07-27 17:08 11K 
[ ]cat_8__t23_cat_8.vout2024-08-03 06:27 9.1K 
[ ]cat_8__t24_cat_82024-07-27 17:10 23K 
[ ]cat_8__t24_cat_8.depv12024-08-03 10:19 372  
[ ]cat_8__t24_cat_8.depvmin12024-08-03 10:24 307  
[ ]cat_8__t24_cat_8.vmin12024-08-03 10:19 4.2K 
[ ]cat_8__t24_cat_8.vmin1out2024-08-03 10:20 46K 
[ ]cat_8__t24_cat_8.vout2024-08-03 06:02 65K 
[ ]cat_8__t25_cat_82024-07-27 17:10 6.7K 
[ ]cat_8__t25_cat_8.depv12024-08-03 10:19 162  
[ ]cat_8__t25_cat_8.depvmin12024-08-03 10:24 141  
[ ]cat_8__t25_cat_8.vmin12024-08-03 10:19 3.9K 
[ ]cat_8__t25_cat_8.vmin1out2024-08-03 10:21 46K 
[ ]cat_8__t25_cat_8.vout2024-08-03 04:41 47K 
[ ]cat_8__t26_cat_82024-07-27 17:11 8.3K 
[ ]cat_8__t26_cat_8.vout2024-08-03 08:54 9.1K 
[ ]cat_8__t27_cat_82024-07-27 17:12 30K 
[ ]cat_8__t27_cat_8.vout2024-08-03 04:41 4.1K 
[ ]cat_8__t28_cat_82024-07-27 17:13 21K 
[ ]cat_8__t28_cat_8.depv12024-08-03 10:19 110  
[ ]cat_8__t28_cat_8.depvmin12024-08-03 10:24 110  
[ ]cat_8__t28_cat_8.vmin12024-08-03 10:19 1.7K 
[ ]cat_8__t28_cat_8.vmin1out2024-08-03 10:23 17K 
[ ]cat_8__t28_cat_8.vout2024-08-03 07:35 19K 
[ ]cat_8__t29_cat_82024-07-27 17:15 24K 
[ ]cat_8__t29_cat_8.vout2024-08-03 06:02 4.1K 
[ ]cat_8__t30_cat_82024-07-27 17:15 12K 
[ ]cat_8__t30_cat_8.depv12024-08-03 10:19 91  
[ ]cat_8__t30_cat_8.depvmin12024-08-03 10:24 82  
[ ]cat_8__t30_cat_8.vmin12024-08-03 10:19 1.5K 
[ ]cat_8__t30_cat_8.vmin1out2024-08-03 10:20 23K 
[ ]cat_8__t30_cat_8.vout2024-08-03 09:13 28K 
[ ]cat_8__t31_cat_82024-07-27 17:16 13K 
[ ]cat_8__t31_cat_8.vout2024-08-03 05:29 8.3K 
[ ]cat_8__t32_cat_82024-07-27 17:18 17K 
[ ]cat_8__t32_cat_8.vout2024-08-03 10:03 2.0K 
[ ]cat_8__t33_cat_82024-07-27 17:19 18K 
[ ]cat_8__t33_cat_8.vout2024-08-03 08:31 4.1K 
[ ]cat_8__t34_cat_82024-07-27 17:20 11K 
[ ]cat_8__t34_cat_8.vout2024-08-03 05:10 9.1K 
[ ]cat_8__t35_cat_82024-07-27 17:21 24K 
[ ]cat_8__t35_cat_8.depv12024-08-03 10:19 361  
[ ]cat_8__t35_cat_8.depvmin12024-08-03 10:24 274  
[ ]cat_8__t35_cat_8.vmin12024-08-03 10:19 4.2K 
[ ]cat_8__t35_cat_8.vmin1out2024-08-03 10:22 40K 
[ ]cat_8__t35_cat_8.vout2024-08-03 04:48 57K 
[ ]cat_8__t36_cat_82024-07-27 17:22 6.7K 
[ ]cat_8__t36_cat_8.depv12024-08-03 10:19 144  
[ ]cat_8__t36_cat_8.depvmin12024-08-03 10:24 123  
[ ]cat_8__t36_cat_8.vmin12024-08-03 10:19 3.8K 
[ ]cat_8__t36_cat_8.vmin1out2024-08-03 10:23 45K 
[ ]cat_8__t36_cat_8.vout2024-08-03 07:58 46K 
[ ]cat_8__t37_cat_82024-07-27 17:22 8.3K 
[ ]cat_8__t37_cat_8.vout2024-08-03 06:34 9.1K 
[ ]cat_8__t38_cat_82024-07-27 16:46 24K 
[ ]cat_8__t38_cat_8.vout2024-08-03 04:55 4.7K 
[ ]cat_8__t39_cat_82024-07-27 17:24 18K 
[ ]cat_8__t39_cat_8.vout2024-08-03 08:33 4.1K 
[ ]cat_8__t40_cat_82024-07-27 17:25 12K 
[ ]cat_8__t40_cat_8.vout2024-08-03 09:55 4.1K 
[ ]cat_8__t41_cat_82024-07-27 17:26 26K 
[ ]cat_8__t41_cat_8.vout2024-08-03 06:39 4.1K 
[ ]cat_8__t42_cat_82024-07-27 17:27 14K 
[ ]cat_8__t42_cat_8.depv12024-08-03 10:19 142  
[ ]cat_8__t42_cat_8.depvmin12024-08-03 10:24 116  
[ ]cat_8__t42_cat_8.vmin12024-08-03 10:19 2.7K 
[ ]cat_8__t42_cat_8.vmin1out2024-08-03 10:22 56K 
[ ]cat_8__t42_cat_8.vout2024-08-03 09:11 51K 
[ ]cat_8__t43_cat_82024-07-27 17:28 15K 
[ ]cat_8__t43_cat_8.depv12024-08-03 10:19 85  
[ ]cat_8__t43_cat_8.depvmin12024-08-03 10:24 85  
[ ]cat_8__t43_cat_8.vmin12024-08-03 10:19 2.6K 
[ ]cat_8__t43_cat_8.vmin1out2024-08-03 10:23 27K 
[ ]cat_8__t43_cat_8.vout2024-08-03 05:03 48K 
[ ]cat_8__t44_cat_82024-07-27 17:29 15K 
[ ]cat_8__t44_cat_8.vout2024-08-03 09:20 4.1K 
[ ]cat_8__t45_cat_82024-07-27 17:30 10K 
[ ]cat_8__t45_cat_8.vout2024-08-03 06:44 7.1K 
[ ]cat_8__t46_cat_82024-07-27 17:31 6.1K 
[ ]cat_8__t46_cat_8.depv12024-08-03 10:19 20  
[ ]cat_8__t46_cat_8.depvmin12024-08-03 10:24 20  
[ ]cat_8__t46_cat_8.vmin12024-08-03 10:19 2.6K 
[ ]cat_8__t46_cat_8.vmin1out2024-08-03 10:22 99K 
[ ]cat_8__t46_cat_8.vout2024-08-03 09:44 91K 
[ ]cat_8__t47_cat_82024-07-27 17:32 31K 
[ ]cat_8__t47_cat_8.vout2024-08-03 09:18 4.1K 
[ ]cat_8__t48_cat_82024-07-27 17:33 7.5K 
[ ]cat_8__t48_cat_8.vout2024-08-03 06:54 8.6K 
[ ]cat_8__t49_cat_82024-07-27 17:34 29K 
[ ]cat_8__t49_cat_8.vout2024-08-03 09:07 4.1K 
[ ]cat_8__t50_cat_82024-07-27 17:35 13K 
[ ]cat_8__t50_cat_8.vout2024-08-03 07:51 4.1K 
[ ]cat_8__t51_cat_82024-07-27 17:36 12K 
[ ]cat_8__t51_cat_8.vout2024-08-03 04:40 4.1K 
[ ]cat_8__t52_cat_82024-07-27 17:37 27K 
[ ]cat_8__t52_cat_8.vout2024-08-03 05:21 4.1K 
[ ]cat_8__t53_cat_82024-07-27 17:38 27K 
[ ]cat_8__t53_cat_8.depv12024-08-03 10:19 33  
[ ]cat_8__t53_cat_8.depvmin12024-08-03 10:24 33  
[ ]cat_8__t53_cat_8.vmin12024-08-03 10:19 1.5K 
[ ]cat_8__t53_cat_8.vmin1out2024-08-03 10:23 45K 
[ ]cat_8__t53_cat_8.vout2024-08-03 08:44 26K 
[ ]cat_8__t54_cat_82024-07-27 17:39 29K 
[ ]cat_8__t54_cat_8.depv12024-08-03 10:19 159  
[ ]cat_8__t54_cat_8.depvmin12024-08-03 10:24 149  
[ ]cat_8__t54_cat_8.vmin12024-08-03 10:19 5.8K 
[ ]cat_8__t54_cat_8.vmin1out2024-08-03 10:21 137K 
[ ]cat_8__t54_cat_8.vout2024-08-03 09:01 111K 
[ ]cat_8__t55_cat_82024-07-27 17:41 28K 
[ ]cat_8__t55_cat_8.vout2024-08-03 09:26 4.1K 
[ ]cat_8__t56_cat_82024-07-27 17:42 30K 
[ ]cat_8__t56_cat_8.vout2024-08-03 05:52 4.1K 
[ ]cat_8__t57_cat_82024-07-27 17:44 32K 
[ ]cat_8__t57_cat_8.vout2024-08-03 07:49 4.1K 
[ ]cat_8__t58_cat_82024-07-27 17:45 25K 
[ ]cat_8__t58_cat_8.vout2024-08-03 06:13 4.1K 
[ ]cat_8__t59_cat_82024-07-27 17:47 39K 
[ ]cat_8__t59_cat_8.vout2024-08-03 07:47 6.7K 
[ ]cat_8__t60_cat_82024-07-27 17:49 60K 
[ ]cat_8__t60_cat_8.vout2024-08-03 05:41 4.1K 
[ ]cat_8__t61_cat_82024-07-27 17:50 7.5K 
[ ]cat_8__t61_cat_8.depv12024-08-03 10:19 68  
[ ]cat_8__t61_cat_8.depvmin12024-08-03 10:24 68  
[ ]cat_8__t61_cat_8.vmin12024-08-03 10:19 3.2K 
[ ]cat_8__t61_cat_8.vmin1out2024-08-03 10:22 68K 
[ ]cat_8__t61_cat_8.vout2024-08-03 09:50 70K 
[ ]cat_8__t62_cat_82024-07-27 17:50 9.0K 
[ ]cat_8__t62_cat_8.depv12024-08-03 10:19 61  
[ ]cat_8__t62_cat_8.depvmin12024-08-03 10:24 61  
[ ]cat_8__t62_cat_8.vmin12024-08-03 10:19 4.0K 
[ ]cat_8__t62_cat_8.vmin1out2024-08-03 10:22 85K 
[ ]cat_8__t62_cat_8.vout2024-08-03 06:39 94K 
[ ]cat_8__t63_cat_82024-07-27 17:52 41K 
[ ]cat_8__t63_cat_8.vout2024-08-03 07:37 6.7K 
[ ]cat_8__t64_cat_82024-07-27 17:54 43K 
[ ]cat_8__t64_cat_8.vout2024-08-03 05:18 7.3K 
[ ]cat_8__t65_cat_82024-07-27 17:56 29K 
[ ]cat_8__t65_cat_8.vout2024-08-03 06:49 4.1K 
[ ]cat_8__t66_cat_82024-07-27 17:57 17K 
[ ]cat_8__t66_cat_8.vout2024-08-03 08:34 6.7K 
[ ]cat_8__t67_cat_82024-07-27 17:58 20K 
[ ]cat_8__t67_cat_8.vout2024-08-03 07:22 7.2K 
[ ]cat_8__t68_cat_82024-07-27 17:59 22K 
[ ]cat_8__t68_cat_8.vout2024-08-03 10:10 4.1K 
[ ]cat_8__t69_cat_82024-07-27 18:01 28K 
[ ]cat_8__t69_cat_8.vout2024-08-03 04:09 4.1K 
[ ]cat_8__t70_cat_82024-07-27 18:02 20K 
[ ]cat_8__t70_cat_8.depv12024-08-03 10:19 106  
[ ]cat_8__t70_cat_8.depvmin12024-08-03 10:24 93  
[ ]cat_8__t70_cat_8.vmin12024-08-03 10:19 2.4K 
[ ]cat_8__t70_cat_8.vmin1out2024-08-03 10:22 49K 
[ ]cat_8__t70_cat_8.vout2024-08-03 09:01 52K 
[ ]cat_8__t71_cat_82024-07-27 18:04 31K 
[ ]cat_8__t71_cat_8.vout2024-08-03 09:00 7.3K 
[ ]cat_8__t72_cat_82024-07-27 18:05 7.8K 
[ ]cat_8__t72_cat_8.vout2024-08-03 08:49 8.6K 
[ ]cat_8__t73_cat_82024-07-27 18:05 18K 
[ ]cat_8__t73_cat_8.vout2024-08-03 07:52 4.1K 
[ ]cat_8__t74_cat_82024-07-27 18:07 35K 
[ ]cat_8__t74_cat_8.vout2024-08-03 09:17 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80