Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/finseq_6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_6__l1_finseq_62021-07-19 04:23 77K 
[ ]finseq_6__l2_finseq_62021-07-19 04:24 82K 
[ ]finseq_6__l82_finseq_62021-07-19 04:24 113K 
[ ]finseq_6__l132_finseq_62021-07-19 04:25 124K 
[ ]finseq_6__l137_finseq_62021-07-19 04:25 103K 
[ ]finseq_6__l141_finseq_62021-07-19 04:25 61K 
[ ]finseq_6__l157_finseq_62021-07-19 04:26 91K 
[ ]finseq_6__l159_finseq_62021-07-19 02:49 79K 
[ ]finseq_6__l160_finseq_62021-07-19 04:26 77K 
[ ]finseq_6__l162_finseq_62021-07-19 02:49 77K 
[ ]finseq_6__l199_finseq_62021-07-19 04:27 55K 
[ ]finseq_6__t1_finseq_62021-07-19 02:50 73K 
[ ]finseq_6__t2_finseq_62021-07-19 02:51 62K 
[ ]finseq_6__t3_finseq_62021-07-19 02:51 90K 
[ ]finseq_6__t4_finseq_62021-07-19 02:52 92K 
[ ]finseq_6__t5_finseq_62021-07-19 02:52 93K 
[ ]finseq_6__t6_finseq_62021-07-19 02:53 72K 
[ ]finseq_6__t7_finseq_62021-07-19 02:53 105K 
[ ]finseq_6__t8_finseq_62021-07-19 02:54 112K 
[ ]finseq_6__t9_finseq_62021-07-19 02:55 108K 
[ ]finseq_6__t10_finseq_62021-07-19 02:55 66K 
[ ]finseq_6__t11_finseq_62021-07-19 02:45 64K 
[ ]finseq_6__t12_finseq_62021-07-19 02:56 105K 
[ ]finseq_6__t13_finseq_62021-07-19 02:56 97K 
[ ]finseq_6__t14_finseq_62021-07-19 02:57 114K 
[ ]finseq_6__t15_finseq_62021-07-19 02:58 106K 
[ ]finseq_6__t16_finseq_62021-07-19 02:58 77K 
[ ]finseq_6__t17_finseq_62021-07-19 02:59 56K 
[ ]finseq_6__t18_finseq_62021-07-19 02:59 66K 
[ ]finseq_6__t19_finseq_62021-07-19 03:00 72K 
[ ]finseq_6__t20_finseq_62021-07-19 03:00 73K 
[ ]finseq_6__t21_finseq_62021-07-19 03:01 73K 
[ ]finseq_6__t22_finseq_62021-07-19 03:02 75K 
[ ]finseq_6__t23_finseq_62021-07-19 03:02 180K 
[ ]finseq_6__t24_finseq_62021-07-19 03:03 50K 
[ ]finseq_6__t25_finseq_62021-07-19 02:46 41K 
[ ]finseq_6__t26_finseq_62021-07-19 03:03 184K 
[ ]finseq_6__t27_finseq_62021-07-19 03:04 280K 
[ ]finseq_6__t28_finseq_62021-07-19 03:04 282K 
[ ]finseq_6__t29_finseq_62021-07-19 03:05 111K 
[ ]finseq_6__t30_finseq_62021-07-19 03:06 189K 
[ ]finseq_6__t31_finseq_62021-07-19 03:06 190K 
[ ]finseq_6__t32_finseq_62021-07-19 03:07 50K 
[ ]finseq_6__t33_finseq_62021-07-19 03:07 63K 
[ ]finseq_6__t34_finseq_62021-07-19 03:08 64K 
[ ]finseq_6__t35_finseq_62021-07-19 03:08 53K 
[ ]finseq_6__t36_finseq_62021-07-19 03:09 98K 
[ ]finseq_6__t37_finseq_62021-07-19 03:10 103K 
[ ]finseq_6__t38_finseq_62021-07-19 03:10 107K 
[ ]finseq_6__t39_finseq_62021-07-19 03:11 56K 
[ ]finseq_6__t40_finseq_62021-07-19 03:11 80K 
[ ]finseq_6__t41_finseq_62021-07-19 03:12 71K 
[ ]finseq_6__t42_finseq_62021-07-19 03:12 64K 
[ ]finseq_6__t43_finseq_62021-07-19 03:13 72K 
[ ]finseq_6__t44_finseq_62021-07-19 03:13 75K 
[ ]finseq_6__t45_finseq_62021-07-19 03:14 79K 
[ ]finseq_6__t46_finseq_62021-07-19 02:46 71K 
[ ]finseq_6__t47_finseq_62021-07-19 03:15 77K 
[ ]finseq_6__t48_finseq_62021-07-19 03:15 68K 
[ ]finseq_6__t49_finseq_62021-07-19 03:16 76K 
[ ]finseq_6__t50_finseq_62021-07-19 03:16 79K 
[ ]finseq_6__t51_finseq_62021-07-19 03:17 79K 
[ ]finseq_6__t52_finseq_62021-07-19 03:17 73K 
[ ]finseq_6__t53_finseq_62021-07-19 03:18 78K 
[ ]finseq_6__t54_finseq_62021-07-19 03:19 79K 
[ ]finseq_6__t55_finseq_62021-07-19 03:19 80K 
[ ]finseq_6__t56_finseq_62021-07-19 03:20 114K 
[ ]finseq_6__t57_finseq_62021-07-19 03:20 106K 
[ ]finseq_6__t58_finseq_62021-07-19 03:21 112K 
[ ]finseq_6__t59_finseq_62021-07-19 03:22 108K 
[ ]finseq_6__t60_finseq_62021-07-19 03:22 66K 
[ ]finseq_6__t61_finseq_62021-07-19 03:23 80K 
[ ]finseq_6__t62_finseq_62021-07-19 03:23 81K 
[ ]finseq_6__t63_finseq_62021-07-19 03:24 85K 
[ ]finseq_6__t64_finseq_62021-07-19 03:25 75K 
[ ]finseq_6__t65_finseq_62021-07-19 03:25 78K 
[ ]finseq_6__t66_finseq_62021-07-19 03:26 74K 
[ ]finseq_6__t67_finseq_62021-07-19 03:26 79K 
[ ]finseq_6__t68_finseq_62021-07-19 03:27 68K 
[ ]finseq_6__t69_finseq_62021-07-19 03:27 81K 
[ ]finseq_6__t70_finseq_62021-07-19 03:28 77K 
[ ]finseq_6__t71_finseq_62021-07-19 03:28 82K 
[ ]finseq_6__t72_finseq_62021-07-19 03:29 72K 
[ ]finseq_6__t73_finseq_62021-07-19 02:47 69K 
[ ]finseq_6__t74_finseq_62021-07-19 03:30 71K 
[ ]finseq_6__t75_finseq_62021-07-19 03:30 80K 
[ ]finseq_6__t76_finseq_62021-07-19 03:31 73K 
[ ]finseq_6__t77_finseq_62021-07-19 03:31 72K 
[ ]finseq_6__t78_finseq_62021-07-19 03:32 82K 
[ ]finseq_6__t79_finseq_62021-07-19 03:32 57K 
[ ]finseq_6__t80_finseq_62021-07-19 03:33 74K 
[ ]finseq_6__t81_finseq_62021-07-19 03:33 86K 
[ ]finseq_6__t82_finseq_62021-07-19 03:34 74K 
[ ]finseq_6__t83_finseq_62021-07-19 03:35 66K 
[ ]finseq_6__t84_finseq_62021-07-19 03:35 116K 
[ ]finseq_6__t85_finseq_62021-07-19 03:36 94K 
[ ]finseq_6__t86_finseq_62021-07-19 03:36 113K 
[ ]finseq_6__t87_finseq_62021-07-19 03:37 75K 
[ ]finseq_6__t88_finseq_62021-07-19 03:38 75K 
[ ]finseq_6__t89_finseq_62021-07-19 03:38 83K 
[ ]finseq_6__t90_finseq_62021-07-19 03:39 136K 
[ ]finseq_6__t91_finseq_62021-07-19 03:40 82K 
[ ]finseq_6__t92_finseq_62021-07-19 03:40 75K 
[ ]finseq_6__t93_finseq_62021-07-19 03:41 78K 
[ ]finseq_6__t94_finseq_62021-07-19 03:41 60K 
[ ]finseq_6__t95_finseq_62021-07-19 03:42 70K 
[ ]finseq_6__t96_finseq_62021-07-19 03:42 80K 
[ ]finseq_6__t97_finseq_62021-07-19 03:43 71K 
[ ]finseq_6__t98_finseq_62021-07-19 03:43 82K 
[ ]finseq_6__t99_finseq_62021-07-19 03:44 83K 
[ ]finseq_6__t100_finseq_62021-07-19 03:45 201K 
[ ]finseq_6__t101_finseq_62021-07-19 03:45 118K 
[ ]finseq_6__t102_finseq_62021-07-19 03:46 90K 
[ ]finseq_6__t103_finseq_62021-07-19 03:47 86K 
[ ]finseq_6__t104_finseq_62021-07-19 03:47 96K 
[ ]finseq_6__t105_finseq_62021-07-19 03:48 93K 
[ ]finseq_6__t106_finseq_62021-07-19 03:49 126K 
[ ]finseq_6__t107_finseq_62021-07-19 03:49 68K 
[ ]finseq_6__t108_finseq_62021-07-19 03:50 96K 
[ ]finseq_6__t109_finseq_62021-07-19 03:50 81K 
[ ]finseq_6__t110_finseq_62021-07-19 03:51 51K 
[ ]finseq_6__t111_finseq_62021-07-19 02:47 60K 
[ ]finseq_6__t113_finseq_62021-07-19 03:51 120K 
[ ]finseq_6__t114_finseq_62021-07-19 03:52 77K 
[ ]finseq_6__t115_finseq_62021-07-19 03:53 67K 
[ ]finseq_6__t116_finseq_62021-07-19 03:53 70K 
[ ]finseq_6__t117_finseq_62021-07-19 03:54 115K 
[ ]finseq_6__t118_finseq_62021-07-19 03:54 213K 
[ ]finseq_6__t119_finseq_62021-07-19 03:55 72K 
[ ]finseq_6__t120_finseq_62021-07-19 03:56 73K 
[ ]finseq_6__t121_finseq_62021-07-19 03:56 85K 
[ ]finseq_6__t122_finseq_62021-07-19 03:57 70K 
[ ]finseq_6__t123_finseq_62021-07-19 03:57 61K 
[ ]finseq_6__t124_finseq_62021-07-19 03:58 87K 
[ ]finseq_6__t125_finseq_62021-07-19 03:58 73K 
[ ]finseq_6__t126_finseq_62021-07-19 03:59 77K 
[ ]finseq_6__t127_finseq_62021-07-19 03:59 74K 
[ ]finseq_6__t128_finseq_62021-07-19 04:00 68K 
[ ]finseq_6__t129_finseq_62021-07-19 04:01 95K 
[ ]finseq_6__t130_finseq_62021-07-19 04:01 65K 
[ ]finseq_6__t131_finseq_62021-07-19 04:02 109K 
[ ]finseq_6__t132_finseq_62021-07-19 04:02 63K 
[ ]finseq_6__t133_finseq_62021-07-19 04:03 93K 
[ ]finseq_6__t134_finseq_62021-07-19 04:03 106K 
[ ]finseq_6__t135_finseq_62021-07-19 04:04 52K 
[ ]finseq_6__t136_finseq_62021-07-19 04:04 53K 
[ ]finseq_6__t137_finseq_62021-07-19 04:05 77K 
[ ]finseq_6__t138_finseq_62021-07-19 04:05 81K 
[ ]finseq_6__t139_finseq_62021-07-19 04:06 85K 
[ ]finseq_6__t140_finseq_62021-07-19 04:06 68K 
[ ]finseq_6__t141_finseq_62021-07-19 04:07 99K 
[ ]finseq_6__t142_finseq_62021-07-19 04:07 166K 
[ ]finseq_6__t143_finseq_62021-07-19 04:08 65K 
[ ]finseq_6__t144_finseq_62021-07-19 04:08 106K 
[ ]finseq_6__t145_finseq_62021-07-19 04:08 70K 
[ ]finseq_6__t146_finseq_62021-07-19 04:09 72K 
[ ]finseq_6__t147_finseq_62021-07-19 04:09 73K 
[ ]finseq_6__t148_finseq_62021-07-19 04:10 67K 
[ ]finseq_6__t149_finseq_62021-07-19 04:10 117K 
[ ]finseq_6__t150_finseq_62021-07-19 04:11 122K 
[ ]finseq_6__t151_finseq_62021-07-19 02:48 62K 
[ ]finseq_6__t152_finseq_62021-07-19 04:11 56K 
[ ]finseq_6__t153_finseq_62021-07-19 04:11 63K 
[ ]finseq_6__t154_finseq_62021-07-19 04:12 93K 
[ ]finseq_6__t155_finseq_62021-07-19 04:12 77K 
[ ]finseq_6__t156_finseq_62021-07-19 04:13 97K 
[ ]finseq_6__t157_finseq_62021-07-19 04:13 57K 
[ ]finseq_6__t158_finseq_62021-07-19 04:13 63K 
[ ]finseq_6__t159_finseq_62021-07-19 04:14 100K 
[ ]finseq_6__t160_finseq_62021-07-19 04:14 97K 
[ ]finseq_6__t161_finseq_62021-07-19 04:15 119K 
[ ]finseq_6__t162_finseq_62021-07-19 04:15 64K 
[ ]finseq_6__t163_finseq_62021-07-19 04:15 101K 
[ ]finseq_6__t164_finseq_62021-07-19 04:16 101K 
[ ]finseq_6__t165_finseq_62021-07-19 04:16 61K 
[ ]finseq_6__t166_finseq_62021-07-19 04:17 77K 
[ ]finseq_6__t167_finseq_62021-07-19 02:48 59K 
[ ]finseq_6__t168_finseq_62021-07-19 04:17 65K 
[ ]finseq_6__t169_finseq_62021-07-19 04:17 77K 
[ ]finseq_6__t170_finseq_62021-07-19 04:18 74K 
[ ]finseq_6__t171_finseq_62021-07-19 04:18 84K 
[ ]finseq_6__t172_finseq_62021-07-19 04:19 83K 
[ ]finseq_6__t173_finseq_62021-07-19 04:19 72K 
[ ]finseq_6__t174_finseq_62021-07-19 04:19 87K 
[ ]finseq_6__t175_finseq_62021-07-19 04:20 83K 
[ ]finseq_6__t176_finseq_62021-07-19 04:20 106K 
[ ]finseq_6__t177_finseq_62021-07-19 04:21 124K 
[ ]finseq_6__t178_finseq_62021-07-19 04:21 78K 
[ ]finseq_6__t179_finseq_62021-07-19 04:21 89K 
[ ]finseq_6__t180_finseq_62021-07-19 04:22 61K 
[ ]finseq_6__t181_finseq_62021-07-19 04:22 106K 
[ ]finseq_6__t182_finseq_62021-07-19 04:23 102K 
[ ]finseq_6__t183_finseq_62021-07-19 04:23 79K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80