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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseqop__l10_finseqop2024-07-27 01:44 28K 
[ ]finseqop__l10_finseqop.vout2024-08-03 04:56 4.7K 
[ ]finseqop__l11_finseqop2024-07-27 01:45 31K 
[ ]finseqop__l11_finseqop.vout2024-08-03 09:25 4.7K 
[ ]finseqop__l12_finseqop2024-07-27 01:46 31K 
[ ]finseqop__l12_finseqop.vout2024-08-03 09:30 4.7K 
[ ]finseqop__l27_finseqop2024-07-27 01:47 26K 
[ ]finseqop__l27_finseqop.depv12024-08-03 10:19 193  
[ ]finseqop__l27_finseqop.depvmin12024-08-03 10:24 193  
[ ]finseqop__l27_finseqop.vmin12024-08-03 10:20 1.7K 
[ ]finseqop__l27_finseqop.vmin1out2024-08-03 10:21 22K 
[ ]finseqop__l27_finseqop.vout2024-08-03 09:04 21K 
[ ]finseqop__t1_finseqop2024-07-27 00:02 19K 
[ ]finseqop__t1_finseqop.depv12024-08-03 10:19 158  
[ ]finseqop__t1_finseqop.depvmin12024-08-03 10:24 158  
[ ]finseqop__t1_finseqop.vmin12024-08-03 10:20 1.6K 
[ ]finseqop__t1_finseqop.vmin1out2024-08-03 10:20 21K 
[ ]finseqop__t1_finseqop.vout2024-08-03 05:53 21K 
[ ]finseqop__t2_finseqop2024-07-27 00:03 22K 
[ ]finseqop__t2_finseqop.depv12024-08-03 10:19 123  
[ ]finseqop__t2_finseqop.depvmin12024-08-03 10:24 123  
[ ]finseqop__t2_finseqop.vmin12024-08-03 10:20 1.5K 
[ ]finseqop__t2_finseqop.vmin1out2024-08-03 10:20 29K 
[ ]finseqop__t2_finseqop.vout2024-08-03 05:13 22K 
[ ]finseqop__t3_finseqop2024-07-27 00:04 14K 
[ ]finseqop__t3_finseqop.depv12024-08-03 10:19 95  
[ ]finseqop__t3_finseqop.depvmin12024-08-03 10:24 95  
[ ]finseqop__t3_finseqop.vmin12024-08-03 10:20 1.1K 
[ ]finseqop__t3_finseqop.vmin1out2024-08-03 10:22 12K 
[ ]finseqop__t3_finseqop.vout2024-08-03 06:51 9.7K 
[ ]finseqop__t4_finseqop2024-07-27 00:05 29K 
[ ]finseqop__t4_finseqop.depv12024-08-03 10:19 122  
[ ]finseqop__t4_finseqop.depvmin12024-08-03 10:24 122  
[ ]finseqop__t4_finseqop.vmin12024-08-03 10:20 1.3K 
[ ]finseqop__t4_finseqop.vmin1out2024-08-03 10:20 11K 
[ ]finseqop__t4_finseqop.vout2024-08-03 05:13 10K 
[ ]finseqop__t5_finseqop2024-07-27 00:06 29K 
[ ]finseqop__t5_finseqop.depv12024-08-03 10:19 122  
[ ]finseqop__t5_finseqop.depvmin12024-08-03 10:24 122  
[ ]finseqop__t5_finseqop.vmin12024-08-03 10:20 1.3K 
[ ]finseqop__t5_finseqop.vmin1out2024-08-03 10:22 12K 
[ ]finseqop__t5_finseqop.vout2024-08-03 08:07 11K 
[ ]finseqop__t6_finseqop2024-07-27 00:07 30K 
[ ]finseqop__t6_finseqop.vout2024-08-03 05:52 6.8K 
[ ]finseqop__t7_finseqop2024-07-27 00:08 32K 
[ ]finseqop__t7_finseqop.vout2024-08-03 04:29 4.7K 
[ ]finseqop__t8_finseqop2024-07-27 00:09 39K 
[ ]finseqop__t8_finseqop.vout2024-08-03 04:21 4.7K 
[ ]finseqop__t9_finseqop2024-07-27 00:11 34K 
[ ]finseqop__t9_finseqop.vout2024-08-03 04:42 4.7K 
[ ]finseqop__t10_finseqop2024-07-27 00:12 41K 
[ ]finseqop__t10_finseqop.vout2024-08-03 09:11 4.7K 
[ ]finseqop__t11_finseqop2024-07-27 00:14 41K 
[ ]finseqop__t11_finseqop.vout2024-08-03 06:28 6.8K 
[ ]finseqop__t12_finseqop2024-07-27 00:15 43K 
[ ]finseqop__t12_finseqop.vout2024-08-03 08:16 4.7K 
[ ]finseqop__t13_finseqop2024-07-27 00:17 40K 
[ ]finseqop__t13_finseqop.vout2024-08-03 04:23 4.7K 
[ ]finseqop__t14_finseqop2024-07-27 00:18 43K 
[ ]finseqop__t14_finseqop.vout2024-08-03 07:04 4.7K 
[ ]finseqop__t15_finseqop2024-07-27 00:20 40K 
[ ]finseqop__t15_finseqop.vout2024-08-03 04:37 4.7K 
[ ]finseqop__t16_finseqop2024-07-27 00:21 37K 
[ ]finseqop__t16_finseqop.vout2024-08-03 07:43 6.8K 
[ ]finseqop__t17_finseqop2024-07-27 00:22 39K 
[ ]finseqop__t17_finseqop.vout2024-08-03 10:10 6.8K 
[ ]finseqop__t18_finseqop2024-07-27 00:24 40K 
[ ]finseqop__t18_finseqop.vout2024-08-03 09:52 6.8K 
[ ]finseqop__t19_finseqop2024-07-27 00:25 40K 
[ ]finseqop__t19_finseqop.vout2024-08-03 08:14 7.3K 
[ ]finseqop__t20_finseqop2024-07-27 00:27 38K 
[ ]finseqop__t20_finseqop.vout2024-08-03 05:25 7.3K 
[ ]finseqop__t21_finseqop2024-07-27 00:28 36K 
[ ]finseqop__t21_finseqop.vout2024-08-03 08:36 7.4K 
[ ]finseqop__t22_finseqop2024-07-27 00:29 33K 
[ ]finseqop__t22_finseqop.vout2024-08-03 08:01 2.0K 
[ ]finseqop__t23_finseqop2024-07-27 00:30 33K 
[ ]finseqop__t23_finseqop.vout2024-08-03 04:52 2.0K 
[ ]finseqop__t24_finseqop2024-07-27 00:32 38K 
[ ]finseqop__t24_finseqop.vout2024-08-03 05:11 4.7K 
[ ]finseqop__t25_finseqop2024-07-27 00:33 38K 
[ ]finseqop__t25_finseqop.vout2024-08-03 08:22 4.7K 
[ ]finseqop__t26_finseqop2024-07-27 00:34 39K 
[ ]finseqop__t26_finseqop.vout2024-08-03 05:46 4.7K 
[ ]finseqop__t27_finseqop2024-07-27 00:35 39K 
[ ]finseqop__t27_finseqop.vout2024-08-03 05:33 4.7K 
[ ]finseqop__t28_finseqop2024-07-27 00:37 32K 
[ ]finseqop__t28_finseqop.vout2024-08-03 09:40 4.7K 
[ ]finseqop__t29_finseqop2024-07-27 00:38 38K 
[ ]finseqop__t29_finseqop.vout2024-08-03 05:33 4.7K 
[ ]finseqop__t30_finseqop2024-07-27 00:39 40K 
[ ]finseqop__t30_finseqop.vout2024-08-03 05:55 4.7K 
[ ]finseqop__t31_finseqop2024-07-27 00:40 37K 
[ ]finseqop__t31_finseqop.vout2024-08-03 09:50 4.7K 
[ ]finseqop__t32_finseqop2024-07-27 00:42 37K 
[ ]finseqop__t32_finseqop.vout2024-08-03 04:56 4.7K 
[ ]finseqop__t33_finseqop2024-07-27 00:43 32K 
[ ]finseqop__t33_finseqop.vout2024-08-03 07:13 4.7K 
[ ]finseqop__t34_finseqop2024-07-27 00:44 37K 
[ ]finseqop__t34_finseqop.vout2024-08-03 09:39 4.7K 
[ ]finseqop__t35_finseqop2024-07-27 00:45 37K 
[ ]finseqop__t35_finseqop.vout2024-08-03 10:06 4.7K 
[ ]finseqop__t36_finseqop2024-07-27 00:47 37K 
[ ]finseqop__t36_finseqop.vout2024-08-03 06:53 4.7K 
[ ]finseqop__t37_finseqop2024-07-27 00:48 32K 
[ ]finseqop__t37_finseqop.vout2024-08-03 04:58 4.1K 
[ ]finseqop__t38_finseqop2024-07-27 00:49 37K 
[ ]finseqop__t38_finseqop.vout2024-08-03 06:48 4.7K 
[ ]finseqop__t39_finseqop2024-07-27 00:50 37K 
[ ]finseqop__t39_finseqop.vout2024-08-03 05:35 4.7K 
[ ]finseqop__t40_finseqop2024-07-26 23:54 32K 
[ ]finseqop__t40_finseqop.vout2024-08-03 07:54 4.1K 
[ ]finseqop__t41_finseqop2024-07-26 23:55 35K 
[ ]finseqop__t41_finseqop.vout2024-08-03 05:25 4.7K 
[ ]finseqop__t42_finseqop2024-07-26 23:56 35K 
[ ]finseqop__t42_finseqop.vout2024-08-03 04:08 4.7K 
[ ]finseqop__t43_finseqop2024-07-27 00:52 33K 
[ ]finseqop__t43_finseqop.vout2024-08-03 08:34 4.7K 
[ ]finseqop__t44_finseqop2024-07-27 00:53 34K 
[ ]finseqop__t44_finseqop.vout2024-08-03 09:52 4.7K 
[ ]finseqop__t45_finseqop2024-07-27 00:54 34K 
[ ]finseqop__t45_finseqop.vout2024-08-03 04:08 4.7K 
[ ]finseqop__t46_finseqop2024-07-27 00:55 40K 
[ ]finseqop__t46_finseqop.vout2024-08-03 07:40 4.7K 
[ ]finseqop__t47_finseqop2024-07-27 00:57 40K 
[ ]finseqop__t47_finseqop.vout2024-08-03 07:10 4.7K 
[ ]finseqop__t48_finseqop2024-07-27 00:58 36K 
[ ]finseqop__t48_finseqop.vout2024-08-03 09:48 4.7K 
[ ]finseqop__t49_finseqop2024-07-27 00:59 39K 
[ ]finseqop__t49_finseqop.vout2024-08-03 07:11 4.7K 
[ ]finseqop__t50_finseqop2024-07-27 01:01 39K 
[ ]finseqop__t50_finseqop.vout2024-08-03 04:27 4.7K 
[ ]finseqop__t51_finseqop2024-07-26 23:58 33K 
[ ]finseqop__t51_finseqop.vout2024-08-03 07:40 4.1K 
[ ]finseqop__t52_finseqop2024-07-26 23:59 36K 
[ ]finseqop__t52_finseqop.vout2024-08-03 08:44 4.7K 
[ ]finseqop__t53_finseqop2024-07-27 00:00 36K 
[ ]finseqop__t53_finseqop.vout2024-08-03 07:03 4.7K 
[ ]finseqop__t54_finseqop2024-07-27 01:02 36K 
[ ]finseqop__t54_finseqop.vout2024-08-03 06:09 4.7K 
[ ]finseqop__t55_finseqop2024-07-27 01:03 36K 
[ ]finseqop__t55_finseqop.vout2024-08-03 05:26 4.7K 
[ ]finseqop__t56_finseqop2024-07-27 01:05 39K 
[ ]finseqop__t56_finseqop.vout2024-08-03 04:40 6.8K 
[ ]finseqop__t57_finseqop2024-07-27 01:06 35K 
[ ]finseqop__t57_finseqop.vout2024-08-03 06:52 4.7K 
[ ]finseqop__t58_finseqop2024-07-27 01:07 35K 
[ ]finseqop__t58_finseqop.vout2024-08-03 06:15 4.7K 
[ ]finseqop__t59_finseqop2024-07-27 01:08 24K 
[ ]finseqop__t59_finseqop.depv12024-08-03 10:19 52  
[ ]finseqop__t59_finseqop.depvmin12024-08-03 10:24 52  
[ ]finseqop__t59_finseqop.vmin12024-08-03 10:20 1.7K 
[ ]finseqop__t59_finseqop.vmin1out2024-08-03 10:20 33K 
[ ]finseqop__t59_finseqop.vout2024-08-03 09:09 34K 
[ ]finseqop__t60_finseqop2024-07-27 01:09 24K 
[ ]finseqop__t60_finseqop.vout2024-08-03 08:11 7.4K 
[ ]finseqop__t61_finseqop2024-07-27 01:11 24K 
[ ]finseqop__t61_finseqop.depv12024-08-03 10:19 53  
[ ]finseqop__t61_finseqop.depvmin12024-08-03 10:24 53  
[ ]finseqop__t61_finseqop.vmin12024-08-03 10:20 1.4K 
[ ]finseqop__t61_finseqop.vmin1out2024-08-03 10:23 13K 
[ ]finseqop__t61_finseqop.vout2024-08-03 07:04 17K 
[ ]finseqop__t62_finseqop2024-07-27 01:12 24K 
[ ]finseqop__t62_finseqop.depv12024-08-03 10:19 92  
[ ]finseqop__t62_finseqop.depvmin12024-08-03 10:24 92  
[ ]finseqop__t62_finseqop.vmin12024-08-03 10:20 2.2K 
[ ]finseqop__t62_finseqop.vmin1out2024-08-03 10:20 25K 
[ ]finseqop__t62_finseqop.vout2024-08-03 06:15 29K 
[ ]finseqop__t63_finseqop2024-07-27 01:13 26K 
[ ]finseqop__t63_finseqop.vout2024-08-03 09:33 2.0K 
[ ]finseqop__t64_finseqop2024-07-27 01:14 24K 
[ ]finseqop__t64_finseqop.vout2024-08-03 08:59 7.4K 
[ ]finseqop__t65_finseqop2024-07-27 01:15 23K 
[ ]finseqop__t65_finseqop.depv12024-08-03 10:19 53  
[ ]finseqop__t65_finseqop.depvmin12024-08-03 10:24 53  
[ ]finseqop__t65_finseqop.vmin12024-08-03 10:20 1.5K 
[ ]finseqop__t65_finseqop.vmin1out2024-08-03 10:21 30K 
[ ]finseqop__t65_finseqop.vout2024-08-03 08:11 21K 
[ ]finseqop__t66_finseqop2024-07-27 01:16 24K 
[ ]finseqop__t66_finseqop.vout2024-08-03 04:09 2.0K 
[ ]finseqop__t67_finseqop2024-07-27 01:17 27K 
[ ]finseqop__t67_finseqop.vout2024-08-03 09:26 4.1K 
[ ]finseqop__t68_finseqop2024-07-27 01:19 37K 
[ ]finseqop__t68_finseqop.vout2024-08-03 08:48 4.7K 
[ ]finseqop__t69_finseqop2024-07-27 01:20 35K 
[ ]finseqop__t69_finseqop.vout2024-08-03 08:56 2.0K 
[ ]finseqop__t70_finseqop2024-07-27 01:21 35K 
[ ]finseqop__t70_finseqop.vout2024-08-03 08:58 2.0K 
[ ]finseqop__t71_finseqop2024-07-27 01:22 35K 
[ ]finseqop__t71_finseqop.vout2024-08-03 08:36 4.7K 
[ ]finseqop__t72_finseqop2024-07-27 01:24 35K 
[ ]finseqop__t72_finseqop.vout2024-08-03 05:15 4.7K 
[ ]finseqop__t73_finseqop2024-07-27 01:25 41K 
[ ]finseqop__t73_finseqop.vout2024-08-03 06:46 7.3K 
[ ]finseqop__t74_finseqop2024-07-27 01:27 40K 
[ ]finseqop__t74_finseqop.vout2024-08-03 08:58 6.8K 
[ ]finseqop__t75_finseqop2024-07-27 01:28 35K 
[ ]finseqop__t75_finseqop.vout2024-08-03 10:12 4.7K 
[ ]finseqop__t76_finseqop2024-07-27 01:30 40K 
[ ]finseqop__t76_finseqop.vout2024-08-03 07:34 6.8K 
[ ]finseqop__t77_finseqop2024-07-27 01:30 18K 
[ ]finseqop__t77_finseqop.vout2024-08-03 07:39 7.4K 
[ ]finseqop__t79_finseqop2024-07-27 01:32 26K 
[ ]finseqop__t79_finseqop.vout2024-08-03 06:48 2.0K 
[ ]finseqop__t80_finseqop2024-07-27 00:01 25K 
[ ]finseqop__t80_finseqop.depv12024-08-03 10:19 78  
[ ]finseqop__t80_finseqop.depvmin12024-08-03 10:24 54  
[ ]finseqop__t80_finseqop.vmin12024-08-03 10:20 1.9K 
[ ]finseqop__t80_finseqop.vmin1out2024-08-03 10:20 24K 
[ ]finseqop__t80_finseqop.vout2024-08-03 07:08 37K 
[ ]finseqop__t81_finseqop2024-07-27 01:33 30K 
[ ]finseqop__t81_finseqop.vout2024-08-03 07:35 6.8K 
[ ]finseqop__t82_finseqop2024-07-27 01:34 30K 
[ ]finseqop__t82_finseqop.vout2024-08-03 07:05 2.0K 
[ ]finseqop__t83_finseqop2024-07-27 01:35 35K 
[ ]finseqop__t83_finseqop.vout2024-08-03 05:30 4.7K 
[ ]finseqop__t84_finseqop2024-07-27 01:36 36K 
[ ]finseqop__t84_finseqop.vout2024-08-03 10:10 4.7K 
[ ]finseqop__t85_finseqop2024-07-27 01:38 33K 
[ ]finseqop__t85_finseqop.vout2024-08-03 08:06 4.7K 
[ ]finseqop__t86_finseqop2024-07-27 01:39 30K 
[ ]finseqop__t86_finseqop.depv12024-08-03 10:19 79  
[ ]finseqop__t86_finseqop.depvmin12024-08-03 10:24 54  
[ ]finseqop__t86_finseqop.vmin12024-08-03 10:20 1.9K 
[ ]finseqop__t86_finseqop.vmin1out2024-08-03 10:21 18K 
[ ]finseqop__t86_finseqop.vout2024-08-03 09:33 19K 
[ ]finseqop__t87_finseqop2024-07-27 01:40 30K 
[ ]finseqop__t87_finseqop.depv12024-08-03 10:19 106  
[ ]finseqop__t87_finseqop.depvmin12024-08-03 10:24 81  
[ ]finseqop__t87_finseqop.vmin12024-08-03 10:20 2.3K 
[ ]finseqop__t87_finseqop.vmin1out2024-08-03 10:22 22K 
[ ]finseqop__t87_finseqop.vout2024-08-03 06:23 23K 
[ ]finseqop__t88_finseqop2024-07-27 01:41 30K 
[ ]finseqop__t88_finseqop.depv12024-08-03 10:19 92  
[ ]finseqop__t88_finseqop.depvmin12024-08-03 10:24 67  
[ ]finseqop__t88_finseqop.vmin12024-08-03 10:20 1.9K 
[ ]finseqop__t88_finseqop.vmin1out2024-08-03 10:21 18K 
[ ]finseqop__t88_finseqop.vout2024-08-03 08:03 19K 
[ ]finseqop__t89_finseqop2024-07-27 01:43 33K 
[ ]finseqop__t89_finseqop.vout2024-08-03 06:00 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80