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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]zf_lang1__l160_zf_lang12017-01-13 00:36 319K 
[ ]zf_lang1__l161_zf_lang12017-01-13 00:36 487K 
[ ]zf_lang1__s1_zf_lang12017-01-13 00:35 69K 
[ ]zf_lang1__t1_zf_lang12017-01-13 00:35 67K 
[ ]zf_lang1__t2_zf_lang12017-01-13 00:35 67K 
[ ]zf_lang1__t3_zf_lang12017-01-13 00:35 63K 
[ ]zf_lang1__t4_zf_lang12017-01-13 00:35 64K 
[ ]zf_lang1__t5_zf_lang12017-01-13 00:35 65K 
[ ]zf_lang1__t6_zf_lang12017-01-13 00:35 65K 
[ ]zf_lang1__t7_zf_lang12017-01-13 00:35 65K 
[ ]zf_lang1__t8_zf_lang12017-01-13 00:35 67K 
[ ]zf_lang1__t9_zf_lang12017-01-13 00:35 68K 
[ ]zf_lang1__t10_zf_lang12017-01-13 00:35 49K 
[ ]zf_lang1__t11_zf_lang12017-01-13 00:35 68K 
[ ]zf_lang1__t12_zf_lang12017-01-13 00:35 69K 
[ ]zf_lang1__t13_zf_lang12017-01-13 00:35 56K 
[ ]zf_lang1__t14_zf_lang12017-01-13 00:35 56K 
[ ]zf_lang1__t15_zf_lang12017-01-13 00:35 58K 
[ ]zf_lang1__t16_zf_lang12017-01-13 00:35 58K 
[ ]zf_lang1__t17_zf_lang12017-01-13 00:35 58K 
[ ]zf_lang1__t18_zf_lang12017-01-13 00:35 58K 
[ ]zf_lang1__t19_zf_lang12017-01-13 00:35 60K 
[ ]zf_lang1__t20_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t21_zf_lang12017-01-13 00:35 69K 
[ ]zf_lang1__t22_zf_lang12017-01-13 00:35 70K 
[ ]zf_lang1__t23_zf_lang12017-01-13 00:35 51K 
[ ]zf_lang1__t24_zf_lang12017-01-13 00:35 51K 
[ ]zf_lang1__t25_zf_lang12017-01-13 00:35 52K 
[ ]zf_lang1__t26_zf_lang12017-01-13 00:35 52K 
[ ]zf_lang1__t27_zf_lang12017-01-13 00:35 53K 
[ ]zf_lang1__t28_zf_lang12017-01-13 00:35 53K 
[ ]zf_lang1__t29_zf_lang12017-01-13 00:35 58K 
[ ]zf_lang1__t30_zf_lang12017-01-13 00:35 52K 
[ ]zf_lang1__t31_zf_lang12017-01-13 00:35 49K 
[ ]zf_lang1__t32_zf_lang12017-01-13 00:35 51K 
[ ]zf_lang1__t33_zf_lang12017-01-13 00:35 56K 
[ ]zf_lang1__t34_zf_lang12017-01-13 00:35 72K 
[ ]zf_lang1__t35_zf_lang12017-01-13 00:35 66K 
[ ]zf_lang1__t36_zf_lang12017-01-13 00:35 72K 
[ ]zf_lang1__t37_zf_lang12017-01-13 00:35 68K 
[ ]zf_lang1__t38_zf_lang12017-01-13 00:35 41K 
[ ]zf_lang1__t39_zf_lang12017-01-13 00:35 37K 
[ ]zf_lang1__t40_zf_lang12017-01-13 00:35 40K 
[ ]zf_lang1__t41_zf_lang12017-01-13 00:35 34K 
[ ]zf_lang1__t42_zf_lang12017-01-13 00:35 35K 
[ ]zf_lang1__t43_zf_lang12017-01-13 00:35 34K 
[ ]zf_lang1__t44_zf_lang12017-01-13 00:35 35K 
[ ]zf_lang1__t45_zf_lang12017-01-13 00:35 35K 
[ ]zf_lang1__t46_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t47_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t48_zf_lang12017-01-13 00:35 60K 
[ ]zf_lang1__t49_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t50_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t51_zf_lang12017-01-13 00:35 62K 
[ ]zf_lang1__t52_zf_lang12017-01-13 00:35 34K 
[ ]zf_lang1__t53_zf_lang12017-01-13 00:35 34K 
[ ]zf_lang1__t54_zf_lang12017-01-13 00:35 34K 
[ ]zf_lang1__t55_zf_lang12017-01-13 00:35 55K 
[ ]zf_lang1__t56_zf_lang12017-01-13 00:35 55K 
[ ]zf_lang1__t57_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t58_zf_lang12017-01-13 00:35 77K 
[ ]zf_lang1__t59_zf_lang12017-01-13 00:35 77K 
[ ]zf_lang1__t60_zf_lang12017-01-13 00:35 74K 
[ ]zf_lang1__t61_zf_lang12017-01-13 00:35 74K 
[ ]zf_lang1__t62_zf_lang12017-01-13 00:35 77K 
[ ]zf_lang1__t63_zf_lang12017-01-13 00:35 58K 
[ ]zf_lang1__t64_zf_lang12017-01-13 00:35 58K 
[ ]zf_lang1__t65_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t66_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t67_zf_lang12017-01-13 00:35 62K 
[ ]zf_lang1__t68_zf_lang12017-01-13 00:35 65K 
[ ]zf_lang1__t69_zf_lang12017-01-13 00:35 64K 
[ ]zf_lang1__t70_zf_lang12017-01-13 00:35 67K 
[ ]zf_lang1__t71_zf_lang12017-01-13 00:35 65K 
[ ]zf_lang1__t72_zf_lang12017-01-13 00:35 62K 
[ ]zf_lang1__t73_zf_lang12017-01-13 00:35 67K 
[ ]zf_lang1__t74_zf_lang12017-01-13 00:35 64K 
[ ]zf_lang1__t75_zf_lang12017-01-13 00:35 84K 
[ ]zf_lang1__t76_zf_lang12017-01-13 00:35 39K 
[ ]zf_lang1__t77_zf_lang12017-01-13 00:35 47K 
[ ]zf_lang1__t78_zf_lang12017-01-13 00:35 58K 
[ ]zf_lang1__t79_zf_lang12017-01-13 00:35 56K 
[ ]zf_lang1__t80_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t81_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t82_zf_lang12017-01-13 00:35 63K 
[ ]zf_lang1__t83_zf_lang12017-01-13 00:35 66K 
[ ]zf_lang1__t84_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t85_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t86_zf_lang12017-01-13 00:35 51K 
[ ]zf_lang1__t87_zf_lang12017-01-13 00:35 52K 
[ ]zf_lang1__t88_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t89_zf_lang12017-01-13 00:35 55K 
[ ]zf_lang1__t90_zf_lang12017-01-13 00:35 55K 
[ ]zf_lang1__t91_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t92_zf_lang12017-01-13 00:35 61K 
[ ]zf_lang1__t93_zf_lang12017-01-13 00:35 60K 
[ ]zf_lang1__t94_zf_lang12017-01-13 00:35 62K 
[ ]zf_lang1__t95_zf_lang12017-01-13 00:35 55K 
[ ]zf_lang1__t96_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t97_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t98_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t99_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t100_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t101_zf_lang12017-01-13 00:35 55K 
[ ]zf_lang1__t102_zf_lang12017-01-13 00:35 56K 
[ ]zf_lang1__t103_zf_lang12017-01-13 00:35 55K 
[ ]zf_lang1__t104_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t105_zf_lang12017-01-13 00:35 55K 
[ ]zf_lang1__t106_zf_lang12017-01-13 00:35 55K 
[ ]zf_lang1__t107_zf_lang12017-01-13 00:35 56K 
[ ]zf_lang1__t108_zf_lang12017-01-13 00:35 56K 
[ ]zf_lang1__t109_zf_lang12017-01-13 00:35 56K 
[ ]zf_lang1__t110_zf_lang12017-01-13 00:35 56K 
[ ]zf_lang1__t111_zf_lang12017-01-13 00:35 56K 
[ ]zf_lang1__t112_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t113_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t114_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t115_zf_lang12017-01-13 00:35 55K 
[ ]zf_lang1__t116_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t117_zf_lang12017-01-13 00:35 58K 
[ ]zf_lang1__t118_zf_lang12017-01-13 00:35 56K 
[ ]zf_lang1__t119_zf_lang12017-01-13 00:35 56K 
[ ]zf_lang1__t120_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t121_zf_lang12017-01-13 00:35 55K 
[ ]zf_lang1__t122_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t123_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t124_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t125_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t126_zf_lang12017-01-13 00:35 67K 
[ ]zf_lang1__t127_zf_lang12017-01-13 00:35 68K 
[ ]zf_lang1__t128_zf_lang12017-01-13 00:35 67K 
[ ]zf_lang1__t129_zf_lang12017-01-13 00:35 67K 
[ ]zf_lang1__t130_zf_lang12017-01-13 00:35 72K 
[ ]zf_lang1__t131_zf_lang12017-01-13 00:35 68K 
[ ]zf_lang1__t132_zf_lang12017-01-13 00:35 67K 
[ ]zf_lang1__t133_zf_lang12017-01-13 00:35 68K 
[ ]zf_lang1__t134_zf_lang12017-01-13 00:35 33K 
[ ]zf_lang1__t135_zf_lang12017-01-13 00:35 28K 
[ ]zf_lang1__t136_zf_lang12017-01-13 00:35 33K 
[ ]zf_lang1__t137_zf_lang12017-01-13 00:35 45K 
[ ]zf_lang1__t138_zf_lang12017-01-13 00:35 69K 
[ ]zf_lang1__t139_zf_lang12017-01-13 00:35 69K 
[ ]zf_lang1__t140_zf_lang12017-01-13 00:35 59K 
[ ]zf_lang1__t141_zf_lang12017-01-13 00:35 60K 
[ ]zf_lang1__t142_zf_lang12017-01-13 00:35 68K 
[ ]zf_lang1__t143_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t144_zf_lang12017-01-13 00:35 57K 
[ ]zf_lang1__t145_zf_lang12017-01-13 00:35 58K 
[ ]zf_lang1__t146_zf_lang12017-01-13 00:35 66K 
[ ]zf_lang1__t147_zf_lang12017-01-13 00:35 66K 
[ ]zf_lang1__t148_zf_lang12017-01-13 00:35 68K 
[ ]zf_lang1__t149_zf_lang12017-01-13 00:35 69K 
[ ]zf_lang1__t150_zf_lang12017-01-13 00:35 71K 
[ ]zf_lang1__t151_zf_lang12017-01-13 00:35 78K 
[ ]zf_lang1__t152_zf_lang12017-01-13 00:36 78K 
[ ]zf_lang1__t153_zf_lang12017-01-13 00:36 56K 
[ ]zf_lang1__t154_zf_lang12017-01-13 00:36 78K 
[ ]zf_lang1__t155_zf_lang12017-01-13 00:36 56K 
[ ]zf_lang1__t156_zf_lang12017-01-13 00:36 266K 
[ ]zf_lang1__t157_zf_lang12017-01-13 00:36 68K 
[ ]zf_lang1__t158_zf_lang12017-01-13 00:36 53K 
[ ]zf_lang1__t159_zf_lang12017-01-13 00:36 57K 
[ ]zf_lang1__t160_zf_lang12017-01-13 00:36 57K 
[ ]zf_lang1__t161_zf_lang12017-01-13 00:36 57K 
[ ]zf_lang1__t162_zf_lang12017-01-13 00:36 57K 
[ ]zf_lang1__t163_zf_lang12017-01-13 00:36 58K 
[ ]zf_lang1__t164_zf_lang12017-01-13 00:36 59K 
[ ]zf_lang1__t165_zf_lang12017-01-13 00:36 59K 
[ ]zf_lang1__t166_zf_lang12017-01-13 00:36 76K 
[ ]zf_lang1__t167_zf_lang12017-01-13 00:36 76K 
[ ]zf_lang1__t168_zf_lang12017-01-13 00:36 73K 
[ ]zf_lang1__t169_zf_lang12017-01-13 00:36 73K 
[ ]zf_lang1__t170_zf_lang12017-01-13 00:36 77K 
[ ]zf_lang1__t171_zf_lang12017-01-13 00:36 52K 
[ ]zf_lang1__t172_zf_lang12017-01-13 00:36 53K 
[ ]zf_lang1__t173_zf_lang12017-01-13 00:36 60K 
[ ]zf_lang1__t174_zf_lang12017-01-13 00:36 76K 
[ ]zf_lang1__t175_zf_lang12017-01-13 00:36 76K 
[ ]zf_lang1__t176_zf_lang12017-01-13 00:36 67K 
[ ]zf_lang1__t177_zf_lang12017-01-13 00:36 83K 
[ ]zf_lang1__t178_zf_lang12017-01-13 00:36 57K 
[ ]zf_lang1__t179_zf_lang12017-01-13 00:36 57K 
[ ]zf_lang1__t180_zf_lang12017-01-13 00:36 58K 
[ ]zf_lang1__t181_zf_lang12017-01-13 00:36 61K 
[ ]zf_lang1__t182_zf_lang12017-01-13 00:36 53K 
[ ]zf_lang1__t183_zf_lang12017-01-13 00:36 42K 
[ ]zf_lang1__t184_zf_lang12017-01-13 00:36 52K 
[ ]zf_lang1__t185_zf_lang12017-01-13 00:36 52K 
[ ]zf_lang1__t186_zf_lang12017-01-13 00:36 49K 
[ ]zf_lang1__t187_zf_lang12017-01-13 00:36 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80