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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]seq_4__l11_seq_42021-07-19 02:12 49K 
[ ]seq_4__l12_seq_42021-07-19 02:12 54K 
[ ]seq_4__l35_seq_42021-07-19 02:13 115K 
[ ]seq_4__l36_seq_42021-07-19 02:14 93K 
[ ]seq_4__l37_seq_42021-07-19 02:14 94K 
[ ]seq_4__l42_seq_42021-07-19 02:15 96K 
[ ]seq_4__l43_seq_42021-07-19 02:16 93K 
[ ]seq_4__l44_seq_42021-07-19 02:16 94K 
[ ]seq_4__l67_seq_42021-07-19 02:17 75K 
[ ]seq_4__l77_seq_42021-07-19 02:17 69K 
[ ]seq_4__l83_seq_42021-07-19 02:18 97K 
[ ]seq_4__l88_seq_42021-07-19 02:19 109K 
[ ]seq_4__l165_seq_42021-07-19 01:04 57K 
[ ]seq_4__l166_seq_42021-07-19 02:19 91K 
[ ]seq_4__l167_seq_42021-07-19 01:05 60K 
[ ]seq_4__l175_seq_42021-07-19 02:20 73K 
[ ]seq_4__l176_seq_42021-07-19 02:21 158K 
[ ]seq_4__l177_seq_42021-07-19 01:05 67K 
[ ]seq_4__l179_seq_42021-07-19 02:21 65K 
[ ]seq_4__l180_seq_42021-07-19 02:22 154K 
[ ]seq_4__l181_seq_42021-07-19 01:06 67K 
[ ]seq_4__t1_seq_42021-07-19 01:06 55K 
[ ]seq_4__t2_seq_42021-07-19 01:07 98K 
[ ]seq_4__t3_seq_42021-07-19 01:07 59K 
[ ]seq_4__t4_seq_42021-07-19 01:08 83K 
[ ]seq_4__t5_seq_42021-07-19 01:08 98K 
[ ]seq_4__t6_seq_42021-07-19 01:09 56K 
[ ]seq_4__t7_seq_42021-07-19 01:09 77K 
[ ]seq_4__t8_seq_42021-07-19 01:10 56K 
[ ]seq_4__t9_seq_42021-07-19 00:50 57K 
[ ]seq_4__t10_seq_42021-07-19 01:11 57K 
[ ]seq_4__t11_seq_42021-07-19 01:11 57K 
[ ]seq_4__t12_seq_42021-07-19 01:12 70K 
[ ]seq_4__t13_seq_42021-07-19 01:12 103K 
[ ]seq_4__t14_seq_42021-07-19 01:13 104K 
[ ]seq_4__t15_seq_42021-07-19 01:14 118K 
[ ]seq_4__t16_seq_42021-07-19 01:14 113K 
[ ]seq_4__t17_seq_42021-07-19 01:15 114K 
[ ]seq_4__t18_seq_42021-07-19 01:16 96K 
[ ]seq_4__t19_seq_42021-07-19 01:16 97K 
[ ]seq_4__t20_seq_42021-07-19 00:51 70K 
[ ]seq_4__t24_seq_42021-07-19 01:17 70K 
[ ]seq_4__t25_seq_42021-07-19 01:17 106K 
[ ]seq_4__t26_seq_42021-07-19 00:51 71K 
[ ]seq_4__t27_seq_42021-07-19 01:18 75K 
[ ]seq_4__t31_seq_42021-07-19 01:19 99K 
[ ]seq_4__t35_seq_42021-07-19 01:19 103K 
[ ]seq_4__t36_seq_42021-07-19 00:52 65K 
[ ]seq_4__t40_seq_42021-07-19 01:20 81K 
[ ]seq_4__t41_seq_42021-07-19 01:21 244K 
[ ]seq_4__t42_seq_42021-07-19 01:21 129K 
[ ]seq_4__t43_seq_42021-07-19 01:22 58K 
[ ]seq_4__t44_seq_42021-07-19 00:52 46K 
[ ]seq_4__t45_seq_42021-07-19 01:22 58K 
[ ]seq_4__t46_seq_42021-07-19 00:53 46K 
[ ]seq_4__t47_seq_42021-07-19 01:23 59K 
[ ]seq_4__t48_seq_42021-07-19 01:23 63K 
[ ]seq_4__t49_seq_42021-07-19 00:53 63K 
[ ]seq_4__t50_seq_42021-07-19 01:24 75K 
[ ]seq_4__t51_seq_42021-07-19 00:54 68K 
[ ]seq_4__t52_seq_42021-07-19 00:54 71K 
[ ]seq_4__t53_seq_42021-07-19 00:55 63K 
[ ]seq_4__t54_seq_42021-07-19 01:24 72K 
[ ]seq_4__t55_seq_42021-07-19 00:55 73K 
[ ]seq_4__t56_seq_42021-07-19 00:56 70K 
[ ]seq_4__t57_seq_42021-07-19 01:25 72K 
[ ]seq_4__t58_seq_42021-07-19 01:26 89K 
[ ]seq_4__t59_seq_42021-07-19 00:56 82K 
[ ]seq_4__t60_seq_42021-07-19 01:26 99K 
[ ]seq_4__t61_seq_42021-07-19 00:57 107K 
[ ]seq_4__t62_seq_42021-07-19 00:58 107K 
[ ]seq_4__t64_seq_42021-07-19 01:27 68K 
[ ]seq_4__t65_seq_42021-07-19 00:58 65K 
[ ]seq_4__t66_seq_42021-07-19 01:27 110K 
[ ]seq_4__t67_seq_42021-07-19 01:28 115K 
[ ]seq_4__t68_seq_42021-07-19 01:29 101K 
[ ]seq_4__t69_seq_42021-07-19 01:29 100K 
[ ]seq_4__t70_seq_42021-07-19 00:59 76K 
[ ]seq_4__t71_seq_42021-07-19 01:30 77K 
[ ]seq_4__t72_seq_42021-07-19 01:30 77K 
[ ]seq_4__t73_seq_42021-07-19 01:31 114K 
[ ]seq_4__t74_seq_42021-07-19 01:32 114K 
[ ]seq_4__t75_seq_42021-07-19 01:32 96K 
[ ]seq_4__t76_seq_42021-07-19 01:33 96K 
[ ]seq_4__t77_seq_42021-07-19 01:34 96K 
[ ]seq_4__t78_seq_42021-07-19 00:59 76K 
[ ]seq_4__t79_seq_42021-07-19 01:34 100K 
[ ]seq_4__t80_seq_42021-07-19 01:35 116K 
[ ]seq_4__t81_seq_42021-07-19 01:36 116K 
[ ]seq_4__t82_seq_42021-07-19 01:36 101K 
[ ]seq_4__t83_seq_42021-07-19 01:37 98K 
[ ]seq_4__t84_seq_42021-07-19 01:38 108K 
[ ]seq_4__t85_seq_42021-07-19 01:00 103K 
[ ]seq_4__t86_seq_42021-07-19 01:38 94K 
[ ]seq_4__t87_seq_42021-07-19 01:39 99K 
[ ]seq_4__t88_seq_42021-07-19 01:00 94K 
[ ]seq_4__t89_seq_42021-07-19 01:40 115K 
[ ]seq_4__t90_seq_42021-07-19 01:40 111K 
[ ]seq_4__t91_seq_42021-07-19 01:41 103K 
[ ]seq_4__t92_seq_42021-07-19 01:42 95K 
[ ]seq_4__t93_seq_42021-07-19 01:42 109K 
[ ]seq_4__t94_seq_42021-07-19 01:43 131K 
[ ]seq_4__t95_seq_42021-07-19 01:44 109K 
[ ]seq_4__t96_seq_42021-07-19 01:01 115K 
[ ]seq_4__t97_seq_42021-07-19 01:45 137K 
[ ]seq_4__t98_seq_42021-07-19 01:45 363K 
[ ]seq_4__t99_seq_42021-07-19 01:46 137K 
[ ]seq_4__t100_seq_42021-07-19 01:47 139K 
[ ]seq_4__t101_seq_42021-07-19 01:48 139K 
[ ]seq_4__t102_seq_42021-07-19 01:48 133K 
[ ]seq_4__t103_seq_42021-07-19 01:49 133K 
[ ]seq_4__t104_seq_42021-07-19 01:50 130K 
[ ]seq_4__t105_seq_42021-07-19 01:50 136K 
[ ]seq_4__t106_seq_42021-07-19 01:02 53K 
[ ]seq_4__t107_seq_42021-07-19 01:51 113K 
[ ]seq_4__t108_seq_42021-07-19 01:52 113K 
[ ]seq_4__t109_seq_42021-07-19 01:52 121K 
[ ]seq_4__t110_seq_42021-07-19 01:53 132K 
[ ]seq_4__t111_seq_42021-07-19 01:54 132K 
[ ]seq_4__t112_seq_42021-07-19 01:54 175K 
[ ]seq_4__t113_seq_42021-07-19 01:55 61K 
[ ]seq_4__t114_seq_42021-07-19 01:56 137K 
[ ]seq_4__t115_seq_42021-07-19 01:56 149K 
[ ]seq_4__t116_seq_42021-07-19 01:57 143K 
[ ]seq_4__t117_seq_42021-07-19 01:58 145K 
[ ]seq_4__t118_seq_42021-07-19 01:58 136K 
[ ]seq_4__t119_seq_42021-07-19 01:59 64K 
[ ]seq_4__t120_seq_42021-07-19 02:00 65K 
[ ]seq_4__t121_seq_42021-07-19 01:02 65K 
[ ]seq_4__t122_seq_42021-07-19 02:00 157K 
[ ]seq_4__t123_seq_42021-07-19 01:03 55K 
[ ]seq_4__t124_seq_42021-07-19 02:01 100K 
[ ]seq_4__t125_seq_42021-07-19 02:02 179K 
[ ]seq_4__t126_seq_42021-07-19 02:02 60K 
[ ]seq_4__t127_seq_42021-07-19 02:03 138K 
[ ]seq_4__t128_seq_42021-07-19 02:04 134K 
[ ]seq_4__t129_seq_42021-07-19 02:04 185K 
[ ]seq_4__t130_seq_42021-07-19 02:05 76K 
[ ]seq_4__t131_seq_42021-07-19 02:05 53K 
[ ]seq_4__t132_seq_42021-07-19 02:06 118K 
[ ]seq_4__t133_seq_42021-07-19 02:07 57K 
[ ]seq_4__t134_seq_42021-07-19 02:07 62K 
[ ]seq_4__t135_seq_42021-07-19 02:08 66K 
[ ]seq_4__t136_seq_42021-07-19 02:08 82K 
[ ]seq_4__t137_seq_42021-07-19 02:09 67K 
[ ]seq_4__t138_seq_42021-07-19 02:09 67K 
[ ]seq_4__t139_seq_42021-07-19 02:10 88K 
[ ]seq_4__t140_seq_42021-07-19 01:03 65K 
[ ]seq_4__t141_seq_42021-07-19 01:04 65K 
[ ]seq_4__t142_seq_42021-07-19 02:10 68K 
[ ]seq_4__t143_seq_42021-07-19 02:11 73K 
[ ]seq_4__t144_seq_42021-07-19 02:11 69K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80