Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/polyform

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]polyform__l11_polyform2025-09-07 23:28 30K 
[ ]polyform__l11_polyform.depv12025-09-15 19:47 210  
[ ]polyform__l11_polyform.depvmin12025-09-15 19:52 210  
[ ]polyform__l11_polyform.vmin12025-09-15 19:47 1.4K 
[ ]polyform__l11_polyform.vmin1out2025-09-15 19:50 11K 
[ ]polyform__l11_polyform.vout2025-09-15 14:36 11K 
[ ]polyform__t1_polyform2025-09-07 23:30 31K 
[ ]polyform__t1_polyform.depv12025-09-15 19:47 54  
[ ]polyform__t1_polyform.depvmin12025-09-15 19:52 22  
[ ]polyform__t1_polyform.vmin12025-09-15 19:47 536  
[ ]polyform__t1_polyform.vmin1out2025-09-15 19:50 12K 
[ ]polyform__t1_polyform.vout2025-09-15 19:41 15K 
[ ]polyform__t3_polyform2025-09-07 23:31 27K 
[ ]polyform__t3_polyform.depv12025-09-15 19:47 222  
[ ]polyform__t3_polyform.depvmin12025-09-15 19:52 222  
[ ]polyform__t3_polyform.vmin12025-09-15 19:47 1.4K 
[ ]polyform__t3_polyform.vmin1out2025-09-15 19:49 12K 
[ ]polyform__t3_polyform.vout2025-09-15 13:48 12K 
[ ]polyform__t4_polyform2025-09-07 23:32 33K 
[ ]polyform__t4_polyform.depv12025-09-15 19:47 79  
[ ]polyform__t4_polyform.depvmin12025-09-15 19:52 79  
[ ]polyform__t4_polyform.vmin12025-09-15 19:47 660  
[ ]polyform__t4_polyform.vmin1out2025-09-15 19:48 5.7K 
[ ]polyform__t4_polyform.vout2025-09-15 14:22 4.7K 
[ ]polyform__t5_polyform2025-09-07 23:33 29K 
[ ]polyform__t5_polyform.depv12025-09-15 19:47 93  
[ ]polyform__t5_polyform.depvmin12025-09-15 19:52 93  
[ ]polyform__t5_polyform.vmin12025-09-15 19:47 430  
[ ]polyform__t5_polyform.vmin1out2025-09-15 19:50 2.9K 
[ ]polyform__t5_polyform.vout2025-09-15 17:40 2.8K 
[ ]polyform__t6_polyform2025-09-07 23:35 33K 
[ ]polyform__t6_polyform.depv12025-09-15 19:47 180  
[ ]polyform__t6_polyform.depvmin12025-09-15 19:52 180  
[ ]polyform__t6_polyform.vmin12025-09-15 19:47 791  
[ ]polyform__t6_polyform.vmin1out2025-09-15 19:48 5.9K 
[ ]polyform__t6_polyform.vout2025-09-15 19:33 5.9K 
[ ]polyform__t7_polyform2025-09-07 23:36 29K 
[ ]polyform__t7_polyform.depv12025-09-15 19:47 93  
[ ]polyform__t7_polyform.depvmin12025-09-15 19:52 93  
[ ]polyform__t7_polyform.vmin12025-09-15 19:47 430  
[ ]polyform__t7_polyform.vmin1out2025-09-15 19:50 2.9K 
[ ]polyform__t7_polyform.vout2025-09-15 13:53 2.8K 
[ ]polyform__t8_polyform2025-09-07 23:37 28K 
[ ]polyform__t8_polyform.depv12025-09-15 19:47 74  
[ ]polyform__t8_polyform.depvmin12025-09-15 19:52 74  
[ ]polyform__t8_polyform.vmin12025-09-15 19:47 597  
[ ]polyform__t8_polyform.vmin1out2025-09-15 19:50 5.7K 
[ ]polyform__t8_polyform.vout2025-09-15 17:08 6.5K 
[ ]polyform__t9_polyform2025-09-07 23:39 28K 
[ ]polyform__t9_polyform.depv12025-09-15 19:47 74  
[ ]polyform__t9_polyform.depvmin12025-09-15 19:52 74  
[ ]polyform__t9_polyform.vmin12025-09-15 19:47 635  
[ ]polyform__t9_polyform.vmin1out2025-09-15 19:49 5.2K 
[ ]polyform__t9_polyform.vout2025-09-15 15:41 5.2K 
[ ]polyform__t11_polyform2025-09-07 23:40 35K 
[ ]polyform__t11_polyform.vout2025-09-15 15:04 1.5K 
[ ]polyform__t12_polyform2025-09-07 23:41 30K 
[ ]polyform__t12_polyform.depv12025-09-15 19:47 303  
[ ]polyform__t12_polyform.depvmin12025-09-15 19:52 303  
[ ]polyform__t12_polyform.vmin12025-09-15 19:47 1.9K 
[ ]polyform__t12_polyform.vmin1out2025-09-15 19:48 16K 
[ ]polyform__t12_polyform.vout2025-09-15 13:43 14K 
[ ]polyform__t13_polyform2025-09-07 23:42 35K 
[ ]polyform__t13_polyform.vout2025-09-15 16:52 1.1K 
[ ]polyform__t14_polyform2025-09-07 23:44 35K 
[ ]polyform__t14_polyform.vout2025-09-15 15:56 1.1K 
[ ]polyform__t15_polyform2025-09-07 23:46 107K 
[ ]polyform__t15_polyform.vout2025-09-15 16:49 6.8K 
[ ]polyform__t16_polyform2025-09-07 23:47 33K 
[ ]polyform__t16_polyform.vout2025-09-15 18:41 1.5K 
[ ]polyform__t17_polyform2025-09-07 23:49 37K 
[ ]polyform__t17_polyform.depv12025-09-15 19:47 105  
[ ]polyform__t17_polyform.depvmin12025-09-15 19:52 105  
[ ]polyform__t17_polyform.vmin12025-09-15 19:47 1.2K 
[ ]polyform__t17_polyform.vmin1out2025-09-15 19:50 13K 
[ ]polyform__t17_polyform.vout2025-09-15 15:51 13K 
[ ]polyform__t18_polyform2025-09-07 23:50 38K 
[ ]polyform__t18_polyform.depv12025-09-15 19:47 143  
[ ]polyform__t18_polyform.depvmin12025-09-15 19:52 143  
[ ]polyform__t18_polyform.vmin12025-09-15 19:47 1.5K 
[ ]polyform__t18_polyform.vmin1out2025-09-15 19:49 21K 
[ ]polyform__t18_polyform.vout2025-09-15 18:25 17K 
[ ]polyform__t19_polyform2025-09-07 23:52 64K 
[ ]polyform__t19_polyform.vout2025-09-15 19:43 7.3K 
[ ]polyform__t21_polyform2025-09-07 23:53 32K 
[ ]polyform__t21_polyform.vout2025-09-15 15:19 1.1K 
[ ]polyform__t22_polyform2025-09-07 23:20 51K 
[ ]polyform__t22_polyform.depv12025-09-15 19:47 244  
[ ]polyform__t22_polyform.depvmin12025-09-15 19:52 244  
[ ]polyform__t22_polyform.vmin12025-09-15 19:47 2.5K 
[ ]polyform__t22_polyform.vmin1out2025-09-15 19:50 23K 
[ ]polyform__t22_polyform.vout2025-09-15 16:53 22K 
[ ]polyform__t23_polyform2025-09-07 23:55 58K 
[ ]polyform__t23_polyform.vout2025-09-15 18:11 8.4K 
[ ]polyform__t24_polyform2025-09-07 23:57 37K 
[ ]polyform__t24_polyform.vout2025-09-15 14:20 2.0K 
[ ]polyform__t25_polyform2025-09-07 23:58 55K 
[ ]polyform__t25_polyform.vout2025-09-15 19:42 4.7K 
[ ]polyform__t26_polyform2025-09-07 23:21 32K 
[ ]polyform__t26_polyform.depv12025-09-15 19:47 229  
[ ]polyform__t26_polyform.depvmin12025-09-15 19:52 229  
[ ]polyform__t26_polyform.vmin12025-09-15 19:47 1.9K 
[ ]polyform__t26_polyform.vmin1out2025-09-15 19:48 18K 
[ ]polyform__t26_polyform.vout2025-09-15 17:04 32K 
[ ]polyform__t27_polyform2025-09-08 00:00 79K 
[ ]polyform__t27_polyform.vout2025-09-15 18:28 7.3K 
[ ]polyform__t28_polyform2025-09-08 00:02 38K 
[ ]polyform__t28_polyform.depv12025-09-15 19:47 93  
[ ]polyform__t28_polyform.depvmin12025-09-15 19:52 93  
[ ]polyform__t28_polyform.vmin12025-09-15 19:47 1.2K 
[ ]polyform__t28_polyform.vmin1out2025-09-15 19:49 19K 
[ ]polyform__t28_polyform.vout2025-09-15 17:11 19K 
[ ]polyform__t29_polyform2025-09-08 00:04 64K 
[ ]polyform__t29_polyform.vout2025-09-15 15:42 7.3K 
[ ]polyform__t30_polyform2025-09-08 00:05 40K 
[ ]polyform__t30_polyform.depv12025-09-15 19:47 188  
[ ]polyform__t30_polyform.depvmin12025-09-15 19:52 106  
[ ]polyform__t30_polyform.vmin12025-09-15 19:47 1.9K 
[ ]polyform__t30_polyform.vmin1out2025-09-15 19:50 19K 
[ ]polyform__t30_polyform.vout2025-09-15 19:13 19K 
[ ]polyform__t31_polyform2025-09-08 00:07 41K 
[ ]polyform__t31_polyform.depv12025-09-15 19:47 483  
[ ]polyform__t31_polyform.depvmin12025-09-15 19:52 458  
[ ]polyform__t31_polyform.vmin12025-09-15 19:47 3.7K 
[ ]polyform__t31_polyform.vmin1out2025-09-15 19:49 35K 
[ ]polyform__t31_polyform.vout2025-09-15 13:31 36K 
[ ]polyform__t32_polyform2025-09-08 00:09 80K 
[ ]polyform__t32_polyform.vout2025-09-15 17:22 7.3K 
[ ]polyform__t33_polyform2025-09-08 00:11 62K 
[ ]polyform__t33_polyform.vout2025-09-15 13:47 4.7K 
[ ]polyform__t34_polyform2025-09-08 00:13 40K 
[ ]polyform__t34_polyform.depv12025-09-15 19:47 192  
[ ]polyform__t34_polyform.depvmin12025-09-15 19:52 192  
[ ]polyform__t34_polyform.vmin12025-09-15 19:47 2.4K 
[ ]polyform__t34_polyform.vmin1out2025-09-15 19:48 23K 
[ ]polyform__t34_polyform.vout2025-09-15 19:32 45K 
[ ]polyform__t35_polyform2025-09-07 23:23 60K 
[ ]polyform__t35_polyform.vout2025-09-15 14:23 7.9K 
[ ]polyform__t36_polyform2025-09-08 00:15 55K 
[ ]polyform__t36_polyform.depv12025-09-15 19:47 209  
[ ]polyform__t36_polyform.depvmin12025-09-15 19:52 209  
[ ]polyform__t36_polyform.vmin12025-09-15 19:47 3.6K 
[ ]polyform__t36_polyform.vmin1out2025-09-15 19:48 61K 
[ ]polyform__t36_polyform.vout2025-09-15 17:43 29K 
[ ]polyform__t37_polyform2025-09-08 00:17 58K 
[ ]polyform__t37_polyform.vout2025-09-15 15:42 5.8K 
[ ]polyform__t38_polyform2025-09-08 00:20 79K 
[ ]polyform__t38_polyform.vout2025-09-15 13:48 7.3K 
[ ]polyform__t39_polyform2025-09-08 00:23 78K 
[ ]polyform__t39_polyform.vout2025-09-15 13:41 4.7K 
[ ]polyform__t40_polyform2025-09-08 00:25 64K 
[ ]polyform__t40_polyform.depv12025-09-15 19:47 39  
[ ]polyform__t40_polyform.depvmin12025-09-15 19:52 39  
[ ]polyform__t40_polyform.vmin12025-09-15 19:47 1.6K 
[ ]polyform__t40_polyform.vmin1out2025-09-15 19:50 20K 
[ ]polyform__t40_polyform.vout2025-09-15 15:18 24K 
[ ]polyform__t41_polyform2025-09-08 00:28 68K 
[ ]polyform__t41_polyform.vout2025-09-15 16:49 4.7K 
[ ]polyform__t42_polyform2025-09-08 00:31 90K 
[ ]polyform__t42_polyform.vout2025-09-15 14:24 7.3K 
[ ]polyform__t43_polyform2025-09-08 00:33 53K 
[ ]polyform__t43_polyform.vout2025-09-15 15:35 7.9K 
[ ]polyform__t44_polyform2025-09-08 00:36 52K 
[ ]polyform__t44_polyform.vout2025-09-15 18:31 4.7K 
[ ]polyform__t45_polyform2025-09-08 00:38 81K 
[ ]polyform__t45_polyform.vout2025-09-15 19:40 4.7K 
[ ]polyform__t46_polyform2025-09-08 00:41 63K 
[ ]polyform__t46_polyform.vout2025-09-15 17:47 4.7K 
[ ]polyform__t47_polyform2025-09-08 00:44 82K 
[ ]polyform__t47_polyform.vout2025-09-15 15:57 4.7K 
[ ]polyform__t49_polyform2025-09-07 23:25 67K 
[ ]polyform__t49_polyform.depv12025-09-15 19:47 141  
[ ]polyform__t49_polyform.depvmin12025-09-15 19:52 141  
[ ]polyform__t49_polyform.vmin12025-09-15 19:47 3.8K 
[ ]polyform__t49_polyform.vmin1out2025-09-15 19:51 72K 
[ ]polyform__t49_polyform.vout2025-09-15 16:39 77K 
[ ]polyform__t50_polyform2025-09-08 00:46 67K 
[ ]polyform__t50_polyform.vout2025-09-15 19:08 7.3K 
[ ]polyform__t51_polyform2025-09-08 00:48 86K 
[ ]polyform__t51_polyform.vout2025-09-15 16:39 4.7K 
[ ]polyform__t52_polyform2025-09-08 00:50 84K 
[ ]polyform__t52_polyform.vout2025-09-15 13:33 7.3K 
[ ]polyform__t53_polyform2025-09-08 00:53 187K 
[ ]polyform__t53_polyform.vout2025-09-15 14:40 6.3K 
[ ]polyform__t54_polyform2025-09-08 00:54 54K 
[ ]polyform__t54_polyform.depv12025-09-15 19:47 385  
[ ]polyform__t54_polyform.depvmin12025-09-15 19:52 246  
[ ]polyform__t54_polyform.vmin12025-09-15 19:47 3.4K 
[ ]polyform__t54_polyform.vmin1out2025-09-15 19:49 21K 
[ ]polyform__t54_polyform.vout2025-09-15 14:57 43K 
[ ]polyform__t55_polyform2025-09-08 00:56 69K 
[ ]polyform__t55_polyform.depv12025-09-15 19:47 225  
[ ]polyform__t55_polyform.depvmin12025-09-15 19:52 144  
[ ]polyform__t55_polyform.vmin12025-09-15 19:47 2.3K 
[ ]polyform__t55_polyform.vmin1out2025-09-15 19:48 18K 
[ ]polyform__t55_polyform.vout2025-09-15 13:35 23K 
[ ]polyform__t56_polyform2025-09-08 00:59 69K 
[ ]polyform__t56_polyform.vout2025-09-15 16:43 6.8K 
[ ]polyform__t57_polyform2025-09-08 01:01 80K 
[ ]polyform__t57_polyform.vout2025-09-15 13:44 4.7K 
[ ]polyform__t58_polyform2025-09-08 01:04 92K 
[ ]polyform__t58_polyform.vout2025-09-15 17:22 4.7K 
[ ]polyform__t59_polyform2025-09-08 01:07 93K 
[ ]polyform__t59_polyform.vout2025-09-15 18:49 4.7K 
[ ]polyform__t60_polyform2025-09-08 01:10 98K 
[ ]polyform__t60_polyform.vout2025-09-15 17:04 6.8K 
[ ]polyform__t61_polyform2025-09-08 01:12 90K 
[ ]polyform__t61_polyform.vout2025-09-15 16:02 7.4K 
[ ]polyform__t62_polyform2025-09-08 01:15 95K 
[ ]polyform__t62_polyform.vout2025-09-15 13:49 6.8K 
[ ]polyform__t63_polyform2025-09-08 01:18 71K 
[ ]polyform__t63_polyform.vout2025-09-15 19:23 6.8K 
[ ]polyform__t64_polyform2025-09-08 01:20 69K 
[ ]polyform__t64_polyform.vout2025-09-15 15:30 6.8K 
[ ]polyform__t65_polyform2025-09-08 01:22 54K 
[ ]polyform__t65_polyform.depv12025-09-15 19:47 188  
[ ]polyform__t65_polyform.depvmin12025-09-15 19:52 188  
[ ]polyform__t65_polyform.vmin12025-09-15 19:47 2.4K 
[ ]polyform__t65_polyform.vmin1out2025-09-15 19:50 24K 
[ ]polyform__t65_polyform.vout2025-09-15 15:44 24K 
[ ]polyform__t66_polyform2025-09-08 01:24 37K 
[ ]polyform__t66_polyform.vout2025-09-15 13:31 2.0K 
[ ]polyform__t67_polyform2025-09-08 01:26 56K 
[ ]polyform__t67_polyform.vout2025-09-15 19:38 4.7K 
[ ]polyform__t68_polyform2025-09-08 01:28 56K 
[ ]polyform__t68_polyform.vout2025-09-15 14:12 6.8K 
[ ]polyform__t69_polyform2025-09-08 01:30 54K 
[ ]polyform__t69_polyform.depv12025-09-15 19:47 26  
[ ]polyform__t69_polyform.depvmin12025-09-15 19:52 26  
[ ]polyform__t69_polyform.vmin12025-09-15 19:47 695  
[ ]polyform__t69_polyform.vmin1out2025-09-15 19:47 12K 
[ ]polyform__t69_polyform.vout2025-09-15 18:39 7.5K 
[ ]polyform__t70_polyform2025-09-07 23:27 55K 
[ ]polyform__t70_polyform.depv12025-09-15 19:47 115  
[ ]polyform__t70_polyform.depvmin12025-09-15 19:52 115  
[ ]polyform__t70_polyform.vmin12025-09-15 19:47 1.5K 
[ ]polyform__t70_polyform.vmin1out2025-09-15 19:50 22K 
[ ]polyform__t70_polyform.vout2025-09-15 14:39 23K 
[ ]polyform__t71_polyform2025-09-08 01:32 57K 
[ ]polyform__t71_polyform.depv12025-09-15 19:47 166  
[ ]polyform__t71_polyform.depvmin12025-09-15 19:52 166  
[ ]polyform__t71_polyform.vmin12025-09-15 19:47 2.1K 
[ ]polyform__t71_polyform.vmin1out2025-09-15 19:49 33K 
[ ]polyform__t71_polyform.vout2025-09-15 14:59 29K 
[ ]polyform__t72_polyform2025-09-08 01:35 71K 
[ ]polyform__t72_polyform.depv12025-09-15 19:47 171  
[ ]polyform__t72_polyform.depvmin12025-09-15 19:52 134  
[ ]polyform__t72_polyform.vmin12025-09-15 19:47 2.4K 
[ ]polyform__t72_polyform.vmin1out2025-09-15 19:50 24K 
[ ]polyform__t72_polyform.vout2025-09-15 16:01 24K 
[ ]polyform__t73_polyform2025-09-08 01:37 75K 
[ ]polyform__t73_polyform.vout2025-09-15 17:35 4.7K 
[ ]polyform__t74_polyform2025-09-08 01:40 77K 
[ ]polyform__t74_polyform.vout2025-09-15 13:36 4.7K 
[ ]polyform__t75_polyform2025-09-08 01:42 69K 
[ ]polyform__t75_polyform.vout2025-09-15 15:46 4.7K 
[ ]polyform__t76_polyform2025-09-08 01:45 67K 
[ ]polyform__t76_polyform.vout2025-09-15 13:43 7.4K 
[ ]polyform__t77_polyform2025-09-08 01:47 66K 
[ ]polyform__t77_polyform.vout2025-09-15 19:10 6.8K 
[ ]polyform__t78_polyform2025-09-08 01:50 78K 
[ ]polyform__t78_polyform.vout2025-09-15 15:28 7.3K 
[ ]polyform__t79_polyform2025-09-08 01:52 74K 
[ ]polyform__t79_polyform.depv12025-09-15 19:47 101  
[ ]polyform__t79_polyform.depvmin12025-09-15 19:52 101  
[ ]polyform__t79_polyform.vmin12025-09-15 19:47 1.1K 
[ ]polyform__t79_polyform.vmin1out2025-09-15 19:50 12K 
[ ]polyform__t79_polyform.vout2025-09-15 19:26 17K 
[ ]polyform__t80_polyform2025-09-08 01:54 174K 
[ ]polyform__t80_polyform.vout2025-09-15 18:54 7.3K 
[ ]polyform__t81_polyform2025-09-08 01:56 188K 
[ ]polyform__t81_polyform.vout2025-09-15 16:42 6.3K 
[ ]polyform__t82_polyform2025-09-08 01:58 63K 
[ ]polyform__t82_polyform.vout2025-09-15 17:25 2.0K 
[ ]polyform__t83_polyform2025-09-08 02:00 60K 
[ ]polyform__t83_polyform.vout2025-09-15 17:58 2.0K 
[ ]polyform__t84_polyform2025-09-08 02:02 69K 
[ ]polyform__t84_polyform.vout2025-09-15 16:19 7.3K 
[ ]polyform__t85_polyform2025-09-08 02:03 87K 
[ ]polyform__t85_polyform.vout2025-09-15 18:56 7.3K 
[ ]polyform__t86_polyform2025-09-08 02:05 88K 
[ ]polyform__t86_polyform.vout2025-09-15 15:30 7.3K 
[ ]polyform__t87_polyform2025-09-08 02:07 68K 
[ ]polyform__t87_polyform.vout2025-09-15 14:23 7.9K 
[ ]polyform__t88_polyform2025-09-08 02:10 109K 
[ ]polyform__t88_polyform.vout2025-09-15 19:30 7.9K 
[ ]polyform__t89_polyform2025-09-08 02:12 68K 
[ ]polyform__t89_polyform.vout2025-09-15 18:30 2.0K 
[ ]polyform__t90_polyform2025-09-08 02:14 62K 
[ ]polyform__t90_polyform.vout2025-09-15 18:03 2.0K 
[ ]polyform__t91_polyform2025-09-08 02:15 147K 
[ ]polyform__t91_polyform.vout2025-09-15 15:21 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80