Index of /~mptp/mml5.63.1382/MPTP2/problems/finseq_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_3__l39_finseq_32023-06-28 18:20 50K 
[ ]finseq_3__l48_finseq_32023-06-28 18:21 55K 
[ ]finseq_3__l49_finseq_32023-06-28 18:21 98K 
[ ]finseq_3__l50_finseq_32023-06-28 18:22 51K 
[ ]finseq_3__l52_finseq_32023-06-28 18:22 99K 
[ ]finseq_3__l79_finseq_32023-06-28 18:23 52K 
[ ]finseq_3__l80_finseq_32023-06-28 18:23 51K 
[ ]finseq_3__l81_finseq_32023-06-28 18:24 49K 
[ ]finseq_3__l82_finseq_32023-06-28 18:24 114K 
[ ]finseq_3__l83_finseq_32023-06-28 18:25 51K 
[ ]finseq_3__l84_finseq_32023-06-28 18:25 52K 
[ ]finseq_3__l97_finseq_32023-06-28 18:26 109K 
[ ]finseq_3__l98_finseq_32023-06-28 18:26 85K 
[ ]finseq_3__t1_finseq_32023-06-28 17:20 41K 
[ ]finseq_3__t2_finseq_32023-06-28 17:20 41K 
[ ]finseq_3__t3_finseq_32023-06-28 17:21 42K 
[ ]finseq_3__t4_finseq_32023-06-28 17:21 44K 
[ ]finseq_3__t5_finseq_32023-06-28 17:22 45K 
[ ]finseq_3__t6_finseq_32023-06-28 17:22 46K 
[ ]finseq_3__t7_finseq_32023-06-28 17:22 32K 
[ ]finseq_3__t8_finseq_32023-06-28 17:23 47K 
[ ]finseq_3__t9_finseq_32023-06-28 17:23 40K 
[ ]finseq_3__t10_finseq_32023-06-28 17:23 40K 
[ ]finseq_3__t11_finseq_32023-06-28 17:24 39K 
[ ]finseq_3__t12_finseq_32023-06-28 17:24 67K 
[ ]finseq_3__t13_finseq_32023-06-28 17:25 67K 
[ ]finseq_3__t14_finseq_32023-06-28 17:25 51K 
[ ]finseq_3__t15_finseq_32023-06-28 17:25 42K 
[ ]finseq_3__t16_finseq_32023-06-28 17:14 36K 
[ ]finseq_3__t17_finseq_32023-06-28 17:15 36K 
[ ]finseq_3__t18_finseq_32023-06-28 17:15 38K 
[ ]finseq_3__t19_finseq_32023-06-28 17:26 35K 
[ ]finseq_3__t20_finseq_32023-06-28 17:26 39K 
[ ]finseq_3__t21_finseq_32023-06-28 17:27 49K 
[ ]finseq_3__t22_finseq_32023-06-28 17:27 39K 
[ ]finseq_3__t23_finseq_32023-06-28 17:15 32K 
[ ]finseq_3__t24_finseq_32023-06-28 17:27 39K 
[ ]finseq_3__t25_finseq_32023-06-28 17:28 39K 
[ ]finseq_3__t26_finseq_32023-06-28 17:28 50K 
[ ]finseq_3__t29_finseq_32023-06-28 17:28 36K 
[ ]finseq_3__t30_finseq_32023-06-28 17:29 39K 
[ ]finseq_3__t31_finseq_32023-06-28 17:29 41K 
[ ]finseq_3__t32_finseq_32023-06-28 17:30 35K 
[ ]finseq_3__t33_finseq_32023-06-28 17:16 28K 
[ ]finseq_3__t34_finseq_32023-06-28 17:16 28K 
[ ]finseq_3__t35_finseq_32023-06-28 17:30 32K 
[ ]finseq_3__t36_finseq_32023-06-28 17:30 32K 
[ ]finseq_3__t37_finseq_32023-06-28 17:31 32K 
[ ]finseq_3__t38_finseq_32023-06-28 17:31 51K 
[ ]finseq_3__t39_finseq_32023-06-28 17:31 52K 
[ ]finseq_3__t40_finseq_32023-06-28 17:32 43K 
[ ]finseq_3__t41_finseq_32023-06-28 17:32 47K 
[ ]finseq_3__t42_finseq_32023-06-28 17:33 97K 
[ ]finseq_3__t43_finseq_32023-06-28 17:33 38K 
[ ]finseq_3__t44_finseq_32023-06-28 17:34 50K 
[ ]finseq_3__t45_finseq_32023-06-28 17:34 56K 
[ ]finseq_3__t46_finseq_32023-06-28 17:35 41K 
[ ]finseq_3__t47_finseq_32023-06-28 17:16 49K 
[ ]finseq_3__t48_finseq_32023-06-28 17:35 45K 
[ ]finseq_3__t49_finseq_32023-06-28 17:35 51K 
[ ]finseq_3__t50_finseq_32023-06-28 17:36 51K 
[ ]finseq_3__t51_finseq_32023-06-28 17:36 59K 
[ ]finseq_3__t52_finseq_32023-06-28 17:37 48K 
[ ]finseq_3__t53_finseq_32023-06-28 17:37 58K 
[ ]finseq_3__t54_finseq_32023-06-28 17:37 54K 
[ ]finseq_3__t55_finseq_32023-06-28 17:38 69K 
[ ]finseq_3__t56_finseq_32023-06-28 17:38 44K 
[ ]finseq_3__t57_finseq_32023-06-28 17:39 88K 
[ ]finseq_3__t58_finseq_32023-06-28 17:39 45K 
[ ]finseq_3__t59_finseq_32023-06-28 17:40 61K 
[ ]finseq_3__t60_finseq_32023-06-28 17:40 61K 
[ ]finseq_3__t61_finseq_32023-06-28 17:41 58K 
[ ]finseq_3__t62_finseq_32023-06-28 17:41 56K 
[ ]finseq_3__t63_finseq_32023-06-28 17:41 50K 
[ ]finseq_3__t64_finseq_32023-06-28 17:42 51K 
[ ]finseq_3__t65_finseq_32023-06-28 17:42 57K 
[ ]finseq_3__t66_finseq_32023-06-28 17:43 46K 
[ ]finseq_3__t67_finseq_32023-06-28 17:43 48K 
[ ]finseq_3__t68_finseq_32023-06-28 17:44 47K 
[ ]finseq_3__t69_finseq_32023-06-28 17:44 56K 
[ ]finseq_3__t70_finseq_32023-06-28 17:44 49K 
[ ]finseq_3__t71_finseq_32023-06-28 17:45 47K 
[ ]finseq_3__t72_finseq_32023-06-28 17:17 46K 
[ ]finseq_3__t73_finseq_32023-06-28 17:17 50K 
[ ]finseq_3__t74_finseq_32023-06-28 17:18 51K 
[ ]finseq_3__t75_finseq_32023-06-28 17:18 45K 
[ ]finseq_3__t76_finseq_32023-06-28 17:18 45K 
[ ]finseq_3__t77_finseq_32023-06-28 17:45 60K 
[ ]finseq_3__t78_finseq_32023-06-28 17:46 57K 
[ ]finseq_3__t79_finseq_32023-06-28 17:46 59K 
[ ]finseq_3__t80_finseq_32023-06-28 17:46 57K 
[ ]finseq_3__t81_finseq_32023-06-28 17:47 59K 
[ ]finseq_3__t82_finseq_32023-06-28 17:47 56K 
[ ]finseq_3__t83_finseq_32023-06-28 17:48 70K 
[ ]finseq_3__t84_finseq_32023-06-28 17:48 70K 
[ ]finseq_3__t85_finseq_32023-06-28 17:49 56K 
[ ]finseq_3__t86_finseq_32023-06-28 17:49 47K 
[ ]finseq_3__t87_finseq_32023-06-28 17:50 48K 
[ ]finseq_3__t88_finseq_32023-06-28 17:50 59K 
[ ]finseq_3__t89_finseq_32023-06-28 17:50 54K 
[ ]finseq_3__t90_finseq_32023-06-28 17:51 58K 
[ ]finseq_3__t91_finseq_32023-06-28 17:51 82K 
[ ]finseq_3__t92_finseq_32023-06-28 17:19 38K 
[ ]finseq_3__t93_finseq_32023-06-28 17:52 39K 
[ ]finseq_3__t94_finseq_32023-06-28 17:52 42K 
[ ]finseq_3__t95_finseq_32023-06-28 17:53 55K 
[ ]finseq_3__t96_finseq_32023-06-28 17:53 41K 
[ ]finseq_3__t97_finseq_32023-06-28 17:53 33K 
[ ]finseq_3__t98_finseq_32023-06-28 17:54 34K 
[ ]finseq_3__t99_finseq_32023-06-28 17:54 44K 
[ ]finseq_3__t100_finseq_32023-06-28 17:55 34K 
[ ]finseq_3__t101_finseq_32023-06-28 17:55 33K 
[ ]finseq_3__t102_finseq_32023-06-28 17:55 89K 
[ ]finseq_3__t103_finseq_32023-06-28 17:56 76K 
[ ]finseq_3__t104_finseq_32023-06-28 17:56 106K 
[ ]finseq_3__t105_finseq_32023-06-28 17:57 62K 
[ ]finseq_3__t106_finseq_32023-06-28 17:19 47K 
[ ]finseq_3__t107_finseq_32023-06-28 17:57 58K 
[ ]finseq_3__t108_finseq_32023-06-28 17:58 186K 
[ ]finseq_3__t109_finseq_32023-06-28 17:58 60K 
[ ]finseq_3__t110_finseq_32023-06-28 17:59 93K 
[ ]finseq_3__t111_finseq_32023-06-28 17:59 90K 
[ ]finseq_3__t112_finseq_32023-06-28 18:00 52K 
[ ]finseq_3__t113_finseq_32023-06-28 18:00 42K 
[ ]finseq_3__t114_finseq_32023-06-28 18:01 69K 
[ ]finseq_3__t115_finseq_32023-06-28 18:01 106K 
[ ]finseq_3__t116_finseq_32023-06-28 18:02 51K 
[ ]finseq_3__t117_finseq_32023-06-28 18:02 44K 
[ ]finseq_3__t118_finseq_32023-06-28 18:03 39K 
[ ]finseq_3__t119_finseq_32023-06-28 18:03 55K 
[ ]finseq_3__t120_finseq_32023-06-28 18:04 53K 
[ ]finseq_3__t121_finseq_32023-06-28 18:04 50K 
[ ]finseq_3__t122_finseq_32023-06-28 18:04 51K 
[ ]finseq_3__t123_finseq_32023-06-28 18:05 42K 
[ ]finseq_3__t124_finseq_32023-06-28 18:05 44K 
[ ]finseq_3__t125_finseq_32023-06-28 18:06 43K 
[ ]finseq_3__t126_finseq_32023-06-28 18:06 56K 
[ ]finseq_3__t127_finseq_32023-06-28 18:07 35K 
[ ]finseq_3__t128_finseq_32023-06-28 18:07 46K 
[ ]finseq_3__t129_finseq_32023-06-28 18:08 36K 
[ ]finseq_3__t130_finseq_32023-06-28 18:08 47K 
[ ]finseq_3__t131_finseq_32023-06-28 18:08 54K 
[ ]finseq_3__t132_finseq_32023-06-28 18:09 45K 
[ ]finseq_3__t133_finseq_32023-06-28 18:09 45K 
[ ]finseq_3__t134_finseq_32023-06-28 18:10 44K 
[ ]finseq_3__t135_finseq_32023-06-28 18:10 39K 
[ ]finseq_3__t136_finseq_32023-06-28 18:10 35K 
[ ]finseq_3__t137_finseq_32023-06-28 18:11 37K 
[ ]finseq_3__t138_finseq_32023-06-28 18:11 50K 
[ ]finseq_3__t139_finseq_32023-06-28 18:12 49K 
[ ]finseq_3__t140_finseq_32023-06-28 18:12 44K 
[ ]finseq_3__t141_finseq_32023-06-28 18:13 62K 
[ ]finseq_3__t142_finseq_32023-06-28 18:13 65K 
[ ]finseq_3__t143_finseq_32023-06-28 18:14 48K 
[ ]finseq_3__t144_finseq_32023-06-28 18:14 51K 
[ ]finseq_3__t145_finseq_32023-06-28 18:15 47K 
[ ]finseq_3__t146_finseq_32023-06-28 18:15 41K 
[ ]finseq_3__t147_finseq_32023-06-28 18:15 40K 
[ ]finseq_3__t148_finseq_32023-06-28 18:16 42K 
[ ]finseq_3__t149_finseq_32023-06-28 18:16 40K 
[ ]finseq_3__t150_finseq_32023-06-28 18:17 42K 
[ ]finseq_3__t151_finseq_32023-06-28 18:17 50K 
[ ]finseq_3__t152_finseq_32023-06-28 18:18 56K 
[ ]finseq_3__t153_finseq_32023-06-28 17:20 29K 
[ ]finseq_3__t154_finseq_32023-06-28 18:18 47K 
[ ]finseq_3__t155_finseq_32023-06-28 18:18 47K 
[ ]finseq_3__t156_finseq_32023-06-28 18:19 38K 
[ ]finseq_3__t157_finseq_32023-06-28 18:19 59K 
[ ]finseq_3__t158_finseq_32023-06-28 18:20 51K 
[ ]finseq_3__t159_finseq_32023-06-28 18:20 53K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80