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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_5__t86_finseq_5.vout2021-07-25 17:41 2.0K 
[ ]finseq_5__t86_finseq_52021-07-17 19:51 30K 
[ ]finseq_5__t85_finseq_5.vout2021-07-25 18:20 7.9K 
[ ]finseq_5__t85_finseq_52021-07-17 19:51 36K 
[ ]finseq_5__t84_finseq_5.vout2021-07-25 20:24 7.3K 
[ ]finseq_5__t84_finseq_52021-07-17 19:50 32K 
[ ]finseq_5__t83_finseq_5.vout2021-07-25 15:48 7.4K 
[ ]finseq_5__t83_finseq_52021-07-17 19:50 33K 
[ ]finseq_5__t82_finseq_5.vout2021-07-25 19:55 7.3K 
[ ]finseq_5__t82_finseq_52021-07-17 19:50 36K 
[ ]finseq_5__t81_finseq_5.vout2021-07-25 16:57 7.9K 
[ ]finseq_5__t81_finseq_52021-07-17 19:49 38K 
[ ]finseq_5__t80_finseq_5.vout2021-07-25 18:33 7.3K 
[ ]finseq_5__t80_finseq_52021-07-17 19:49 53K 
[ ]finseq_5__t79_finseq_5.vout2021-07-25 19:06 9.3K 
[ ]finseq_5__t79_finseq_5.vmin1out2021-07-25 20:58 9.9K 
[ ]finseq_5__t79_finseq_5.vmin12021-07-25 20:57 1.2K 
[ ]finseq_5__t79_finseq_5.depvmin12021-07-25 21:03 165  
[ ]finseq_5__t79_finseq_5.depv12021-07-25 20:57 165  
[ ]finseq_5__t79_finseq_52021-07-17 19:18 20K 
[ ]finseq_5__t78_finseq_5.vout2021-07-25 18:00 9.6K 
[ ]finseq_5__t78_finseq_5.vmin1out2021-07-25 21:01 10K 
[ ]finseq_5__t78_finseq_5.vmin12021-07-25 20:57 1.1K 
[ ]finseq_5__t78_finseq_5.depvmin12021-07-25 21:03 122  
[ ]finseq_5__t78_finseq_5.depv12021-07-25 20:57 122  
[ ]finseq_5__t78_finseq_52021-07-17 19:17 28K 
[ ]finseq_5__t77_finseq_5.vout2021-07-25 14:26 7.4K 
[ ]finseq_5__t77_finseq_52021-07-17 19:48 29K 
[ ]finseq_5__t76_finseq_5.vout2021-07-25 18:46 7.3K 
[ ]finseq_5__t76_finseq_52021-07-17 19:48 36K 
[ ]finseq_5__t75_finseq_5.vout2021-07-25 19:40 7.4K 
[ ]finseq_5__t75_finseq_52021-07-17 19:47 38K 
[ ]finseq_5__t74_finseq_5.vout2021-07-25 19:51 7.3K 
[ ]finseq_5__t74_finseq_52021-07-17 19:47 100K 
[ ]finseq_5__t73_finseq_5.vout2021-07-25 19:32 7.3K 
[ ]finseq_5__t73_finseq_52021-07-17 19:46 42K 
[ ]finseq_5__t72_finseq_5.vout2021-07-25 19:11 7.4K 
[ ]finseq_5__t72_finseq_52021-07-17 19:46 35K 
[ ]finseq_5__t71_finseq_5.vout2021-07-25 20:55 14K 
[ ]finseq_5__t71_finseq_5.vmin1out2021-07-25 21:00 11K 
[ ]finseq_5__t71_finseq_5.vmin12021-07-25 20:57 946  
[ ]finseq_5__t71_finseq_5.depvmin12021-07-25 21:03 97  
[ ]finseq_5__t71_finseq_5.depv12021-07-25 20:57 97  
[ ]finseq_5__t71_finseq_52021-07-17 19:45 34K 
[ ]finseq_5__t70_finseq_5.vout2021-07-25 14:34 7.3K 
[ ]finseq_5__t70_finseq_52021-07-17 19:45 35K 
[ ]finseq_5__t69_finseq_5.vout2021-07-25 18:50 7.4K 
[ ]finseq_5__t69_finseq_52021-07-17 19:44 42K 
[ ]finseq_5__t68_finseq_5.vout2021-07-25 19:34 7.3K 
[ ]finseq_5__t68_finseq_52021-07-17 19:44 35K 
[ ]finseq_5__t67_finseq_5.vout2021-07-25 16:36 7.9K 
[ ]finseq_5__t67_finseq_52021-07-17 19:17 34K 
[ ]finseq_5__t66_finseq_5.vout2021-07-25 20:28 7.9K 
[ ]finseq_5__t66_finseq_52021-07-17 19:44 33K 
[ ]finseq_5__t65_finseq_5.vout2021-07-25 20:13 2.0K 
[ ]finseq_5__t65_finseq_52021-07-17 19:43 25K 
[ ]finseq_5__t64_finseq_5.vout2021-07-25 15:09 2.0K 
[ ]finseq_5__t64_finseq_52021-07-17 19:43 20K 
[ ]finseq_5__t63_finseq_5.vout2021-07-25 18:21 7.4K 
[ ]finseq_5__t63_finseq_52021-07-17 19:42 94K 
[ ]finseq_5__t62_finseq_5.vout2021-07-25 17:20 7.9K 
[ ]finseq_5__t62_finseq_52021-07-17 19:42 30K 
[ ]finseq_5__t61_finseq_5.vout2021-07-25 14:49 8.4K 
[ ]finseq_5__t61_finseq_52021-07-17 19:42 45K 
[ ]finseq_5__t60_finseq_5.vout2021-07-25 14:40 7.9K 
[ ]finseq_5__t60_finseq_52021-07-17 19:41 36K 
[ ]finseq_5__t59_finseq_5.vout2021-07-25 20:01 7.3K 
[ ]finseq_5__t59_finseq_52021-07-17 19:41 34K 
[ ]finseq_5__t58_finseq_5.vout2021-07-25 19:48 17K 
[ ]finseq_5__t58_finseq_5.vmin1out2021-07-25 21:00 17K 
[ ]finseq_5__t58_finseq_5.vmin12021-07-25 20:57 1.0K 
[ ]finseq_5__t58_finseq_5.depvmin12021-07-25 21:03 53  
[ ]finseq_5__t58_finseq_5.depv12021-07-25 20:57 53  
[ ]finseq_5__t58_finseq_52021-07-17 19:40 25K 
[ ]finseq_5__t57_finseq_5.vout2021-07-25 18:20 7.3K 
[ ]finseq_5__t57_finseq_52021-07-17 19:40 46K 
[ ]finseq_5__t56_finseq_5.vout2021-07-25 19:25 2.0K 
[ ]finseq_5__t56_finseq_52021-07-17 19:39 32K 
[ ]finseq_5__t55_finseq_5.vout2021-07-25 17:33 2.0K 
[ ]finseq_5__t55_finseq_52021-07-17 19:39 35K 
[ ]finseq_5__t54_finseq_5.vout2021-07-25 19:35 2.0K 
[ ]finseq_5__t54_finseq_52021-07-17 19:39 41K 
[ ]finseq_5__t53_finseq_5.vout2021-07-25 16:47 2.0K 
[ ]finseq_5__t53_finseq_52021-07-17 19:17 26K 
[ ]finseq_5__t52_finseq_5.vout2021-07-25 18:33 7.3K 
[ ]finseq_5__t52_finseq_52021-07-17 19:38 40K 
[ ]finseq_5__t51_finseq_5.vout2021-07-25 19:06 2.0K 
[ ]finseq_5__t51_finseq_52021-07-17 19:38 36K 
[ ]finseq_5__t50_finseq_5.vout2021-07-25 16:16 7.4K 
[ ]finseq_5__t50_finseq_52021-07-17 19:37 48K 
[ ]finseq_5__t49_finseq_5.vout2021-07-25 16:56 7.3K 
[ ]finseq_5__t49_finseq_52021-07-17 19:37 48K 
[ ]finseq_5__t48_finseq_5.vout2021-07-25 20:30 15K 
[ ]finseq_5__t48_finseq_5.vmin1out2021-07-25 21:01 11K 
[ ]finseq_5__t48_finseq_5.vmin12021-07-25 20:57 1.3K 
[ ]finseq_5__t48_finseq_5.depvmin12021-07-25 21:03 147  
[ ]finseq_5__t48_finseq_5.depv12021-07-25 20:57 147  
[ ]finseq_5__t48_finseq_52021-07-17 19:16 27K 
[ ]finseq_5__t47_finseq_5.vout2021-07-25 18:24 27K 
[ ]finseq_5__t47_finseq_5.vmin1out2021-07-25 21:01 22K 
[ ]finseq_5__t47_finseq_5.vmin12021-07-25 20:57 2.6K 
[ ]finseq_5__t47_finseq_5.depvmin12021-07-25 21:03 304  
[ ]finseq_5__t47_finseq_5.depv12021-07-25 20:57 329  
[ ]finseq_5__t47_finseq_52021-07-17 19:36 28K 
[ ]finseq_5__t46_finseq_5.vout2021-07-25 19:57 7.9K 
[ ]finseq_5__t46_finseq_52021-07-17 19:36 32K 
[ ]finseq_5__t45_finseq_5.vout2021-07-25 16:18 7.9K 
[ ]finseq_5__t45_finseq_52021-07-17 19:35 31K 
[ ]finseq_5__t44_finseq_5.vout2021-07-25 18:31 23K 
[ ]finseq_5__t44_finseq_5.vmin1out2021-07-25 20:58 18K 
[ ]finseq_5__t44_finseq_5.vmin12021-07-25 20:57 2.0K 
[ ]finseq_5__t44_finseq_5.depvmin12021-07-25 21:03 254  
[ ]finseq_5__t44_finseq_5.depv12021-07-25 20:57 254  
[ ]finseq_5__t44_finseq_52021-07-17 19:35 29K 
[ ]finseq_5__t43_finseq_5.vout2021-07-25 19:37 20K 
[ ]finseq_5__t43_finseq_5.vmin1out2021-07-25 21:00 17K 
[ ]finseq_5__t43_finseq_5.vmin12021-07-25 20:57 1.7K 
[ ]finseq_5__t43_finseq_5.depvmin12021-07-25 21:03 157  
[ ]finseq_5__t43_finseq_5.depv12021-07-25 20:57 157  
[ ]finseq_5__t43_finseq_52021-07-17 19:35 28K 
[ ]finseq_5__t42_finseq_5.vout2021-07-25 20:12 7.9K 
[ ]finseq_5__t42_finseq_52021-07-17 19:34 30K 
[ ]finseq_5__t41_finseq_5.vout2021-07-25 20:24 2.0K 
[ ]finseq_5__t41_finseq_52021-07-17 19:34 22K 
[ ]finseq_5__t40_finseq_5.vout2021-07-25 16:32 7.3K 
[ ]finseq_5__t40_finseq_52021-07-17 19:33 31K 
[ ]finseq_5__t39_finseq_5.vout2021-07-25 18:37 7.3K 
[ ]finseq_5__t39_finseq_52021-07-17 19:33 30K 
[ ]finseq_5__t38_finseq_5.vout2021-07-25 17:01 2.0K 
[ ]finseq_5__t38_finseq_52021-07-17 19:32 23K 
[ ]finseq_5__t37_finseq_5.vout2021-07-25 15:08 11K 
[ ]finseq_5__t37_finseq_5.vmin1out2021-07-25 21:02 11K 
[ ]finseq_5__t37_finseq_5.vmin12021-07-25 20:57 1.2K 
[ ]finseq_5__t37_finseq_5.depvmin12021-07-25 21:03 138  
[ ]finseq_5__t37_finseq_5.depv12021-07-25 20:57 138  
[ ]finseq_5__t37_finseq_52021-07-17 19:32 19K 
[ ]finseq_5__t36_finseq_5.vout2021-07-25 18:07 7.3K 
[ ]finseq_5__t36_finseq_52021-07-17 19:32 48K 
[ ]finseq_5__t35_finseq_5.vout2021-07-25 17:03 7.9K 
[ ]finseq_5__t35_finseq_52021-07-17 19:31 51K 
[ ]finseq_5__t34_finseq_5.vout2021-07-25 14:23 7.4K 
[ ]finseq_5__t34_finseq_52021-07-17 19:31 41K 
[ ]finseq_5__t33_finseq_5.vout2021-07-25 17:10 7.3K 
[ ]finseq_5__t33_finseq_52021-07-17 19:30 26K 
[ ]finseq_5__t32_finseq_5.vout2021-07-25 18:25 4.7K 
[ ]finseq_5__t32_finseq_52021-07-17 19:30 28K 
[ ]finseq_5__t31_finseq_5.vout2021-07-25 19:21 4.7K 
[ ]finseq_5__t31_finseq_52021-07-17 19:30 49K 
[ ]finseq_5__t30_finseq_5.vout2021-07-25 20:47 7.3K 
[ ]finseq_5__t30_finseq_52021-07-17 19:29 45K 
[ ]finseq_5__t29_finseq_5.vout2021-07-25 18:32 7.9K 
[ ]finseq_5__t29_finseq_52021-07-17 19:29 36K 
[ ]finseq_5__t28_finseq_5.vout2021-07-25 14:46 30K 
[ ]finseq_5__t28_finseq_5.vmin1out2021-07-25 20:58 29K 
[ ]finseq_5__t28_finseq_5.vmin12021-07-25 20:57 1.7K 
[ ]finseq_5__t28_finseq_5.depvmin12021-07-25 21:03 174  
[ ]finseq_5__t28_finseq_5.depv12021-07-25 20:57 174  
[ ]finseq_5__t28_finseq_52021-07-17 19:28 29K 
[ ]finseq_5__t27_finseq_5.vout2021-07-25 17:07 7.3K 
[ ]finseq_5__t27_finseq_52021-07-17 19:28 30K 
[ ]finseq_5__t26_finseq_5.vout2021-07-25 15:54 7.3K 
[ ]finseq_5__t26_finseq_52021-07-17 19:27 29K 
[ ]finseq_5__t25_finseq_5.vout2021-07-25 20:52 7.3K 
[ ]finseq_5__t25_finseq_52021-07-17 19:27 39K 
[ ]finseq_5__t24_finseq_5.vout2021-07-25 14:55 7.4K 
[ ]finseq_5__t24_finseq_52021-07-17 19:27 43K 
[ ]finseq_5__t23_finseq_5.vout2021-07-25 15:15 28K 
[ ]finseq_5__t23_finseq_5.vmin1out2021-07-25 21:00 26K 
[ ]finseq_5__t23_finseq_5.vmin12021-07-25 20:57 2.1K 
[ ]finseq_5__t23_finseq_5.depvmin12021-07-25 21:03 197  
[ ]finseq_5__t23_finseq_5.depv12021-07-25 20:57 197  
[ ]finseq_5__t23_finseq_52021-07-17 19:26 29K 
[ ]finseq_5__t22_finseq_5.vout2021-07-25 18:05 7.4K 
[ ]finseq_5__t22_finseq_52021-07-17 19:26 33K 
[ ]finseq_5__t21_finseq_5.vout2021-07-25 19:13 6.8K 
[ ]finseq_5__t21_finseq_52021-07-17 19:25 42K 
[ ]finseq_5__t20_finseq_5.vout2021-07-25 17:54 7.4K 
[ ]finseq_5__t20_finseq_52021-07-17 19:25 29K 
[ ]finseq_5__t19_finseq_5.vout2021-07-25 18:07 11K 
[ ]finseq_5__t19_finseq_5.vmin1out2021-07-25 21:00 8.5K 
[ ]finseq_5__t19_finseq_5.vmin12021-07-25 20:57 928  
[ ]finseq_5__t19_finseq_5.depvmin12021-07-25 21:03 66  
[ ]finseq_5__t19_finseq_5.depv12021-07-25 20:57 66  
[ ]finseq_5__t19_finseq_52021-07-17 19:24 24K 
[ ]finseq_5__t18_finseq_5.vout2021-07-25 15:18 16K 
[ ]finseq_5__t18_finseq_5.vmin1out2021-07-25 20:59 11K 
[ ]finseq_5__t18_finseq_5.vmin12021-07-25 20:57 1.1K 
[ ]finseq_5__t18_finseq_5.depvmin12021-07-25 21:03 105  
[ ]finseq_5__t18_finseq_5.depv12021-07-25 20:57 105  
[ ]finseq_5__t18_finseq_52021-07-17 19:24 25K 
[ ]finseq_5__t17_finseq_5.vout2021-07-25 18:02 16K 
[ ]finseq_5__t17_finseq_5.vmin1out2021-07-25 20:58 12K 
[ ]finseq_5__t17_finseq_5.vmin12021-07-25 20:57 1.2K 
[ ]finseq_5__t17_finseq_5.depvmin12021-07-25 21:03 117  
[ ]finseq_5__t17_finseq_5.depv12021-07-25 20:57 141  
[ ]finseq_5__t17_finseq_52021-07-17 19:24 25K 
[ ]finseq_5__t16_finseq_5.vout2021-07-25 20:26 20K 
[ ]finseq_5__t16_finseq_5.vmin1out2021-07-25 21:00 16K 
[ ]finseq_5__t16_finseq_5.vmin12021-07-25 20:57 1.1K 
[ ]finseq_5__t16_finseq_5.depvmin12021-07-25 21:03 117  
[ ]finseq_5__t16_finseq_5.depv12021-07-25 20:57 117  
[ ]finseq_5__t16_finseq_52021-07-17 19:23 25K 
[ ]finseq_5__t15_finseq_5.vout2021-07-25 17:21 2.0K 
[ ]finseq_5__t15_finseq_52021-07-17 19:23 35K 
[ ]finseq_5__t14_finseq_5.vout2021-07-25 18:07 6.7K 
[ ]finseq_5__t14_finseq_5.vmin1out2021-07-25 21:00 6.6K 
[ ]finseq_5__t14_finseq_5.vmin12021-07-25 20:57 503  
[ ]finseq_5__t14_finseq_5.depvmin12021-07-25 21:03 63  
[ ]finseq_5__t14_finseq_5.depv12021-07-25 20:57 63  
[ ]finseq_5__t14_finseq_52021-07-17 19:16 16K 
[ ]finseq_5__t13_finseq_5.vout2021-07-25 20:31 7.9K 
[ ]finseq_5__t13_finseq_52021-07-17 19:22 23K 
[ ]finseq_5__t12_finseq_5.vout2021-07-25 20:00 7.9K 
[ ]finseq_5__t12_finseq_52021-07-17 19:22 21K 
[ ]finseq_5__t11_finseq_5.vout2021-07-25 15:18 22K 
[ ]finseq_5__t11_finseq_5.vmin1out2021-07-25 20:58 21K 
[ ]finseq_5__t11_finseq_5.vmin12021-07-25 20:57 1.2K 
[ ]finseq_5__t11_finseq_5.depvmin12021-07-25 21:03 109  
[ ]finseq_5__t11_finseq_5.depv12021-07-25 20:57 109  
[ ]finseq_5__t11_finseq_52021-07-17 19:22 19K 
[ ]finseq_5__t10_finseq_5.vout2021-07-25 19:24 6.8K 
[ ]finseq_5__t10_finseq_52021-07-17 19:21 48K 
[ ]finseq_5__t9_finseq_5.vout2021-07-25 16:23 10K 
[ ]finseq_5__t9_finseq_5.vmin1out2021-07-25 20:58 10K 
[ ]finseq_5__t9_finseq_5.vmin12021-07-25 20:57 525  
[ ]finseq_5__t9_finseq_5.depvmin12021-07-25 21:03 48  
[ ]finseq_5__t9_finseq_5.depv12021-07-25 20:57 48  
[ ]finseq_5__t9_finseq_52021-07-17 19:21 14K 
[ ]finseq_5__t8_finseq_5.vout2021-07-25 17:50 16K 
[ ]finseq_5__t8_finseq_5.vmin1out2021-07-25 20:59 16K 
[ ]finseq_5__t8_finseq_5.vmin12021-07-25 20:57 953  
[ ]finseq_5__t8_finseq_5.depvmin12021-07-25 21:03 101  
[ ]finseq_5__t8_finseq_5.depv12021-07-25 20:57 101  
[ ]finseq_5__t8_finseq_52021-07-17 19:21 21K 
[ ]finseq_5__t7_finseq_5.vout2021-07-25 16:56 10K 
[ ]finseq_5__t7_finseq_5.vmin1out2021-07-25 21:00 8.3K 
[ ]finseq_5__t7_finseq_5.vmin12021-07-25 20:57 1.2K 
[ ]finseq_5__t7_finseq_5.depvmin12021-07-25 21:03 122  
[ ]finseq_5__t7_finseq_5.depv12021-07-25 20:57 168  
[ ]finseq_5__t7_finseq_52021-07-17 19:16 17K 
[ ]finseq_5__t6_finseq_5.vout2021-07-25 19:56 27K 
[ ]finseq_5__t6_finseq_5.vmin1out2021-07-25 21:01 26K 
[ ]finseq_5__t6_finseq_5.vmin12021-07-25 20:57 2.9K 
[ ]finseq_5__t6_finseq_5.depvmin12021-07-25 21:03 304  
[ ]finseq_5__t6_finseq_5.depv12021-07-25 20:57 389  
[ ]finseq_5__t6_finseq_52021-07-17 19:20 21K 
[ ]finseq_5__t5_finseq_5.vout2021-07-25 16:08 13K 
[ ]finseq_5__t5_finseq_5.vmin1out2021-07-25 20:58 13K 
[ ]finseq_5__t5_finseq_5.vmin12021-07-25 20:57 686  
[ ]finseq_5__t5_finseq_5.depvmin12021-07-25 21:03 36  
[ ]finseq_5__t5_finseq_5.depv12021-07-25 20:57 36  
[ ]finseq_5__t5_finseq_52021-07-17 19:20 16K 
[ ]finseq_5__t4_finseq_5.vout2021-07-25 17:17 15K 
[ ]finseq_5__t4_finseq_5.vmin1out2021-07-25 21:00 15K 
[ ]finseq_5__t4_finseq_5.vmin12021-07-25 20:57 677  
[ ]finseq_5__t4_finseq_5.depvmin12021-07-25 21:03 59  
[ ]finseq_5__t4_finseq_5.depv12021-07-25 20:57 59  
[ ]finseq_5__t4_finseq_52021-07-17 19:20 15K 
[ ]finseq_5__t3_finseq_5.vout2021-07-25 16:53 19K 
[ ]finseq_5__t3_finseq_5.vmin1out2021-07-25 21:02 18K 
[ ]finseq_5__t3_finseq_5.vmin12021-07-25 20:57 898  
[ ]finseq_5__t3_finseq_5.depvmin12021-07-25 21:03 67  
[ ]finseq_5__t3_finseq_5.depv12021-07-25 20:57 67  
[ ]finseq_5__t3_finseq_52021-07-17 19:19 16K 
[ ]finseq_5__t2_finseq_5.vout2021-07-25 16:18 7.3K 
[ ]finseq_5__t2_finseq_52021-07-17 19:19 42K 
[ ]finseq_5__t1_finseq_5.vout2021-07-25 18:50 2.0K 
[ ]finseq_5__t1_finseq_52021-07-17 19:19 25K 
[ ]finseq_5__l36_finseq_5.vout2021-07-25 20:46 2.0K 
[ ]finseq_5__l36_finseq_52021-07-17 19:52 29K 
[ ]finseq_5__l23_finseq_5.vout2021-07-25 19:58 7.4K 
[ ]finseq_5__l23_finseq_52021-07-17 19:52 28K 
[ ]finseq_5__l16_finseq_5.vout2021-07-25 14:42 29K 
[ ]finseq_5__l16_finseq_5.vmin1out2021-07-25 20:57 28K 
[ ]finseq_5__l16_finseq_5.vmin12021-07-25 20:57 1.7K 
[ ]finseq_5__l16_finseq_5.depvmin12021-07-25 21:03 120  
[ ]finseq_5__l16_finseq_5.depv12021-07-25 20:57 120  
[ ]finseq_5__l16_finseq_52021-07-17 19:18 30K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80