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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]numpoly1__l2_numpoly12024-07-28 22:25 17K 
[ ]numpoly1__l2_numpoly1.depv12024-08-03 10:19 113  
[ ]numpoly1__l2_numpoly1.depvmin12024-08-03 10:24 113  
[ ]numpoly1__l2_numpoly1.vmin12024-08-03 10:20 866  
[ ]numpoly1__l2_numpoly1.vmin1out2024-08-03 10:21 7.5K 
[ ]numpoly1__l2_numpoly1.vout2024-08-03 04:41 7.6K 
[ ]numpoly1__l3_numpoly12024-07-28 22:26 17K 
[ ]numpoly1__l3_numpoly1.depv12024-08-03 10:19 89  
[ ]numpoly1__l3_numpoly1.depvmin12024-08-03 10:24 89  
[ ]numpoly1__l3_numpoly1.vmin12024-08-03 10:20 797  
[ ]numpoly1__l3_numpoly1.vmin1out2024-08-03 10:20 7.2K 
[ ]numpoly1__l3_numpoly1.vout2024-08-03 06:53 13K 
[ ]numpoly1__l25_numpoly12024-07-28 20:46 22K 
[ ]numpoly1__l25_numpoly1.depv12024-08-03 10:19 161  
[ ]numpoly1__l25_numpoly1.depvmin12024-08-03 10:24 161  
[ ]numpoly1__l25_numpoly1.vmin12024-08-03 10:20 1.4K 
[ ]numpoly1__l25_numpoly1.vmin1out2024-08-03 10:20 12K 
[ ]numpoly1__l25_numpoly1.vout2024-08-03 10:01 11K 
[ ]numpoly1__l82_numpoly12024-07-28 20:47 28K 
[ ]numpoly1__l82_numpoly1.depv12024-08-03 10:19 28  
[ ]numpoly1__l82_numpoly1.depvmin12024-08-03 10:24 28  
[ ]numpoly1__l82_numpoly1.vmin12024-08-03 10:20 291  
[ ]numpoly1__l82_numpoly1.vmin1out2024-08-03 10:20 2.9K 
[ ]numpoly1__l82_numpoly1.vout2024-08-03 10:05 3.9K 
[ ]numpoly1__t1_numpoly12024-07-28 20:48 17K 
[ ]numpoly1__t1_numpoly1.vout2024-08-03 04:23 2.0K 
[ ]numpoly1__t2_numpoly12024-07-28 20:49 25K 
[ ]numpoly1__t2_numpoly1.vout2024-08-03 06:58 7.3K 
[ ]numpoly1__t3_numpoly12024-07-28 20:50 19K 
[ ]numpoly1__t3_numpoly1.depv12024-08-03 10:19 457  
[ ]numpoly1__t3_numpoly1.depvmin12024-08-03 10:24 445  
[ ]numpoly1__t3_numpoly1.vmin12024-08-03 10:20 3.1K 
[ ]numpoly1__t3_numpoly1.vmin1out2024-08-03 10:20 29K 
[ ]numpoly1__t3_numpoly1.vout2024-08-03 08:20 31K 
[ ]numpoly1__t4_numpoly12024-07-28 20:51 27K 
[ ]numpoly1__t4_numpoly1.vout2024-08-03 07:50 7.4K 
[ ]numpoly1__t5_numpoly12024-07-28 20:52 15K 
[ ]numpoly1__t5_numpoly1.depv12024-08-03 10:19 110  
[ ]numpoly1__t5_numpoly1.depvmin12024-08-03 10:24 110  
[ ]numpoly1__t5_numpoly1.vmin12024-08-03 10:20 917  
[ ]numpoly1__t5_numpoly1.vmin1out2024-08-03 10:20 8.7K 
[ ]numpoly1__t5_numpoly1.vout2024-08-03 06:26 8.7K 
[ ]numpoly1__t6_numpoly12024-07-28 20:53 140K 
[ ]numpoly1__t6_numpoly1.vout2024-08-03 08:39 2.0K 
[ ]numpoly1__t7_numpoly12024-07-28 20:54 140K 
[ ]numpoly1__t7_numpoly1.vout2024-08-03 05:03 2.0K 
[ ]numpoly1__t8_numpoly12024-07-28 20:55 28K 
[ ]numpoly1__t8_numpoly1.vout2024-08-03 09:11 7.3K 
[ ]numpoly1__t9_numpoly12024-07-28 20:56 21K 
[ ]numpoly1__t9_numpoly1.depv12024-08-03 10:19 123  
[ ]numpoly1__t9_numpoly1.depvmin12024-08-03 10:24 111  
[ ]numpoly1__t9_numpoly1.vmin12024-08-03 10:20 1.0K 
[ ]numpoly1__t9_numpoly1.vmin1out2024-08-03 10:23 8.7K 
[ ]numpoly1__t9_numpoly1.vout2024-08-03 07:31 10K 
[ ]numpoly1__t10_numpoly12024-07-28 20:57 61K 
[ ]numpoly1__t10_numpoly1.vout2024-08-03 05:31 2.0K 
[ ]numpoly1__t11_numpoly12024-07-28 20:30 31K 
[ ]numpoly1__t11_numpoly1.depv12024-08-03 10:19 191  
[ ]numpoly1__t11_numpoly1.depvmin12024-08-03 10:24 191  
[ ]numpoly1__t11_numpoly1.vmin12024-08-03 10:20 1.1K 
[ ]numpoly1__t11_numpoly1.vmin1out2024-08-03 10:20 7.2K 
[ ]numpoly1__t11_numpoly1.vout2024-08-03 10:02 7.0K 
[ ]numpoly1__t12_numpoly12024-07-28 20:58 26K 
[ ]numpoly1__t12_numpoly1.depv12024-08-03 10:19 144  
[ ]numpoly1__t12_numpoly1.depvmin12024-08-03 10:24 144  
[ ]numpoly1__t12_numpoly1.vmin12024-08-03 10:20 804  
[ ]numpoly1__t12_numpoly1.vmin1out2024-08-03 10:20 5.5K 
[ ]numpoly1__t12_numpoly1.vout2024-08-03 06:15 6.6K 
[ ]numpoly1__t13_numpoly12024-07-28 20:59 26K 
[ ]numpoly1__t13_numpoly1.vout2024-08-03 06:05 4.8K 
[ ]numpoly1__t14_numpoly12024-07-28 21:00 26K 
[ ]numpoly1__t14_numpoly1.depv12024-08-03 10:19 133  
[ ]numpoly1__t14_numpoly1.depvmin12024-08-03 10:24 133  
[ ]numpoly1__t14_numpoly1.vmin12024-08-03 10:20 535  
[ ]numpoly1__t14_numpoly1.vmin1out2024-08-03 10:20 3.3K 
[ ]numpoly1__t14_numpoly1.vout2024-08-03 06:17 3.8K 
[ ]numpoly1__t15_numpoly12024-07-28 21:02 26K 
[ ]numpoly1__t15_numpoly1.depv12024-08-03 10:19 134  
[ ]numpoly1__t15_numpoly1.depvmin12024-08-03 10:24 134  
[ ]numpoly1__t15_numpoly1.vmin12024-08-03 10:20 538  
[ ]numpoly1__t15_numpoly1.vmin1out2024-08-03 10:20 3.3K 
[ ]numpoly1__t15_numpoly1.vout2024-08-03 07:14 3.8K 
[ ]numpoly1__t16_numpoly12024-07-28 21:03 25K 
[ ]numpoly1__t16_numpoly1.depv12024-08-03 10:19 134  
[ ]numpoly1__t16_numpoly1.depvmin12024-08-03 10:24 134  
[ ]numpoly1__t16_numpoly1.vmin12024-08-03 10:20 538  
[ ]numpoly1__t16_numpoly1.vmin1out2024-08-03 10:23 3.3K 
[ ]numpoly1__t16_numpoly1.vout2024-08-03 09:36 3.8K 
[ ]numpoly1__t17_numpoly12024-07-28 21:04 25K 
[ ]numpoly1__t17_numpoly1.depv12024-08-03 10:19 134  
[ ]numpoly1__t17_numpoly1.depvmin12024-08-03 10:24 134  
[ ]numpoly1__t17_numpoly1.vmin12024-08-03 10:20 538  
[ ]numpoly1__t17_numpoly1.vmin1out2024-08-03 10:21 3.3K 
[ ]numpoly1__t17_numpoly1.vout2024-08-03 05:59 3.8K 
[ ]numpoly1__t18_numpoly12024-07-28 21:05 25K 
[ ]numpoly1__t18_numpoly1.depv12024-08-03 10:19 134  
[ ]numpoly1__t18_numpoly1.depvmin12024-08-03 10:24 134  
[ ]numpoly1__t18_numpoly1.vmin12024-08-03 10:20 538  
[ ]numpoly1__t18_numpoly1.vmin1out2024-08-03 10:21 3.3K 
[ ]numpoly1__t18_numpoly1.vout2024-08-03 09:42 3.8K 
[ ]numpoly1__t19_numpoly12024-07-28 21:07 110K 
[ ]numpoly1__t19_numpoly1.vout2024-08-03 05:14 2.0K 
[ ]numpoly1__t20_numpoly12024-07-28 20:32 24K 
[ ]numpoly1__t20_numpoly1.depv12024-08-03 10:19 182  
[ ]numpoly1__t20_numpoly1.depvmin12024-08-03 10:24 182  
[ ]numpoly1__t20_numpoly1.vmin12024-08-03 10:20 1.2K 
[ ]numpoly1__t20_numpoly1.vmin1out2024-08-03 10:22 8.4K 
[ ]numpoly1__t20_numpoly1.vout2024-08-03 06:00 8.4K 
[ ]numpoly1__t21_numpoly12024-07-28 21:08 95K 
[ ]numpoly1__t21_numpoly1.vout2024-08-03 08:16 2.0K 
[ ]numpoly1__t22_numpoly12024-07-28 21:09 683K 
[ ]numpoly1__t22_numpoly1.vout2024-08-03 06:19 7.4K 
[ ]numpoly1__t23_numpoly12024-07-28 21:11 631K 
[ ]numpoly1__t23_numpoly1.vout2024-08-03 05:07 7.4K 
[ ]numpoly1__t24_numpoly12024-07-28 21:12 505K 
[ ]numpoly1__t24_numpoly1.vout2024-08-03 07:47 7.3K 
[ ]numpoly1__t25_numpoly12024-07-28 21:14 675K 
[ ]numpoly1__t25_numpoly1.vout2024-08-03 06:32 7.4K 
[ ]numpoly1__t26_numpoly12024-07-28 21:15 22K 
[ ]numpoly1__t26_numpoly1.vout2024-08-03 05:03 71K 
[ ]numpoly1__t27_numpoly12024-07-28 21:16 330K 
[ ]numpoly1__t27_numpoly1.vout2024-08-03 04:10 2.0K 
[ ]numpoly1__t28_numpoly12024-07-28 20:33 266K 
[ ]numpoly1__t28_numpoly1.vout2024-08-03 06:03 1.1K 
[ ]numpoly1__t29_numpoly12024-07-28 20:34 109K 
[ ]numpoly1__t29_numpoly1.vout2024-08-03 09:44 1.1K 
[ ]numpoly1__t30_numpoly12024-07-28 20:35 221K 
[ ]numpoly1__t30_numpoly1.vout2024-08-03 06:52 1.1K 
[ ]numpoly1__t31_numpoly12024-07-28 20:36 529K 
[ ]numpoly1__t31_numpoly1.vout2024-08-03 05:56 1.1K 
[ ]numpoly1__t32_numpoly12024-07-28 20:37 1.3M 
[ ]numpoly1__t32_numpoly1.vout2024-08-03 05:24 1.2K 
[ ]numpoly1__t33_numpoly12024-07-28 21:17 1.5M 
[ ]numpoly1__t33_numpoly1.vout2024-08-03 05:16 7.3K 
[ ]numpoly1__t34_numpoly12024-07-28 21:19 1.5M 
[ ]numpoly1__t34_numpoly1.vout2024-08-03 09:51 7.4K 
[ ]numpoly1__t35_numpoly12024-07-28 21:20 202K 
[ ]numpoly1__t35_numpoly1.vout2024-08-03 10:12 2.0K 
[ ]numpoly1__t36_numpoly12024-07-28 21:21 331K 
[ ]numpoly1__t36_numpoly1.vout2024-08-03 08:14 7.3K 
[ ]numpoly1__t37_numpoly12024-07-28 20:38 34K 
[ ]numpoly1__t37_numpoly1.vout2024-08-03 04:34 2.0K 
[ ]numpoly1__t38_numpoly12024-07-28 20:39 34K 
[ ]numpoly1__t38_numpoly1.vout2024-08-03 04:15 2.0K 
[ ]numpoly1__t39_numpoly12024-07-28 21:22 43K 
[ ]numpoly1__t39_numpoly1.vout2024-08-03 10:18 1.1K 
[ ]numpoly1__t40_numpoly12024-07-28 21:24 180K 
[ ]numpoly1__t40_numpoly1.vout2024-08-03 07:20 1.1K 
[ ]numpoly1__t41_numpoly12024-07-28 21:25 221K 
[ ]numpoly1__t41_numpoly1.depv12024-08-03 10:19 137  
[ ]numpoly1__t41_numpoly1.depvmin12024-08-03 10:24 137  
[ ]numpoly1__t41_numpoly1.vmin12024-08-03 10:20 842  
[ ]numpoly1__t41_numpoly1.vmin1out2024-08-03 10:20 6.3K 
[ ]numpoly1__t41_numpoly1.vout2024-08-03 04:18 7.0K 
[ ]numpoly1__t42_numpoly12024-07-28 21:26 36K 
[ ]numpoly1__t42_numpoly1.vout2024-08-03 06:44 2.0K 
[ ]numpoly1__t43_numpoly12024-07-28 21:28 37K 
[ ]numpoly1__t43_numpoly1.vout2024-08-03 09:09 2.0K 
[ ]numpoly1__t44_numpoly12024-07-28 21:29 36K 
[ ]numpoly1__t44_numpoly1.vout2024-08-03 05:29 2.0K 
[ ]numpoly1__t45_numpoly12024-07-28 21:30 41K 
[ ]numpoly1__t45_numpoly1.vout2024-08-03 08:20 2.0K 
[ ]numpoly1__t46_numpoly12024-07-28 21:31 151K 
[ ]numpoly1__t46_numpoly1.vout2024-08-03 09:53 7.3K 
[ ]numpoly1__t47_numpoly12024-07-28 21:33 1.8M 
[ ]numpoly1__t47_numpoly1.vout2024-08-03 05:57 6.8K 
[ ]numpoly1__t48_numpoly12024-07-28 21:34 43K 
[ ]numpoly1__t48_numpoly1.vout2024-08-03 07:16 1.1K 
[ ]numpoly1__t49_numpoly12024-07-28 21:36 110K 
[ ]numpoly1__t49_numpoly1.vout2024-08-03 05:46 1.1K 
[ ]numpoly1__t50_numpoly12024-07-28 21:37 546K 
[ ]numpoly1__t50_numpoly1.vout2024-08-03 10:15 1.1K 
[ ]numpoly1__t51_numpoly12024-07-28 20:40 268K 
[ ]numpoly1__t51_numpoly1.vout2024-08-03 05:59 2.0K 
[ ]numpoly1__t52_numpoly12024-07-28 20:41 338K 
[ ]numpoly1__t52_numpoly1.vout2024-08-03 04:51 1.1K 
[ ]numpoly1__t53_numpoly12024-07-28 20:42 136K 
[ ]numpoly1__t53_numpoly1.vout2024-08-03 04:24 1.1K 
[ ]numpoly1__t54_numpoly12024-07-28 21:38 155K 
[ ]numpoly1__t54_numpoly1.vout2024-08-03 09:23 2.0K 
[ ]numpoly1__t55_numpoly12024-07-28 21:40 181K 
[ ]numpoly1__t55_numpoly1.vout2024-08-03 05:44 1.1K 
[ ]numpoly1__t56_numpoly12024-07-28 21:41 556K 
[ ]numpoly1__t56_numpoly1.vout2024-08-03 06:14 1.1K 
[ ]numpoly1__t57_numpoly12024-07-28 21:43 278K 
[ ]numpoly1__t57_numpoly1.vout2024-08-03 05:22 1.1K 
[ ]numpoly1__t58_numpoly12024-07-28 21:44 61K 
[ ]numpoly1__t58_numpoly1.vout2024-08-03 09:47 4.7K 
[ ]numpoly1__t59_numpoly12024-07-28 21:46 444K 
[ ]numpoly1__t59_numpoly1.vout2024-08-03 08:38 2.0K 
[ ]numpoly1__t60_numpoly12024-07-28 21:48 275K 
[ ]numpoly1__t60_numpoly1.vout2024-08-03 09:37 2.0K 
[ ]numpoly1__t61_numpoly12024-07-28 21:49 415K 
[ ]numpoly1__t61_numpoly1.vout2024-08-03 04:12 1.1K 
[ ]numpoly1__t62_numpoly12024-07-28 21:50 427K 
[ ]numpoly1__t62_numpoly1.vout2024-08-03 05:14 1.1K 
[ ]numpoly1__t63_numpoly12024-07-28 21:52 222K 
[ ]numpoly1__t63_numpoly1.vout2024-08-03 04:36 2.0K 
[ ]numpoly1__t64_numpoly12024-07-28 21:53 563K 
[ ]numpoly1__t64_numpoly1.vout2024-08-03 05:33 1.1K 
[ ]numpoly1__t65_numpoly12024-07-28 21:55 605K 
[ ]numpoly1__t65_numpoly1.vout2024-08-03 06:14 2.0K 
[ ]numpoly1__t66_numpoly12024-07-28 21:56 222K 
[ ]numpoly1__t66_numpoly1.vout2024-08-03 08:32 2.0K 
[ ]numpoly1__t67_numpoly12024-07-28 21:57 461K 
[ ]numpoly1__t67_numpoly1.vout2024-08-03 07:30 1.1K 
[ ]numpoly1__t68_numpoly12024-07-28 21:59 48K 
[ ]numpoly1__t68_numpoly1.vout2024-08-03 05:25 1.1K 
[ ]numpoly1__t69_numpoly12024-07-28 22:00 156K 
[ ]numpoly1__t69_numpoly1.vout2024-08-03 04:58 2.0K 
[ ]numpoly1__t70_numpoly12024-07-28 22:02 185K 
[ ]numpoly1__t70_numpoly1.vout2024-08-03 08:52 7.9K 
[ ]numpoly1__t71_numpoly12024-07-28 22:03 114K 
[ ]numpoly1__t71_numpoly1.vout2024-08-03 06:44 7.9K 
[ ]numpoly1__t72_numpoly12024-07-28 22:04 85K 
[ ]numpoly1__t72_numpoly1.vout2024-08-03 05:20 7.3K 
[ ]numpoly1__t73_numpoly12024-07-28 22:05 123K 
[ ]numpoly1__t73_numpoly1.depv12024-08-03 10:19 39  
[ ]numpoly1__t73_numpoly1.depvmin12024-08-03 10:24 39  
[ ]numpoly1__t73_numpoly1.vmin12024-08-03 10:20 382  
[ ]numpoly1__t73_numpoly1.vmin1out2024-08-03 10:20 3.1K 
[ ]numpoly1__t73_numpoly1.vout2024-08-03 09:48 3.2K 
[ ]numpoly1__t74_numpoly12024-07-28 22:07 225K 
[ ]numpoly1__t74_numpoly1.vout2024-08-03 07:11 2.0K 
[ ]numpoly1__t75_numpoly12024-07-28 22:08 248K 
[ ]numpoly1__t75_numpoly1.vout2024-08-03 08:33 1.1K 
[ ]numpoly1__t76_numpoly12024-07-28 22:09 248K 
[ ]numpoly1__t76_numpoly1.vout2024-08-03 07:41 1.1K 
[ ]numpoly1__t77_numpoly12024-07-28 22:11 256K 
[ ]numpoly1__t77_numpoly1.vout2024-08-03 05:47 1.1K 
[ ]numpoly1__t78_numpoly12024-07-28 22:12 349K 
[ ]numpoly1__t78_numpoly1.vout2024-08-03 05:25 7.3K 
[ ]numpoly1__t79_numpoly12024-07-28 22:13 34K 
[ ]numpoly1__t79_numpoly1.vout2024-08-03 05:27 2.0K 
[ ]numpoly1__t80_numpoly12024-07-28 22:15 33K 
[ ]numpoly1__t80_numpoly1.vout2024-08-03 06:28 1.1K 
[ ]numpoly1__t81_numpoly12024-07-28 22:16 37K 
[ ]numpoly1__t81_numpoly1.depv12024-08-03 10:19 193  
[ ]numpoly1__t81_numpoly1.depvmin12024-08-03 10:24 193  
[ ]numpoly1__t81_numpoly1.vmin12024-08-03 10:20 879  
[ ]numpoly1__t81_numpoly1.vmin1out2024-08-03 10:21 7.7K 
[ ]numpoly1__t81_numpoly1.vout2024-08-03 09:02 7.8K 
[ ]numpoly1__t82_numpoly12024-07-28 22:17 52K 
[ ]numpoly1__t82_numpoly1.vout2024-08-03 07:17 1.1K 
[ ]numpoly1__t83_numpoly12024-07-28 22:19 49K 
[ ]numpoly1__t83_numpoly1.vout2024-08-03 05:22 1.1K 
[ ]numpoly1__t84_numpoly12024-07-28 22:20 162K 
[ ]numpoly1__t84_numpoly1.vout2024-08-03 08:43 7.3K 
[ ]numpoly1__t85_numpoly12024-07-28 22:22 39K 
[ ]numpoly1__t85_numpoly1.vout2024-08-03 06:32 7.9K 
[ ]numpoly1__t86_numpoly12024-07-28 22:23 147K 
[ ]numpoly1__t86_numpoly1.vout2024-08-03 05:18 4.1K 
[ ]numpoly1__t87_numpoly12024-07-28 22:25 56K 
[ ]numpoly1__t87_numpoly1.vout2024-08-03 07:54 2.0K 
[ ]numpoly1__t88_numpoly12024-07-28 20:44 45K 
[ ]numpoly1__t88_numpoly1.depv12024-08-03 10:19 86  
[ ]numpoly1__t88_numpoly1.depvmin12024-08-03 10:24 70  
[ ]numpoly1__t88_numpoly1.vmin12024-08-03 10:20 1.2K 
[ ]numpoly1__t88_numpoly1.vmin1out2024-08-03 10:21 13K 
[ ]numpoly1__t88_numpoly1.vout2024-08-03 05:44 21K 
[ ]numpoly1__t89_numpoly12024-07-28 20:45 47K 
[ ]numpoly1__t89_numpoly1.depv12024-08-03 10:19 136  
[ ]numpoly1__t89_numpoly1.depvmin12024-08-03 10:24 95  
[ ]numpoly1__t89_numpoly1.vmin12024-08-03 10:20 1.7K 
[ ]numpoly1__t89_numpoly1.vmin1out2024-08-03 10:20 16K 
[ ]numpoly1__t89_numpoly1.vout2024-08-03 06:06 29K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80