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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_6__l1_finseq_62025-09-13 09:50 87K 
[ ]finseq_6__l2_finseq_62025-09-13 09:52 91K 
[ ]finseq_6__l82_finseq_62025-09-13 09:53 118K 
[ ]finseq_6__l132_finseq_62025-09-13 09:55 139K 
[ ]finseq_6__l137_finseq_62025-09-13 09:57 108K 
[ ]finseq_6__l141_finseq_62025-09-13 09:59 68K 
[ ]finseq_6__l157_finseq_62025-09-13 10:00 100K 
[ ]finseq_6__l159_finseq_62025-09-13 04:29 88K 
[ ]finseq_6__l160_finseq_62025-09-13 10:02 87K 
[ ]finseq_6__l162_finseq_62025-09-13 04:30 86K 
[ ]finseq_6__l199_finseq_62025-09-13 10:03 62K 
[ ]finseq_6__t1_finseq_62025-09-13 04:32 77K 
[ ]finseq_6__t2_finseq_62025-09-13 04:33 67K 
[ ]finseq_6__t3_finseq_62025-09-13 04:35 101K 
[ ]finseq_6__t4_finseq_62025-09-13 04:37 103K 
[ ]finseq_6__t5_finseq_62025-09-13 04:39 105K 
[ ]finseq_6__t6_finseq_62025-09-13 04:40 81K 
[ ]finseq_6__t7_finseq_62025-09-13 04:42 114K 
[ ]finseq_6__t8_finseq_62025-09-13 04:44 121K 
[ ]finseq_6__t9_finseq_62025-09-13 04:46 116K 
[ ]finseq_6__t10_finseq_62025-09-13 04:47 75K 
[ ]finseq_6__t11_finseq_62025-09-13 04:18 74K 
[ ]finseq_6__t12_finseq_62025-09-13 04:49 115K 
[ ]finseq_6__t13_finseq_62025-09-13 04:51 107K 
[ ]finseq_6__t14_finseq_62025-09-13 04:53 123K 
[ ]finseq_6__t15_finseq_62025-09-13 04:54 115K 
[ ]finseq_6__t16_finseq_62025-09-13 04:56 85K 
[ ]finseq_6__t17_finseq_62025-09-13 04:57 66K 
[ ]finseq_6__t18_finseq_62025-09-13 04:59 70K 
[ ]finseq_6__t19_finseq_62025-09-13 05:00 82K 
[ ]finseq_6__t20_finseq_62025-09-13 05:02 83K 
[ ]finseq_6__t21_finseq_62025-09-13 05:04 84K 
[ ]finseq_6__t22_finseq_62025-09-13 05:06 85K 
[ ]finseq_6__t23_finseq_62025-09-13 05:07 193K 
[ ]finseq_6__t24_finseq_62025-09-13 05:09 62K 
[ ]finseq_6__t25_finseq_62025-09-13 04:19 48K 
[ ]finseq_6__t26_finseq_62025-09-13 05:11 197K 
[ ]finseq_6__t27_finseq_62025-09-13 05:12 299K 
[ ]finseq_6__t28_finseq_62025-09-13 05:14 300K 
[ ]finseq_6__t29_finseq_62025-09-13 05:16 122K 
[ ]finseq_6__t30_finseq_62025-09-13 05:18 202K 
[ ]finseq_6__t31_finseq_62025-09-13 05:20 203K 
[ ]finseq_6__t32_finseq_62025-09-13 05:21 58K 
[ ]finseq_6__t33_finseq_62025-09-13 05:23 76K 
[ ]finseq_6__t34_finseq_62025-09-13 05:24 76K 
[ ]finseq_6__t35_finseq_62025-09-13 05:26 64K 
[ ]finseq_6__t36_finseq_62025-09-13 05:28 108K 
[ ]finseq_6__t37_finseq_62025-09-13 05:29 113K 
[ ]finseq_6__t38_finseq_62025-09-13 05:31 114K 
[ ]finseq_6__t39_finseq_62025-09-13 05:33 62K 
[ ]finseq_6__t40_finseq_62025-09-13 05:34 95K 
[ ]finseq_6__t41_finseq_62025-09-13 05:36 80K 
[ ]finseq_6__t42_finseq_62025-09-13 05:38 69K 
[ ]finseq_6__t43_finseq_62025-09-13 05:39 77K 
[ ]finseq_6__t44_finseq_62025-09-13 05:41 84K 
[ ]finseq_6__t45_finseq_62025-09-13 05:43 89K 
[ ]finseq_6__t46_finseq_62025-09-13 04:21 80K 
[ ]finseq_6__t47_finseq_62025-09-13 05:45 87K 
[ ]finseq_6__t48_finseq_62025-09-13 05:46 73K 
[ ]finseq_6__t49_finseq_62025-09-13 05:48 85K 
[ ]finseq_6__t50_finseq_62025-09-13 05:50 87K 
[ ]finseq_6__t51_finseq_62025-09-13 05:51 88K 
[ ]finseq_6__t52_finseq_62025-09-13 05:53 82K 
[ ]finseq_6__t53_finseq_62025-09-13 05:55 87K 
[ ]finseq_6__t54_finseq_62025-09-13 05:56 88K 
[ ]finseq_6__t55_finseq_62025-09-13 05:58 88K 
[ ]finseq_6__t56_finseq_62025-09-13 06:00 119K 
[ ]finseq_6__t57_finseq_62025-09-13 06:02 111K 
[ ]finseq_6__t58_finseq_62025-09-13 06:04 117K 
[ ]finseq_6__t59_finseq_62025-09-13 06:05 119K 
[ ]finseq_6__t60_finseq_62025-09-13 06:07 71K 
[ ]finseq_6__t61_finseq_62025-09-13 06:09 89K 
[ ]finseq_6__t62_finseq_62025-09-13 06:10 90K 
[ ]finseq_6__t63_finseq_62025-09-13 06:12 94K 
[ ]finseq_6__t64_finseq_62025-09-13 06:14 83K 
[ ]finseq_6__t65_finseq_62025-09-13 06:15 86K 
[ ]finseq_6__t66_finseq_62025-09-13 06:17 83K 
[ ]finseq_6__t67_finseq_62025-09-13 06:19 87K 
[ ]finseq_6__t68_finseq_62025-09-13 06:20 78K 
[ ]finseq_6__t69_finseq_62025-09-13 06:22 90K 
[ ]finseq_6__t70_finseq_62025-09-13 06:24 86K 
[ ]finseq_6__t71_finseq_62025-09-13 06:25 91K 
[ ]finseq_6__t72_finseq_62025-09-13 06:27 77K 
[ ]finseq_6__t73_finseq_62025-09-13 04:22 80K 
[ ]finseq_6__t74_finseq_62025-09-13 06:29 82K 
[ ]finseq_6__t75_finseq_62025-09-13 06:30 89K 
[ ]finseq_6__t76_finseq_62025-09-13 06:32 82K 
[ ]finseq_6__t77_finseq_62025-09-13 06:34 82K 
[ ]finseq_6__t78_finseq_62025-09-13 06:35 91K 
[ ]finseq_6__t79_finseq_62025-09-13 06:37 62K 
[ ]finseq_6__t80_finseq_62025-09-13 06:39 79K 
[ ]finseq_6__t81_finseq_62025-09-13 06:40 91K 
[ ]finseq_6__t82_finseq_62025-09-13 06:42 83K 
[ ]finseq_6__t83_finseq_62025-09-13 06:44 71K 
[ ]finseq_6__t84_finseq_62025-09-13 06:46 127K 
[ ]finseq_6__t85_finseq_62025-09-13 06:47 105K 
[ ]finseq_6__t86_finseq_62025-09-13 06:49 124K 
[ ]finseq_6__t87_finseq_62025-09-13 06:51 85K 
[ ]finseq_6__t88_finseq_62025-09-13 06:53 84K 
[ ]finseq_6__t89_finseq_62025-09-13 06:54 92K 
[ ]finseq_6__t90_finseq_62025-09-13 06:56 145K 
[ ]finseq_6__t91_finseq_62025-09-13 06:58 91K 
[ ]finseq_6__t92_finseq_62025-09-13 07:00 84K 
[ ]finseq_6__t93_finseq_62025-09-13 07:01 87K 
[ ]finseq_6__t94_finseq_62025-09-13 07:03 66K 
[ ]finseq_6__t95_finseq_62025-09-13 07:05 79K 
[ ]finseq_6__t96_finseq_62025-09-13 07:06 89K 
[ ]finseq_6__t97_finseq_62025-09-13 07:08 81K 
[ ]finseq_6__t98_finseq_62025-09-13 07:10 91K 
[ ]finseq_6__t99_finseq_62025-09-13 07:12 92K 
[ ]finseq_6__t100_finseq_62025-09-13 07:14 213K 
[ ]finseq_6__t101_finseq_62025-09-13 07:15 126K 
[ ]finseq_6__t102_finseq_62025-09-13 07:17 97K 
[ ]finseq_6__t103_finseq_62025-09-13 07:19 93K 
[ ]finseq_6__t104_finseq_62025-09-13 07:21 105K 
[ ]finseq_6__t105_finseq_62025-09-13 07:23 102K 
[ ]finseq_6__t106_finseq_62025-09-13 07:25 141K 
[ ]finseq_6__t107_finseq_62025-09-13 07:26 74K 
[ ]finseq_6__t108_finseq_62025-09-13 07:28 105K 
[ ]finseq_6__t109_finseq_62025-09-13 07:30 90K 
[ ]finseq_6__t110_finseq_62025-09-13 07:31 60K 
[ ]finseq_6__t111_finseq_62025-09-13 04:24 65K 
[ ]finseq_6__t113_finseq_62025-09-13 07:33 132K 
[ ]finseq_6__t114_finseq_62025-09-13 07:35 83K 
[ ]finseq_6__t115_finseq_62025-09-13 07:36 73K 
[ ]finseq_6__t116_finseq_62025-09-13 07:38 82K 
[ ]finseq_6__t117_finseq_62025-09-13 07:40 127K 
[ ]finseq_6__t118_finseq_62025-09-13 07:42 226K 
[ ]finseq_6__t119_finseq_62025-09-13 07:44 84K 
[ ]finseq_6__t120_finseq_62025-09-13 07:45 85K 
[ ]finseq_6__t121_finseq_62025-09-13 07:47 96K 
[ ]finseq_6__t122_finseq_62025-09-13 07:49 77K 
[ ]finseq_6__t123_finseq_62025-09-13 07:50 68K 
[ ]finseq_6__t124_finseq_62025-09-13 07:52 99K 
[ ]finseq_6__t125_finseq_62025-09-13 07:54 89K 
[ ]finseq_6__t126_finseq_62025-09-13 07:56 86K 
[ ]finseq_6__t127_finseq_62025-09-13 07:57 82K 
[ ]finseq_6__t128_finseq_62025-09-13 07:59 75K 
[ ]finseq_6__t129_finseq_62025-09-13 08:01 100K 
[ ]finseq_6__t130_finseq_62025-09-13 08:03 70K 
[ ]finseq_6__t131_finseq_62025-09-13 08:05 113K 
[ ]finseq_6__t132_finseq_62025-09-13 08:07 72K 
[ ]finseq_6__t133_finseq_62025-09-13 08:08 99K 
[ ]finseq_6__t134_finseq_62025-09-13 08:10 115K 
[ ]finseq_6__t135_finseq_62025-09-13 08:12 63K 
[ ]finseq_6__t136_finseq_62025-09-13 08:13 63K 
[ ]finseq_6__t137_finseq_62025-09-13 08:15 83K 
[ ]finseq_6__t138_finseq_62025-09-13 08:16 88K 
[ ]finseq_6__t139_finseq_62025-09-13 08:18 96K 
[ ]finseq_6__t140_finseq_62025-09-13 08:19 77K 
[ ]finseq_6__t141_finseq_62025-09-13 08:21 108K 
[ ]finseq_6__t142_finseq_62025-09-13 08:22 179K 
[ ]finseq_6__t143_finseq_62025-09-13 08:24 74K 
[ ]finseq_6__t144_finseq_62025-09-13 08:26 115K 
[ ]finseq_6__t145_finseq_62025-09-13 08:27 77K 
[ ]finseq_6__t146_finseq_62025-09-13 08:29 78K 
[ ]finseq_6__t147_finseq_62025-09-13 08:30 79K 
[ ]finseq_6__t148_finseq_62025-09-13 08:32 73K 
[ ]finseq_6__t149_finseq_62025-09-13 08:34 125K 
[ ]finseq_6__t150_finseq_62025-09-13 08:36 131K 
[ ]finseq_6__t151_finseq_62025-09-13 04:25 66K 
[ ]finseq_6__t152_finseq_62025-09-13 08:37 61K 
[ ]finseq_6__t153_finseq_62025-09-13 08:39 69K 
[ ]finseq_6__t154_finseq_62025-09-13 08:41 98K 
[ ]finseq_6__t155_finseq_62025-09-13 08:42 85K 
[ ]finseq_6__t156_finseq_62025-09-13 08:44 105K 
[ ]finseq_6__t157_finseq_62025-09-13 08:46 67K 
[ ]finseq_6__t158_finseq_62025-09-13 08:47 75K 
[ ]finseq_6__t159_finseq_62025-09-13 08:49 108K 
[ ]finseq_6__t160_finseq_62025-09-13 08:50 105K 
[ ]finseq_6__t161_finseq_62025-09-13 08:52 123K 
[ ]finseq_6__t162_finseq_62025-09-13 08:54 68K 
[ ]finseq_6__t163_finseq_62025-09-13 08:55 106K 
[ ]finseq_6__t164_finseq_62025-09-13 08:57 106K 
[ ]finseq_6__t165_finseq_62025-09-13 08:59 66K 
[ ]finseq_6__t166_finseq_62025-09-13 09:00 82K 
[ ]finseq_6__t167_finseq_62025-09-13 04:27 64K 
[ ]finseq_6__t168_finseq_62025-09-13 09:02 69K 
[ ]finseq_6__t169_finseq_62025-09-13 09:03 88K 
[ ]finseq_6__t170_finseq_62025-09-13 09:05 84K 
[ ]finseq_6__t171_finseq_62025-09-13 09:07 93K 
[ ]finseq_6__t172_finseq_62025-09-13 09:08 87K 
[ ]finseq_6__t173_finseq_62025-09-13 09:10 77K 
[ ]finseq_6__t174_finseq_62025-09-13 09:12 95K 
[ ]finseq_6__t175_finseq_62025-09-13 09:13 87K 
[ ]finseq_6__t176_finseq_62025-09-13 09:15 111K 
[ ]finseq_6__t177_finseq_62025-09-13 09:17 132K 
[ ]finseq_6__t178_finseq_62025-09-13 09:19 83K 
[ ]finseq_6__t179_finseq_62025-09-13 09:20 97K 
[ ]finseq_6__t180_finseq_62025-09-13 09:22 66K 
[ ]finseq_6__t181_finseq_62025-09-13 09:24 115K 
[ ]finseq_6__t182_finseq_62025-09-13 09:25 106K 
[ ]finseq_6__t183_finseq_62025-09-13 09:27 84K 
[ ]finseq_6__t184_finseq_62025-09-13 09:28 69K 
[ ]finseq_6__t185_finseq_62025-09-13 09:30 89K 
[ ]finseq_6__t186_finseq_62025-09-13 09:32 75K 
[ ]finseq_6__t187_finseq_62025-09-13 09:33 75K 
[ ]finseq_6__t188_finseq_62025-09-13 09:35 90K 
[ ]finseq_6__t189_finseq_62025-09-13 09:37 86K 
[ ]finseq_6__t190_finseq_62025-09-13 09:38 86K 
[ ]finseq_6__t191_finseq_62025-09-13 09:40 191K 
[ ]finseq_6__t192_finseq_62025-09-13 09:42 189K 
[ ]finseq_6__t193_finseq_62025-09-13 09:43 105K 
[ ]finseq_6__t194_finseq_62025-09-13 09:45 92K 
[ ]finseq_6__t195_finseq_62025-09-13 09:47 95K 
[ ]finseq_6__t196_finseq_62025-09-13 09:48 97K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80