Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/zf_lang1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]zf_lang1__l160_zf_lang12019-08-26 11:17 743K 
[ ]zf_lang1__l161_zf_lang12019-08-26 11:17 1.0M 
[ ]zf_lang1__s1_zf_lang12019-08-26 11:07 118K 
[ ]zf_lang1__t1_zf_lang12019-08-26 11:05 76K 
[ ]zf_lang1__t2_zf_lang12019-08-26 11:05 76K 
[ ]zf_lang1__t3_zf_lang12019-08-26 11:05 63K 
[ ]zf_lang1__t4_zf_lang12019-08-26 11:05 69K 
[ ]zf_lang1__t5_zf_lang12019-08-26 11:05 70K 
[ ]zf_lang1__t6_zf_lang12019-08-26 11:05 70K 
[ ]zf_lang1__t7_zf_lang12019-08-26 11:05 70K 
[ ]zf_lang1__t8_zf_lang12019-08-26 11:05 76K 
[ ]zf_lang1__t9_zf_lang12019-08-26 11:05 76K 
[ ]zf_lang1__t10_zf_lang12019-08-26 11:05 42K 
[ ]zf_lang1__t11_zf_lang12019-08-26 11:05 64K 
[ ]zf_lang1__t12_zf_lang12019-08-26 11:05 64K 
[ ]zf_lang1__t13_zf_lang12019-08-26 11:05 53K 
[ ]zf_lang1__t14_zf_lang12019-08-26 11:05 75K 
[ ]zf_lang1__t15_zf_lang12019-08-26 11:05 88K 
[ ]zf_lang1__t16_zf_lang12019-08-26 11:05 82K 
[ ]zf_lang1__t17_zf_lang12019-08-26 11:05 77K 
[ ]zf_lang1__t18_zf_lang12019-08-26 11:05 54K 
[ ]zf_lang1__t19_zf_lang12019-08-26 11:05 90K 
[ ]zf_lang1__t20_zf_lang12019-08-26 11:05 83K 
[ ]zf_lang1__t21_zf_lang12019-08-26 11:05 65K 
[ ]zf_lang1__t22_zf_lang12019-08-26 11:05 66K 
[ ]zf_lang1__t23_zf_lang12019-08-26 11:05 54K 
[ ]zf_lang1__t24_zf_lang12019-08-26 11:05 54K 
[ ]zf_lang1__t25_zf_lang12019-08-26 11:05 52K 
[ ]zf_lang1__t26_zf_lang12019-08-26 11:05 55K 
[ ]zf_lang1__t27_zf_lang12019-08-26 11:05 54K 
[ ]zf_lang1__t28_zf_lang12019-08-26 11:05 54K 
[ ]zf_lang1__t29_zf_lang12019-08-26 11:06 72K 
[ ]zf_lang1__t30_zf_lang12019-08-26 11:06 56K 
[ ]zf_lang1__t31_zf_lang12019-08-26 11:06 42K 
[ ]zf_lang1__t32_zf_lang12019-08-26 11:06 43K 
[ ]zf_lang1__t33_zf_lang12019-08-26 11:06 52K 
[ ]zf_lang1__t34_zf_lang12019-08-26 11:06 89K 
[ ]zf_lang1__t35_zf_lang12019-08-26 11:06 82K 
[ ]zf_lang1__t36_zf_lang12019-08-26 11:06 78K 
[ ]zf_lang1__t37_zf_lang12019-08-26 11:06 89K 
[ ]zf_lang1__t38_zf_lang12019-08-26 11:06 42K 
[ ]zf_lang1__t39_zf_lang12019-08-26 11:06 39K 
[ ]zf_lang1__t40_zf_lang12019-08-26 11:06 80K 
[ ]zf_lang1__t41_zf_lang12019-08-26 11:06 33K 
[ ]zf_lang1__t42_zf_lang12019-08-26 11:06 36K 
[ ]zf_lang1__t43_zf_lang12019-08-26 11:06 36K 
[ ]zf_lang1__t44_zf_lang12019-08-26 11:06 36K 
[ ]zf_lang1__t45_zf_lang12019-08-26 11:06 36K 
[ ]zf_lang1__t46_zf_lang12019-08-26 11:06 61K 
[ ]zf_lang1__t47_zf_lang12019-08-26 11:06 64K 
[ ]zf_lang1__t48_zf_lang12019-08-26 11:06 69K 
[ ]zf_lang1__t49_zf_lang12019-08-26 11:06 80K 
[ ]zf_lang1__t50_zf_lang12019-08-26 11:06 81K 
[ ]zf_lang1__t51_zf_lang12019-08-26 11:06 78K 
[ ]zf_lang1__t52_zf_lang12019-08-26 11:06 29K 
[ ]zf_lang1__t53_zf_lang12019-08-26 11:06 29K 
[ ]zf_lang1__t54_zf_lang12019-08-26 11:06 33K 
[ ]zf_lang1__t55_zf_lang12019-08-26 11:06 80K 
[ ]zf_lang1__t56_zf_lang12019-08-26 11:07 97K 
[ ]zf_lang1__t57_zf_lang12019-08-26 11:07 92K 
[ ]zf_lang1__t58_zf_lang12019-08-26 11:07 86K 
[ ]zf_lang1__t59_zf_lang12019-08-26 11:07 86K 
[ ]zf_lang1__t60_zf_lang12019-08-26 11:07 74K 
[ ]zf_lang1__t61_zf_lang12019-08-26 11:07 80K 
[ ]zf_lang1__t62_zf_lang12019-08-26 11:07 86K 
[ ]zf_lang1__t63_zf_lang12019-08-26 11:07 69K 
[ ]zf_lang1__t64_zf_lang12019-08-26 11:07 66K 
[ ]zf_lang1__t65_zf_lang12019-08-26 11:07 80K 
[ ]zf_lang1__t66_zf_lang12019-08-26 11:07 69K 
[ ]zf_lang1__t67_zf_lang12019-08-26 11:07 77K 
[ ]zf_lang1__t68_zf_lang12019-08-26 11:07 83K 
[ ]zf_lang1__t69_zf_lang12019-08-26 11:07 79K 
[ ]zf_lang1__t70_zf_lang12019-08-26 11:07 85K 
[ ]zf_lang1__t71_zf_lang12019-08-26 11:07 94K 
[ ]zf_lang1__t72_zf_lang12019-08-26 11:08 101K 
[ ]zf_lang1__t73_zf_lang12019-08-26 11:08 105K 
[ ]zf_lang1__t74_zf_lang12019-08-26 11:08 101K 
[ ]zf_lang1__t75_zf_lang12019-08-26 11:08 411K 
[ ]zf_lang1__t76_zf_lang12019-08-26 11:08 45K 
[ ]zf_lang1__t77_zf_lang12019-08-26 11:08 73K 
[ ]zf_lang1__t78_zf_lang12019-08-26 11:08 64K 
[ ]zf_lang1__t79_zf_lang12019-08-26 11:08 60K 
[ ]zf_lang1__t80_zf_lang12019-08-26 11:08 63K 
[ ]zf_lang1__t81_zf_lang12019-08-26 11:08 74K 
[ ]zf_lang1__t82_zf_lang12019-08-26 11:09 111K 
[ ]zf_lang1__t83_zf_lang12019-08-26 11:09 122K 
[ ]zf_lang1__t84_zf_lang12019-08-26 11:09 70K 
[ ]zf_lang1__t85_zf_lang12019-08-26 11:09 69K 
[ ]zf_lang1__t86_zf_lang12019-08-26 11:09 57K 
[ ]zf_lang1__t87_zf_lang12019-08-26 11:09 58K 
[ ]zf_lang1__t88_zf_lang12019-08-26 11:09 69K 
[ ]zf_lang1__t89_zf_lang12019-08-26 11:09 63K 
[ ]zf_lang1__t90_zf_lang12019-08-26 11:09 63K 
[ ]zf_lang1__t91_zf_lang12019-08-26 11:09 64K 
[ ]zf_lang1__t92_zf_lang12019-08-26 11:09 71K 
[ ]zf_lang1__t93_zf_lang12019-08-26 11:09 89K 
[ ]zf_lang1__t94_zf_lang12019-08-26 11:09 70K 
[ ]zf_lang1__t95_zf_lang12019-08-26 11:09 65K 
[ ]zf_lang1__t96_zf_lang12019-08-26 11:09 66K 
[ ]zf_lang1__t97_zf_lang12019-08-26 11:09 70K 
[ ]zf_lang1__t98_zf_lang12019-08-26 11:09 71K 
[ ]zf_lang1__t99_zf_lang12019-08-26 11:09 85K 
[ ]zf_lang1__t100_zf_lang12019-08-26 11:09 85K 
[ ]zf_lang1__t101_zf_lang12019-08-26 11:09 84K 
[ ]zf_lang1__t102_zf_lang12019-08-26 11:09 80K 
[ ]zf_lang1__t103_zf_lang12019-08-26 11:10 69K 
[ ]zf_lang1__t104_zf_lang12019-08-26 11:10 90K 
[ ]zf_lang1__t105_zf_lang12019-08-26 11:10 74K 
[ ]zf_lang1__t106_zf_lang12019-08-26 11:10 100K 
[ ]zf_lang1__t107_zf_lang12019-08-26 11:10 74K 
[ ]zf_lang1__t108_zf_lang12019-08-26 11:10 74K 
[ ]zf_lang1__t109_zf_lang12019-08-26 11:10 79K 
[ ]zf_lang1__t110_zf_lang12019-08-26 11:10 70K 
[ ]zf_lang1__t111_zf_lang12019-08-26 11:10 101K 
[ ]zf_lang1__t112_zf_lang12019-08-26 11:10 75K 
[ ]zf_lang1__t113_zf_lang12019-08-26 11:10 75K 
[ ]zf_lang1__t114_zf_lang12019-08-26 11:10 81K 
[ ]zf_lang1__t115_zf_lang12019-08-26 11:10 50K 
[ ]zf_lang1__t116_zf_lang12019-08-26 11:10 102K 
[ ]zf_lang1__t117_zf_lang12019-08-26 11:10 101K 
[ ]zf_lang1__t118_zf_lang12019-08-26 11:10 86K 
[ ]zf_lang1__t119_zf_lang12019-08-26 11:10 80K 
[ ]zf_lang1__t120_zf_lang12019-08-26 11:10 89K 
[ ]zf_lang1__t121_zf_lang12019-08-26 11:10 65K 
[ ]zf_lang1__t122_zf_lang12019-08-26 11:10 92K 
[ ]zf_lang1__t123_zf_lang12019-08-26 11:11 92K 
[ ]zf_lang1__t124_zf_lang12019-08-26 11:11 99K 
[ ]zf_lang1__t125_zf_lang12019-08-26 11:11 99K 
[ ]zf_lang1__t126_zf_lang12019-08-26 11:11 82K 
[ ]zf_lang1__t127_zf_lang12019-08-26 11:11 83K 
[ ]zf_lang1__t128_zf_lang12019-08-26 11:11 113K 
[ ]zf_lang1__t129_zf_lang12019-08-26 11:11 101K 
[ ]zf_lang1__t130_zf_lang12019-08-26 11:11 123K 
[ ]zf_lang1__t131_zf_lang12019-08-26 11:11 102K 
[ ]zf_lang1__t132_zf_lang12019-08-26 11:11 98K 
[ ]zf_lang1__t133_zf_lang12019-08-26 11:11 98K 
[ ]zf_lang1__t134_zf_lang12019-08-26 11:11 39K 
[ ]zf_lang1__t135_zf_lang12019-08-26 11:11 37K 
[ ]zf_lang1__t136_zf_lang12019-08-26 11:12 51K 
[ ]zf_lang1__t137_zf_lang12019-08-26 11:12 52K 
[ ]zf_lang1__t138_zf_lang12019-08-26 11:12 126K 
[ ]zf_lang1__t139_zf_lang12019-08-26 11:12 126K 
[ ]zf_lang1__t140_zf_lang12019-08-26 11:12 81K 
[ ]zf_lang1__t141_zf_lang12019-08-26 11:12 95K 
[ ]zf_lang1__t142_zf_lang12019-08-26 11:12 147K 
[ ]zf_lang1__t143_zf_lang12019-08-26 11:12 65K 
[ ]zf_lang1__t144_zf_lang12019-08-26 11:12 62K 
[ ]zf_lang1__t145_zf_lang12019-08-26 11:12 66K 
[ ]zf_lang1__t146_zf_lang12019-08-26 11:13 80K 
[ ]zf_lang1__t147_zf_lang12019-08-26 11:13 87K 
[ ]zf_lang1__t148_zf_lang12019-08-26 11:13 89K 
[ ]zf_lang1__t149_zf_lang12019-08-26 11:13 98K 
[ ]zf_lang1__t150_zf_lang12019-08-26 11:13 99K 
[ ]zf_lang1__t151_zf_lang12019-08-26 11:13 160K 
[ ]zf_lang1__t152_zf_lang12019-08-26 11:15 328K 
[ ]zf_lang1__t153_zf_lang12019-08-26 11:15 80K 
[ ]zf_lang1__t154_zf_lang12019-08-26 11:16 326K 
[ ]zf_lang1__t155_zf_lang12019-08-26 11:16 79K 
[ ]zf_lang1__t156_zf_lang12019-08-26 11:16 763K 
[ ]zf_lang1__t157_zf_lang12019-08-26 11:17 150K 
[ ]zf_lang1__t158_zf_lang12019-08-26 11:17 76K 
[ ]zf_lang1__t159_zf_lang12019-08-26 11:17 80K 
[ ]zf_lang1__t160_zf_lang12019-08-26 11:17 75K 
[ ]zf_lang1__t161_zf_lang12019-08-26 11:17 76K 
[ ]zf_lang1__t162_zf_lang12019-08-26 11:17 76K 
[ ]zf_lang1__t163_zf_lang12019-08-26 11:17 77K 
[ ]zf_lang1__t164_zf_lang12019-08-26 11:17 76K 
[ ]zf_lang1__t165_zf_lang12019-08-26 11:17 70K 
[ ]zf_lang1__t166_zf_lang12019-08-26 11:18 109K 
[ ]zf_lang1__t167_zf_lang12019-08-26 11:18 108K 
[ ]zf_lang1__t168_zf_lang12019-08-26 11:18 102K 
[ ]zf_lang1__t169_zf_lang12019-08-26 11:18 104K 
[ ]zf_lang1__t170_zf_lang12019-08-26 11:18 115K 
[ ]zf_lang1__t171_zf_lang12019-08-26 11:18 63K 
[ ]zf_lang1__t172_zf_lang12019-08-26 11:18 66K 
[ ]zf_lang1__t173_zf_lang12019-08-26 11:18 88K 
[ ]zf_lang1__t174_zf_lang12019-08-26 11:19 159K 
[ ]zf_lang1__t175_zf_lang12019-08-26 11:20 143K 
[ ]zf_lang1__t176_zf_lang12019-08-26 11:20 76K 
[ ]zf_lang1__t177_zf_lang12019-08-26 11:21 162K 
[ ]zf_lang1__t178_zf_lang12019-08-26 11:21 72K 
[ ]zf_lang1__t179_zf_lang12019-08-26 11:21 72K 
[ ]zf_lang1__t180_zf_lang12019-08-26 11:21 68K 
[ ]zf_lang1__t181_zf_lang12019-08-26 11:22 90K 
[ ]zf_lang1__t182_zf_lang12019-08-26 11:22 75K 
[ ]zf_lang1__t183_zf_lang12019-08-26 11:22 52K 
[ ]zf_lang1__t184_zf_lang12019-08-26 11:22 68K 
[ ]zf_lang1__t185_zf_lang12019-08-26 11:22 74K 
[ ]zf_lang1__t186_zf_lang12019-08-26 11:23 63K 
[ ]zf_lang1__t187_zf_lang12019-08-26 11:23 100K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80