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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]abcmiz_1__s1_abcmiz_12021-07-18 17:01 51K 
[ ]abcmiz_1__s2_abcmiz_12021-07-18 17:02 212K 
[ ]abcmiz_1__s3_abcmiz_12021-07-18 17:04 254K 
[ ]abcmiz_1__t1_abcmiz_12021-07-18 17:04 55K 
[ ]abcmiz_1__t2_abcmiz_12021-07-18 16:47 47K 
[ ]abcmiz_1__t3_abcmiz_12021-07-18 17:04 42K 
[ ]abcmiz_1__t4_abcmiz_12021-07-18 17:05 64K 
[ ]abcmiz_1__t5_abcmiz_12021-07-18 17:06 97K 
[ ]abcmiz_1__t6_abcmiz_12021-07-18 17:06 75K 
[ ]abcmiz_1__t7_abcmiz_12021-07-18 17:07 158K 
[ ]abcmiz_1__t8_abcmiz_12021-07-18 17:07 49K 
[ ]abcmiz_1__t9_abcmiz_12021-07-18 17:08 49K 
[ ]abcmiz_1__t10_abcmiz_12021-07-18 17:08 51K 
[ ]abcmiz_1__t11_abcmiz_12021-07-18 17:08 51K 
[ ]abcmiz_1__t12_abcmiz_12021-07-18 17:09 50K 
[ ]abcmiz_1__t13_abcmiz_12021-07-18 17:09 54K 
[ ]abcmiz_1__t14_abcmiz_12021-07-18 17:10 70K 
[ ]abcmiz_1__t15_abcmiz_12021-07-18 17:10 73K 
[ ]abcmiz_1__t16_abcmiz_12021-07-18 17:11 65K 
[ ]abcmiz_1__t17_abcmiz_12021-07-18 17:11 66K 
[ ]abcmiz_1__t18_abcmiz_12021-07-18 17:12 67K 
[ ]abcmiz_1__t19_abcmiz_12021-07-18 17:12 72K 
[ ]abcmiz_1__t20_abcmiz_12021-07-18 17:13 45K 
[ ]abcmiz_1__t21_abcmiz_12021-07-18 17:13 56K 
[ ]abcmiz_1__t22_abcmiz_12021-07-18 17:14 101K 
[ ]abcmiz_1__t23_abcmiz_12021-07-18 17:14 80K 
[ ]abcmiz_1__t24_abcmiz_12021-07-18 17:14 46K 
[ ]abcmiz_1__t25_abcmiz_12021-07-18 17:15 49K 
[ ]abcmiz_1__t26_abcmiz_12021-07-18 17:15 54K 
[ ]abcmiz_1__t27_abcmiz_12021-07-18 17:16 56K 
[ ]abcmiz_1__t28_abcmiz_12021-07-18 17:16 56K 
[ ]abcmiz_1__t29_abcmiz_12021-07-18 17:17 73K 
[ ]abcmiz_1__t30_abcmiz_12021-07-18 17:17 85K 
[ ]abcmiz_1__t31_abcmiz_12021-07-18 17:18 120K 
[ ]abcmiz_1__t32_abcmiz_12021-07-18 17:18 83K 
[ ]abcmiz_1__t33_abcmiz_12021-07-18 17:19 77K 
[ ]abcmiz_1__t34_abcmiz_12021-07-18 17:19 81K 
[ ]abcmiz_1__t35_abcmiz_12021-07-18 17:20 93K 
[ ]abcmiz_1__t36_abcmiz_12021-07-18 17:20 89K 
[ ]abcmiz_1__t37_abcmiz_12021-07-18 17:21 102K 
[ ]abcmiz_1__t38_abcmiz_12021-07-18 16:48 100K 
[ ]abcmiz_1__t39_abcmiz_12021-07-18 17:21 76K 
[ ]abcmiz_1__t40_abcmiz_12021-07-18 17:22 50K 
[ ]abcmiz_1__t41_abcmiz_12021-07-18 17:22 94K 
[ ]abcmiz_1__t42_abcmiz_12021-07-18 17:23 165K 
[ ]abcmiz_1__t43_abcmiz_12021-07-18 17:24 150K 
[ ]abcmiz_1__t44_abcmiz_12021-07-18 17:25 110K 
[ ]abcmiz_1__t45_abcmiz_12021-07-18 17:26 178K 
[ ]abcmiz_1__t46_abcmiz_12021-07-18 17:26 152K 
[ ]abcmiz_1__t47_abcmiz_12021-07-18 17:27 141K 
[ ]abcmiz_1__t48_abcmiz_12021-07-18 17:28 119K 
[ ]abcmiz_1__t49_abcmiz_12021-07-18 16:48 92K 
[ ]abcmiz_1__t50_abcmiz_12021-07-18 17:28 96K 
[ ]abcmiz_1__t51_abcmiz_12021-07-18 17:29 191K 
[ ]abcmiz_1__t52_abcmiz_12021-07-18 17:30 150K 
[ ]abcmiz_1__t53_abcmiz_12021-07-18 17:31 225K 
[ ]abcmiz_1__t54_abcmiz_12021-07-18 17:32 154K 
[ ]abcmiz_1__t55_abcmiz_12021-07-18 17:33 168K 
[ ]abcmiz_1__t56_abcmiz_12021-07-18 17:33 165K 
[ ]abcmiz_1__t57_abcmiz_12021-07-18 17:34 173K 
[ ]abcmiz_1__t58_abcmiz_12021-07-18 17:35 160K 
[ ]abcmiz_1__t59_abcmiz_12021-07-18 17:36 113K 
[ ]abcmiz_1__t60_abcmiz_12021-07-18 17:36 133K 
[ ]abcmiz_1__t61_abcmiz_12021-07-18 17:37 133K 
[ ]abcmiz_1__t62_abcmiz_12021-07-18 17:38 101K 
[ ]abcmiz_1__t63_abcmiz_12021-07-18 17:38 91K 
[ ]abcmiz_1__t64_abcmiz_12021-07-18 16:49 92K 
[ ]abcmiz_1__t65_abcmiz_12021-07-18 17:39 154K 
[ ]abcmiz_1__t66_abcmiz_12021-07-18 17:40 125K 
[ ]abcmiz_1__t67_abcmiz_12021-07-18 17:40 106K 
[ ]abcmiz_1__t68_abcmiz_12021-07-18 17:41 91K 
[ ]abcmiz_1__t69_abcmiz_12021-07-18 17:42 101K 
[ ]abcmiz_1__t70_abcmiz_12021-07-18 17:42 139K 
[ ]abcmiz_1__t71_abcmiz_12021-07-18 17:43 173K 
[ ]abcmiz_1__t72_abcmiz_12021-07-18 17:44 100K 
[ ]abcmiz_1__t73_abcmiz_12021-07-18 17:44 99K 
[ ]abcmiz_1__t74_abcmiz_12021-07-18 17:45 136K 
[ ]abcmiz_1__t75_abcmiz_12021-07-18 17:46 123K 
[ ]abcmiz_1__t76_abcmiz_12021-07-18 17:46 130K 
[ ]abcmiz_1__t77_abcmiz_12021-07-18 16:49 92K 
[ ]abcmiz_1__t78_abcmiz_12021-07-18 16:50 101K 
[ ]abcmiz_1__t79_abcmiz_12021-07-18 16:51 99K 
[ ]abcmiz_1__t80_abcmiz_12021-07-18 16:51 101K 
[ ]abcmiz_1__t81_abcmiz_12021-07-18 17:47 101K 
[ ]abcmiz_1__t82_abcmiz_12021-07-18 16:52 105K 
[ ]abcmiz_1__t83_abcmiz_12021-07-18 17:47 106K 
[ ]abcmiz_1__t84_abcmiz_12021-07-18 16:53 105K 
[ ]abcmiz_1__t85_abcmiz_12021-07-18 16:53 94K 
[ ]abcmiz_1__t86_abcmiz_12021-07-18 16:54 101K 
[ ]abcmiz_1__t87_abcmiz_12021-07-18 17:48 108K 
[ ]abcmiz_1__t88_abcmiz_12021-07-18 17:49 112K 
[ ]abcmiz_1__t89_abcmiz_12021-07-18 17:49 103K 
[ ]abcmiz_1__t90_abcmiz_12021-07-18 17:50 112K 
[ ]abcmiz_1__t91_abcmiz_12021-07-18 17:50 114K 
[ ]abcmiz_1__t92_abcmiz_12021-07-18 17:50 53K 
[ ]abcmiz_1__t93_abcmiz_12021-07-18 17:51 57K 
[ ]abcmiz_1__t94_abcmiz_12021-07-18 17:51 125K 
[ ]abcmiz_1__t95_abcmiz_12021-07-18 16:54 99K 
[ ]abcmiz_1__t96_abcmiz_12021-07-18 17:52 73K 
[ ]abcmiz_1__t97_abcmiz_12021-07-18 17:52 133K 
[ ]abcmiz_1__t98_abcmiz_12021-07-18 17:53 105K 
[ ]abcmiz_1__t99_abcmiz_12021-07-18 17:53 131K 
[ ]abcmiz_1__t100_abcmiz_12021-07-18 16:55 96K 
[ ]abcmiz_1__t101_abcmiz_12021-07-18 16:56 108K 
[ ]abcmiz_1__t102_abcmiz_12021-07-18 17:54 136K 
[ ]abcmiz_1__t103_abcmiz_12021-07-18 17:54 118K 
[ ]abcmiz_1__t104_abcmiz_12021-07-18 17:55 121K 
[ ]abcmiz_1__t105_abcmiz_12021-07-18 17:55 132K 
[ ]abcmiz_1__t106_abcmiz_12021-07-18 17:56 115K 
[ ]abcmiz_1__t107_abcmiz_12021-07-18 17:57 123K 
[ ]abcmiz_1__t108_abcmiz_12021-07-18 17:57 117K 
[ ]abcmiz_1__t109_abcmiz_12021-07-18 17:58 72K 
[ ]abcmiz_1__t110_abcmiz_12021-07-18 17:58 71K 
[ ]abcmiz_1__t111_abcmiz_12021-07-18 17:58 87K 
[ ]abcmiz_1__t112_abcmiz_12021-07-18 17:59 75K 
[ ]abcmiz_1__t113_abcmiz_12021-07-18 17:59 76K 
[ ]abcmiz_1__t114_abcmiz_12021-07-18 18:00 78K 
[ ]abcmiz_1__t115_abcmiz_12021-07-18 18:00 80K 
[ ]abcmiz_1__t116_abcmiz_12021-07-18 18:00 94K 
[ ]abcmiz_1__t117_abcmiz_12021-07-18 18:01 70K 
[ ]abcmiz_1__t118_abcmiz_12021-07-18 18:01 64K 
[ ]abcmiz_1__t119_abcmiz_12021-07-18 16:56 83K 
[ ]abcmiz_1__t120_abcmiz_12021-07-18 18:02 114K 
[ ]abcmiz_1__t121_abcmiz_12021-07-18 18:02 116K 
[ ]abcmiz_1__t122_abcmiz_12021-07-18 18:03 116K 
[ ]abcmiz_1__t123_abcmiz_12021-07-18 18:03 100K 
[ ]abcmiz_1__t124_abcmiz_12021-07-18 18:04 130K 
[ ]abcmiz_1__t125_abcmiz_12021-07-18 18:04 131K 
[ ]abcmiz_1__t126_abcmiz_12021-07-18 18:05 70K 
[ ]abcmiz_1__t127_abcmiz_12021-07-18 18:05 106K 
[ ]abcmiz_1__t128_abcmiz_12021-07-18 18:06 180K 
[ ]abcmiz_1__t129_abcmiz_12021-07-18 18:07 95K 
[ ]abcmiz_1__t130_abcmiz_12021-07-18 18:07 107K 
[ ]abcmiz_1__t131_abcmiz_12021-07-18 18:08 107K 
[ ]abcmiz_1__t132_abcmiz_12021-07-18 16:57 128K 
[ ]abcmiz_1__t133_abcmiz_12021-07-18 16:58 128K 
[ ]abcmiz_1__t134_abcmiz_12021-07-18 16:59 131K 
[ ]abcmiz_1__t135_abcmiz_12021-07-18 16:59 128K 
[ ]abcmiz_1__t136_abcmiz_12021-07-18 17:00 128K 
[ ]abcmiz_1__t137_abcmiz_12021-07-18 18:08 154K 
[ ]abcmiz_1__t138_abcmiz_12021-07-18 18:09 116K 
[ ]abcmiz_1__t139_abcmiz_12021-07-18 18:09 109K 
[ ]abcmiz_1__t140_abcmiz_12021-07-18 18:10 106K 
[ ]abcmiz_1__t141_abcmiz_12021-07-18 18:10 151K 
[ ]abcmiz_1__t142_abcmiz_12021-07-18 18:11 109K 
[ ]abcmiz_1__t143_abcmiz_12021-07-18 18:12 198K 
[ ]abcmiz_1__t144_abcmiz_12021-07-18 18:12 120K 
[ ]abcmiz_1__t145_abcmiz_12021-07-18 18:13 109K 
[ ]abcmiz_1__t146_abcmiz_12021-07-18 18:13 109K 
[ ]abcmiz_1__t147_abcmiz_12021-07-18 17:01 117K 
[ ]abcmiz_1__t148_abcmiz_12021-07-18 18:14 139K 
[ ]abcmiz_1__t149_abcmiz_12021-07-18 18:15 148K 
[ ]abcmiz_1__t150_abcmiz_12021-07-18 18:15 106K 
[ ]abcmiz_1__t151_abcmiz_12021-07-18 18:16 120K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80