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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]setlim_2__t1_setlim_22024-07-27 05:17 16K 
[ ]setlim_2__t1_setlim_2.vout2024-08-03 05:50 6.8K 
[ ]setlim_2__t2_setlim_22024-07-27 05:18 17K 
[ ]setlim_2__t2_setlim_2.vout2024-08-03 04:09 6.8K 
[ ]setlim_2__t3_setlim_22024-07-27 05:19 18K 
[ ]setlim_2__t3_setlim_2.vout2024-08-03 07:03 4.7K 
[ ]setlim_2__t8_setlim_22024-07-27 05:20 14K 
[ ]setlim_2__t8_setlim_2.vout2024-08-03 09:05 6.8K 
[ ]setlim_2__t9_setlim_22024-07-27 05:20 14K 
[ ]setlim_2__t9_setlim_2.vout2024-08-03 04:31 7.3K 
[ ]setlim_2__t10_setlim_22024-07-27 05:21 13K 
[ ]setlim_2__t10_setlim_2.vout2024-08-03 04:42 6.8K 
[ ]setlim_2__t11_setlim_22024-07-27 05:22 16K 
[ ]setlim_2__t11_setlim_2.vout2024-08-03 08:36 2.0K 
[ ]setlim_2__t12_setlim_22024-07-27 05:23 14K 
[ ]setlim_2__t12_setlim_2.vout2024-08-03 04:29 6.8K 
[ ]setlim_2__t13_setlim_22024-07-27 05:24 14K 
[ ]setlim_2__t13_setlim_2.vout2024-08-03 07:16 6.8K 
[ ]setlim_2__t14_setlim_22024-07-27 05:25 13K 
[ ]setlim_2__t14_setlim_2.vout2024-08-03 09:02 6.8K 
[ ]setlim_2__t15_setlim_22024-07-27 05:25 18K 
[ ]setlim_2__t15_setlim_2.vout2024-08-03 09:52 4.7K 
[ ]setlim_2__t21_setlim_22024-07-27 05:26 13K 
[ ]setlim_2__t21_setlim_2.vout2024-08-03 08:34 6.8K 
[ ]setlim_2__t22_setlim_22024-07-27 05:27 13K 
[ ]setlim_2__t22_setlim_2.vout2024-08-03 08:04 6.8K 
[ ]setlim_2__t23_setlim_22024-07-27 05:28 11K 
[ ]setlim_2__t23_setlim_2.depv12024-08-03 10:19 66  
[ ]setlim_2__t23_setlim_2.depvmin12024-08-03 10:24 66  
[ ]setlim_2__t23_setlim_2.vmin12024-08-03 10:19 1.6K 
[ ]setlim_2__t23_setlim_2.vmin1out2024-08-03 10:21 24K 
[ ]setlim_2__t23_setlim_2.vout2024-08-03 04:47 20K 
[ ]setlim_2__t24_setlim_22024-07-27 05:29 13K 
[ ]setlim_2__t24_setlim_2.vout2024-08-03 04:33 7.3K 
[ ]setlim_2__t25_setlim_22024-07-27 05:30 13K 
[ ]setlim_2__t25_setlim_2.vout2024-08-03 06:31 6.8K 
[ ]setlim_2__t26_setlim_22024-07-27 05:30 11K 
[ ]setlim_2__t26_setlim_2.depv12024-08-03 10:19 66  
[ ]setlim_2__t26_setlim_2.depvmin12024-08-03 10:24 66  
[ ]setlim_2__t26_setlim_2.vmin12024-08-03 10:19 1.6K 
[ ]setlim_2__t26_setlim_2.vmin1out2024-08-03 10:21 24K 
[ ]setlim_2__t26_setlim_2.vout2024-08-03 05:38 20K 
[ ]setlim_2__t27_setlim_22024-07-27 05:31 12K 
[ ]setlim_2__t27_setlim_2.vout2024-08-03 04:36 6.8K 
[ ]setlim_2__t28_setlim_22024-07-27 05:32 12K 
[ ]setlim_2__t28_setlim_2.vout2024-08-03 06:46 6.8K 
[ ]setlim_2__t29_setlim_22024-07-27 05:33 11K 
[ ]setlim_2__t29_setlim_2.depv12024-08-03 10:19 66  
[ ]setlim_2__t29_setlim_2.depvmin12024-08-03 10:24 66  
[ ]setlim_2__t29_setlim_2.vmin12024-08-03 10:19 1.6K 
[ ]setlim_2__t29_setlim_2.vmin1out2024-08-03 10:20 24K 
[ ]setlim_2__t29_setlim_2.vout2024-08-03 05:48 20K 
[ ]setlim_2__t30_setlim_22024-07-27 05:34 12K 
[ ]setlim_2__t30_setlim_2.vout2024-08-03 09:01 6.8K 
[ ]setlim_2__t31_setlim_22024-07-27 05:34 12K 
[ ]setlim_2__t31_setlim_2.vout2024-08-03 10:05 6.8K 
[ ]setlim_2__t32_setlim_22024-07-27 05:35 11K 
[ ]setlim_2__t32_setlim_2.depv12024-08-03 10:19 66  
[ ]setlim_2__t32_setlim_2.depvmin12024-08-03 10:24 66  
[ ]setlim_2__t32_setlim_2.vmin12024-08-03 10:19 1.6K 
[ ]setlim_2__t32_setlim_2.vmin1out2024-08-03 10:22 24K 
[ ]setlim_2__t32_setlim_2.vout2024-08-03 08:36 20K 
[ ]setlim_2__t33_setlim_22024-07-27 05:36 13K 
[ ]setlim_2__t33_setlim_2.vout2024-08-03 09:04 7.3K 
[ ]setlim_2__t34_setlim_22024-07-27 05:37 13K 
[ ]setlim_2__t34_setlim_2.vout2024-08-03 06:35 6.8K 
[ ]setlim_2__t35_setlim_22024-07-27 05:38 13K 
[ ]setlim_2__t35_setlim_2.depv12024-08-03 10:19 136  
[ ]setlim_2__t35_setlim_2.depvmin12024-08-03 10:24 136  
[ ]setlim_2__t35_setlim_2.vmin12024-08-03 10:19 2.2K 
[ ]setlim_2__t35_setlim_2.vmin1out2024-08-03 10:20 40K 
[ ]setlim_2__t35_setlim_2.vout2024-08-03 07:43 56K 
[ ]setlim_2__t36_setlim_22024-07-27 05:38 13K 
[ ]setlim_2__t36_setlim_2.vout2024-08-03 07:25 6.8K 
[ ]setlim_2__t37_setlim_22024-07-27 05:39 14K 
[ ]setlim_2__t37_setlim_2.vout2024-08-03 07:00 6.8K 
[ ]setlim_2__t38_setlim_22024-07-27 05:40 13K 
[ ]setlim_2__t38_setlim_2.vout2024-08-03 05:01 6.8K 
[ ]setlim_2__t39_setlim_22024-07-27 05:41 13K 
[ ]setlim_2__t39_setlim_2.vout2024-08-03 05:45 7.3K 
[ ]setlim_2__t40_setlim_22024-07-27 05:42 13K 
[ ]setlim_2__t40_setlim_2.vout2024-08-03 08:27 6.8K 
[ ]setlim_2__t41_setlim_22024-07-27 05:43 13K 
[ ]setlim_2__t41_setlim_2.vout2024-08-03 06:20 6.8K 
[ ]setlim_2__t42_setlim_22024-07-27 05:44 14K 
[ ]setlim_2__t42_setlim_2.vout2024-08-03 04:25 6.8K 
[ ]setlim_2__t43_setlim_22024-07-27 05:44 16K 
[ ]setlim_2__t43_setlim_2.vout2024-08-03 08:00 2.0K 
[ ]setlim_2__t44_setlim_22024-07-27 05:45 16K 
[ ]setlim_2__t44_setlim_2.vout2024-08-03 07:28 2.0K 
[ ]setlim_2__t45_setlim_22024-07-27 05:46 15K 
[ ]setlim_2__t45_setlim_2.vout2024-08-03 09:08 2.0K 
[ ]setlim_2__t46_setlim_22024-07-27 05:47 16K 
[ ]setlim_2__t46_setlim_2.vout2024-08-03 07:08 2.0K 
[ ]setlim_2__t47_setlim_22024-07-27 05:48 16K 
[ ]setlim_2__t47_setlim_2.vout2024-08-03 07:46 2.0K 
[ ]setlim_2__t48_setlim_22024-07-27 05:49 15K 
[ ]setlim_2__t48_setlim_2.vout2024-08-03 06:49 2.0K 
[ ]setlim_2__t49_setlim_22024-07-27 05:49 17K 
[ ]setlim_2__t49_setlim_2.vout2024-08-03 08:42 2.0K 
[ ]setlim_2__t50_setlim_22024-07-27 05:50 15K 
[ ]setlim_2__t50_setlim_2.depv12024-08-03 10:19 215  
[ ]setlim_2__t50_setlim_2.depvmin12024-08-03 10:24 116  
[ ]setlim_2__t50_setlim_2.vmin12024-08-03 10:19 2.9K 
[ ]setlim_2__t50_setlim_2.vmin1out2024-08-03 10:21 31K 
[ ]setlim_2__t50_setlim_2.vout2024-08-03 07:09 41K 
[ ]setlim_2__t51_setlim_22024-07-27 05:51 15K 
[ ]setlim_2__t51_setlim_2.vout2024-08-03 05:07 2.0K 
[ ]setlim_2__t52_setlim_22024-07-27 05:52 14K 
[ ]setlim_2__t52_setlim_2.depv12024-08-03 10:19 138  
[ ]setlim_2__t52_setlim_2.depvmin12024-08-03 10:24 116  
[ ]setlim_2__t52_setlim_2.vmin12024-08-03 10:19 2.6K 
[ ]setlim_2__t52_setlim_2.vmin1out2024-08-03 10:20 31K 
[ ]setlim_2__t52_setlim_2.vout2024-08-03 08:43 36K 
[ ]setlim_2__t53_setlim_22024-07-27 05:53 14K 
[ ]setlim_2__t53_setlim_2.depv12024-08-03 10:19 138  
[ ]setlim_2__t53_setlim_2.depvmin12024-08-03 10:24 116  
[ ]setlim_2__t53_setlim_2.vmin12024-08-03 10:19 2.6K 
[ ]setlim_2__t53_setlim_2.vmin1out2024-08-03 10:22 31K 
[ ]setlim_2__t53_setlim_2.vout2024-08-03 04:46 37K 
[ ]setlim_2__t54_setlim_22024-07-27 05:54 15K 
[ ]setlim_2__t54_setlim_2.depv12024-08-03 10:19 138  
[ ]setlim_2__t54_setlim_2.depvmin12024-08-03 10:24 116  
[ ]setlim_2__t54_setlim_2.vmin12024-08-03 10:19 2.6K 
[ ]setlim_2__t54_setlim_2.vmin1out2024-08-03 10:22 31K 
[ ]setlim_2__t54_setlim_2.vout2024-08-03 07:54 36K 
[ ]setlim_2__t55_setlim_22024-07-27 05:54 15K 
[ ]setlim_2__t55_setlim_2.depv12024-08-03 10:19 215  
[ ]setlim_2__t55_setlim_2.depvmin12024-08-03 10:24 116  
[ ]setlim_2__t55_setlim_2.vmin12024-08-03 10:19 2.9K 
[ ]setlim_2__t55_setlim_2.vmin1out2024-08-03 10:22 31K 
[ ]setlim_2__t55_setlim_2.vout2024-08-03 10:16 41K 
[ ]setlim_2__t56_setlim_22024-07-27 05:55 15K 
[ ]setlim_2__t56_setlim_2.vout2024-08-03 10:16 2.0K 
[ ]setlim_2__t57_setlim_22024-07-27 05:56 15K 
[ ]setlim_2__t57_setlim_2.depv12024-08-03 10:19 138  
[ ]setlim_2__t57_setlim_2.depvmin12024-08-03 10:24 116  
[ ]setlim_2__t57_setlim_2.vmin12024-08-03 10:19 2.6K 
[ ]setlim_2__t57_setlim_2.vmin1out2024-08-03 10:22 31K 
[ ]setlim_2__t57_setlim_2.vout2024-08-03 09:08 36K 
[ ]setlim_2__t58_setlim_22024-07-27 05:57 15K 
[ ]setlim_2__t58_setlim_2.vout2024-08-03 04:23 6.8K 
[ ]setlim_2__t59_setlim_22024-07-27 05:58 16K 
[ ]setlim_2__t59_setlim_2.depv12024-08-03 10:19 138  
[ ]setlim_2__t59_setlim_2.depvmin12024-08-03 10:24 116  
[ ]setlim_2__t59_setlim_2.vmin12024-08-03 10:19 2.6K 
[ ]setlim_2__t59_setlim_2.vmin1out2024-08-03 10:22 31K 
[ ]setlim_2__t59_setlim_2.vout2024-08-03 07:46 36K 
[ ]setlim_2__t60_setlim_22024-07-27 05:59 14K 
[ ]setlim_2__t60_setlim_2.vout2024-08-03 05:57 7.9K 
[ ]setlim_2__t61_setlim_22024-07-27 06:00 14K 
[ ]setlim_2__t61_setlim_2.vout2024-08-03 06:47 7.3K 
[ ]setlim_2__t62_setlim_22024-07-27 06:00 15K 
[ ]setlim_2__t62_setlim_2.vout2024-08-03 09:01 7.3K 
[ ]setlim_2__t63_setlim_22024-07-27 06:01 17K 
[ ]setlim_2__t63_setlim_2.vout2024-08-03 06:26 6.8K 
[ ]setlim_2__t64_setlim_22024-07-27 06:02 16K 
[ ]setlim_2__t64_setlim_2.vout2024-08-03 06:28 6.8K 
[ ]setlim_2__t65_setlim_22024-07-27 06:03 17K 
[ ]setlim_2__t65_setlim_2.vout2024-08-03 09:13 6.8K 
[ ]setlim_2__t66_setlim_22024-07-27 06:04 17K 
[ ]setlim_2__t66_setlim_2.vout2024-08-03 10:03 7.3K 
[ ]setlim_2__t67_setlim_22024-07-27 06:05 14K 
[ ]setlim_2__t67_setlim_2.vout2024-08-03 09:46 7.3K 
[ ]setlim_2__t68_setlim_22024-07-27 06:06 14K 
[ ]setlim_2__t68_setlim_2.vout2024-08-03 04:20 7.9K 
[ ]setlim_2__t69_setlim_22024-07-27 06:06 15K 
[ ]setlim_2__t69_setlim_2.vout2024-08-03 05:36 6.8K 
[ ]setlim_2__t70_setlim_22024-07-27 06:07 16K 
[ ]setlim_2__t70_setlim_2.vout2024-08-03 08:06 6.8K 
[ ]setlim_2__t71_setlim_22024-07-27 06:08 17K 
[ ]setlim_2__t71_setlim_2.vout2024-08-03 05:55 7.3K 
[ ]setlim_2__t72_setlim_22024-07-27 06:09 16K 
[ ]setlim_2__t72_setlim_2.vout2024-08-03 09:22 7.3K 
[ ]setlim_2__t73_setlim_22024-07-27 06:10 16K 
[ ]setlim_2__t73_setlim_2.vout2024-08-03 08:41 2.0K 
[ ]setlim_2__t74_setlim_22024-07-27 06:11 16K 
[ ]setlim_2__t74_setlim_2.vout2024-08-03 07:00 4.7K 
[ ]setlim_2__t75_setlim_22024-07-27 06:12 16K 
[ ]setlim_2__t75_setlim_2.vout2024-08-03 05:56 4.7K 
[ ]setlim_2__t76_setlim_22024-07-27 06:13 14K 
[ ]setlim_2__t76_setlim_2.vout2024-08-03 08:26 6.8K 
[ ]setlim_2__t77_setlim_22024-07-27 06:14 16K 
[ ]setlim_2__t77_setlim_2.vout2024-08-03 07:32 4.7K 
[ ]setlim_2__t78_setlim_22024-07-27 06:14 15K 
[ ]setlim_2__t78_setlim_2.vout2024-08-03 04:24 6.8K 
[ ]setlim_2__t79_setlim_22024-07-27 06:15 16K 
[ ]setlim_2__t79_setlim_2.vout2024-08-03 08:40 6.8K 
[ ]setlim_2__t80_setlim_22024-07-27 06:16 17K 
[ ]setlim_2__t80_setlim_2.vout2024-08-03 07:32 6.8K 
[ ]setlim_2__t81_setlim_22024-07-27 06:17 15K 
[ ]setlim_2__t81_setlim_2.vout2024-08-03 09:04 4.7K 
[ ]setlim_2__t82_setlim_22024-07-27 06:18 16K 
[ ]setlim_2__t82_setlim_2.vout2024-08-03 06:18 4.7K 
[ ]setlim_2__t83_setlim_22024-07-27 06:19 14K 
[ ]setlim_2__t83_setlim_2.vout2024-08-03 07:41 6.8K 
[ ]setlim_2__t84_setlim_22024-07-27 06:20 15K 
[ ]setlim_2__t84_setlim_2.vout2024-08-03 06:43 4.7K 
[ ]setlim_2__t85_setlim_22024-07-27 06:20 13K 
[ ]setlim_2__t85_setlim_2.vout2024-08-03 05:40 6.8K 
[ ]setlim_2__t86_setlim_22024-07-27 06:21 16K 
[ ]setlim_2__t86_setlim_2.vout2024-08-03 07:34 6.8K 
[ ]setlim_2__t87_setlim_22024-07-27 06:22 17K 
[ ]setlim_2__t87_setlim_2.vout2024-08-03 04:16 6.8K 
[ ]setlim_2__t88_setlim_22024-07-27 06:23 13K 
[ ]setlim_2__t88_setlim_2.depv12024-08-03 10:19 183  
[ ]setlim_2__t88_setlim_2.depvmin12024-08-03 10:24 91  
[ ]setlim_2__t88_setlim_2.vmin12024-08-03 10:19 2.9K 
[ ]setlim_2__t88_setlim_2.vmin1out2024-08-03 10:21 32K 
[ ]setlim_2__t88_setlim_2.vout2024-08-03 07:53 39K 
[ ]setlim_2__t89_setlim_22024-07-27 06:24 14K 
[ ]setlim_2__t89_setlim_2.depv12024-08-03 10:19 91  
[ ]setlim_2__t89_setlim_2.depvmin12024-08-03 10:24 91  
[ ]setlim_2__t89_setlim_2.vmin12024-08-03 10:19 2.3K 
[ ]setlim_2__t89_setlim_2.vmin1out2024-08-03 10:20 32K 
[ ]setlim_2__t89_setlim_2.vout2024-08-03 05:43 34K 
[ ]setlim_2__t90_setlim_22024-07-27 06:25 13K 
[ ]setlim_2__t90_setlim_2.depv12024-08-03 10:19 91  
[ ]setlim_2__t90_setlim_2.depvmin12024-08-03 10:24 91  
[ ]setlim_2__t90_setlim_2.vmin12024-08-03 10:19 2.3K 
[ ]setlim_2__t90_setlim_2.vmin1out2024-08-03 10:23 32K 
[ ]setlim_2__t90_setlim_2.vout2024-08-03 07:37 32K 
[ ]setlim_2__t91_setlim_22024-07-27 06:25 14K 
[ ]setlim_2__t91_setlim_2.depv12024-08-03 10:19 117  
[ ]setlim_2__t91_setlim_2.depvmin12024-08-03 10:24 117  
[ ]setlim_2__t91_setlim_2.vmin12024-08-03 10:19 2.7K 
[ ]setlim_2__t91_setlim_2.vmin1out2024-08-03 10:22 36K 
[ ]setlim_2__t91_setlim_2.vout2024-08-03 05:48 37K 
[ ]setlim_2__t92_setlim_22024-07-27 06:26 12K 
[ ]setlim_2__t92_setlim_2.depv12024-08-03 10:19 91  
[ ]setlim_2__t92_setlim_2.depvmin12024-08-03 10:24 91  
[ ]setlim_2__t92_setlim_2.vmin12024-08-03 10:19 1.8K 
[ ]setlim_2__t92_setlim_2.vmin1out2024-08-03 10:23 23K 
[ ]setlim_2__t92_setlim_2.vout2024-08-03 09:06 23K 
[ ]setlim_2__t93_setlim_22024-07-27 06:27 13K 
[ ]setlim_2__t93_setlim_2.depv12024-08-03 10:19 91  
[ ]setlim_2__t93_setlim_2.depvmin12024-08-03 10:24 91  
[ ]setlim_2__t93_setlim_2.vmin12024-08-03 10:19 1.8K 
[ ]setlim_2__t93_setlim_2.vmin1out2024-08-03 10:23 23K 
[ ]setlim_2__t93_setlim_2.vout2024-08-03 08:39 23K 
[ ]setlim_2__t94_setlim_22024-07-27 06:28 12K 
[ ]setlim_2__t94_setlim_2.depv12024-08-03 10:19 91  
[ ]setlim_2__t94_setlim_2.depvmin12024-08-03 10:24 91  
[ ]setlim_2__t94_setlim_2.vmin12024-08-03 10:19 1.8K 
[ ]setlim_2__t94_setlim_2.vmin1out2024-08-03 10:21 23K 
[ ]setlim_2__t94_setlim_2.vout2024-08-03 07:01 23K 
[ ]setlim_2__t95_setlim_22024-07-27 06:29 12K 
[ ]setlim_2__t95_setlim_2.depv12024-08-03 10:19 91  
[ ]setlim_2__t95_setlim_2.depvmin12024-08-03 10:24 91  
[ ]setlim_2__t95_setlim_2.vmin12024-08-03 10:19 1.8K 
[ ]setlim_2__t95_setlim_2.vmin1out2024-08-03 10:23 23K 
[ ]setlim_2__t95_setlim_2.vout2024-08-03 06:46 23K 
[ ]setlim_2__t96_setlim_22024-07-27 06:29 13K 
[ ]setlim_2__t96_setlim_2.depv12024-08-03 10:19 91  
[ ]setlim_2__t96_setlim_2.depvmin12024-08-03 10:24 91  
[ ]setlim_2__t96_setlim_2.vmin12024-08-03 10:19 1.8K 
[ ]setlim_2__t96_setlim_2.vmin1out2024-08-03 10:21 23K 
[ ]setlim_2__t96_setlim_2.vout2024-08-03 04:36 24K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80