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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pre_poly__l75_pre_poly2021-07-18 07:10 41K 
[ ]pre_poly__l75_pre_poly.vout2021-07-25 17:14 6.8K 
[ ]pre_poly__l76_pre_poly2021-07-18 07:43 46K 
[ ]pre_poly__l76_pre_poly.vout2021-07-25 20:49 6.8K 
[ ]pre_poly__l77_pre_poly2021-07-18 07:43 42K 
[ ]pre_poly__l77_pre_poly.vout2021-07-25 20:11 6.8K 
[ ]pre_poly__l78_pre_poly2021-07-18 07:44 43K 
[ ]pre_poly__l78_pre_poly.vout2021-07-25 16:24 6.8K 
[ ]pre_poly__l99_pre_poly2021-07-18 07:44 42K 
[ ]pre_poly__l99_pre_poly.depv12021-07-25 20:57 140  
[ ]pre_poly__l99_pre_poly.depvmin12021-07-25 21:02 140  
[ ]pre_poly__l99_pre_poly.vmin12021-07-25 20:57 1.1K 
[ ]pre_poly__l99_pre_poly.vmin1out2021-07-25 21:01 10K 
[ ]pre_poly__l99_pre_poly.vout2021-07-25 16:23 9.2K 
[ ]pre_poly__l100_pre_poly2021-07-18 07:45 42K 
[ ]pre_poly__l100_pre_poly.depv12021-07-25 20:57 73  
[ ]pre_poly__l100_pre_poly.depvmin12021-07-25 21:02 73  
[ ]pre_poly__l100_pre_poly.vmin12021-07-25 20:57 1.0K 
[ ]pre_poly__l100_pre_poly.vmin1out2021-07-25 21:01 15K 
[ ]pre_poly__l100_pre_poly.vout2021-07-25 18:36 17K 
[ ]pre_poly__l105_pre_poly2021-07-18 07:45 43K 
[ ]pre_poly__l105_pre_poly.vout2021-07-25 20:40 7.4K 
[ ]pre_poly__l107_pre_poly2021-07-18 07:45 40K 
[ ]pre_poly__l107_pre_poly.vout2021-07-25 15:40 4.7K 
[ ]pre_poly__t1_pre_poly2021-07-18 07:10 47K 
[ ]pre_poly__t1_pre_poly.depv12021-07-25 20:57 223  
[ ]pre_poly__t1_pre_poly.depvmin12021-07-25 21:02 223  
[ ]pre_poly__t1_pre_poly.vmin12021-07-25 20:57 2.0K 
[ ]pre_poly__t1_pre_poly.vmin1out2021-07-25 21:01 26K 
[ ]pre_poly__t1_pre_poly.vout2021-07-25 19:02 29K 
[ ]pre_poly__t2_pre_poly2021-07-18 07:11 53K 
[ ]pre_poly__t2_pre_poly.vout2021-07-25 19:38 10K 
[ ]pre_poly__t3_pre_poly2021-07-18 07:11 51K 
[ ]pre_poly__t3_pre_poly.vout2021-07-25 15:06 7.8K 
[ ]pre_poly__t4_pre_poly2021-07-18 07:12 47K 
[ ]pre_poly__t4_pre_poly.vout2021-07-25 19:55 7.9K 
[ ]pre_poly__t5_pre_poly2021-07-18 07:12 47K 
[ ]pre_poly__t5_pre_poly.vout2021-07-25 19:52 7.9K 
[ ]pre_poly__t6_pre_poly2021-07-18 07:13 44K 
[ ]pre_poly__t6_pre_poly.vout2021-07-25 20:45 7.3K 
[ ]pre_poly__t7_pre_poly2021-07-18 07:07 24K 
[ ]pre_poly__t7_pre_poly.depv12021-07-25 20:57 97  
[ ]pre_poly__t7_pre_poly.depvmin12021-07-25 21:02 84  
[ ]pre_poly__t7_pre_poly.vmin12021-07-25 20:57 549  
[ ]pre_poly__t7_pre_poly.vmin1out2021-07-25 20:58 3.6K 
[ ]pre_poly__t7_pre_poly.vout2021-07-25 14:26 4.1K 
[ ]pre_poly__t9_pre_poly2021-07-18 07:13 52K 
[ ]pre_poly__t9_pre_poly.vout2021-07-25 19:32 6.8K 
[ ]pre_poly__t10_pre_poly2021-07-18 07:14 50K 
[ ]pre_poly__t10_pre_poly.vout2021-07-25 18:22 6.8K 
[ ]pre_poly__t11_pre_poly2021-07-18 07:14 52K 
[ ]pre_poly__t11_pre_poly.vout2021-07-25 17:23 7.3K 
[ ]pre_poly__t12_pre_poly2021-07-18 07:14 39K 
[ ]pre_poly__t12_pre_poly.depv12021-07-25 20:57 117  
[ ]pre_poly__t12_pre_poly.depvmin12021-07-25 21:02 117  
[ ]pre_poly__t12_pre_poly.vmin12021-07-25 20:57 1.3K 
[ ]pre_poly__t12_pre_poly.vmin1out2021-07-25 21:00 18K 
[ ]pre_poly__t12_pre_poly.vout2021-07-25 15:59 19K 
[ ]pre_poly__t13_pre_poly2021-07-18 07:15 59K 
[ ]pre_poly__t13_pre_poly.vout2021-07-25 18:07 4.7K 
[ ]pre_poly__t14_pre_poly2021-07-18 07:15 32K 
[ ]pre_poly__t14_pre_poly.vout2021-07-25 20:43 7.4K 
[ ]pre_poly__t15_pre_poly2021-07-18 07:16 31K 
[ ]pre_poly__t15_pre_poly.vout2021-07-25 16:42 7.9K 
[ ]pre_poly__t16_pre_poly2021-07-18 07:16 41K 
[ ]pre_poly__t16_pre_poly.vout2021-07-25 14:22 7.9K 
[ ]pre_poly__t17_pre_poly2021-07-18 07:16 36K 
[ ]pre_poly__t17_pre_poly.depv12021-07-25 20:57 102  
[ ]pre_poly__t17_pre_poly.depvmin12021-07-25 21:02 102  
[ ]pre_poly__t17_pre_poly.vmin12021-07-25 20:57 759  
[ ]pre_poly__t17_pre_poly.vmin1out2021-07-25 20:58 5.9K 
[ ]pre_poly__t17_pre_poly.vout2021-07-25 19:00 7.7K 
[ ]pre_poly__t18_pre_poly2021-07-18 07:17 36K 
[ ]pre_poly__t18_pre_poly.depv12021-07-25 20:57 68  
[ ]pre_poly__t18_pre_poly.depvmin12021-07-25 21:02 68  
[ ]pre_poly__t18_pre_poly.vmin12021-07-25 20:57 964  
[ ]pre_poly__t18_pre_poly.vmin1out2021-07-25 21:00 17K 
[ ]pre_poly__t18_pre_poly.vout2021-07-25 17:27 17K 
[ ]pre_poly__t19_pre_poly2021-07-18 07:17 32K 
[ ]pre_poly__t19_pre_poly.vout2021-07-25 16:13 2.0K 
[ ]pre_poly__t20_pre_poly2021-07-18 07:18 54K 
[ ]pre_poly__t20_pre_poly.vout2021-07-25 19:22 4.7K 
[ ]pre_poly__t21_pre_poly2021-07-18 07:18 54K 
[ ]pre_poly__t21_pre_poly.vout2021-07-25 19:41 4.7K 
[ ]pre_poly__t22_pre_poly2021-07-18 07:18 27K 
[ ]pre_poly__t22_pre_poly.depv12021-07-25 20:57 57  
[ ]pre_poly__t22_pre_poly.depvmin12021-07-25 21:02 57  
[ ]pre_poly__t22_pre_poly.vmin12021-07-25 20:57 652  
[ ]pre_poly__t22_pre_poly.vmin1out2021-07-25 21:00 19K 
[ ]pre_poly__t22_pre_poly.vout2021-07-25 19:04 19K 
[ ]pre_poly__t23_pre_poly2021-07-18 07:19 40K 
[ ]pre_poly__t23_pre_poly.vout2021-07-25 15:00 7.3K 
[ ]pre_poly__t24_pre_poly2021-07-18 07:19 39K 
[ ]pre_poly__t24_pre_poly.vout2021-07-25 17:26 6.8K 
[ ]pre_poly__t25_pre_poly2021-07-18 07:20 57K 
[ ]pre_poly__t25_pre_poly.vout2021-07-25 16:08 7.4K 
[ ]pre_poly__t26_pre_poly2021-07-18 07:20 28K 
[ ]pre_poly__t26_pre_poly.depv12021-07-25 20:57 85  
[ ]pre_poly__t26_pre_poly.depvmin12021-07-25 21:02 85  
[ ]pre_poly__t26_pre_poly.vmin12021-07-25 20:57 1.1K 
[ ]pre_poly__t26_pre_poly.vmin1out2021-07-25 20:57 29K 
[ ]pre_poly__t26_pre_poly.vout2021-07-25 19:03 30K 
[ ]pre_poly__t27_pre_poly2021-07-18 07:20 51K 
[ ]pre_poly__t27_pre_poly.vout2021-07-25 20:48 2.0K 
[ ]pre_poly__t28_pre_poly2021-07-18 07:21 42K 
[ ]pre_poly__t28_pre_poly.depv12021-07-25 20:57 77  
[ ]pre_poly__t28_pre_poly.depvmin12021-07-25 21:02 77  
[ ]pre_poly__t28_pre_poly.vmin12021-07-25 20:57 647  
[ ]pre_poly__t28_pre_poly.vmin1out2021-07-25 21:02 6.3K 
[ ]pre_poly__t28_pre_poly.vout2021-07-25 14:48 7.4K 
[ ]pre_poly__t29_pre_poly2021-07-18 07:21 83K 
[ ]pre_poly__t29_pre_poly.vout2021-07-25 14:46 6.8K 
[ ]pre_poly__t30_pre_poly2021-07-18 07:22 69K 
[ ]pre_poly__t30_pre_poly.vout2021-07-25 20:02 7.3K 
[ ]pre_poly__t31_pre_poly2021-07-18 07:22 66K 
[ ]pre_poly__t31_pre_poly.vout2021-07-25 16:39 6.8K 
[ ]pre_poly__t32_pre_poly2021-07-18 07:23 84K 
[ ]pre_poly__t32_pre_poly.vout2021-07-25 17:46 6.8K 
[ ]pre_poly__t33_pre_poly2021-07-18 07:23 43K 
[ ]pre_poly__t33_pre_poly.vout2021-07-25 15:54 4.7K 
[ ]pre_poly__t34_pre_poly2021-07-18 07:24 37K 
[ ]pre_poly__t34_pre_poly.vout2021-07-25 17:01 4.7K 
[ ]pre_poly__t35_pre_poly2021-07-18 07:24 35K 
[ ]pre_poly__t35_pre_poly.vout2021-07-25 14:58 4.7K 
[ ]pre_poly__t36_pre_poly2021-07-18 07:24 37K 
[ ]pre_poly__t36_pre_poly.vout2021-07-25 20:30 4.7K 
[ ]pre_poly__t37_pre_poly2021-07-18 07:25 32K 
[ ]pre_poly__t37_pre_poly.depv12021-07-25 20:57 83  
[ ]pre_poly__t37_pre_poly.depvmin12021-07-25 21:02 83  
[ ]pre_poly__t37_pre_poly.vmin12021-07-25 20:57 834  
[ ]pre_poly__t37_pre_poly.vmin1out2021-07-25 21:02 12K 
[ ]pre_poly__t37_pre_poly.vout2021-07-25 20:52 12K 
[ ]pre_poly__t38_pre_poly2021-07-18 07:25 43K 
[ ]pre_poly__t38_pre_poly.vout2021-07-25 20:51 7.3K 
[ ]pre_poly__t39_pre_poly2021-07-18 07:26 37K 
[ ]pre_poly__t39_pre_poly.vout2021-07-25 19:10 7.3K 
[ ]pre_poly__t40_pre_poly2021-07-18 07:26 43K 
[ ]pre_poly__t40_pre_poly.depv12021-07-25 20:57 227  
[ ]pre_poly__t40_pre_poly.depvmin12021-07-25 21:02 227  
[ ]pre_poly__t40_pre_poly.vmin12021-07-25 20:57 1.9K 
[ ]pre_poly__t40_pre_poly.vmin1out2021-07-25 20:59 20K 
[ ]pre_poly__t40_pre_poly.vout2021-07-25 16:39 29K 
[ ]pre_poly__t41_pre_poly2021-07-18 07:26 39K 
[ ]pre_poly__t41_pre_poly.vout2021-07-25 18:53 7.3K 
[ ]pre_poly__t42_pre_poly2021-07-18 07:07 32K 
[ ]pre_poly__t42_pre_poly.depv12021-07-25 20:57 62  
[ ]pre_poly__t42_pre_poly.depvmin12021-07-25 21:02 62  
[ ]pre_poly__t42_pre_poly.vmin12021-07-25 20:57 1.8K 
[ ]pre_poly__t42_pre_poly.vmin1out2021-07-25 20:58 40K 
[ ]pre_poly__t42_pre_poly.vout2021-07-25 15:45 33K 
[ ]pre_poly__t43_pre_poly2021-07-18 07:08 32K 
[ ]pre_poly__t43_pre_poly.depv12021-07-25 20:57 88  
[ ]pre_poly__t43_pre_poly.depvmin12021-07-25 21:02 62  
[ ]pre_poly__t43_pre_poly.vmin12021-07-25 20:57 2.0K 
[ ]pre_poly__t43_pre_poly.vmin1out2021-07-25 20:58 15K 
[ ]pre_poly__t43_pre_poly.vout2021-07-25 16:14 25K 
[ ]pre_poly__t44_pre_poly2021-07-18 07:08 32K 
[ ]pre_poly__t44_pre_poly.depv12021-07-25 20:57 88  
[ ]pre_poly__t44_pre_poly.depvmin12021-07-25 21:02 62  
[ ]pre_poly__t44_pre_poly.vmin12021-07-25 20:57 2.0K 
[ ]pre_poly__t44_pre_poly.vmin1out2021-07-25 20:59 15K 
[ ]pre_poly__t44_pre_poly.vout2021-07-25 14:47 25K 
[ ]pre_poly__t45_pre_poly2021-07-18 07:27 39K 
[ ]pre_poly__t45_pre_poly.vout2021-07-25 14:30 7.4K 
[ ]pre_poly__t46_pre_poly2021-07-18 07:27 37K 
[ ]pre_poly__t46_pre_poly.depv12021-07-25 20:57 328  
[ ]pre_poly__t46_pre_poly.depvmin12021-07-25 21:02 277  
[ ]pre_poly__t46_pre_poly.vmin12021-07-25 20:57 3.4K 
[ ]pre_poly__t46_pre_poly.vmin1out2021-07-25 21:02 45K 
[ ]pre_poly__t46_pre_poly.vout2021-07-25 20:01 32K 
[ ]pre_poly__t47_pre_poly2021-07-18 07:27 41K 
[ ]pre_poly__t47_pre_poly.vout2021-07-25 19:02 4.7K 
[ ]pre_poly__t48_pre_poly2021-07-18 07:28 38K 
[ ]pre_poly__t48_pre_poly.vout2021-07-25 16:22 4.7K 
[ ]pre_poly__t49_pre_poly2021-07-18 07:28 40K 
[ ]pre_poly__t49_pre_poly.vout2021-07-25 19:34 7.3K 
[ ]pre_poly__t50_pre_poly2021-07-18 07:28 43K 
[ ]pre_poly__t50_pre_poly.vout2021-07-25 14:33 4.7K 
[ ]pre_poly__t51_pre_poly2021-07-18 07:29 36K 
[ ]pre_poly__t51_pre_poly.depv12021-07-25 20:57 324  
[ ]pre_poly__t51_pre_poly.depvmin12021-07-25 21:02 298  
[ ]pre_poly__t51_pre_poly.vmin12021-07-25 20:57 2.4K 
[ ]pre_poly__t51_pre_poly.vmin1out2021-07-25 21:02 30K 
[ ]pre_poly__t51_pre_poly.vout2021-07-25 18:16 38K 
[ ]pre_poly__t53_pre_poly2021-07-18 07:29 52K 
[ ]pre_poly__t53_pre_poly.vout2021-07-25 17:45 4.7K 
[ ]pre_poly__t54_pre_poly2021-07-18 07:30 48K 
[ ]pre_poly__t54_pre_poly.vout2021-07-25 20:46 5.3K 
[ ]pre_poly__t55_pre_poly2021-07-18 07:30 50K 
[ ]pre_poly__t55_pre_poly.vout2021-07-25 17:37 4.7K 
[ ]pre_poly__t56_pre_poly2021-07-18 07:31 48K 
[ ]pre_poly__t56_pre_poly.vout2021-07-25 15:34 4.7K 
[ ]pre_poly__t57_pre_poly2021-07-18 07:31 51K 
[ ]pre_poly__t57_pre_poly.vout2021-07-25 15:57 4.7K 
[ ]pre_poly__t58_pre_poly2021-07-18 07:08 48K 
[ ]pre_poly__t58_pre_poly.vout2021-07-25 18:12 4.7K 
[ ]pre_poly__t59_pre_poly2021-07-18 07:09 46K 
[ ]pre_poly__t59_pre_poly.vout2021-07-25 20:39 2.0K 
[ ]pre_poly__t60_pre_poly2021-07-18 07:09 49K 
[ ]pre_poly__t60_pre_poly.depv12021-07-25 20:57 426  
[ ]pre_poly__t60_pre_poly.depvmin12021-07-25 21:02 293  
[ ]pre_poly__t60_pre_poly.vmin12021-07-25 20:57 3.8K 
[ ]pre_poly__t60_pre_poly.vmin1out2021-07-25 21:02 22K 
[ ]pre_poly__t60_pre_poly.vout2021-07-25 18:04 32K 
[ ]pre_poly__t61_pre_poly2021-07-18 07:31 42K 
[ ]pre_poly__t61_pre_poly.depv12021-07-25 20:57 197  
[ ]pre_poly__t61_pre_poly.depvmin12021-07-25 21:02 197  
[ ]pre_poly__t61_pre_poly.vmin12021-07-25 20:57 2.3K 
[ ]pre_poly__t61_pre_poly.vmin1out2021-07-25 21:01 30K 
[ ]pre_poly__t61_pre_poly.vout2021-07-25 20:29 28K 
[ ]pre_poly__t62_pre_poly2021-07-18 07:32 51K 
[ ]pre_poly__t62_pre_poly.vout2021-07-25 14:50 7.3K 
[ ]pre_poly__t63_pre_poly2021-07-18 07:33 115K 
[ ]pre_poly__t63_pre_poly.vout2021-07-25 17:11 6.8K 
[ ]pre_poly__t64_pre_poly2021-07-18 07:33 56K 
[ ]pre_poly__t64_pre_poly.vout2021-07-25 18:22 7.3K 
[ ]pre_poly__t65_pre_poly2021-07-18 07:34 60K 
[ ]pre_poly__t65_pre_poly.vout2021-07-25 15:40 7.3K 
[ ]pre_poly__t66_pre_poly2021-07-18 07:34 56K 
[ ]pre_poly__t66_pre_poly.vout2021-07-25 18:05 4.7K 
[ ]pre_poly__t67_pre_poly2021-07-18 07:35 66K 
[ ]pre_poly__t67_pre_poly.vout2021-07-25 15:46 7.3K 
[ ]pre_poly__t68_pre_poly2021-07-18 07:35 62K 
[ ]pre_poly__t68_pre_poly.vout2021-07-25 19:50 6.8K 
[ ]pre_poly__t69_pre_poly2021-07-18 07:36 72K 
[ ]pre_poly__t69_pre_poly.vout2021-07-25 19:18 3.7K 
[ ]pre_poly__t70_pre_poly2021-07-18 07:36 54K 
[ ]pre_poly__t70_pre_poly.vout2021-07-25 20:39 7.3K 
[ ]pre_poly__t71_pre_poly2021-07-18 07:37 60K 
[ ]pre_poly__t71_pre_poly.vout2021-07-25 15:36 7.3K 
[ ]pre_poly__t72_pre_poly2021-07-18 07:37 64K 
[ ]pre_poly__t72_pre_poly.vout2021-07-25 14:46 7.3K 
[ ]pre_poly__t73_pre_poly2021-07-18 07:38 66K 
[ ]pre_poly__t73_pre_poly.vout2021-07-25 18:04 7.9K 
[ ]pre_poly__t74_pre_poly2021-07-18 07:39 129K 
[ ]pre_poly__t74_pre_poly.vout2021-07-25 15:26 6.8K 
[ ]pre_poly__t75_pre_poly2021-07-18 07:39 50K 
[ ]pre_poly__t75_pre_poly.vout2021-07-25 14:54 7.3K 
[ ]pre_poly__t76_pre_poly2021-07-18 07:40 51K 
[ ]pre_poly__t76_pre_poly.depv12021-07-25 20:57 153  
[ ]pre_poly__t76_pre_poly.depvmin12021-07-25 21:02 153  
[ ]pre_poly__t76_pre_poly.vmin12021-07-25 20:57 2.1K 
[ ]pre_poly__t76_pre_poly.vmin1out2021-07-25 20:59 34K 
[ ]pre_poly__t76_pre_poly.vout2021-07-25 19:18 29K 
[ ]pre_poly__t77_pre_poly2021-07-18 07:40 51K 
[ ]pre_poly__t77_pre_poly.depv12021-07-25 20:57 146  
[ ]pre_poly__t77_pre_poly.depvmin12021-07-25 21:02 78  
[ ]pre_poly__t77_pre_poly.vmin12021-07-25 20:57 2.2K 
[ ]pre_poly__t77_pre_poly.vmin1out2021-07-25 20:58 43K 
[ ]pre_poly__t77_pre_poly.vout2021-07-25 15:11 35K 
[ ]pre_poly__t78_pre_poly2021-07-18 07:41 82K 
[ ]pre_poly__t78_pre_poly.vout2021-07-25 16:26 4.7K 
[ ]pre_poly__t79_pre_poly2021-07-18 07:41 87K 
[ ]pre_poly__t79_pre_poly.vout2021-07-25 19:43 4.7K 
[ ]pre_poly__t80_pre_poly2021-07-18 07:42 133K 
[ ]pre_poly__t80_pre_poly.vout2021-07-25 17:49 4.8K 
[ ]pre_poly__t81_pre_poly2021-07-18 07:10 46K 
[ ]pre_poly__t81_pre_poly.depv12021-07-25 20:57 191  
[ ]pre_poly__t81_pre_poly.depvmin12021-07-25 21:02 191  
[ ]pre_poly__t81_pre_poly.vmin12021-07-25 20:57 1.7K 
[ ]pre_poly__t81_pre_poly.vmin1out2021-07-25 21:00 44K 
[ ]pre_poly__t81_pre_poly.vout2021-07-25 20:09 23K 
[ ]pre_poly__t82_pre_poly2021-07-18 07:42 42K 
[ ]pre_poly__t82_pre_poly.vout2021-07-25 17:15 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80