Index of /~mptp/mml5.63.1382/MPTP2/problems_small/finseqop

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseqop__l10_finseqop2021-07-17 18:25 27K 
[ ]finseqop__l10_finseqop.vout2021-07-25 20:07 4.7K 
[ ]finseqop__l11_finseqop2021-07-17 18:25 30K 
[ ]finseqop__l11_finseqop.vout2021-07-25 19:14 4.7K 
[ ]finseqop__l12_finseqop2021-07-17 18:25 30K 
[ ]finseqop__l12_finseqop.vout2021-07-25 16:16 4.7K 
[ ]finseqop__l27_finseqop2021-07-17 18:26 25K 
[ ]finseqop__l27_finseqop.depv12021-07-25 20:57 193  
[ ]finseqop__l27_finseqop.depvmin12021-07-25 21:03 193  
[ ]finseqop__l27_finseqop.vmin12021-07-25 20:57 1.7K 
[ ]finseqop__l27_finseqop.vmin1out2021-07-25 21:00 22K 
[ ]finseqop__l27_finseqop.vout2021-07-25 19:23 21K 
[ ]finseqop__t1_finseqop2021-07-17 17:49 19K 
[ ]finseqop__t1_finseqop.depv12021-07-25 20:57 158  
[ ]finseqop__t1_finseqop.depvmin12021-07-25 21:03 158  
[ ]finseqop__t1_finseqop.vmin12021-07-25 20:57 1.6K 
[ ]finseqop__t1_finseqop.vmin1out2021-07-25 21:01 21K 
[ ]finseqop__t1_finseqop.vout2021-07-25 14:55 21K 
[ ]finseqop__t2_finseqop2021-07-17 17:49 21K 
[ ]finseqop__t2_finseqop.depv12021-07-25 20:57 123  
[ ]finseqop__t2_finseqop.depvmin12021-07-25 21:03 123  
[ ]finseqop__t2_finseqop.vmin12021-07-25 20:57 1.5K 
[ ]finseqop__t2_finseqop.vmin1out2021-07-25 21:02 29K 
[ ]finseqop__t2_finseqop.vout2021-07-25 14:41 22K 
[ ]finseqop__t3_finseqop2021-07-17 17:50 14K 
[ ]finseqop__t3_finseqop.vout2021-07-25 14:36 2.0K 
[ ]finseqop__t4_finseqop2021-07-17 17:50 27K 
[ ]finseqop__t4_finseqop.depv12021-07-25 20:57 98  
[ ]finseqop__t4_finseqop.depvmin12021-07-25 21:03 98  
[ ]finseqop__t4_finseqop.vmin12021-07-25 20:57 1.1K 
[ ]finseqop__t4_finseqop.vmin1out2021-07-25 21:02 9.7K 
[ ]finseqop__t4_finseqop.vout2021-07-25 16:14 9.4K 
[ ]finseqop__t5_finseqop2021-07-17 17:50 27K 
[ ]finseqop__t5_finseqop.depv12021-07-25 20:57 98  
[ ]finseqop__t5_finseqop.depvmin12021-07-25 21:03 98  
[ ]finseqop__t5_finseqop.vmin12021-07-25 20:57 1.1K 
[ ]finseqop__t5_finseqop.vmin1out2021-07-25 20:58 10K 
[ ]finseqop__t5_finseqop.vout2021-07-25 16:30 9.6K 
[ ]finseqop__t6_finseqop2021-07-17 17:51 29K 
[ ]finseqop__t6_finseqop.vout2021-07-25 19:00 6.8K 
[ ]finseqop__t7_finseqop2021-07-17 17:51 30K 
[ ]finseqop__t7_finseqop.vout2021-07-25 15:56 4.7K 
[ ]finseqop__t8_finseqop2021-07-17 17:52 36K 
[ ]finseqop__t8_finseqop.vout2021-07-25 17:19 4.7K 
[ ]finseqop__t9_finseqop2021-07-17 17:52 32K 
[ ]finseqop__t9_finseqop.vout2021-07-25 15:35 4.7K 
[ ]finseqop__t10_finseqop2021-07-17 17:52 38K 
[ ]finseqop__t10_finseqop.vout2021-07-25 16:20 4.7K 
[ ]finseqop__t11_finseqop2021-07-17 17:53 39K 
[ ]finseqop__t11_finseqop.vout2021-07-25 18:55 6.8K 
[ ]finseqop__t12_finseqop2021-07-17 17:54 40K 
[ ]finseqop__t12_finseqop.vout2021-07-25 20:42 4.7K 
[ ]finseqop__t13_finseqop2021-07-17 17:54 37K 
[ ]finseqop__t13_finseqop.vout2021-07-25 14:41 4.7K 
[ ]finseqop__t14_finseqop2021-07-17 17:55 40K 
[ ]finseqop__t14_finseqop.vout2021-07-25 19:32 4.7K 
[ ]finseqop__t15_finseqop2021-07-17 17:55 37K 
[ ]finseqop__t15_finseqop.vout2021-07-25 18:20 4.7K 
[ ]finseqop__t16_finseqop2021-07-17 17:56 35K 
[ ]finseqop__t16_finseqop.vout2021-07-25 18:09 6.8K 
[ ]finseqop__t17_finseqop2021-07-17 17:56 37K 
[ ]finseqop__t17_finseqop.vout2021-07-25 19:02 6.8K 
[ ]finseqop__t18_finseqop2021-07-17 17:56 38K 
[ ]finseqop__t18_finseqop.vout2021-07-25 17:04 6.8K 
[ ]finseqop__t19_finseqop2021-07-17 17:57 38K 
[ ]finseqop__t19_finseqop.vout2021-07-25 15:26 6.8K 
[ ]finseqop__t20_finseqop2021-07-17 17:57 36K 
[ ]finseqop__t20_finseqop.vout2021-07-25 15:58 7.4K 
[ ]finseqop__t21_finseqop2021-07-17 17:58 34K 
[ ]finseqop__t21_finseqop.vout2021-07-25 14:57 7.4K 
[ ]finseqop__t22_finseqop2021-07-17 17:58 32K 
[ ]finseqop__t22_finseqop.vout2021-07-25 19:08 2.0K 
[ ]finseqop__t23_finseqop2021-07-17 17:59 31K 
[ ]finseqop__t23_finseqop.vout2021-07-25 19:03 2.0K 
[ ]finseqop__t24_finseqop2021-07-17 17:59 37K 
[ ]finseqop__t24_finseqop.vout2021-07-25 20:12 4.7K 
[ ]finseqop__t25_finseqop2021-07-17 18:00 37K 
[ ]finseqop__t25_finseqop.vout2021-07-25 16:40 4.7K 
[ ]finseqop__t26_finseqop2021-07-17 18:00 37K 
[ ]finseqop__t26_finseqop.vout2021-07-25 18:17 4.7K 
[ ]finseqop__t27_finseqop2021-07-17 18:01 37K 
[ ]finseqop__t27_finseqop.vout2021-07-25 19:06 4.7K 
[ ]finseqop__t28_finseqop2021-07-17 18:01 31K 
[ ]finseqop__t28_finseqop.vout2021-07-25 18:09 4.7K 
[ ]finseqop__t29_finseqop2021-07-17 18:01 36K 
[ ]finseqop__t29_finseqop.vout2021-07-25 18:37 4.7K 
[ ]finseqop__t30_finseqop2021-07-17 18:02 38K 
[ ]finseqop__t30_finseqop.vout2021-07-25 14:24 4.7K 
[ ]finseqop__t31_finseqop2021-07-17 18:02 35K 
[ ]finseqop__t31_finseqop.vout2021-07-25 18:14 4.7K 
[ ]finseqop__t32_finseqop2021-07-17 18:03 35K 
[ ]finseqop__t32_finseqop.vout2021-07-25 19:37 4.7K 
[ ]finseqop__t33_finseqop2021-07-17 18:03 30K 
[ ]finseqop__t33_finseqop.vout2021-07-25 20:13 4.7K 
[ ]finseqop__t34_finseqop2021-07-17 18:04 35K 
[ ]finseqop__t34_finseqop.vout2021-07-25 18:47 4.7K 
[ ]finseqop__t35_finseqop2021-07-17 18:04 36K 
[ ]finseqop__t35_finseqop.vout2021-07-25 17:24 4.7K 
[ ]finseqop__t36_finseqop2021-07-17 18:05 36K 
[ ]finseqop__t36_finseqop.vout2021-07-25 18:47 4.7K 
[ ]finseqop__t37_finseqop2021-07-17 18:05 31K 
[ ]finseqop__t37_finseqop.vout2021-07-25 17:00 4.1K 
[ ]finseqop__t38_finseqop2021-07-17 18:06 36K 
[ ]finseqop__t38_finseqop.vout2021-07-25 15:41 4.7K 
[ ]finseqop__t39_finseqop2021-07-17 18:06 36K 
[ ]finseqop__t39_finseqop.vout2021-07-25 17:03 4.7K 
[ ]finseqop__t40_finseqop2021-07-17 17:46 31K 
[ ]finseqop__t40_finseqop.vout2021-07-25 20:41 4.1K 
[ ]finseqop__t41_finseqop2021-07-17 17:47 34K 
[ ]finseqop__t41_finseqop.vout2021-07-25 15:41 4.7K 
[ ]finseqop__t42_finseqop2021-07-17 17:47 34K 
[ ]finseqop__t42_finseqop.vout2021-07-25 14:56 4.7K 
[ ]finseqop__t43_finseqop2021-07-17 18:06 32K 
[ ]finseqop__t43_finseqop.vout2021-07-25 18:14 4.7K 
[ ]finseqop__t44_finseqop2021-07-17 18:07 33K 
[ ]finseqop__t44_finseqop.vout2021-07-25 17:26 4.7K 
[ ]finseqop__t45_finseqop2021-07-17 18:07 33K 
[ ]finseqop__t45_finseqop.vout2021-07-25 14:58 4.7K 
[ ]finseqop__t46_finseqop2021-07-17 18:08 39K 
[ ]finseqop__t46_finseqop.vout2021-07-25 16:15 4.7K 
[ ]finseqop__t47_finseqop2021-07-17 18:08 38K 
[ ]finseqop__t47_finseqop.vout2021-07-25 15:14 4.7K 
[ ]finseqop__t48_finseqop2021-07-17 18:09 35K 
[ ]finseqop__t48_finseqop.vout2021-07-25 17:44 4.7K 
[ ]finseqop__t49_finseqop2021-07-17 18:09 38K 
[ ]finseqop__t49_finseqop.vout2021-07-25 16:16 4.7K 
[ ]finseqop__t50_finseqop2021-07-17 18:10 38K 
[ ]finseqop__t50_finseqop.vout2021-07-25 16:39 4.7K 
[ ]finseqop__t51_finseqop2021-07-17 17:47 32K 
[ ]finseqop__t51_finseqop.vout2021-07-25 15:43 4.1K 
[ ]finseqop__t52_finseqop2021-07-17 17:48 35K 
[ ]finseqop__t52_finseqop.vout2021-07-25 20:39 4.7K 
[ ]finseqop__t53_finseqop2021-07-17 17:48 35K 
[ ]finseqop__t53_finseqop.vout2021-07-25 18:33 4.7K 
[ ]finseqop__t54_finseqop2021-07-17 18:10 35K 
[ ]finseqop__t54_finseqop.vout2021-07-25 15:51 4.7K 
[ ]finseqop__t55_finseqop2021-07-17 18:11 35K 
[ ]finseqop__t55_finseqop.vout2021-07-25 15:17 4.7K 
[ ]finseqop__t56_finseqop2021-07-17 18:11 37K 
[ ]finseqop__t56_finseqop.vout2021-07-25 15:04 6.8K 
[ ]finseqop__t57_finseqop2021-07-17 18:11 33K 
[ ]finseqop__t57_finseqop.vout2021-07-25 19:56 4.7K 
[ ]finseqop__t58_finseqop2021-07-17 18:12 33K 
[ ]finseqop__t58_finseqop.vout2021-07-25 17:48 4.7K 
[ ]finseqop__t59_finseqop2021-07-17 18:12 23K 
[ ]finseqop__t59_finseqop.depv12021-07-25 20:57 52  
[ ]finseqop__t59_finseqop.depvmin12021-07-25 21:03 52  
[ ]finseqop__t59_finseqop.vmin12021-07-25 20:57 1.7K 
[ ]finseqop__t59_finseqop.vmin1out2021-07-25 20:58 33K 
[ ]finseqop__t59_finseqop.vout2021-07-25 16:27 34K 
[ ]finseqop__t60_finseqop2021-07-17 18:13 23K 
[ ]finseqop__t60_finseqop.vout2021-07-25 17:32 7.4K 
[ ]finseqop__t61_finseqop2021-07-17 18:13 23K 
[ ]finseqop__t61_finseqop.depv12021-07-25 20:57 53  
[ ]finseqop__t61_finseqop.depvmin12021-07-25 21:03 53  
[ ]finseqop__t61_finseqop.vmin12021-07-25 20:57 1.4K 
[ ]finseqop__t61_finseqop.vmin1out2021-07-25 21:02 13K 
[ ]finseqop__t61_finseqop.vout2021-07-25 17:20 15K 
[ ]finseqop__t62_finseqop2021-07-17 18:13 23K 
[ ]finseqop__t62_finseqop.depv12021-07-25 20:57 92  
[ ]finseqop__t62_finseqop.depvmin12021-07-25 21:03 92  
[ ]finseqop__t62_finseqop.vmin12021-07-25 20:57 2.2K 
[ ]finseqop__t62_finseqop.vmin1out2021-07-25 20:58 25K 
[ ]finseqop__t62_finseqop.vout2021-07-25 17:31 29K 
[ ]finseqop__t63_finseqop2021-07-17 18:14 25K 
[ ]finseqop__t63_finseqop.vout2021-07-25 20:24 2.0K 
[ ]finseqop__t64_finseqop2021-07-17 18:14 23K 
[ ]finseqop__t64_finseqop.vout2021-07-25 16:12 7.3K 
[ ]finseqop__t65_finseqop2021-07-17 18:15 22K 
[ ]finseqop__t65_finseqop.depv12021-07-25 20:57 53  
[ ]finseqop__t65_finseqop.depvmin12021-07-25 21:03 53  
[ ]finseqop__t65_finseqop.vmin12021-07-25 20:57 1.5K 
[ ]finseqop__t65_finseqop.vmin1out2021-07-25 20:59 30K 
[ ]finseqop__t65_finseqop.vout2021-07-25 18:12 21K 
[ ]finseqop__t66_finseqop2021-07-17 18:15 23K 
[ ]finseqop__t66_finseqop.vout2021-07-25 20:30 2.0K 
[ ]finseqop__t67_finseqop2021-07-17 18:15 26K 
[ ]finseqop__t67_finseqop.vout2021-07-25 17:54 4.1K 
[ ]finseqop__t68_finseqop2021-07-17 18:16 36K 
[ ]finseqop__t68_finseqop.vout2021-07-25 15:54 4.7K 
[ ]finseqop__t69_finseqop2021-07-17 18:16 34K 
[ ]finseqop__t69_finseqop.vout2021-07-25 16:58 2.0K 
[ ]finseqop__t70_finseqop2021-07-17 18:17 34K 
[ ]finseqop__t70_finseqop.vout2021-07-25 18:22 2.0K 
[ ]finseqop__t71_finseqop2021-07-17 18:17 34K 
[ ]finseqop__t71_finseqop.vout2021-07-25 14:25 4.7K 
[ ]finseqop__t72_finseqop2021-07-17 18:18 34K 
[ ]finseqop__t72_finseqop.vout2021-07-25 18:06 4.7K 
[ ]finseqop__t73_finseqop2021-07-17 18:18 39K 
[ ]finseqop__t73_finseqop.vout2021-07-25 17:50 6.8K 
[ ]finseqop__t74_finseqop2021-07-17 18:19 39K 
[ ]finseqop__t74_finseqop.vout2021-07-25 15:56 6.8K 
[ ]finseqop__t75_finseqop2021-07-17 18:19 34K 
[ ]finseqop__t75_finseqop.vout2021-07-25 16:46 4.7K 
[ ]finseqop__t76_finseqop2021-07-17 18:20 39K 
[ ]finseqop__t76_finseqop.vout2021-07-25 19:38 6.8K 
[ ]finseqop__t77_finseqop2021-07-17 18:20 18K 
[ ]finseqop__t77_finseqop.vout2021-07-25 18:01 7.4K 
[ ]finseqop__t79_finseqop2021-07-17 18:20 25K 
[ ]finseqop__t79_finseqop.vout2021-07-25 19:32 2.0K 
[ ]finseqop__t80_finseqop2021-07-17 17:49 25K 
[ ]finseqop__t80_finseqop.depv12021-07-25 20:57 78  
[ ]finseqop__t80_finseqop.depvmin12021-07-25 21:03 54  
[ ]finseqop__t80_finseqop.vmin12021-07-25 20:57 1.9K 
[ ]finseqop__t80_finseqop.vmin1out2021-07-25 20:59 24K 
[ ]finseqop__t80_finseqop.vout2021-07-25 14:55 37K 
[ ]finseqop__t81_finseqop2021-07-17 18:21 29K 
[ ]finseqop__t81_finseqop.vout2021-07-25 20:32 6.8K 
[ ]finseqop__t82_finseqop2021-07-17 18:21 29K 
[ ]finseqop__t82_finseqop.vout2021-07-25 16:51 2.0K 
[ ]finseqop__t83_finseqop2021-07-17 18:22 34K 
[ ]finseqop__t83_finseqop.vout2021-07-25 14:26 4.7K 
[ ]finseqop__t84_finseqop2021-07-17 18:22 35K 
[ ]finseqop__t84_finseqop.vout2021-07-25 15:59 4.7K 
[ ]finseqop__t85_finseqop2021-07-17 18:23 32K 
[ ]finseqop__t85_finseqop.vout2021-07-25 14:54 4.7K 
[ ]finseqop__t86_finseqop2021-07-17 18:23 29K 
[ ]finseqop__t86_finseqop.depv12021-07-25 20:57 79  
[ ]finseqop__t86_finseqop.depvmin12021-07-25 21:03 54  
[ ]finseqop__t86_finseqop.vmin12021-07-25 20:57 1.9K 
[ ]finseqop__t86_finseqop.vmin1out2021-07-25 21:01 18K 
[ ]finseqop__t86_finseqop.vout2021-07-25 18:42 19K 
[ ]finseqop__t87_finseqop2021-07-17 18:23 30K 
[ ]finseqop__t87_finseqop.depv12021-07-25 20:57 106  
[ ]finseqop__t87_finseqop.depvmin12021-07-25 21:03 81  
[ ]finseqop__t87_finseqop.vmin12021-07-25 20:57 2.3K 
[ ]finseqop__t87_finseqop.vmin1out2021-07-25 20:57 22K 
[ ]finseqop__t87_finseqop.vout2021-07-25 19:19 23K 
[ ]finseqop__t88_finseqop2021-07-17 18:24 29K 
[ ]finseqop__t88_finseqop.depv12021-07-25 20:57 92  
[ ]finseqop__t88_finseqop.depvmin12021-07-25 21:03 67  
[ ]finseqop__t88_finseqop.vmin12021-07-25 20:57 1.9K 
[ ]finseqop__t88_finseqop.vmin1out2021-07-25 21:00 18K 
[ ]finseqop__t88_finseqop.vout2021-07-25 19:51 19K 
[ ]finseqop__t89_finseqop2021-07-17 18:24 33K 
[ ]finseqop__t89_finseqop.vout2021-07-25 17:21 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80