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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]zf_lang1__l160_zf_lang12021-07-19 03:40 335K 
[ ]zf_lang1__l161_zf_lang12021-07-19 03:40 536K 
[ ]zf_lang1__s1_zf_lang12021-07-19 02:26 50K 
[ ]zf_lang1__t1_zf_lang12021-07-19 02:27 41K 
[ ]zf_lang1__t2_zf_lang12021-07-19 02:27 40K 
[ ]zf_lang1__t3_zf_lang12021-07-19 02:27 32K 
[ ]zf_lang1__t4_zf_lang12021-07-19 02:28 33K 
[ ]zf_lang1__t5_zf_lang12021-07-19 02:28 35K 
[ ]zf_lang1__t6_zf_lang12021-07-19 02:29 35K 
[ ]zf_lang1__t7_zf_lang12021-07-19 02:29 36K 
[ ]zf_lang1__t8_zf_lang12021-07-19 02:29 40K 
[ ]zf_lang1__t9_zf_lang12021-07-19 02:30 42K 
[ ]zf_lang1__t10_zf_lang12021-07-19 02:20 34K 
[ ]zf_lang1__t11_zf_lang12021-07-19 02:20 41K 
[ ]zf_lang1__t12_zf_lang12021-07-19 02:21 42K 
[ ]zf_lang1__t13_zf_lang12021-07-19 02:21 41K 
[ ]zf_lang1__t14_zf_lang12021-07-19 02:30 41K 
[ ]zf_lang1__t15_zf_lang12021-07-19 02:31 43K 
[ ]zf_lang1__t16_zf_lang12021-07-19 02:31 42K 
[ ]zf_lang1__t17_zf_lang12021-07-19 02:31 42K 
[ ]zf_lang1__t18_zf_lang12021-07-19 02:21 43K 
[ ]zf_lang1__t19_zf_lang12021-07-19 02:32 44K 
[ ]zf_lang1__t20_zf_lang12021-07-19 02:32 43K 
[ ]zf_lang1__t21_zf_lang12021-07-19 02:22 42K 
[ ]zf_lang1__t22_zf_lang12021-07-19 02:22 43K 
[ ]zf_lang1__t23_zf_lang12021-07-19 02:33 35K 
[ ]zf_lang1__t24_zf_lang12021-07-19 02:33 35K 
[ ]zf_lang1__t25_zf_lang12021-07-19 02:33 36K 
[ ]zf_lang1__t26_zf_lang12021-07-19 02:34 36K 
[ ]zf_lang1__t27_zf_lang12021-07-19 02:34 37K 
[ ]zf_lang1__t28_zf_lang12021-07-19 02:35 37K 
[ ]zf_lang1__t29_zf_lang12021-07-19 02:35 42K 
[ ]zf_lang1__t30_zf_lang12021-07-19 02:35 36K 
[ ]zf_lang1__t31_zf_lang12021-07-19 02:23 34K 
[ ]zf_lang1__t32_zf_lang12021-07-19 02:23 35K 
[ ]zf_lang1__t33_zf_lang12021-07-19 02:23 41K 
[ ]zf_lang1__t34_zf_lang12021-07-19 02:36 36K 
[ ]zf_lang1__t35_zf_lang12021-07-19 02:36 36K 
[ ]zf_lang1__t36_zf_lang12021-07-19 02:24 33K 
[ ]zf_lang1__t37_zf_lang12021-07-19 02:37 42K 
[ ]zf_lang1__t38_zf_lang12021-07-19 02:37 34K 
[ ]zf_lang1__t39_zf_lang12021-07-19 02:24 31K 
[ ]zf_lang1__t40_zf_lang12021-07-19 02:37 49K 
[ ]zf_lang1__t41_zf_lang12021-07-19 02:38 44K 
[ ]zf_lang1__t42_zf_lang12021-07-19 02:38 45K 
[ ]zf_lang1__t43_zf_lang12021-07-19 02:39 26K 
[ ]zf_lang1__t44_zf_lang12021-07-19 02:39 48K 
[ ]zf_lang1__t45_zf_lang12021-07-19 02:39 48K 
[ ]zf_lang1__t46_zf_lang12021-07-19 02:40 48K 
[ ]zf_lang1__t47_zf_lang12021-07-19 02:40 48K 
[ ]zf_lang1__t48_zf_lang12021-07-19 02:41 48K 
[ ]zf_lang1__t49_zf_lang12021-07-19 02:41 49K 
[ ]zf_lang1__t50_zf_lang12021-07-19 02:42 49K 
[ ]zf_lang1__t51_zf_lang12021-07-19 02:42 49K 
[ ]zf_lang1__t52_zf_lang12021-07-19 02:24 31K 
[ ]zf_lang1__t53_zf_lang12021-07-19 02:25 32K 
[ ]zf_lang1__t54_zf_lang12021-07-19 02:42 31K 
[ ]zf_lang1__t55_zf_lang12021-07-19 02:43 39K 
[ ]zf_lang1__t56_zf_lang12021-07-19 02:43 39K 
[ ]zf_lang1__t57_zf_lang12021-07-19 02:44 41K 
[ ]zf_lang1__t58_zf_lang12021-07-19 02:44 50K 
[ ]zf_lang1__t59_zf_lang12021-07-19 02:45 49K 
[ ]zf_lang1__t60_zf_lang12021-07-19 02:45 44K 
[ ]zf_lang1__t61_zf_lang12021-07-19 02:46 44K 
[ ]zf_lang1__t62_zf_lang12021-07-19 02:46 49K 
[ ]zf_lang1__t63_zf_lang12021-07-19 02:46 41K 
[ ]zf_lang1__t64_zf_lang12021-07-19 02:47 41K 
[ ]zf_lang1__t65_zf_lang12021-07-19 02:47 42K 
[ ]zf_lang1__t66_zf_lang12021-07-19 02:48 44K 
[ ]zf_lang1__t67_zf_lang12021-07-19 02:48 46K 
[ ]zf_lang1__t68_zf_lang12021-07-19 02:48 48K 
[ ]zf_lang1__t69_zf_lang12021-07-19 02:49 47K 
[ ]zf_lang1__t70_zf_lang12021-07-19 02:49 49K 
[ ]zf_lang1__t71_zf_lang12021-07-19 02:50 49K 
[ ]zf_lang1__t72_zf_lang12021-07-19 02:50 47K 
[ ]zf_lang1__t73_zf_lang12021-07-19 02:51 50K 
[ ]zf_lang1__t74_zf_lang12021-07-19 02:51 48K 
[ ]zf_lang1__t75_zf_lang12021-07-19 02:52 64K 
[ ]zf_lang1__t76_zf_lang12021-07-19 02:25 35K 
[ ]zf_lang1__t77_zf_lang12021-07-19 02:52 47K 
[ ]zf_lang1__t78_zf_lang12021-07-19 02:53 44K 
[ ]zf_lang1__t79_zf_lang12021-07-19 02:25 43K 
[ ]zf_lang1__t80_zf_lang12021-07-19 02:53 43K 
[ ]zf_lang1__t81_zf_lang12021-07-19 02:53 43K 
[ ]zf_lang1__t82_zf_lang12021-07-19 02:54 48K 
[ ]zf_lang1__t83_zf_lang12021-07-19 02:54 49K 
[ ]zf_lang1__t84_zf_lang12021-07-19 02:55 45K 
[ ]zf_lang1__t85_zf_lang12021-07-19 02:55 44K 
[ ]zf_lang1__t86_zf_lang12021-07-19 02:56 37K 
[ ]zf_lang1__t87_zf_lang12021-07-19 02:56 37K 
[ ]zf_lang1__t88_zf_lang12021-07-19 02:57 44K 
[ ]zf_lang1__t89_zf_lang12021-07-19 02:57 40K 
[ ]zf_lang1__t90_zf_lang12021-07-19 02:57 40K 
[ ]zf_lang1__t91_zf_lang12021-07-19 02:58 41K 
[ ]zf_lang1__t92_zf_lang12021-07-19 02:58 45K 
[ ]zf_lang1__t93_zf_lang12021-07-19 02:59 45K 
[ ]zf_lang1__t94_zf_lang12021-07-19 02:59 46K 
[ ]zf_lang1__t95_zf_lang12021-07-19 03:00 41K 
[ ]zf_lang1__t96_zf_lang12021-07-19 03:00 43K 
[ ]zf_lang1__t97_zf_lang12021-07-19 03:00 43K 
[ ]zf_lang1__t98_zf_lang12021-07-19 03:01 44K 
[ ]zf_lang1__t99_zf_lang12021-07-19 03:01 41K 
[ ]zf_lang1__t100_zf_lang12021-07-19 03:02 41K 
[ ]zf_lang1__t101_zf_lang12021-07-19 03:02 40K 
[ ]zf_lang1__t102_zf_lang12021-07-19 03:03 41K 
[ ]zf_lang1__t103_zf_lang12021-07-19 03:03 40K 
[ ]zf_lang1__t104_zf_lang12021-07-19 03:03 42K 
[ ]zf_lang1__t105_zf_lang12021-07-19 03:04 40K 
[ ]zf_lang1__t106_zf_lang12021-07-19 03:04 40K 
[ ]zf_lang1__t107_zf_lang12021-07-19 03:05 41K 
[ ]zf_lang1__t108_zf_lang12021-07-19 03:05 41K 
[ ]zf_lang1__t109_zf_lang12021-07-19 03:06 41K 
[ ]zf_lang1__t110_zf_lang12021-07-19 03:06 41K 
[ ]zf_lang1__t111_zf_lang12021-07-19 03:06 41K 
[ ]zf_lang1__t112_zf_lang12021-07-19 03:07 41K 
[ ]zf_lang1__t113_zf_lang12021-07-19 03:07 41K 
[ ]zf_lang1__t114_zf_lang12021-07-19 03:08 41K 
[ ]zf_lang1__t115_zf_lang12021-07-19 02:26 41K 
[ ]zf_lang1__t116_zf_lang12021-07-19 03:08 42K 
[ ]zf_lang1__t117_zf_lang12021-07-19 03:09 42K 
[ ]zf_lang1__t118_zf_lang12021-07-19 03:09 41K 
[ ]zf_lang1__t119_zf_lang12021-07-19 03:09 41K 
[ ]zf_lang1__t120_zf_lang12021-07-19 03:10 41K 
[ ]zf_lang1__t121_zf_lang12021-07-19 03:10 40K 
[ ]zf_lang1__t122_zf_lang12021-07-19 03:11 43K 
[ ]zf_lang1__t123_zf_lang12021-07-19 03:11 43K 
[ ]zf_lang1__t124_zf_lang12021-07-19 03:12 43K 
[ ]zf_lang1__t125_zf_lang12021-07-19 03:12 43K 
[ ]zf_lang1__t126_zf_lang12021-07-19 03:12 50K 
[ ]zf_lang1__t127_zf_lang12021-07-19 03:13 51K 
[ ]zf_lang1__t128_zf_lang12021-07-19 03:13 50K 
[ ]zf_lang1__t129_zf_lang12021-07-19 03:14 50K 
[ ]zf_lang1__t130_zf_lang12021-07-19 03:14 54K 
[ ]zf_lang1__t131_zf_lang12021-07-19 03:15 51K 
[ ]zf_lang1__t132_zf_lang12021-07-19 03:15 50K 
[ ]zf_lang1__t133_zf_lang12021-07-19 03:16 51K 
[ ]zf_lang1__t134_zf_lang12021-07-19 03:16 26K 
[ ]zf_lang1__t135_zf_lang12021-07-19 03:16 24K 
[ ]zf_lang1__t136_zf_lang12021-07-19 03:17 28K 
[ ]zf_lang1__t137_zf_lang12021-07-19 03:17 35K 
[ ]zf_lang1__t138_zf_lang12021-07-19 03:18 53K 
[ ]zf_lang1__t139_zf_lang12021-07-19 03:18 53K 
[ ]zf_lang1__t140_zf_lang12021-07-19 03:18 43K 
[ ]zf_lang1__t141_zf_lang12021-07-19 03:19 44K 
[ ]zf_lang1__t142_zf_lang12021-07-19 03:19 52K 
[ ]zf_lang1__t143_zf_lang12021-07-19 03:20 41K 
[ ]zf_lang1__t144_zf_lang12021-07-19 03:20 41K 
[ ]zf_lang1__t145_zf_lang12021-07-19 03:21 41K 
[ ]zf_lang1__t146_zf_lang12021-07-19 03:21 50K 
[ ]zf_lang1__t147_zf_lang12021-07-19 03:21 51K 
[ ]zf_lang1__t148_zf_lang12021-07-19 03:22 52K 
[ ]zf_lang1__t149_zf_lang12021-07-19 03:22 53K 
[ ]zf_lang1__t150_zf_lang12021-07-19 03:23 54K 
[ ]zf_lang1__t151_zf_lang12021-07-19 03:23 59K 
[ ]zf_lang1__t152_zf_lang12021-07-19 03:24 53K 
[ ]zf_lang1__t153_zf_lang12021-07-19 03:24 42K 
[ ]zf_lang1__t154_zf_lang12021-07-19 03:25 53K 
[ ]zf_lang1__t155_zf_lang12021-07-19 03:25 41K 
[ ]zf_lang1__t156_zf_lang12021-07-19 03:26 275K 
[ ]zf_lang1__t157_zf_lang12021-07-19 03:26 51K 
[ ]zf_lang1__t158_zf_lang12021-07-19 03:27 38K 
[ ]zf_lang1__t159_zf_lang12021-07-19 03:27 42K 
[ ]zf_lang1__t160_zf_lang12021-07-19 03:27 42K 
[ ]zf_lang1__t161_zf_lang12021-07-19 03:28 41K 
[ ]zf_lang1__t162_zf_lang12021-07-19 03:28 41K 
[ ]zf_lang1__t163_zf_lang12021-07-19 03:29 42K 
[ ]zf_lang1__t164_zf_lang12021-07-19 03:29 43K 
[ ]zf_lang1__t165_zf_lang12021-07-19 03:30 43K 
[ ]zf_lang1__t166_zf_lang12021-07-19 03:30 50K 
[ ]zf_lang1__t167_zf_lang12021-07-19 03:30 50K 
[ ]zf_lang1__t168_zf_lang12021-07-19 03:31 47K 
[ ]zf_lang1__t169_zf_lang12021-07-19 03:31 47K 
[ ]zf_lang1__t170_zf_lang12021-07-19 03:32 51K 
[ ]zf_lang1__t171_zf_lang12021-07-19 03:32 38K 
[ ]zf_lang1__t172_zf_lang12021-07-19 03:33 38K 
[ ]zf_lang1__t173_zf_lang12021-07-19 03:33 44K 
[ ]zf_lang1__t174_zf_lang12021-07-19 03:34 42K 
[ ]zf_lang1__t175_zf_lang12021-07-19 03:34 42K 
[ ]zf_lang1__t176_zf_lang12021-07-19 03:34 41K 
[ ]zf_lang1__t177_zf_lang12021-07-19 03:35 48K 
[ ]zf_lang1__t178_zf_lang12021-07-19 03:35 41K 
[ ]zf_lang1__t179_zf_lang12021-07-19 03:36 41K 
[ ]zf_lang1__t180_zf_lang12021-07-19 03:36 42K 
[ ]zf_lang1__t181_zf_lang12021-07-19 03:37 45K 
[ ]zf_lang1__t182_zf_lang12021-07-19 03:37 41K 
[ ]zf_lang1__t183_zf_lang12021-07-19 03:37 31K 
[ ]zf_lang1__t184_zf_lang12021-07-19 03:38 40K 
[ ]zf_lang1__t185_zf_lang12021-07-19 03:38 40K 
[ ]zf_lang1__t186_zf_lang12021-07-19 03:39 38K 
[ ]zf_lang1__t187_zf_lang12021-07-19 03:39 44K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80