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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pre_poly__t34_pre_poly.depv12024-08-03 10:19 52  
[ ]pre_poly__t34_pre_poly.depvmin12024-08-03 10:24 52  
[ ]pre_poly__t22_pre_poly.depv12024-08-03 10:19 57  
[ ]pre_poly__t22_pre_poly.depvmin12024-08-03 10:24 57  
[ ]pre_poly__t42_pre_poly.depv12024-08-03 10:19 62  
[ ]pre_poly__t42_pre_poly.depvmin12024-08-03 10:24 62  
[ ]pre_poly__t43_pre_poly.depvmin12024-08-03 10:24 62  
[ ]pre_poly__t44_pre_poly.depvmin12024-08-03 10:24 62  
[ ]pre_poly__t18_pre_poly.depv12024-08-03 10:19 68  
[ ]pre_poly__t18_pre_poly.depvmin12024-08-03 10:24 68  
[ ]pre_poly__l100_pre_poly.depv12024-08-03 10:19 73  
[ ]pre_poly__l100_pre_poly.depvmin12024-08-03 10:24 73  
[ ]pre_poly__t28_pre_poly.depv12024-08-03 10:19 77  
[ ]pre_poly__t28_pre_poly.depvmin12024-08-03 10:24 77  
[ ]pre_poly__t77_pre_poly.depvmin12024-08-03 10:24 78  
[ ]pre_poly__t37_pre_poly.depv12024-08-03 10:19 83  
[ ]pre_poly__t37_pre_poly.depvmin12024-08-03 10:24 83  
[ ]pre_poly__t7_pre_poly.depvmin12024-08-03 10:24 84  
[ ]pre_poly__t43_pre_poly.depv12024-08-03 10:19 88  
[ ]pre_poly__t44_pre_poly.depv12024-08-03 10:19 88  
[ ]pre_poly__t7_pre_poly.depv12024-08-03 10:19 97  
[ ]pre_poly__t26_pre_poly.depv12024-08-03 10:19 98  
[ ]pre_poly__t26_pre_poly.depvmin12024-08-03 10:24 98  
[ ]pre_poly__t17_pre_poly.depv12024-08-03 10:19 102  
[ ]pre_poly__t17_pre_poly.depvmin12024-08-03 10:24 102  
[ ]pre_poly__t12_pre_poly.depv12024-08-03 10:19 117  
[ ]pre_poly__t12_pre_poly.depvmin12024-08-03 10:24 117  
[ ]pre_poly__l99_pre_poly.depv12024-08-03 10:19 140  
[ ]pre_poly__l99_pre_poly.depvmin12024-08-03 10:24 140  
[ ]pre_poly__t77_pre_poly.depv12024-08-03 10:19 146  
[ ]pre_poly__t61_pre_poly.depv12024-08-03 10:19 173  
[ ]pre_poly__t61_pre_poly.depvmin12024-08-03 10:24 173  
[ ]pre_poly__t76_pre_poly.depvmin12024-08-03 10:24 175  
[ ]pre_poly__t81_pre_poly.depv12024-08-03 10:19 191  
[ ]pre_poly__t81_pre_poly.depvmin12024-08-03 10:24 191  
[ ]pre_poly__t76_pre_poly.depv12024-08-03 10:19 201  
[ ]pre_poly__t1_pre_poly.depv12024-08-03 10:19 223  
[ ]pre_poly__t1_pre_poly.depvmin12024-08-03 10:24 223  
[ ]pre_poly__t46_pre_poly.depvmin12024-08-03 10:24 277  
[ ]pre_poly__t40_pre_poly.depvmin12024-08-03 10:24 280  
[ ]pre_poly__t60_pre_poly.depvmin12024-08-03 10:24 293  
[ ]pre_poly__t51_pre_poly.depvmin12024-08-03 10:24 313  
[ ]pre_poly__t46_pre_poly.depv12024-08-03 10:19 328  
[ ]pre_poly__t40_pre_poly.depv12024-08-03 10:19 351  
[ ]pre_poly__t51_pre_poly.depv12024-08-03 10:19 352  
[ ]pre_poly__t60_pre_poly.depv12024-08-03 10:19 426  
[ ]pre_poly__t7_pre_poly.vmin12024-08-03 10:20 549  
[ ]pre_poly__t28_pre_poly.vmin12024-08-03 10:20 647  
[ ]pre_poly__t22_pre_poly.vmin12024-08-03 10:20 652  
[ ]pre_poly__t17_pre_poly.vmin12024-08-03 10:20 759  
[ ]pre_poly__t37_pre_poly.vmin12024-08-03 10:20 834  
[ ]pre_poly__t18_pre_poly.vmin12024-08-03 10:20 964  
[ ]pre_poly__l100_pre_poly.vmin12024-08-03 10:20 1.0K 
[ ]pre_poly__l99_pre_poly.vmin12024-08-03 10:20 1.1K 
[ ]pre_poly__t26_pre_poly.vmin12024-08-03 10:20 1.2K 
[ ]pre_poly__t12_pre_poly.vmin12024-08-03 10:20 1.3K 
[ ]pre_poly__t81_pre_poly.vmin12024-08-03 10:20 1.7K 
[ ]pre_poly__t34_pre_poly.vmin12024-08-03 10:20 1.8K 
[ ]pre_poly__t42_pre_poly.vmin12024-08-03 10:20 1.8K 
[ ]pre_poly__t43_pre_poly.vmin12024-08-03 10:20 2.0K 
[ ]pre_poly__t44_pre_poly.vmin12024-08-03 10:20 2.0K 
[ ]pre_poly__t1_pre_poly.vmin12024-08-03 10:20 2.0K 
[ ]pre_poly__t19_pre_poly.vout2024-08-03 04:45 2.0K 
[ ]pre_poly__t59_pre_poly.vout2024-08-03 09:39 2.0K 
[ ]pre_poly__t27_pre_poly.vout2024-08-03 05:19 2.0K 
[ ]pre_poly__t61_pre_poly.vmin12024-08-03 10:20 2.1K 
[ ]pre_poly__t77_pre_poly.vmin12024-08-03 10:20 2.2K 
[ ]pre_poly__t76_pre_poly.vmin12024-08-03 10:20 2.2K 
[ ]pre_poly__t51_pre_poly.vmin12024-08-03 10:20 2.5K 
[ ]pre_poly__t40_pre_poly.vmin12024-08-03 10:20 3.0K 
[ ]pre_poly__t46_pre_poly.vmin12024-08-03 10:20 3.4K 
[ ]pre_poly__t7_pre_poly.vmin1out2024-08-03 10:22 3.6K 
[ ]pre_poly__t69_pre_poly.vout2024-08-03 08:46 3.7K 
[ ]pre_poly__t60_pre_poly.vmin12024-08-03 10:20 3.8K 
[ ]pre_poly__t7_pre_poly.vout2024-08-03 07:13 4.1K 
[ ]pre_poly__t79_pre_poly.vout2024-08-03 09:25 4.7K 
[ ]pre_poly__t21_pre_poly.vout2024-08-03 05:34 4.7K 
[ ]pre_poly__t57_pre_poly.vout2024-08-03 07:50 4.7K 
[ ]pre_poly__t13_pre_poly.vout2024-08-03 07:20 4.7K 
[ ]pre_poly__t47_pre_poly.vout2024-08-03 09:17 4.7K 
[ ]pre_poly__t58_pre_poly.vout2024-08-03 10:18 4.7K 
[ ]pre_poly__t33_pre_poly.vout2024-08-03 10:02 4.7K 
[ ]pre_poly__t78_pre_poly.vout2024-08-03 05:14 4.7K 
[ ]pre_poly__l107_pre_poly.vout2024-08-03 06:40 4.7K 
[ ]pre_poly__t20_pre_poly.vout2024-08-03 04:08 4.7K 
[ ]pre_poly__t35_pre_poly.vout2024-08-03 07:34 4.7K 
[ ]pre_poly__t36_pre_poly.vout2024-08-03 05:58 4.7K 
[ ]pre_poly__t48_pre_poly.vout2024-08-03 06:58 4.7K 
[ ]pre_poly__t66_pre_poly.vout2024-08-03 08:22 4.7K 
[ ]pre_poly__t53_pre_poly.vout2024-08-03 08:53 4.7K 
[ ]pre_poly__t50_pre_poly.vout2024-08-03 06:06 4.7K 
[ ]pre_poly__t54_pre_poly.vout2024-08-03 07:08 4.7K 
[ ]pre_poly__t55_pre_poly.vout2024-08-03 08:01 4.7K 
[ ]pre_poly__t56_pre_poly.vout2024-08-03 10:09 4.7K 
[ ]pre_poly__t80_pre_poly.vout2024-08-03 04:40 4.7K 
[ ]pre_poly__t17_pre_poly.vmin1out2024-08-03 10:22 5.9K 
[ ]pre_poly__t28_pre_poly.vmin1out2024-08-03 10:22 6.3K 
[ ]pre_poly__l78_pre_poly.vout2024-08-03 07:54 6.8K 
[ ]pre_poly__l76_pre_poly.vout2024-08-03 06:53 6.8K 
[ ]pre_poly__l77_pre_poly.vout2024-08-03 09:08 6.8K 
[ ]pre_poly__l75_pre_poly.vout2024-08-03 10:06 6.8K 
[ ]pre_poly__t24_pre_poly.vout2024-08-03 09:41 6.8K 
[ ]pre_poly__t9_pre_poly.vout2024-08-03 06:35 6.8K 
[ ]pre_poly__t32_pre_poly.vout2024-08-03 04:27 6.8K 
[ ]pre_poly__t68_pre_poly.vout2024-08-03 05:34 6.8K 
[ ]pre_poly__t29_pre_poly.vout2024-08-03 04:30 6.8K 
[ ]pre_poly__t63_pre_poly.vout2024-08-03 05:31 6.8K 
[ ]pre_poly__t10_pre_poly.vout2024-08-03 09:09 6.8K 
[ ]pre_poly__t31_pre_poly.vout2024-08-03 09:16 6.8K 
[ ]pre_poly__t74_pre_poly.vout2024-08-03 09:00 6.8K 
[ ]pre_poly__t30_pre_poly.vout2024-08-03 04:24 7.3K 
[ ]pre_poly__t6_pre_poly.vout2024-08-03 05:06 7.3K 
[ ]pre_poly__t38_pre_poly.vout2024-08-03 05:39 7.3K 
[ ]pre_poly__t70_pre_poly.vout2024-08-03 06:30 7.3K 
[ ]pre_poly__t25_pre_poly.vout2024-08-03 07:45 7.3K 
[ ]pre_poly__t41_pre_poly.vout2024-08-03 08:45 7.3K 
[ ]pre_poly__t65_pre_poly.vout2024-08-03 09:30 7.3K 
[ ]pre_poly__t39_pre_poly.vout2024-08-03 05:38 7.3K 
[ ]pre_poly__t71_pre_poly.vout2024-08-03 08:22 7.3K 
[ ]pre_poly__t75_pre_poly.vout2024-08-03 09:27 7.3K 
[ ]pre_poly__t11_pre_poly.vout2024-08-03 04:57 7.3K 
[ ]pre_poly__t23_pre_poly.vout2024-08-03 08:47 7.3K 
[ ]pre_poly__t64_pre_poly.vout2024-08-03 08:16 7.3K 
[ ]pre_poly__t72_pre_poly.vout2024-08-03 09:15 7.3K 
[ ]pre_poly__t49_pre_poly.vout2024-08-03 05:33 7.3K 
[ ]pre_poly__t14_pre_poly.vout2024-08-03 06:26 7.4K 
[ ]pre_poly__t82_pre_poly.vout2024-08-03 06:45 7.4K 
[ ]pre_poly__t67_pre_poly.vout2024-08-03 06:08 7.4K 
[ ]pre_poly__t62_pre_poly.vout2024-08-03 08:42 7.4K 
[ ]pre_poly__t28_pre_poly.vout2024-08-03 06:27 7.4K 
[ ]pre_poly__t17_pre_poly.vout2024-08-03 04:44 7.7K 
[ ]pre_poly__t3_pre_poly.vout2024-08-03 05:23 7.8K 
[ ]pre_poly__t5_pre_poly.vout2024-08-03 08:21 7.9K 
[ ]pre_poly__t4_pre_poly.vout2024-08-03 06:12 7.9K 
[ ]pre_poly__t45_pre_poly.vout2024-08-03 09:20 7.9K 
[ ]pre_poly__t73_pre_poly.vout2024-08-03 06:41 7.9K 
[ ]pre_poly__t15_pre_poly.vout2024-08-03 05:51 7.9K 
[ ]pre_poly__t16_pre_poly.vout2024-08-03 05:41 7.9K 
[ ]pre_poly__l105_pre_poly.vout2024-08-03 08:37 7.9K 
[ ]pre_poly__l99_pre_poly.vout2024-08-03 09:24 9.2K 
[ ]pre_poly__t2_pre_poly.vout2024-08-03 05:43 10K 
[ ]pre_poly__l99_pre_poly.vmin1out2024-08-03 10:20 10K 
[ ]pre_poly__t37_pre_poly.vmin1out2024-08-03 10:23 12K 
[ ]pre_poly__t37_pre_poly.vout2024-08-03 08:28 12K 
[ ]pre_poly__l100_pre_poly.vmin1out2024-08-03 10:23 15K 
[ ]pre_poly__t43_pre_poly.vmin1out2024-08-03 10:21 15K 
[ ]pre_poly__t44_pre_poly.vmin1out2024-08-03 10:23 15K 
[ ]pre_poly__t18_pre_poly.vout2024-08-03 07:49 17K 
[ ]pre_poly__l100_pre_poly.vout2024-08-03 06:16 17K 
[ ]pre_poly__t18_pre_poly.vmin1out2024-08-03 10:23 17K 
[ ]pre_poly__t12_pre_poly.vmin1out2024-08-03 10:23 18K 
[ ]pre_poly__t12_pre_poly.vout2024-08-03 06:51 19K 
[ ]pre_poly__t22_pre_poly.vmin1out2024-08-03 10:21 19K 
[ ]pre_poly__t22_pre_poly.vout2024-08-03 08:44 19K 
[ ]pre_poly__t34_pre_poly.vout2024-08-03 09:14 21K 
[ ]pre_poly__t60_pre_poly.vmin1out2024-08-03 10:23 22K 
[ ]pre_poly__t81_pre_poly.vout2024-08-03 06:33 23K 
[ ]pre_poly__t40_pre_poly.vmin1out2024-08-03 10:20 23K 
[ ]pre_poly__t44_pre_poly.vout2024-08-03 06:34 25K 
[ ]pre_poly__t43_pre_poly.vout2024-08-03 05:43 25K 
[ ]pre_poly__t1_pre_poly.vmin1out2024-08-03 10:22 26K 
[ ]pre_poly__t7_pre_poly2024-07-27 14:15 27K 
[ ]pre_poly__t26_pre_poly.vmin1out2024-08-03 10:23 27K 
[ ]pre_poly__t61_pre_poly.vmin1out2024-08-03 10:21 28K 
[ ]pre_poly__t61_pre_poly.vout2024-08-03 04:56 29K 
[ ]pre_poly__t26_pre_poly.vout2024-08-03 04:39 29K 
[ ]pre_poly__t1_pre_poly.vout2024-08-03 04:32 29K 
[ ]pre_poly__t40_pre_poly.vout2024-08-03 04:57 30K 
[ ]pre_poly__t76_pre_poly.vout2024-08-03 05:34 31K 
[ ]pre_poly__t22_pre_poly2024-07-27 14:58 32K 
[ ]pre_poly__t26_pre_poly2024-07-27 15:05 32K 
[ ]pre_poly__t60_pre_poly.vout2024-08-03 08:19 32K 
[ ]pre_poly__t46_pre_poly.vout2024-08-03 06:25 32K 
[ ]pre_poly__t42_pre_poly.vout2024-08-03 05:40 33K 
[ ]pre_poly__t51_pre_poly.vmin1out2024-08-03 10:23 33K 
[ ]pre_poly__t37_pre_poly2024-07-27 15:23 34K 
[ ]pre_poly__t77_pre_poly.vout2024-08-03 04:40 35K 
[ ]pre_poly__t76_pre_poly.vmin1out2024-08-03 10:22 35K 
[ ]pre_poly__t42_pre_poly2024-07-27 14:16 35K 
[ ]pre_poly__t43_pre_poly2024-07-27 14:18 35K 
[ ]pre_poly__t44_pre_poly2024-07-27 14:19 35K 
[ ]pre_poly__t15_pre_poly2024-07-27 14:48 35K 
[ ]pre_poly__t19_pre_poly2024-07-27 14:53 36K 
[ ]pre_poly__t14_pre_poly2024-07-27 14:46 37K 
[ ]pre_poly__t35_pre_poly2024-07-27 15:20 37K 
[ ]pre_poly__t17_pre_poly2024-07-27 14:51 39K 
[ ]pre_poly__t18_pre_poly2024-07-27 14:52 39K 
[ ]pre_poly__t36_pre_poly2024-07-27 15:22 40K 
[ ]pre_poly__t34_pre_poly2024-07-27 15:19 40K 
[ ]pre_poly__t46_pre_poly2024-07-27 15:32 40K 
[ ]pre_poly__t39_pre_poly2024-07-27 15:26 40K 
[ ]pre_poly__t42_pre_poly.vmin1out2024-08-03 10:21 40K 
[ ]pre_poly__t51_pre_poly2024-07-27 15:39 41K 
[ ]pre_poly__t48_pre_poly2024-07-27 15:34 41K 
[ ]pre_poly__t51_pre_poly.vout2024-08-03 04:29 42K 
[ ]pre_poly__t45_pre_poly2024-07-27 15:30 42K 
[ ]pre_poly__t41_pre_poly2024-07-27 15:29 42K 
[ ]pre_poly__t12_pre_poly2024-07-27 14:43 42K 
[ ]pre_poly__t49_pre_poly2024-07-27 15:36 42K 
[ ]pre_poly__l107_pre_poly2024-07-27 16:39 43K 
[ ]pre_poly__t77_pre_poly.vmin1out2024-08-03 10:22 43K 
[ ]pre_poly__t47_pre_poly2024-07-27 15:33 43K 
[ ]pre_poly__t81_pre_poly.vmin1out2024-08-03 10:21 44K 
[ ]pre_poly__t24_pre_poly2024-07-27 15:02 44K 
[ ]pre_poly__l75_pre_poly2024-07-27 14:26 44K 
[ ]pre_poly__t82_pre_poly2024-07-27 16:28 45K 
[ ]pre_poly__l77_pre_poly2024-07-27 16:31 45K 
[ ]pre_poly__t46_pre_poly.vmin1out2024-08-03 10:21 45K 
[ ]pre_poly__t16_pre_poly2024-07-27 14:49 45K 
[ ]pre_poly__t61_pre_poly2024-07-27 15:48 45K 
[ ]pre_poly__l100_pre_poly2024-07-27 16:36 45K 
[ ]pre_poly__t23_pre_poly2024-07-27 15:00 46K 
[ ]pre_poly__t33_pre_poly2024-07-27 15:18 46K 
[ ]pre_poly__l99_pre_poly2024-07-27 16:34 46K 
[ ]pre_poly__t50_pre_poly2024-07-27 15:37 46K 
[ ]pre_poly__t38_pre_poly2024-07-27 15:24 46K 
[ ]pre_poly__t28_pre_poly2024-07-27 15:08 46K 
[ ]pre_poly__l78_pre_poly2024-07-27 16:33 46K 
[ ]pre_poly__t40_pre_poly2024-07-27 15:27 46K 
[ ]pre_poly__l105_pre_poly2024-07-27 16:37 47K 
[ ]pre_poly__t34_pre_poly.vmin1out2024-08-03 10:23 48K 
[ ]pre_poly__l76_pre_poly2024-07-27 16:29 49K 
[ ]pre_poly__t81_pre_poly2024-07-27 14:25 49K 
[ ]pre_poly__t59_pre_poly2024-07-27 14:22 50K 
[ ]pre_poly__t6_pre_poly2024-07-27 14:36 50K 
[ ]pre_poly__t58_pre_poly2024-07-27 14:20 51K 
[ ]pre_poly__t54_pre_poly2024-07-27 15:42 51K 
[ ]pre_poly__t56_pre_poly2024-07-27 15:45 51K 
[ ]pre_poly__t60_pre_poly2024-07-27 14:23 52K 
[ ]pre_poly__t75_pre_poly2024-07-27 16:16 53K 
[ ]pre_poly__t55_pre_poly2024-07-27 15:43 53K 
[ ]pre_poly__t5_pre_poly2024-07-27 14:34 53K 
[ ]pre_poly__t4_pre_poly2024-07-27 14:33 53K 
[ ]pre_poly__t1_pre_poly2024-07-27 14:28 53K 
[ ]pre_poly__t57_pre_poly2024-07-27 15:47 54K 
[ ]pre_poly__t10_pre_poly2024-07-27 14:40 55K 
[ ]pre_poly__t62_pre_poly2024-07-27 15:50 55K 
[ ]pre_poly__t53_pre_poly2024-07-27 15:40 56K 
[ ]pre_poly__t76_pre_poly2024-07-27 16:18 56K 
[ ]pre_poly__t77_pre_poly2024-07-27 16:19 56K 
[ ]pre_poly__t9_pre_poly2024-07-27 14:38 57K 
[ ]pre_poly__t3_pre_poly2024-07-27 14:31 57K 
[ ]pre_poly__t11_pre_poly2024-07-27 14:42 57K 
[ ]pre_poly__t70_pre_poly2024-07-27 16:05 57K 
[ ]pre_poly__t27_pre_poly2024-07-27 15:06 57K 
[ ]pre_poly__t2_pre_poly2024-07-27 14:30 59K 
[ ]pre_poly__t66_pre_poly2024-07-27 15:58 59K 
[ ]pre_poly__t20_pre_poly2024-07-27 14:55 59K 
[ ]pre_poly__t21_pre_poly2024-07-27 14:57 59K 
[ ]pre_poly__t64_pre_poly2024-07-27 15:54 61K 
[ ]pre_poly__t25_pre_poly2024-07-27 15:03 62K 
[ ]pre_poly__t71_pre_poly2024-07-27 16:07 64K 
[ ]pre_poly__t65_pre_poly2024-07-27 15:56 64K 
[ ]pre_poly__t68_pre_poly2024-07-27 16:02 65K 
[ ]pre_poly__t13_pre_poly2024-07-27 14:45 67K 
[ ]pre_poly__t72_pre_poly2024-07-27 16:09 68K 
[ ]pre_poly__t31_pre_poly2024-07-27 15:14 71K 
[ ]pre_poly__t73_pre_poly2024-07-27 16:11 72K 
[ ]pre_poly__t67_pre_poly2024-07-27 16:00 72K 
[ ]pre_poly__t69_pre_poly2024-07-27 16:04 77K 
[ ]pre_poly__t30_pre_poly2024-07-27 15:12 79K 
[ ]pre_poly__t78_pre_poly2024-07-27 16:22 87K 
[ ]pre_poly__t79_pre_poly2024-07-27 16:24 93K 
[ ]pre_poly__t32_pre_poly2024-07-27 15:16 93K 
[ ]pre_poly__t29_pre_poly2024-07-27 15:10 95K 
[ ]pre_poly__t63_pre_poly2024-07-27 15:53 120K 
[ ]pre_poly__t74_pre_poly2024-07-27 16:15 141K 
[ ]pre_poly__t80_pre_poly2024-07-27 16:26 144K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80