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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]convex4__l2_convex42024-07-28 12:37 36K 
[ ]convex4__l2_convex4.depv12024-08-03 10:19 150  
[ ]convex4__l2_convex4.depvmin12024-08-03 10:24 150  
[ ]convex4__l2_convex4.vmin12024-08-03 10:19 1.5K 
[ ]convex4__l2_convex4.vmin1out2024-08-03 10:23 19K 
[ ]convex4__l2_convex4.vout2024-08-03 06:06 20K 
[ ]convex4__l88_convex42024-07-28 12:39 72K 
[ ]convex4__l88_convex4.vout2024-08-03 04:42 3.7K 
[ ]convex4__l111_convex42024-07-28 12:41 58K 
[ ]convex4__l111_convex4.vout2024-08-03 07:00 3.7K 
[ ]convex4__t1_convex42024-07-28 10:11 38K 
[ ]convex4__t1_convex4.depv12024-08-03 10:19 137  
[ ]convex4__t1_convex4.depvmin12024-08-03 10:24 137  
[ ]convex4__t1_convex4.vmin12024-08-03 10:19 1.4K 
[ ]convex4__t1_convex4.vmin1out2024-08-03 10:23 24K 
[ ]convex4__t1_convex4.vout2024-08-03 06:16 27K 
[ ]convex4__t2_convex42024-07-28 10:13 38K 
[ ]convex4__t2_convex4.depv12024-08-03 10:19 332  
[ ]convex4__t2_convex4.depvmin12024-08-03 10:24 246  
[ ]convex4__t2_convex4.vmin12024-08-03 10:19 2.7K 
[ ]convex4__t2_convex4.vmin1out2024-08-03 10:20 22K 
[ ]convex4__t2_convex4.vout2024-08-03 09:11 27K 
[ ]convex4__t3_convex42024-07-28 10:14 38K 
[ ]convex4__t3_convex4.depv12024-08-03 10:19 46  
[ ]convex4__t3_convex4.depvmin12024-08-03 10:24 46  
[ ]convex4__t3_convex4.vmin12024-08-03 10:19 864  
[ ]convex4__t3_convex4.vmin1out2024-08-03 10:23 11K 
[ ]convex4__t3_convex4.vout2024-08-03 05:36 9.5K 
[ ]convex4__t4_convex42024-07-28 10:16 38K 
[ ]convex4__t4_convex4.vout2024-08-03 07:18 4.2K 
[ ]convex4__t5_convex42024-07-28 10:17 40K 
[ ]convex4__t5_convex4.vout2024-08-03 06:42 5.3K 
[ ]convex4__t6_convex42024-07-28 10:19 41K 
[ ]convex4__t6_convex4.vout2024-08-03 08:57 7.3K 
[ ]convex4__t7_convex42024-07-28 10:21 40K 
[ ]convex4__t7_convex4.depv12024-08-03 10:19 278  
[ ]convex4__t7_convex4.depvmin12024-08-03 10:24 278  
[ ]convex4__t7_convex4.vmin12024-08-03 10:19 2.8K 
[ ]convex4__t7_convex4.vmin1out2024-08-03 10:23 31K 
[ ]convex4__t7_convex4.vout2024-08-03 07:00 31K 
[ ]convex4__t8_convex42024-07-28 10:22 46K 
[ ]convex4__t8_convex4.vout2024-08-03 07:45 7.3K 
[ ]convex4__t9_convex42024-07-28 10:24 47K 
[ ]convex4__t9_convex4.vout2024-08-03 09:18 7.3K 
[ ]convex4__t10_convex42024-07-28 10:26 47K 
[ ]convex4__t10_convex4.vout2024-08-03 05:42 7.3K 
[ ]convex4__t11_convex42024-07-28 10:28 59K 
[ ]convex4__t11_convex4.vout2024-08-03 07:22 8.4K 
[ ]convex4__t12_convex42024-07-28 10:31 105K 
[ ]convex4__t12_convex4.vout2024-08-03 06:59 3.7K 
[ ]convex4__t13_convex42024-07-28 10:32 38K 
[ ]convex4__t13_convex4.vout2024-08-03 08:55 5.8K 
[ ]convex4__t14_convex42024-07-28 10:34 49K 
[ ]convex4__t14_convex4.vout2024-08-03 05:26 3.7K 
[ ]convex4__t15_convex42024-07-28 10:37 54K 
[ ]convex4__t15_convex4.vout2024-08-03 09:56 3.7K 
[ ]convex4__t16_convex42024-07-28 10:38 41K 
[ ]convex4__t16_convex4.depv12024-08-03 10:19 62  
[ ]convex4__t16_convex4.depvmin12024-08-03 10:24 62  
[ ]convex4__t16_convex4.vmin12024-08-03 10:19 803  
[ ]convex4__t16_convex4.vmin1out2024-08-03 10:20 12K 
[ ]convex4__t16_convex4.vout2024-08-03 05:08 12K 
[ ]convex4__t17_convex42024-07-28 10:40 42K 
[ ]convex4__t17_convex4.depv12024-08-03 10:19 130  
[ ]convex4__t17_convex4.depvmin12024-08-03 10:24 130  
[ ]convex4__t17_convex4.vmin12024-08-03 10:19 1.7K 
[ ]convex4__t17_convex4.vmin1out2024-08-03 10:22 19K 
[ ]convex4__t17_convex4.vout2024-08-03 04:21 14K 
[ ]convex4__t18_convex42024-07-28 10:42 45K 
[ ]convex4__t18_convex4.depv12024-08-03 10:19 130  
[ ]convex4__t18_convex4.depvmin12024-08-03 10:24 130  
[ ]convex4__t18_convex4.vmin12024-08-03 10:19 2.0K 
[ ]convex4__t18_convex4.vmin1out2024-08-03 10:23 30K 
[ ]convex4__t18_convex4.vout2024-08-03 09:36 17K 
[ ]convex4__t19_convex42024-07-28 10:44 49K 
[ ]convex4__t19_convex4.vout2024-08-03 08:34 3.7K 
[ ]convex4__t20_convex42024-07-28 10:45 47K 
[ ]convex4__t20_convex4.vout2024-08-03 05:33 3.7K 
[ ]convex4__t21_convex42024-07-28 10:07 42K 
[ ]convex4__t21_convex4.depv12024-08-03 10:19 99  
[ ]convex4__t21_convex4.depvmin12024-08-03 10:24 75  
[ ]convex4__t21_convex4.vmin12024-08-03 10:19 960  
[ ]convex4__t21_convex4.vmin1out2024-08-03 10:21 11K 
[ ]convex4__t21_convex4.vout2024-08-03 07:14 8.5K 
[ ]convex4__t22_convex42024-07-28 10:47 45K 
[ ]convex4__t22_convex4.vout2024-08-03 06:56 4.7K 
[ ]convex4__t23_convex42024-07-28 10:48 45K 
[ ]convex4__t23_convex4.vout2024-08-03 07:17 4.7K 
[ ]convex4__t24_convex42024-07-28 10:50 47K 
[ ]convex4__t24_convex4.vout2024-08-03 05:02 3.7K 
[ ]convex4__t25_convex42024-07-28 10:51 40K 
[ ]convex4__t25_convex4.vout2024-08-03 07:43 5.8K 
[ ]convex4__t26_convex42024-07-28 10:53 40K 
[ ]convex4__t26_convex4.depv12024-08-03 10:19 125  
[ ]convex4__t26_convex4.depvmin12024-08-03 10:24 125  
[ ]convex4__t26_convex4.vmin12024-08-03 10:19 1.6K 
[ ]convex4__t26_convex4.vmin1out2024-08-03 10:22 14K 
[ ]convex4__t26_convex4.vout2024-08-03 07:36 14K 
[ ]convex4__t27_convex42024-07-28 10:55 47K 
[ ]convex4__t27_convex4.vout2024-08-03 05:17 4.7K 
[ ]convex4__t28_convex42024-07-28 10:56 47K 
[ ]convex4__t28_convex4.vout2024-08-03 09:11 4.7K 
[ ]convex4__t29_convex42024-07-28 10:58 39K 
[ ]convex4__t29_convex4.vout2024-08-03 09:48 4.7K 
[ ]convex4__t30_convex42024-07-28 10:59 39K 
[ ]convex4__t30_convex4.vout2024-08-03 05:49 5.8K 
[ ]convex4__t31_convex42024-07-28 11:01 40K 
[ ]convex4__t31_convex4.vout2024-08-03 06:22 7.3K 
[ ]convex4__t32_convex42024-07-28 11:02 52K 
[ ]convex4__t32_convex4.vout2024-08-03 07:31 4.7K 
[ ]convex4__t33_convex42024-07-28 11:04 41K 
[ ]convex4__t33_convex4.vout2024-08-03 07:16 4.7K 
[ ]convex4__t34_convex42024-07-28 11:06 48K 
[ ]convex4__t34_convex4.vout2024-08-03 05:00 7.3K 
[ ]convex4__t35_convex42024-07-28 11:07 48K 
[ ]convex4__t35_convex4.vout2024-08-03 07:05 3.7K 
[ ]convex4__t36_convex42024-07-28 11:09 43K 
[ ]convex4__t36_convex4.vout2024-08-03 06:34 2.0K 
[ ]convex4__t37_convex42024-07-28 11:10 50K 
[ ]convex4__t37_convex4.vout2024-08-03 06:09 4.7K 
[ ]convex4__t38_convex42024-07-28 11:12 51K 
[ ]convex4__t38_convex4.vout2024-08-03 04:10 4.7K 
[ ]convex4__t39_convex42024-07-28 11:14 44K 
[ ]convex4__t39_convex4.vout2024-08-03 07:14 4.7K 
[ ]convex4__t40_convex42024-07-28 11:16 44K 
[ ]convex4__t40_convex4.depv12024-08-03 10:19 178  
[ ]convex4__t40_convex4.depvmin12024-08-03 10:24 178  
[ ]convex4__t40_convex4.vmin12024-08-03 10:19 2.0K 
[ ]convex4__t40_convex4.vmin1out2024-08-03 10:20 25K 
[ ]convex4__t40_convex4.vout2024-08-03 09:55 27K 
[ ]convex4__t41_convex42024-07-28 11:18 52K 
[ ]convex4__t41_convex4.vout2024-08-03 09:01 4.7K 
[ ]convex4__t42_convex42024-07-28 11:19 44K 
[ ]convex4__t42_convex4.vout2024-08-03 05:31 4.7K 
[ ]convex4__t43_convex42024-07-28 11:20 42K 
[ ]convex4__t43_convex4.vout2024-08-03 09:55 4.7K 
[ ]convex4__t44_convex42024-07-28 11:21 24K 
[ ]convex4__t44_convex4.depv12024-08-03 10:19 125  
[ ]convex4__t44_convex4.depvmin12024-08-03 10:24 125  
[ ]convex4__t44_convex4.vmin12024-08-03 10:19 1.2K 
[ ]convex4__t44_convex4.vmin1out2024-08-03 10:20 12K 
[ ]convex4__t44_convex4.vout2024-08-03 08:04 13K 
[ ]convex4__t45_convex42024-07-28 11:23 49K 
[ ]convex4__t45_convex4.vout2024-08-03 09:06 7.3K 
[ ]convex4__t46_convex42024-07-28 11:25 49K 
[ ]convex4__t46_convex4.vout2024-08-03 04:29 7.8K 
[ ]convex4__t47_convex42024-07-28 11:27 50K 
[ ]convex4__t47_convex4.vout2024-08-03 08:20 7.9K 
[ ]convex4__t48_convex42024-07-28 11:29 48K 
[ ]convex4__t48_convex4.vout2024-08-03 04:26 3.7K 
[ ]convex4__t49_convex42024-07-28 11:30 49K 
[ ]convex4__t49_convex4.vout2024-08-03 04:09 4.2K 
[ ]convex4__t50_convex42024-07-28 11:32 53K 
[ ]convex4__t50_convex4.vout2024-08-03 04:39 7.3K 
[ ]convex4__t51_convex42024-07-28 11:34 37K 
[ ]convex4__t51_convex4.vout2024-08-03 10:04 4.2K 
[ ]convex4__t52_convex42024-07-28 11:35 40K 
[ ]convex4__t52_convex4.vout2024-08-03 05:09 4.2K 
[ ]convex4__t54_convex42024-07-28 11:37 39K 
[ ]convex4__t54_convex4.vout2024-08-03 05:34 3.7K 
[ ]convex4__t55_convex42024-07-28 11:39 39K 
[ ]convex4__t55_convex4.vout2024-08-03 09:44 4.3K 
[ ]convex4__t56_convex42024-07-28 11:40 50K 
[ ]convex4__t56_convex4.vout2024-08-03 09:24 7.3K 
[ ]convex4__t57_convex42024-07-28 11:42 53K 
[ ]convex4__t57_convex4.vout2024-08-03 04:40 4.7K 
[ ]convex4__t58_convex42024-07-28 10:09 41K 
[ ]convex4__t58_convex4.vout2024-08-03 09:42 7.3K 
[ ]convex4__t59_convex42024-07-28 10:10 39K 
[ ]convex4__t59_convex4.vout2024-08-03 04:56 2.0K 
[ ]convex4__t60_convex42024-07-28 11:44 53K 
[ ]convex4__t60_convex4.vout2024-08-03 04:35 7.3K 
[ ]convex4__t61_convex42024-07-28 11:46 41K 
[ ]convex4__t61_convex4.vout2024-08-03 08:32 3.7K 
[ ]convex4__t62_convex42024-07-28 11:47 36K 
[ ]convex4__t62_convex4.depv12024-08-03 10:19 80  
[ ]convex4__t62_convex4.depvmin12024-08-03 10:24 80  
[ ]convex4__t62_convex4.vmin12024-08-03 10:19 1.1K 
[ ]convex4__t62_convex4.vmin1out2024-08-03 10:21 25K 
[ ]convex4__t62_convex4.vout2024-08-03 05:57 30K 
[ ]convex4__t63_convex42024-07-28 11:49 36K 
[ ]convex4__t63_convex4.depv12024-08-03 10:19 141  
[ ]convex4__t63_convex4.depvmin12024-08-03 10:24 128  
[ ]convex4__t63_convex4.vmin12024-08-03 10:19 1.4K 
[ ]convex4__t63_convex4.vmin1out2024-08-03 10:22 17K 
[ ]convex4__t63_convex4.vout2024-08-03 06:06 13K 
[ ]convex4__t66_convex42024-07-28 11:51 46K 
[ ]convex4__t66_convex4.vout2024-08-03 05:06 3.7K 
[ ]convex4__t67_convex42024-07-28 11:52 44K 
[ ]convex4__t67_convex4.depv12024-08-03 10:19 201  
[ ]convex4__t67_convex4.vmin12024-08-03 10:19 2.6K 
[ ]convex4__t67_convex4.vmin1out2024-08-03 10:23 2.0K 
[ ]convex4__t67_convex4.vout2024-08-03 04:16 29K 
[ ]convex4__t68_convex42024-07-28 11:54 64K 
[ ]convex4__t68_convex4.vout2024-08-03 09:48 4.7K 
[ ]convex4__t69_convex42024-07-28 11:56 63K 
[ ]convex4__t69_convex4.vout2024-08-03 04:29 4.7K 
[ ]convex4__t70_convex42024-07-28 12:18 88K 
[ ]convex4__t70_convex4.vout2024-08-03 09:31 7.3K 
[ ]convex4__t71_convex42024-07-28 12:20 88K 
[ ]convex4__t71_convex4.vout2024-08-03 05:22 7.3K 
[ ]convex4__t72_convex42024-07-28 12:22 88K 
[ ]convex4__t72_convex4.vout2024-08-03 05:16 7.3K 
[ ]convex4__t73_convex42024-07-28 12:24 88K 
[ ]convex4__t73_convex4.vout2024-08-03 05:13 7.3K 
[ ]convex4__t74_convex42024-07-28 12:26 88K 
[ ]convex4__t74_convex4.vout2024-08-03 07:44 7.3K 
[ ]convex4__t75_convex42024-07-28 12:28 88K 
[ ]convex4__t75_convex4.vout2024-08-03 09:47 7.3K 
[ ]convex4__t76_convex42024-07-28 12:29 88K 
[ ]convex4__t76_convex4.vout2024-08-03 08:12 7.3K 
[ ]convex4__t77_convex42024-07-28 12:31 88K 
[ ]convex4__t77_convex4.vout2024-08-03 04:31 7.3K 
[ ]convex4__t78_convex42024-07-28 12:33 88K 
[ ]convex4__t78_convex4.vout2024-08-03 09:47 7.3K 
[ ]convex4__t79_convex42024-07-28 12:35 89K 
[ ]convex4__t79_convex4.vout2024-08-03 08:54 7.3K 
[ ]convex4__t80_convex42024-07-28 11:58 59K 
[ ]convex4__t80_convex4.vout2024-08-03 09:05 7.9K 
[ ]convex4__t81_convex42024-07-28 12:00 48K 
[ ]convex4__t81_convex4.vout2024-08-03 08:02 7.3K 
[ ]convex4__t82_convex42024-07-28 12:01 52K 
[ ]convex4__t82_convex4.depv12024-08-03 10:19 190  
[ ]convex4__t82_convex4.depvmin12024-08-03 10:24 190  
[ ]convex4__t82_convex4.vmin12024-08-03 10:19 1.9K 
[ ]convex4__t82_convex4.vmin1out2024-08-03 10:23 18K 
[ ]convex4__t82_convex4.vout2024-08-03 07:54 26K 
[ ]convex4__t83_convex42024-07-28 12:04 53K 
[ ]convex4__t83_convex4.vout2024-08-03 06:47 3.7K 
[ ]convex4__t84_convex42024-07-28 12:06 81K 
[ ]convex4__t84_convex4.vout2024-08-03 08:19 3.7K 
[ ]convex4__t85_convex42024-07-28 12:09 124K 
[ ]convex4__t85_convex4.vout2024-08-03 06:35 3.7K 
[ ]convex4__t86_convex42024-07-28 12:11 43K 
[ ]convex4__t86_convex4.vout2024-08-03 09:30 3.7K 
[ ]convex4__t87_convex42024-07-28 12:13 74K 
[ ]convex4__t87_convex4.vout2024-08-03 07:05 3.7K 
[ ]convex4__t88_convex42024-07-28 12:15 78K 
[ ]convex4__t88_convex4.vout2024-08-03 04:52 3.7K 
[ ]convex4__t89_convex42024-07-28 12:16 21K 
[ ]convex4__t89_convex4.depv12024-08-03 10:19 88  
[ ]convex4__t89_convex4.depvmin12024-08-03 10:24 88  
[ ]convex4__t89_convex4.vmin12024-08-03 10:19 1.3K 
[ ]convex4__t89_convex4.vmin1out2024-08-03 10:22 19K 
[ ]convex4__t89_convex4.vout2024-08-03 04:25 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80