Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/xreal_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xreal_1__l1_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__l2_xreal_12013-09-04 12:38 8.0K 
[ ]xreal_1__l3_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__l4_xreal_12013-09-04 12:38 4.2K 
[ ]xreal_1__l5_xreal_12013-09-04 12:38 33K 
[ ]xreal_1__l6_xreal_12013-09-04 12:38 1.8K 
[ ]xreal_1__l7_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__l8_xreal_12013-09-04 12:38 18K 
[ ]xreal_1__l9_xreal_12013-09-04 12:38 9.8K 
[ ]xreal_1__l13_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__l15_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__l16_xreal_12013-09-04 12:38 6.6K 
[ ]xreal_1__l17_xreal_12013-09-04 12:38 20K 
[ ]xreal_1__l18_xreal_12013-09-04 12:38 16K 
[ ]xreal_1__l23_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__l24_xreal_12013-09-04 12:38 9.1K 
[ ]xreal_1__l27_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__l28_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__l29_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__l30_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__l36_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__l46_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__l48_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__l54_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__l65_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__l66_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__l67_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__l68_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__l91_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__l101_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__l102_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__l108_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__l117_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__l118_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__l122_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__l128_xreal_12013-09-04 12:38 7.9K 
[ ]xreal_1__l204_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__l206_xreal_12013-09-04 12:38 9.9K 
[ ]xreal_1__l207_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t1_xreal_12013-09-04 12:38 10K 
[ ]xreal_1__t2_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t3_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t4_xreal_12013-09-04 12:38 25K 
[ ]xreal_1__t5_xreal_12013-09-04 12:38 115K 
[ ]xreal_1__t6_xreal_12013-09-04 12:38 1.7K 
[ ]xreal_1__t7_xreal_12013-09-04 12:38 1.7K 
[ ]xreal_1__t8_xreal_12013-09-04 12:38 1.7K 
[ ]xreal_1__t9_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t10_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t11_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t12_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t13_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t14_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t15_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t16_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t17_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t18_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t19_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t20_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t21_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t22_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t23_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t24_xreal_12013-09-04 12:38 9.2K 
[ ]xreal_1__t25_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t26_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t27_xreal_12013-09-04 12:38 25K 
[ ]xreal_1__t28_xreal_12013-09-04 12:38 25K 
[ ]xreal_1__t29_xreal_12013-09-04 12:38 9.4K 
[ ]xreal_1__t30_xreal_12013-09-04 12:38 9.4K 
[ ]xreal_1__t31_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t32_xreal_12013-09-04 12:38 9.8K 
[ ]xreal_1__t33_xreal_12013-09-04 12:38 9.3K 
[ ]xreal_1__t34_xreal_12013-09-04 12:38 9.3K 
[ ]xreal_1__t35_xreal_12013-09-04 12:38 9.8K 
[ ]xreal_1__t36_xreal_12013-09-04 12:38 9.8K 
[ ]xreal_1__t37_xreal_12013-09-04 12:38 9.8K 
[ ]xreal_1__t38_xreal_12013-09-04 12:38 9.8K 
[ ]xreal_1__t39_xreal_12013-09-04 12:38 9.8K 
[ ]xreal_1__t40_xreal_12013-09-04 12:38 9.8K 
[ ]xreal_1__t41_xreal_12013-09-04 12:38 30K 
[ ]xreal_1__t42_xreal_12013-09-04 12:38 30K 
[ ]xreal_1__t43_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t44_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t45_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__t46_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t47_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t48_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t49_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t50_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t51_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__t52_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__t53_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__t54_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__t55_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t56_xreal_12013-09-04 12:38 30K 
[ ]xreal_1__t57_xreal_12013-09-04 12:38 30K 
[ ]xreal_1__t58_xreal_12013-09-04 12:38 9.1K 
[ ]xreal_1__t59_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t60_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t61_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t62_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t63_xreal_12013-09-04 12:38 9.5K 
[ ]xreal_1__t64_xreal_12013-09-04 12:38 10K 
[ ]xreal_1__t65_xreal_12013-09-04 12:38 10K 
[ ]xreal_1__t66_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t67_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t68_xreal_12013-09-04 12:38 9.8K 
[ ]xreal_1__t69_xreal_12013-09-04 12:38 9.8K 
[ ]xreal_1__t70_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t71_xreal_12013-09-04 12:38 30K 
[ ]xreal_1__t72_xreal_12013-09-04 12:38 9.3K 
[ ]xreal_1__t73_xreal_12013-09-04 12:38 9.4K 
[ ]xreal_1__t74_xreal_12013-09-04 12:38 9.1K 
[ ]xreal_1__t75_xreal_12013-09-04 12:38 9.1K 
[ ]xreal_1__t76_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t77_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t78_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t79_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t80_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t81_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t82_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t83_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t84_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t85_xreal_12013-09-04 12:38 9.1K 
[ ]xreal_1__t86_xreal_12013-09-04 12:38 9.1K 
[ ]xreal_1__t87_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t88_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t89_xreal_12013-09-04 12:38 9.1K 
[ ]xreal_1__t90_xreal_12013-09-04 12:38 9.1K 
[ ]xreal_1__t91_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t92_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t93_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t94_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t95_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t96_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t97_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t98_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t99_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t100_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t101_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t102_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t103_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t104_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t105_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t106_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t107_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t108_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t109_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t110_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t111_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t112_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t113_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t114_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t115_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t116_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t117_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t118_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t119_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t120_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t121_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t122_xreal_12013-09-04 12:38 8.7K 
[ ]xreal_1__t123_xreal_12013-09-04 12:38 8.7K 
[ ]xreal_1__t124_xreal_12013-09-04 12:38 8.7K 
[ ]xreal_1__t125_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t126_xreal_12013-09-04 12:38 9.7K 
[ ]xreal_1__t127_xreal_12013-09-04 12:38 9.6K 
[ ]xreal_1__t128_xreal_12013-09-04 12:38 9.6K 
[ ]xreal_1__t129_xreal_12013-09-04 12:38 9.6K 
[ ]xreal_1__t130_xreal_12013-09-04 12:38 9.6K 
[ ]xreal_1__t131_xreal_12013-09-04 12:38 9.6K 
[ ]xreal_1__t132_xreal_12013-09-04 12:38 9.6K 
[ ]xreal_1__t133_xreal_12013-09-04 12:38 9.7K 
[ ]xreal_1__t134_xreal_12013-09-04 12:38 9.7K 
[ ]xreal_1__t135_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t136_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t137_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t138_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t139_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t140_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t141_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t142_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t143_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t144_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t145_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__t146_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t147_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__t148_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t149_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t150_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t151_xreal_12013-09-04 12:38 10K 
[ ]xreal_1__t152_xreal_12013-09-04 12:38 10K 
[ ]xreal_1__t153_xreal_12013-09-04 12:38 10K 
[ ]xreal_1__t154_xreal_12013-09-04 12:38 10K 
[ ]xreal_1__t155_xreal_12013-09-04 12:38 10K 
[ ]xreal_1__t156_xreal_12013-09-04 12:38 10K 
[ ]xreal_1__t157_xreal_12013-09-04 12:38 10K 
[ ]xreal_1__t158_xreal_12013-09-04 12:38 10K 
[ ]xreal_1__t159_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t160_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t161_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t162_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t163_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t164_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t165_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t166_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t167_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__t168_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t169_xreal_12013-09-04 12:38 95K 
[ ]xreal_1__t170_xreal_12013-09-04 12:38 30K 
[ ]xreal_1__t171_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t172_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t173_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t174_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t175_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t176_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t177_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t178_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t179_xreal_12013-09-04 12:38 21K 
[ ]xreal_1__t180_xreal_12013-09-04 12:38 21K 
[ ]xreal_1__t181_xreal_12013-09-04 12:38 9.9K 
[ ]xreal_1__t182_xreal_12013-09-04 12:38 9.9K 
[ ]xreal_1__t183_xreal_12013-09-04 12:38 9.8K 
[ ]xreal_1__t184_xreal_12013-09-04 12:38 9.9K 
[ ]xreal_1__t185_xreal_12013-09-04 12:38 9.8K 
[ ]xreal_1__t186_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t187_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t188_xreal_12013-09-04 12:38 9.6K 
[ ]xreal_1__t189_xreal_12013-09-04 12:38 9.6K 
[ ]xreal_1__t190_xreal_12013-09-04 12:38 9.6K 
[ ]xreal_1__t191_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t192_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t193_xreal_12013-09-04 12:38 27K 
[ ]xreal_1__t194_xreal_12013-09-04 12:38 27K 
[ ]xreal_1__t195_xreal_12013-09-04 12:38 27K 
[ ]xreal_1__t196_xreal_12013-09-04 12:38 27K 
[ ]xreal_1__t197_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t198_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t199_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t200_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t201_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t202_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t203_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t204_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t205_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t206_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t207_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t208_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t209_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t210_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t211_xreal_12013-09-04 12:38 11K 
[ ]xreal_1__t212_xreal_12013-09-04 12:38 8.9K 
[ ]xreal_1__t213_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t214_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t215_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t216_xreal_12013-09-04 12:38 14K 
[ ]xreal_1__t217_xreal_12013-09-04 12:38 30K 
[ ]xreal_1__t218_xreal_12013-09-04 12:38 30K 
[ ]xreal_1__t219_xreal_12013-09-04 12:38 30K 
[ ]xreal_1__t220_xreal_12013-09-04 12:38 30K 
[ ]xreal_1__t221_xreal_12013-09-04 12:38 25K 
[ ]xreal_1__t222_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t223_xreal_12013-09-04 12:38 36K 
[ ]xreal_1__t224_xreal_12013-09-04 12:38 13K 
[ ]xreal_1__t225_xreal_12013-09-04 12:38 7.7K 
[ ]xreal_1__t226_xreal_12013-09-04 12:38 17K 
[ ]xreal_1__t227_xreal_12013-09-04 12:38 9.6K 
[ ]xreal_1__t228_xreal_12013-09-04 12:38 1.1K 
[ ]xreal_1__t229_xreal_12013-09-04 12:38 1.1K 
[ ]xreal_1__t230_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__t231_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__t232_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__t233_xreal_12013-09-04 12:38 12K 
[ ]xreal_1__t234_xreal_12013-09-04 12:38 18K 
[ ]xreal_1__t235_xreal_12013-09-04 12:38 25K 
[ ]xreal_1__t236_xreal_12013-09-04 12:38 15K 
[ ]xreal_1__t237_xreal_12013-09-04 12:38 21K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80