Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/finseq_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_3__l47_finseq_32025-09-14 07:13 74K 
[ ]finseq_3__l48_finseq_32025-09-14 07:15 121K 
[ ]finseq_3__l49_finseq_32025-09-14 07:17 70K 
[ ]finseq_3__l51_finseq_32025-09-14 07:18 125K 
[ ]finseq_3__l78_finseq_32025-09-14 07:20 78K 
[ ]finseq_3__l79_finseq_32025-09-14 07:21 75K 
[ ]finseq_3__l80_finseq_32025-09-14 07:22 70K 
[ ]finseq_3__l81_finseq_32025-09-14 07:25 145K 
[ ]finseq_3__l82_finseq_32025-09-14 07:26 73K 
[ ]finseq_3__l83_finseq_32025-09-14 07:27 73K 
[ ]finseq_3__l96_finseq_32025-09-14 07:29 143K 
[ ]finseq_3__l97_finseq_32025-09-14 07:31 104K 
[ ]finseq_3__t1_finseq_32025-09-14 03:58 56K 
[ ]finseq_3__t2_finseq_32025-09-14 04:00 56K 
[ ]finseq_3__t3_finseq_32025-09-14 04:01 57K 
[ ]finseq_3__t4_finseq_32025-09-14 04:03 58K 
[ ]finseq_3__t5_finseq_32025-09-14 04:04 59K 
[ ]finseq_3__t6_finseq_32025-09-14 04:05 60K 
[ ]finseq_3__t7_finseq_32025-09-14 04:07 44K 
[ ]finseq_3__t8_finseq_32025-09-14 04:08 59K 
[ ]finseq_3__t9_finseq_32025-09-14 04:09 52K 
[ ]finseq_3__t10_finseq_32025-09-14 04:10 52K 
[ ]finseq_3__t11_finseq_32025-09-14 04:12 51K 
[ ]finseq_3__t12_finseq_32025-09-14 04:13 79K 
[ ]finseq_3__t13_finseq_32025-09-14 04:14 78K 
[ ]finseq_3__t14_finseq_32025-09-14 04:16 65K 
[ ]finseq_3__t15_finseq_32025-09-14 04:17 59K 
[ ]finseq_3__t16_finseq_32025-09-14 03:35 48K 
[ ]finseq_3__t17_finseq_32025-09-14 03:36 48K 
[ ]finseq_3__t18_finseq_32025-09-14 03:38 50K 
[ ]finseq_3__t19_finseq_32025-09-14 04:18 47K 
[ ]finseq_3__t20_finseq_32025-09-14 04:19 51K 
[ ]finseq_3__t21_finseq_32025-09-14 04:21 61K 
[ ]finseq_3__t22_finseq_32025-09-14 04:22 55K 
[ ]finseq_3__t23_finseq_32025-09-14 03:39 45K 
[ ]finseq_3__t24_finseq_32025-09-14 04:23 52K 
[ ]finseq_3__t25_finseq_32025-09-14 04:25 51K 
[ ]finseq_3__t26_finseq_32025-09-14 04:26 62K 
[ ]finseq_3__t29_finseq_32025-09-14 04:27 49K 
[ ]finseq_3__t30_finseq_32025-09-14 04:29 52K 
[ ]finseq_3__t31_finseq_32025-09-14 04:30 57K 
[ ]finseq_3__t32_finseq_32025-09-14 04:31 51K 
[ ]finseq_3__t33_finseq_32025-09-14 03:40 38K 
[ ]finseq_3__t34_finseq_32025-09-14 03:41 38K 
[ ]finseq_3__t35_finseq_32025-09-14 04:32 45K 
[ ]finseq_3__t36_finseq_32025-09-14 04:34 46K 
[ ]finseq_3__t37_finseq_32025-09-14 04:35 45K 
[ ]finseq_3__t38_finseq_32025-09-14 04:36 69K 
[ ]finseq_3__t39_finseq_32025-09-14 04:38 69K 
[ ]finseq_3__t40_finseq_32025-09-14 04:39 54K 
[ ]finseq_3__t41_finseq_32025-09-14 04:40 63K 
[ ]finseq_3__t42_finseq_32025-09-14 04:43 121K 
[ ]finseq_3__t43_finseq_32025-09-14 03:43 48K 
[ ]finseq_3__t44_finseq_32025-09-14 04:44 70K 
[ ]finseq_3__t45_finseq_32025-09-14 04:46 74K 
[ ]finseq_3__t46_finseq_32025-09-14 04:47 52K 
[ ]finseq_3__t47_finseq_32025-09-14 03:44 68K 
[ ]finseq_3__t48_finseq_32025-09-14 04:48 57K 
[ ]finseq_3__t49_finseq_32025-09-14 04:50 70K 
[ ]finseq_3__t50_finseq_32025-09-14 04:52 74K 
[ ]finseq_3__t51_finseq_32025-09-14 04:53 81K 
[ ]finseq_3__t52_finseq_32025-09-14 04:54 70K 
[ ]finseq_3__t53_finseq_32025-09-14 04:56 74K 
[ ]finseq_3__t54_finseq_32025-09-14 04:57 71K 
[ ]finseq_3__t55_finseq_32025-09-14 04:59 91K 
[ ]finseq_3__t56_finseq_32025-09-14 05:00 62K 
[ ]finseq_3__t57_finseq_32025-09-14 05:02 111K 
[ ]finseq_3__t58_finseq_32025-09-14 05:03 63K 
[ ]finseq_3__t59_finseq_32025-09-14 05:05 85K 
[ ]finseq_3__t60_finseq_32025-09-14 05:06 78K 
[ ]finseq_3__t61_finseq_32025-09-14 05:08 82K 
[ ]finseq_3__t62_finseq_32025-09-14 05:09 74K 
[ ]finseq_3__t63_finseq_32025-09-14 05:10 68K 
[ ]finseq_3__t64_finseq_32025-09-14 05:12 76K 
[ ]finseq_3__t65_finseq_32025-09-14 05:13 81K 
[ ]finseq_3__t66_finseq_32025-09-14 05:14 69K 
[ ]finseq_3__t67_finseq_32025-09-14 05:16 72K 
[ ]finseq_3__t68_finseq_32025-09-14 05:17 70K 
[ ]finseq_3__t69_finseq_32025-09-14 05:18 86K 
[ ]finseq_3__t70_finseq_32025-09-14 05:20 74K 
[ ]finseq_3__t71_finseq_32025-09-14 05:21 71K 
[ ]finseq_3__t72_finseq_32025-09-14 03:46 69K 
[ ]finseq_3__t73_finseq_32025-09-14 03:47 71K 
[ ]finseq_3__t74_finseq_32025-09-14 03:49 68K 
[ ]finseq_3__t75_finseq_32025-09-14 03:50 63K 
[ ]finseq_3__t76_finseq_32025-09-14 03:51 63K 
[ ]finseq_3__t77_finseq_32025-09-14 05:22 87K 
[ ]finseq_3__t78_finseq_32025-09-14 05:23 78K 
[ ]finseq_3__t79_finseq_32025-09-14 05:25 83K 
[ ]finseq_3__t80_finseq_32025-09-14 05:26 78K 
[ ]finseq_3__t81_finseq_32025-09-14 05:27 83K 
[ ]finseq_3__t82_finseq_32025-09-14 05:29 77K 
[ ]finseq_3__t83_finseq_32025-09-14 05:30 101K 
[ ]finseq_3__t84_finseq_32025-09-14 05:32 101K 
[ ]finseq_3__t85_finseq_32025-09-14 05:33 75K 
[ ]finseq_3__t86_finseq_32025-09-14 05:34 70K 
[ ]finseq_3__t87_finseq_32025-09-14 03:53 61K 
[ ]finseq_3__t88_finseq_32025-09-14 05:36 84K 
[ ]finseq_3__t89_finseq_32025-09-14 05:37 78K 
[ ]finseq_3__t90_finseq_32025-09-14 05:38 81K 
[ ]finseq_3__t91_finseq_32025-09-14 05:40 104K 
[ ]finseq_3__t92_finseq_32025-09-14 03:54 48K 
[ ]finseq_3__t93_finseq_32025-09-14 05:41 55K 
[ ]finseq_3__t94_finseq_32025-09-14 05:43 54K 
[ ]finseq_3__t95_finseq_32025-09-14 05:44 78K 
[ ]finseq_3__t96_finseq_32025-09-14 05:45 60K 
[ ]finseq_3__t97_finseq_32025-09-14 05:47 48K 
[ ]finseq_3__t98_finseq_32025-09-14 05:48 50K 
[ ]finseq_3__t99_finseq_32025-09-14 05:50 62K 
[ ]finseq_3__t100_finseq_32025-09-14 05:51 50K 
[ ]finseq_3__t101_finseq_32025-09-14 05:52 47K 
[ ]finseq_3__t102_finseq_32025-09-14 05:54 105K 
[ ]finseq_3__t103_finseq_32025-09-14 05:55 94K 
[ ]finseq_3__t104_finseq_32025-09-14 05:57 138K 
[ ]finseq_3__t105_finseq_32025-09-14 05:58 86K 
[ ]finseq_3__t106_finseq_32025-09-14 03:56 70K 
[ ]finseq_3__t107_finseq_32025-09-14 06:00 73K 
[ ]finseq_3__t108_finseq_32025-09-14 06:01 212K 
[ ]finseq_3__t109_finseq_32025-09-14 06:03 78K 
[ ]finseq_3__t110_finseq_32025-09-14 06:04 117K 
[ ]finseq_3__t111_finseq_32025-09-14 06:06 114K 
[ ]finseq_3__t112_finseq_32025-09-14 06:07 75K 
[ ]finseq_3__t113_finseq_32025-09-14 06:08 62K 
[ ]finseq_3__t114_finseq_32025-09-14 06:09 95K 
[ ]finseq_3__t115_finseq_32025-09-14 06:11 138K 
[ ]finseq_3__t116_finseq_32025-09-14 06:12 68K 
[ ]finseq_3__t117_finseq_32025-09-14 06:13 61K 
[ ]finseq_3__t118_finseq_32025-09-14 06:14 51K 
[ ]finseq_3__t119_finseq_32025-09-14 06:16 72K 
[ ]finseq_3__t120_finseq_32025-09-14 06:17 77K 
[ ]finseq_3__t121_finseq_32025-09-14 06:18 64K 
[ ]finseq_3__t122_finseq_32025-09-14 06:20 71K 
[ ]finseq_3__t123_finseq_32025-09-14 06:21 58K 
[ ]finseq_3__t124_finseq_32025-09-14 06:22 59K 
[ ]finseq_3__t125_finseq_32025-09-14 06:24 58K 
[ ]finseq_3__t126_finseq_32025-09-14 06:25 70K 
[ ]finseq_3__t127_finseq_32025-09-14 06:26 48K 
[ ]finseq_3__t128_finseq_32025-09-14 06:27 58K 
[ ]finseq_3__t129_finseq_32025-09-14 06:28 48K 
[ ]finseq_3__t130_finseq_32025-09-14 06:30 58K 
[ ]finseq_3__t131_finseq_32025-09-14 06:31 67K 
[ ]finseq_3__t132_finseq_32025-09-14 06:32 62K 
[ ]finseq_3__t133_finseq_32025-09-14 06:33 61K 
[ ]finseq_3__t134_finseq_32025-09-14 06:35 60K 
[ ]finseq_3__t135_finseq_32025-09-14 06:36 57K 
[ ]finseq_3__t136_finseq_32025-09-14 06:37 52K 
[ ]finseq_3__t137_finseq_32025-09-14 06:38 55K 
[ ]finseq_3__t138_finseq_32025-09-14 06:40 67K 
[ ]finseq_3__t139_finseq_32025-09-14 06:41 65K 
[ ]finseq_3__t140_finseq_32025-09-14 06:42 60K 
[ ]finseq_3__t141_finseq_32025-09-14 06:44 83K 
[ ]finseq_3__t142_finseq_32025-09-14 06:45 89K 
[ ]finseq_3__t143_finseq_32025-09-14 06:47 67K 
[ ]finseq_3__t144_finseq_32025-09-14 06:48 69K 
[ ]finseq_3__t145_finseq_32025-09-14 06:50 63K 
[ ]finseq_3__t146_finseq_32025-09-14 06:51 56K 
[ ]finseq_3__t147_finseq_32025-09-14 06:53 56K 
[ ]finseq_3__t148_finseq_32025-09-14 06:54 57K 
[ ]finseq_3__t149_finseq_32025-09-14 06:55 56K 
[ ]finseq_3__t150_finseq_32025-09-14 06:57 57K 
[ ]finseq_3__t151_finseq_32025-09-14 06:58 68K 
[ ]finseq_3__t152_finseq_32025-09-14 07:00 74K 
[ ]finseq_3__t153_finseq_32025-09-14 03:57 39K 
[ ]finseq_3__t154_finseq_32025-09-14 07:01 65K 
[ ]finseq_3__t155_finseq_32025-09-14 07:02 62K 
[ ]finseq_3__t156_finseq_32025-09-14 07:03 50K 
[ ]finseq_3__t157_finseq_32025-09-14 07:05 84K 
[ ]finseq_3__t158_finseq_32025-09-14 07:06 71K 
[ ]finseq_3__t159_finseq_32025-09-14 07:08 76K 
[ ]finseq_3__t160_finseq_32025-09-14 07:09 54K 
[ ]finseq_3__t161_finseq_32025-09-14 07:10 99K 
[ ]finseq_3__t162_finseq_32025-09-14 07:12 177K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80