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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lpspace2__l4_lpspace22024-07-27 23:02 8.8K 
[ ]lpspace2__l4_lpspace2.depv12024-08-03 10:19 51  
[ ]lpspace2__l4_lpspace2.depvmin12024-08-03 10:24 51  
[ ]lpspace2__l4_lpspace2.vmin12024-08-03 10:19 285  
[ ]lpspace2__l4_lpspace2.vmin1out2024-08-03 10:21 2.2K 
[ ]lpspace2__l4_lpspace2.vout2024-08-03 05:17 2.1K 
[ ]lpspace2__l14_lpspace22024-07-27 23:03 33K 
[ ]lpspace2__l14_lpspace2.depv12024-08-03 10:19 26  
[ ]lpspace2__l14_lpspace2.depvmin12024-08-03 10:24 26  
[ ]lpspace2__l14_lpspace2.vmin12024-08-03 10:19 719  
[ ]lpspace2__l14_lpspace2.vmin1out2024-08-03 10:20 6.3K 
[ ]lpspace2__l14_lpspace2.vout2024-08-03 09:05 6.3K 
[ ]lpspace2__l33_lpspace22024-07-28 01:35 73K 
[ ]lpspace2__l33_lpspace2.vout2024-08-03 06:04 7.4K 
[ ]lpspace2__l34_lpspace22024-07-28 01:37 60K 
[ ]lpspace2__l34_lpspace2.vout2024-08-03 05:59 6.8K 
[ ]lpspace2__l40_lpspace22024-07-28 01:39 78K 
[ ]lpspace2__l40_lpspace2.vout2024-08-03 06:00 7.3K 
[ ]lpspace2__l79_lpspace22024-07-28 01:42 129K 
[ ]lpspace2__l79_lpspace2.vout2024-08-03 10:14 3.7K 
[ ]lpspace2__l81_lpspace22024-07-28 01:46 122K 
[ ]lpspace2__l81_lpspace2.vout2024-08-03 09:50 6.8K 
[ ]lpspace2__l84_lpspace22024-07-28 01:48 121K 
[ ]lpspace2__l84_lpspace2.vout2024-08-03 08:18 6.8K 
[ ]lpspace2__l92_lpspace22024-07-28 01:50 57K 
[ ]lpspace2__l92_lpspace2.vout2024-08-03 08:07 6.8K 
[ ]lpspace2__l93_lpspace22024-07-28 01:52 51K 
[ ]lpspace2__l93_lpspace2.vout2024-08-03 09:06 7.3K 
[ ]lpspace2__l94_lpspace22024-07-28 01:55 99K 
[ ]lpspace2__l94_lpspace2.vout2024-08-03 08:39 3.7K 
[ ]lpspace2__l95_lpspace22024-07-28 01:57 67K 
[ ]lpspace2__l95_lpspace2.vout2024-08-03 10:14 3.7K 
[ ]lpspace2__l96_lpspace22024-07-27 23:05 57K 
[ ]lpspace2__l96_lpspace2.vout2024-08-03 08:49 3.7K 
[ ]lpspace2__t1_lpspace22024-07-27 23:06 40K 
[ ]lpspace2__t1_lpspace2.vout2024-08-03 07:14 7.3K 
[ ]lpspace2__t2_lpspace22024-07-27 23:08 53K 
[ ]lpspace2__t2_lpspace2.vout2024-08-03 07:11 6.8K 
[ ]lpspace2__t3_lpspace22024-07-27 23:08 12K 
[ ]lpspace2__t3_lpspace2.vout2024-08-03 09:05 4.7K 
[ ]lpspace2__t4_lpspace22024-07-27 23:09 12K 
[ ]lpspace2__t4_lpspace2.vout2024-08-03 05:31 4.7K 
[ ]lpspace2__t5_lpspace22024-07-27 23:10 14K 
[ ]lpspace2__t5_lpspace2.vout2024-08-03 10:03 4.7K 
[ ]lpspace2__t6_lpspace22024-07-27 23:11 34K 
[ ]lpspace2__t6_lpspace2.vout2024-08-03 06:58 4.7K 
[ ]lpspace2__t7_lpspace22024-07-27 23:13 50K 
[ ]lpspace2__t7_lpspace2.vout2024-08-03 07:01 4.7K 
[ ]lpspace2__t8_lpspace22024-07-27 23:14 29K 
[ ]lpspace2__t8_lpspace2.depv12024-08-03 10:19 233  
[ ]lpspace2__t8_lpspace2.depvmin12024-08-03 10:24 190  
[ ]lpspace2__t8_lpspace2.vmin12024-08-03 10:19 2.3K 
[ ]lpspace2__t8_lpspace2.vmin1out2024-08-03 10:20 23K 
[ ]lpspace2__t8_lpspace2.vout2024-08-03 06:11 25K 
[ ]lpspace2__t9_lpspace22024-07-27 23:15 39K 
[ ]lpspace2__t9_lpspace2.vout2024-08-03 04:26 6.8K 
[ ]lpspace2__t10_lpspace22024-07-27 23:17 62K 
[ ]lpspace2__t10_lpspace2.vout2024-08-03 05:06 4.7K 
[ ]lpspace2__t11_lpspace22024-07-27 23:18 79K 
[ ]lpspace2__t11_lpspace2.vout2024-08-03 09:25 4.7K 
[ ]lpspace2__t12_lpspace22024-07-27 23:20 33K 
[ ]lpspace2__t12_lpspace2.vout2024-08-03 09:45 4.7K 
[ ]lpspace2__t13_lpspace22024-07-27 23:21 39K 
[ ]lpspace2__t13_lpspace2.vout2024-08-03 08:23 4.7K 
[ ]lpspace2__t14_lpspace22024-07-27 23:22 35K 
[ ]lpspace2__t14_lpspace2.vout2024-08-03 07:48 4.7K 
[ ]lpspace2__t15_lpspace22024-07-27 23:24 46K 
[ ]lpspace2__t15_lpspace2.depv12024-08-03 10:19 200  
[ ]lpspace2__t15_lpspace2.depvmin12024-08-03 10:24 200  
[ ]lpspace2__t15_lpspace2.vmin12024-08-03 10:19 4.1K 
[ ]lpspace2__t15_lpspace2.vmin1out2024-08-03 10:22 90K 
[ ]lpspace2__t15_lpspace2.vout2024-08-03 09:32 79K 
[ ]lpspace2__t16_lpspace22024-07-27 23:25 20K 
[ ]lpspace2__t16_lpspace2.vout2024-08-03 07:21 6.8K 
[ ]lpspace2__t17_lpspace22024-07-27 23:25 15K 
[ ]lpspace2__t17_lpspace2.vout2024-08-03 07:00 4.7K 
[ ]lpspace2__t18_lpspace22024-07-27 23:27 43K 
[ ]lpspace2__t18_lpspace2.vout2024-08-03 08:25 4.7K 
[ ]lpspace2__t19_lpspace22024-07-27 23:28 37K 
[ ]lpspace2__t19_lpspace2.vout2024-08-03 08:10 4.7K 
[ ]lpspace2__t20_lpspace22024-07-27 23:29 36K 
[ ]lpspace2__t20_lpspace2.vout2024-08-03 05:30 4.7K 
[ ]lpspace2__t21_lpspace22024-07-27 23:30 39K 
[ ]lpspace2__t21_lpspace2.vout2024-08-03 06:00 6.8K 
[ ]lpspace2__t22_lpspace22024-07-27 23:32 57K 
[ ]lpspace2__t22_lpspace2.vout2024-08-03 06:29 7.3K 
[ ]lpspace2__t23_lpspace22024-07-27 23:35 80K 
[ ]lpspace2__t23_lpspace2.vout2024-08-03 05:11 3.7K 
[ ]lpspace2__t24_lpspace22024-07-27 23:36 72K 
[ ]lpspace2__t24_lpspace2.vout2024-08-03 04:34 7.3K 
[ ]lpspace2__t25_lpspace22024-07-27 23:39 102K 
[ ]lpspace2__t25_lpspace2.vout2024-08-03 08:54 3.7K 
[ ]lpspace2__t26_lpspace22024-07-27 23:41 73K 
[ ]lpspace2__t26_lpspace2.vout2024-08-03 09:16 3.7K 
[ ]lpspace2__t27_lpspace22024-07-27 23:43 68K 
[ ]lpspace2__t27_lpspace2.vout2024-08-03 09:31 7.3K 
[ ]lpspace2__t28_lpspace22024-07-27 23:45 52K 
[ ]lpspace2__t28_lpspace2.vout2024-08-03 04:59 3.7K 
[ ]lpspace2__t29_lpspace22024-07-27 23:48 75K 
[ ]lpspace2__t29_lpspace2.vout2024-08-03 10:12 3.7K 
[ ]lpspace2__t30_lpspace22024-07-27 23:50 67K 
[ ]lpspace2__t30_lpspace2.vout2024-08-03 05:48 3.7K 
[ ]lpspace2__t31_lpspace22024-07-27 23:52 74K 
[ ]lpspace2__t31_lpspace2.vout2024-08-03 04:15 3.7K 
[ ]lpspace2__t32_lpspace22024-07-27 23:54 65K 
[ ]lpspace2__t32_lpspace2.vout2024-08-03 04:12 7.3K 
[ ]lpspace2__t33_lpspace22024-07-27 23:57 73K 
[ ]lpspace2__t33_lpspace2.vout2024-08-03 09:52 3.7K 
[ ]lpspace2__t34_lpspace22024-07-27 23:59 69K 
[ ]lpspace2__t34_lpspace2.vout2024-08-03 07:39 3.7K 
[ ]lpspace2__t35_lpspace22024-07-28 00:01 51K 
[ ]lpspace2__t35_lpspace2.vout2024-08-03 09:42 6.8K 
[ ]lpspace2__t36_lpspace22024-07-28 00:03 57K 
[ ]lpspace2__t36_lpspace2.vout2024-08-03 04:43 6.8K 
[ ]lpspace2__t37_lpspace22024-07-28 00:06 104K 
[ ]lpspace2__t37_lpspace2.vout2024-08-03 09:13 3.7K 
[ ]lpspace2__t38_lpspace22024-07-28 00:08 57K 
[ ]lpspace2__t38_lpspace2.depv12024-08-03 10:19 85  
[ ]lpspace2__t38_lpspace2.depvmin12024-08-03 10:24 85  
[ ]lpspace2__t38_lpspace2.vmin12024-08-03 10:19 2.6K 
[ ]lpspace2__t38_lpspace2.vmin1out2024-08-03 10:20 22K 
[ ]lpspace2__t38_lpspace2.vout2024-08-03 08:21 25K 
[ ]lpspace2__t39_lpspace22024-07-28 00:10 59K 
[ ]lpspace2__t39_lpspace2.vout2024-08-03 10:12 7.3K 
[ ]lpspace2__t40_lpspace22024-07-28 00:12 59K 
[ ]lpspace2__t40_lpspace2.depv12024-08-03 10:19 102  
[ ]lpspace2__t40_lpspace2.depvmin12024-08-03 10:24 102  
[ ]lpspace2__t40_lpspace2.vmin12024-08-03 10:19 2.7K 
[ ]lpspace2__t40_lpspace2.vmin1out2024-08-03 10:23 55K 
[ ]lpspace2__t40_lpspace2.vout2024-08-03 05:32 62K 
[ ]lpspace2__t41_lpspace22024-07-28 00:15 58K 
[ ]lpspace2__t41_lpspace2.vout2024-08-03 08:21 3.7K 
[ ]lpspace2__t42_lpspace22024-07-27 23:01 58K 
[ ]lpspace2__t42_lpspace2.depv12024-08-03 10:19 26  
[ ]lpspace2__t42_lpspace2.depvmin12024-08-03 10:24 26  
[ ]lpspace2__t42_lpspace2.vmin12024-08-03 10:19 1.4K 
[ ]lpspace2__t42_lpspace2.vmin1out2024-08-03 10:23 21K 
[ ]lpspace2__t42_lpspace2.vout2024-08-03 06:59 16K 
[ ]lpspace2__t43_lpspace22024-07-28 00:17 59K 
[ ]lpspace2__t43_lpspace2.vout2024-08-03 10:09 7.4K 
[ ]lpspace2__t44_lpspace22024-07-28 00:19 66K 
[ ]lpspace2__t44_lpspace2.vout2024-08-03 09:40 6.8K 
[ ]lpspace2__t45_lpspace22024-07-28 00:21 67K 
[ ]lpspace2__t45_lpspace2.vout2024-08-03 05:13 7.3K 
[ ]lpspace2__t46_lpspace22024-07-28 00:23 64K 
[ ]lpspace2__t46_lpspace2.depv12024-08-03 10:19 135  
[ ]lpspace2__t46_lpspace2.depvmin12024-08-03 10:24 135  
[ ]lpspace2__t46_lpspace2.vmin12024-08-03 10:19 4.1K 
[ ]lpspace2__t46_lpspace2.vmin1out2024-08-03 10:22 88K 
[ ]lpspace2__t46_lpspace2.vout2024-08-03 06:18 91K 
[ ]lpspace2__t47_lpspace22024-07-28 00:25 65K 
[ ]lpspace2__t47_lpspace2.vout2024-08-03 08:46 6.8K 
[ ]lpspace2__t48_lpspace22024-07-28 00:28 87K 
[ ]lpspace2__t48_lpspace2.vout2024-08-03 05:18 3.7K 
[ ]lpspace2__t49_lpspace22024-07-28 00:30 66K 
[ ]lpspace2__t49_lpspace2.vout2024-08-03 04:53 6.8K 
[ ]lpspace2__t50_lpspace22024-07-28 00:33 66K 
[ ]lpspace2__t50_lpspace2.vout2024-08-03 08:12 7.4K 
[ ]lpspace2__t51_lpspace22024-07-28 00:35 66K 
[ ]lpspace2__t51_lpspace2.vout2024-08-03 09:44 7.3K 
[ ]lpspace2__t52_lpspace22024-07-28 00:37 70K 
[ ]lpspace2__t52_lpspace2.depv12024-08-03 10:19 39  
[ ]lpspace2__t52_lpspace2.depvmin12024-08-03 10:24 39  
[ ]lpspace2__t52_lpspace2.vmin12024-08-03 10:19 2.7K 
[ ]lpspace2__t52_lpspace2.vmin1out2024-08-03 10:21 54K 
[ ]lpspace2__t52_lpspace2.vout2024-08-03 08:30 61K 
[ ]lpspace2__t53_lpspace22024-07-28 00:40 95K 
[ ]lpspace2__t53_lpspace2.vout2024-08-03 09:26 7.3K 
[ ]lpspace2__t54_lpspace22024-07-28 00:43 88K 
[ ]lpspace2__t54_lpspace2.vout2024-08-03 07:33 6.8K 
[ ]lpspace2__t55_lpspace22024-07-28 00:45 94K 
[ ]lpspace2__t55_lpspace2.vout2024-08-03 05:49 6.8K 
[ ]lpspace2__t56_lpspace22024-07-28 00:48 72K 
[ ]lpspace2__t56_lpspace2.vout2024-08-03 07:16 7.4K 
[ ]lpspace2__t57_lpspace22024-07-28 00:50 87K 
[ ]lpspace2__t57_lpspace2.vout2024-08-03 09:56 3.7K 
[ ]lpspace2__t58_lpspace22024-07-28 00:52 49K 
[ ]lpspace2__t58_lpspace2.vout2024-08-03 05:50 4.7K 
[ ]lpspace2__t59_lpspace22024-07-28 00:55 125K 
[ ]lpspace2__t59_lpspace2.vout2024-08-03 09:42 3.7K 
[ ]lpspace2__t60_lpspace22024-07-28 00:58 149K 
[ ]lpspace2__t60_lpspace2.vout2024-08-03 06:22 3.7K 
[ ]lpspace2__t61_lpspace22024-07-28 01:00 98K 
[ ]lpspace2__t61_lpspace2.vout2024-08-03 09:20 6.8K 
[ ]lpspace2__t62_lpspace22024-07-28 01:03 86K 
[ ]lpspace2__t62_lpspace2.vout2024-08-03 08:03 7.3K 
[ ]lpspace2__t63_lpspace22024-07-28 01:06 115K 
[ ]lpspace2__t63_lpspace2.vout2024-08-03 09:58 3.7K 
[ ]lpspace2__t64_lpspace22024-07-28 01:08 51K 
[ ]lpspace2__t64_lpspace2.vout2024-08-03 06:28 7.4K 
[ ]lpspace2__t65_lpspace22024-07-28 01:10 59K 
[ ]lpspace2__t65_lpspace2.vout2024-08-03 05:36 6.8K 
[ ]lpspace2__t66_lpspace22024-07-28 01:12 62K 
[ ]lpspace2__t66_lpspace2.vout2024-08-03 04:41 6.8K 
[ ]lpspace2__t67_lpspace22024-07-28 01:14 38K 
[ ]lpspace2__t67_lpspace2.vout2024-08-03 04:35 4.7K 
[ ]lpspace2__t68_lpspace22024-07-28 01:15 110K 
[ ]lpspace2__t68_lpspace2.vout2024-08-03 08:28 4.7K 
[ ]lpspace2__t69_lpspace22024-07-28 01:17 35K 
[ ]lpspace2__t69_lpspace2.vout2024-08-03 04:56 4.7K 
[ ]lpspace2__t71_lpspace22024-07-28 01:19 70K 
[ ]lpspace2__t71_lpspace2.vout2024-08-03 09:40 3.7K 
[ ]lpspace2__t72_lpspace22024-07-28 01:21 76K 
[ ]lpspace2__t72_lpspace2.vout2024-08-03 05:58 6.8K 
[ ]lpspace2__t73_lpspace22024-07-28 01:23 65K 
[ ]lpspace2__t73_lpspace2.vout2024-08-03 09:03 7.4K 
[ ]lpspace2__t74_lpspace22024-07-28 01:26 74K 
[ ]lpspace2__t74_lpspace2.vout2024-08-03 08:05 7.3K 
[ ]lpspace2__t75_lpspace22024-07-28 01:28 72K 
[ ]lpspace2__t75_lpspace2.depv12024-08-03 10:19 274  
[ ]lpspace2__t75_lpspace2.depvmin12024-08-03 10:24 274  
[ ]lpspace2__t75_lpspace2.vmin12024-08-03 10:19 10K 
[ ]lpspace2__t75_lpspace2.vmin1out2024-08-03 10:22 216K 
[ ]lpspace2__t75_lpspace2.vout2024-08-03 05:54 257K 
[ ]lpspace2__t76_lpspace22024-07-28 01:31 90K 
[ ]lpspace2__t76_lpspace2.vout2024-08-03 06:37 6.8K 
[ ]lpspace2__t77_lpspace22024-07-28 01:33 46K 
[ ]lpspace2__t77_lpspace2.depv12024-08-03 10:19 172  
[ ]lpspace2__t77_lpspace2.depvmin12024-08-03 10:24 172  
[ ]lpspace2__t77_lpspace2.vmin12024-08-03 10:19 4.6K 
[ ]lpspace2__t77_lpspace2.vmin1out2024-08-03 10:21 39K 
[ ]lpspace2__t77_lpspace2.vout2024-08-03 05:09 62K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80