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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]zf_lang1__l160_zf_lang12025-09-12 08:18 381K 
[ ]zf_lang1__l161_zf_lang12025-09-12 08:20 642K 
[ ]zf_lang1__s1_zf_lang12025-09-12 04:35 54K 
[ ]zf_lang1__t1_zf_lang12025-09-12 04:36 45K 
[ ]zf_lang1__t2_zf_lang12025-09-12 04:37 44K 
[ ]zf_lang1__t3_zf_lang12025-09-12 04:38 36K 
[ ]zf_lang1__t4_zf_lang12025-09-12 04:40 37K 
[ ]zf_lang1__t5_zf_lang12025-09-12 04:41 39K 
[ ]zf_lang1__t6_zf_lang12025-09-12 04:42 39K 
[ ]zf_lang1__t7_zf_lang12025-09-12 04:43 40K 
[ ]zf_lang1__t8_zf_lang12025-09-12 04:44 44K 
[ ]zf_lang1__t9_zf_lang12025-09-12 04:45 46K 
[ ]zf_lang1__t10_zf_lang12025-09-12 04:16 38K 
[ ]zf_lang1__t11_zf_lang12025-09-12 04:17 45K 
[ ]zf_lang1__t12_zf_lang12025-09-12 04:18 46K 
[ ]zf_lang1__t13_zf_lang12025-09-12 04:19 45K 
[ ]zf_lang1__t14_zf_lang12025-09-12 04:47 45K 
[ ]zf_lang1__t15_zf_lang12025-09-12 04:48 47K 
[ ]zf_lang1__t16_zf_lang12025-09-12 04:49 46K 
[ ]zf_lang1__t17_zf_lang12025-09-12 04:50 46K 
[ ]zf_lang1__t18_zf_lang12025-09-12 04:20 47K 
[ ]zf_lang1__t19_zf_lang12025-09-12 04:52 48K 
[ ]zf_lang1__t20_zf_lang12025-09-12 04:53 47K 
[ ]zf_lang1__t21_zf_lang12025-09-12 04:22 46K 
[ ]zf_lang1__t22_zf_lang12025-09-12 04:23 47K 
[ ]zf_lang1__t23_zf_lang12025-09-12 04:54 39K 
[ ]zf_lang1__t24_zf_lang12025-09-12 04:55 39K 
[ ]zf_lang1__t25_zf_lang12025-09-12 04:56 40K 
[ ]zf_lang1__t26_zf_lang12025-09-12 04:58 40K 
[ ]zf_lang1__t27_zf_lang12025-09-12 04:59 41K 
[ ]zf_lang1__t28_zf_lang12025-09-12 05:00 41K 
[ ]zf_lang1__t29_zf_lang12025-09-12 05:01 46K 
[ ]zf_lang1__t30_zf_lang12025-09-12 05:02 40K 
[ ]zf_lang1__t31_zf_lang12025-09-12 04:24 38K 
[ ]zf_lang1__t32_zf_lang12025-09-12 04:25 39K 
[ ]zf_lang1__t33_zf_lang12025-09-12 04:26 45K 
[ ]zf_lang1__t34_zf_lang12025-09-12 05:03 40K 
[ ]zf_lang1__t35_zf_lang12025-09-12 05:05 40K 
[ ]zf_lang1__t36_zf_lang12025-09-12 04:27 37K 
[ ]zf_lang1__t37_zf_lang12025-09-12 05:06 46K 
[ ]zf_lang1__t38_zf_lang12025-09-12 05:07 36K 
[ ]zf_lang1__t39_zf_lang12025-09-12 04:28 33K 
[ ]zf_lang1__t40_zf_lang12025-09-12 05:08 53K 
[ ]zf_lang1__t41_zf_lang12025-09-12 05:09 48K 
[ ]zf_lang1__t42_zf_lang12025-09-12 05:11 49K 
[ ]zf_lang1__t43_zf_lang12025-09-12 05:12 27K 
[ ]zf_lang1__t44_zf_lang12025-09-12 05:13 52K 
[ ]zf_lang1__t45_zf_lang12025-09-12 05:14 52K 
[ ]zf_lang1__t46_zf_lang12025-09-12 05:16 52K 
[ ]zf_lang1__t47_zf_lang12025-09-12 05:17 52K 
[ ]zf_lang1__t48_zf_lang12025-09-12 05:18 52K 
[ ]zf_lang1__t49_zf_lang12025-09-12 05:20 53K 
[ ]zf_lang1__t50_zf_lang12025-09-12 05:21 53K 
[ ]zf_lang1__t51_zf_lang12025-09-12 05:22 53K 
[ ]zf_lang1__t52_zf_lang12025-09-12 04:29 33K 
[ ]zf_lang1__t53_zf_lang12025-09-12 04:30 33K 
[ ]zf_lang1__t54_zf_lang12025-09-12 05:23 33K 
[ ]zf_lang1__t55_zf_lang12025-09-12 05:25 43K 
[ ]zf_lang1__t56_zf_lang12025-09-12 05:26 44K 
[ ]zf_lang1__t57_zf_lang12025-09-12 05:27 46K 
[ ]zf_lang1__t58_zf_lang12025-09-12 05:28 54K 
[ ]zf_lang1__t59_zf_lang12025-09-12 05:30 54K 
[ ]zf_lang1__t60_zf_lang12025-09-12 05:31 49K 
[ ]zf_lang1__t61_zf_lang12025-09-12 05:33 49K 
[ ]zf_lang1__t62_zf_lang12025-09-12 05:34 54K 
[ ]zf_lang1__t63_zf_lang12025-09-12 05:35 45K 
[ ]zf_lang1__t64_zf_lang12025-09-12 05:36 45K 
[ ]zf_lang1__t65_zf_lang12025-09-12 05:38 46K 
[ ]zf_lang1__t66_zf_lang12025-09-12 05:39 48K 
[ ]zf_lang1__t67_zf_lang12025-09-12 05:40 51K 
[ ]zf_lang1__t68_zf_lang12025-09-12 05:41 53K 
[ ]zf_lang1__t69_zf_lang12025-09-12 05:43 52K 
[ ]zf_lang1__t70_zf_lang12025-09-12 05:44 54K 
[ ]zf_lang1__t71_zf_lang12025-09-12 05:45 52K 
[ ]zf_lang1__t72_zf_lang12025-09-12 05:47 51K 
[ ]zf_lang1__t73_zf_lang12025-09-12 05:48 54K 
[ ]zf_lang1__t74_zf_lang12025-09-12 05:50 52K 
[ ]zf_lang1__t75_zf_lang12025-09-12 05:51 69K 
[ ]zf_lang1__t76_zf_lang12025-09-12 04:31 38K 
[ ]zf_lang1__t77_zf_lang12025-09-12 05:52 52K 
[ ]zf_lang1__t78_zf_lang12025-09-12 05:54 48K 
[ ]zf_lang1__t79_zf_lang12025-09-12 04:32 47K 
[ ]zf_lang1__t80_zf_lang12025-09-12 05:55 47K 
[ ]zf_lang1__t81_zf_lang12025-09-12 05:56 47K 
[ ]zf_lang1__t82_zf_lang12025-09-12 05:58 52K 
[ ]zf_lang1__t83_zf_lang12025-09-12 05:59 53K 
[ ]zf_lang1__t84_zf_lang12025-09-12 06:00 49K 
[ ]zf_lang1__t85_zf_lang12025-09-12 06:02 48K 
[ ]zf_lang1__t86_zf_lang12025-09-12 06:03 41K 
[ ]zf_lang1__t87_zf_lang12025-09-12 06:04 41K 
[ ]zf_lang1__t88_zf_lang12025-09-12 06:05 48K 
[ ]zf_lang1__t89_zf_lang12025-09-12 06:07 44K 
[ ]zf_lang1__t90_zf_lang12025-09-12 06:08 44K 
[ ]zf_lang1__t91_zf_lang12025-09-12 06:09 45K 
[ ]zf_lang1__t92_zf_lang12025-09-12 06:11 49K 
[ ]zf_lang1__t93_zf_lang12025-09-12 06:12 49K 
[ ]zf_lang1__t94_zf_lang12025-09-12 06:13 50K 
[ ]zf_lang1__t95_zf_lang12025-09-12 06:15 45K 
[ ]zf_lang1__t96_zf_lang12025-09-12 06:16 47K 
[ ]zf_lang1__t97_zf_lang12025-09-12 06:17 47K 
[ ]zf_lang1__t98_zf_lang12025-09-12 06:18 48K 
[ ]zf_lang1__t99_zf_lang12025-09-12 06:20 45K 
[ ]zf_lang1__t100_zf_lang12025-09-12 06:21 45K 
[ ]zf_lang1__t101_zf_lang12025-09-12 06:22 44K 
[ ]zf_lang1__t102_zf_lang12025-09-12 06:24 45K 
[ ]zf_lang1__t103_zf_lang12025-09-12 06:25 44K 
[ ]zf_lang1__t104_zf_lang12025-09-12 06:26 46K 
[ ]zf_lang1__t105_zf_lang12025-09-12 06:28 44K 
[ ]zf_lang1__t106_zf_lang12025-09-12 06:29 44K 
[ ]zf_lang1__t107_zf_lang12025-09-12 06:30 45K 
[ ]zf_lang1__t108_zf_lang12025-09-12 06:31 45K 
[ ]zf_lang1__t109_zf_lang12025-09-12 06:33 45K 
[ ]zf_lang1__t110_zf_lang12025-09-12 06:34 45K 
[ ]zf_lang1__t111_zf_lang12025-09-12 06:35 45K 
[ ]zf_lang1__t112_zf_lang12025-09-12 06:37 45K 
[ ]zf_lang1__t113_zf_lang12025-09-12 06:38 45K 
[ ]zf_lang1__t114_zf_lang12025-09-12 06:39 45K 
[ ]zf_lang1__t115_zf_lang12025-09-12 04:33 45K 
[ ]zf_lang1__t116_zf_lang12025-09-12 06:40 46K 
[ ]zf_lang1__t117_zf_lang12025-09-12 06:42 46K 
[ ]zf_lang1__t118_zf_lang12025-09-12 06:43 45K 
[ ]zf_lang1__t119_zf_lang12025-09-12 06:44 45K 
[ ]zf_lang1__t120_zf_lang12025-09-12 06:46 45K 
[ ]zf_lang1__t121_zf_lang12025-09-12 06:47 44K 
[ ]zf_lang1__t122_zf_lang12025-09-12 06:48 47K 
[ ]zf_lang1__t123_zf_lang12025-09-12 06:49 47K 
[ ]zf_lang1__t124_zf_lang12025-09-12 06:51 47K 
[ ]zf_lang1__t125_zf_lang12025-09-12 06:52 47K 
[ ]zf_lang1__t126_zf_lang12025-09-12 06:53 54K 
[ ]zf_lang1__t127_zf_lang12025-09-12 06:55 55K 
[ ]zf_lang1__t128_zf_lang12025-09-12 06:56 54K 
[ ]zf_lang1__t129_zf_lang12025-09-12 06:58 54K 
[ ]zf_lang1__t130_zf_lang12025-09-12 06:59 58K 
[ ]zf_lang1__t131_zf_lang12025-09-12 07:01 55K 
[ ]zf_lang1__t132_zf_lang12025-09-12 07:02 54K 
[ ]zf_lang1__t133_zf_lang12025-09-12 07:04 55K 
[ ]zf_lang1__t134_zf_lang12025-09-12 07:04 27K 
[ ]zf_lang1__t135_zf_lang12025-09-12 07:05 24K 
[ ]zf_lang1__t136_zf_lang12025-09-12 07:06 29K 
[ ]zf_lang1__t137_zf_lang12025-09-12 07:07 37K 
[ ]zf_lang1__t138_zf_lang12025-09-12 07:09 58K 
[ ]zf_lang1__t139_zf_lang12025-09-12 07:10 58K 
[ ]zf_lang1__t140_zf_lang12025-09-12 07:11 47K 
[ ]zf_lang1__t141_zf_lang12025-09-12 07:12 48K 
[ ]zf_lang1__t142_zf_lang12025-09-12 07:14 57K 
[ ]zf_lang1__t143_zf_lang12025-09-12 07:15 45K 
[ ]zf_lang1__t144_zf_lang12025-09-12 07:16 45K 
[ ]zf_lang1__t145_zf_lang12025-09-12 07:17 46K 
[ ]zf_lang1__t146_zf_lang12025-09-12 07:19 55K 
[ ]zf_lang1__t147_zf_lang12025-09-12 07:20 55K 
[ ]zf_lang1__t148_zf_lang12025-09-12 07:21 57K 
[ ]zf_lang1__t149_zf_lang12025-09-12 07:23 58K 
[ ]zf_lang1__t150_zf_lang12025-09-12 07:24 59K 
[ ]zf_lang1__t151_zf_lang12025-09-12 07:26 64K 
[ ]zf_lang1__t152_zf_lang12025-09-12 07:27 57K 
[ ]zf_lang1__t153_zf_lang12025-09-12 07:29 46K 
[ ]zf_lang1__t154_zf_lang12025-09-12 07:30 57K 
[ ]zf_lang1__t155_zf_lang12025-09-12 07:31 45K 
[ ]zf_lang1__t156_zf_lang12025-09-12 07:33 305K 
[ ]zf_lang1__t157_zf_lang12025-09-12 07:34 55K 
[ ]zf_lang1__t158_zf_lang12025-09-12 07:36 42K 
[ ]zf_lang1__t159_zf_lang12025-09-12 07:37 46K 
[ ]zf_lang1__t160_zf_lang12025-09-12 07:38 46K 
[ ]zf_lang1__t161_zf_lang12025-09-12 07:39 45K 
[ ]zf_lang1__t162_zf_lang12025-09-12 07:41 45K 
[ ]zf_lang1__t163_zf_lang12025-09-12 07:42 46K 
[ ]zf_lang1__t164_zf_lang12025-09-12 07:43 47K 
[ ]zf_lang1__t165_zf_lang12025-09-12 07:45 47K 
[ ]zf_lang1__t166_zf_lang12025-09-12 07:46 54K 
[ ]zf_lang1__t167_zf_lang12025-09-12 07:47 54K 
[ ]zf_lang1__t168_zf_lang12025-09-12 07:49 51K 
[ ]zf_lang1__t169_zf_lang12025-09-12 07:50 51K 
[ ]zf_lang1__t170_zf_lang12025-09-12 07:51 55K 
[ ]zf_lang1__t171_zf_lang12025-09-12 07:52 42K 
[ ]zf_lang1__t172_zf_lang12025-09-12 07:54 42K 
[ ]zf_lang1__t173_zf_lang12025-09-12 07:55 48K 
[ ]zf_lang1__t174_zf_lang12025-09-12 07:56 46K 
[ ]zf_lang1__t175_zf_lang12025-09-12 07:58 46K 
[ ]zf_lang1__t176_zf_lang12025-09-12 07:59 45K 
[ ]zf_lang1__t177_zf_lang12025-09-12 08:01 52K 
[ ]zf_lang1__t178_zf_lang12025-09-12 08:02 45K 
[ ]zf_lang1__t179_zf_lang12025-09-12 08:04 45K 
[ ]zf_lang1__t180_zf_lang12025-09-12 08:05 46K 
[ ]zf_lang1__t181_zf_lang12025-09-12 08:07 49K 
[ ]zf_lang1__t182_zf_lang12025-09-12 08:08 43K 
[ ]zf_lang1__t183_zf_lang12025-09-12 08:10 33K 
[ ]zf_lang1__t184_zf_lang12025-09-12 08:11 42K 
[ ]zf_lang1__t185_zf_lang12025-09-12 08:13 42K 
[ ]zf_lang1__t186_zf_lang12025-09-12 08:14 40K 
[ ]zf_lang1__t187_zf_lang12025-09-12 08:16 47K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80