Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_gdfthf/xreal_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xreal_1__l1_xreal_12019-08-28 12:23 45K 
[ ]xreal_1__l2_xreal_12019-08-28 12:23 30K 
[ ]xreal_1__l3_xreal_12019-08-28 12:23 65K 
[ ]xreal_1__l4_xreal_12019-08-28 12:23 10K 
[ ]xreal_1__l5_xreal_12019-08-28 12:24 392K 
[ ]xreal_1__l6_xreal_12019-08-28 12:24 15K 
[ ]xreal_1__l7_xreal_12019-08-28 12:24 35K 
[ ]xreal_1__l8_xreal_12019-08-28 12:24 73K 
[ ]xreal_1__l9_xreal_12019-08-28 12:24 28K 
[ ]xreal_1__l13_xreal_12019-08-28 12:24 37K 
[ ]xreal_1__l15_xreal_12019-08-28 12:25 70K 
[ ]xreal_1__l16_xreal_12019-08-28 12:25 16K 
[ ]xreal_1__l17_xreal_12019-08-28 12:25 128K 
[ ]xreal_1__l18_xreal_12019-08-28 12:25 56K 
[ ]xreal_1__l23_xreal_12019-08-28 12:25 44K 
[ ]xreal_1__l24_xreal_12019-08-28 12:25 27K 
[ ]xreal_1__l27_xreal_12019-08-28 12:25 42K 
[ ]xreal_1__l28_xreal_12019-08-28 12:25 42K 
[ ]xreal_1__l29_xreal_12019-08-28 12:25 42K 
[ ]xreal_1__l30_xreal_12019-08-28 12:25 38K 
[ ]xreal_1__l36_xreal_12019-08-28 12:25 42K 
[ ]xreal_1__l46_xreal_12019-08-28 12:26 34K 
[ ]xreal_1__l48_xreal_12019-08-28 12:26 41K 
[ ]xreal_1__l54_xreal_12019-08-28 12:26 42K 
[ ]xreal_1__l65_xreal_12019-08-28 12:26 38K 
[ ]xreal_1__l66_xreal_12019-08-28 12:26 61K 
[ ]xreal_1__l67_xreal_12019-08-28 12:26 42K 
[ ]xreal_1__l68_xreal_12019-08-28 12:26 46K 
[ ]xreal_1__l91_xreal_12019-08-28 12:27 40K 
[ ]xreal_1__l101_xreal_12019-08-28 12:27 39K 
[ ]xreal_1__l102_xreal_12019-08-28 12:27 49K 
[ ]xreal_1__l108_xreal_12019-08-28 12:27 48K 
[ ]xreal_1__l117_xreal_12019-08-28 12:28 41K 
[ ]xreal_1__l118_xreal_12019-08-28 12:28 41K 
[ ]xreal_1__l122_xreal_12019-08-28 12:28 48K 
[ ]xreal_1__l128_xreal_12019-08-28 12:28 18K 
[ ]xreal_1__l204_xreal_12019-08-28 12:30 31K 
[ ]xreal_1__l206_xreal_12019-08-28 12:30 35K 
[ ]xreal_1__l207_xreal_12019-08-28 12:30 48K 
[ ]xreal_1__t1_xreal_12019-08-28 12:24 28K 
[ ]xreal_1__t2_xreal_12019-08-28 12:24 39K 
[ ]xreal_1__t3_xreal_12019-08-28 12:24 54K 
[ ]xreal_1__t4_xreal_12019-08-28 12:24 101K 
[ ]xreal_1__t5_xreal_12019-08-28 12:25 398K 
[ ]xreal_1__t6_xreal_12019-08-28 12:25 3.8K 
[ ]xreal_1__t7_xreal_12019-08-28 12:25 3.6K 
[ ]xreal_1__t8_xreal_12019-08-28 12:25 3.6K 
[ ]xreal_1__t9_xreal_12019-08-28 12:25 45K 
[ ]xreal_1__t10_xreal_12019-08-28 12:25 43K 
[ ]xreal_1__t11_xreal_12019-08-28 12:25 36K 
[ ]xreal_1__t12_xreal_12019-08-28 12:25 36K 
[ ]xreal_1__t13_xreal_12019-08-28 12:25 41K 
[ ]xreal_1__t14_xreal_12019-08-28 12:25 41K 
[ ]xreal_1__t15_xreal_12019-08-28 12:25 38K 
[ ]xreal_1__t16_xreal_12019-08-28 12:25 44K 
[ ]xreal_1__t17_xreal_12019-08-28 12:26 44K 
[ ]xreal_1__t18_xreal_12019-08-28 12:26 44K 
[ ]xreal_1__t19_xreal_12019-08-28 12:26 28K 
[ ]xreal_1__t20_xreal_12019-08-28 12:26 28K 
[ ]xreal_1__t21_xreal_12019-08-28 12:26 46K 
[ ]xreal_1__t22_xreal_12019-08-28 12:26 49K 
[ ]xreal_1__t23_xreal_12019-08-28 12:26 49K 
[ ]xreal_1__t24_xreal_12019-08-28 12:26 21K 
[ ]xreal_1__t25_xreal_12019-08-28 12:26 43K 
[ ]xreal_1__t26_xreal_12019-08-28 12:26 44K 
[ ]xreal_1__t27_xreal_12019-08-28 12:26 68K 
[ ]xreal_1__t28_xreal_12019-08-28 12:26 68K 
[ ]xreal_1__t29_xreal_12019-08-28 12:26 21K 
[ ]xreal_1__t30_xreal_12019-08-28 12:26 27K 
[ ]xreal_1__t31_xreal_12019-08-28 12:26 50K 
[ ]xreal_1__t32_xreal_12019-08-28 12:26 28K 
[ ]xreal_1__t33_xreal_12019-08-28 12:26 21K 
[ ]xreal_1__t34_xreal_12019-08-28 12:26 21K 
[ ]xreal_1__t35_xreal_12019-08-28 12:26 30K 
[ ]xreal_1__t36_xreal_12019-08-28 12:26 31K 
[ ]xreal_1__t37_xreal_12019-08-28 12:26 31K 
[ ]xreal_1__t38_xreal_12019-08-28 12:26 30K 
[ ]xreal_1__t39_xreal_12019-08-28 12:26 31K 
[ ]xreal_1__t40_xreal_12019-08-28 12:26 31K 
[ ]xreal_1__t41_xreal_12019-08-28 12:26 97K 
[ ]xreal_1__t42_xreal_12019-08-28 12:26 118K 
[ ]xreal_1__t43_xreal_12019-08-28 12:26 34K 
[ ]xreal_1__t44_xreal_12019-08-28 12:26 34K 
[ ]xreal_1__t45_xreal_12019-08-28 12:27 35K 
[ ]xreal_1__t46_xreal_12019-08-28 12:27 34K 
[ ]xreal_1__t47_xreal_12019-08-28 12:27 41K 
[ ]xreal_1__t48_xreal_12019-08-28 12:27 41K 
[ ]xreal_1__t49_xreal_12019-08-28 12:27 28K 
[ ]xreal_1__t50_xreal_12019-08-28 12:27 24K 
[ ]xreal_1__t51_xreal_12019-08-28 12:27 43K 
[ ]xreal_1__t52_xreal_12019-08-28 12:27 38K 
[ ]xreal_1__t53_xreal_12019-08-28 12:27 38K 
[ ]xreal_1__t54_xreal_12019-08-28 12:27 38K 
[ ]xreal_1__t55_xreal_12019-08-28 12:27 42K 
[ ]xreal_1__t56_xreal_12019-08-28 12:27 112K 
[ ]xreal_1__t57_xreal_12019-08-28 12:27 105K 
[ ]xreal_1__t58_xreal_12019-08-28 12:27 21K 
[ ]xreal_1__t59_xreal_12019-08-28 12:27 35K 
[ ]xreal_1__t60_xreal_12019-08-28 12:27 35K 
[ ]xreal_1__t61_xreal_12019-08-28 12:27 36K 
[ ]xreal_1__t62_xreal_12019-08-28 12:27 36K 
[ ]xreal_1__t63_xreal_12019-08-28 12:27 28K 
[ ]xreal_1__t64_xreal_12019-08-28 12:27 24K 
[ ]xreal_1__t65_xreal_12019-08-28 12:27 24K 
[ ]xreal_1__t66_xreal_12019-08-28 12:27 40K 
[ ]xreal_1__t67_xreal_12019-08-28 12:27 46K 
[ ]xreal_1__t68_xreal_12019-08-28 12:27 22K 
[ ]xreal_1__t69_xreal_12019-08-28 12:27 22K 
[ ]xreal_1__t70_xreal_12019-08-28 12:27 41K 
[ ]xreal_1__t71_xreal_12019-08-28 12:27 81K 
[ ]xreal_1__t72_xreal_12019-08-28 12:27 21K 
[ ]xreal_1__t73_xreal_12019-08-28 12:27 21K 
[ ]xreal_1__t74_xreal_12019-08-28 12:27 20K 
[ ]xreal_1__t75_xreal_12019-08-28 12:27 20K 
[ ]xreal_1__t76_xreal_12019-08-28 12:27 54K 
[ ]xreal_1__t77_xreal_12019-08-28 12:28 37K 
[ ]xreal_1__t78_xreal_12019-08-28 12:28 37K 
[ ]xreal_1__t79_xreal_12019-08-28 12:28 37K 
[ ]xreal_1__t80_xreal_12019-08-28 12:28 37K 
[ ]xreal_1__t81_xreal_12019-08-28 12:28 35K 
[ ]xreal_1__t82_xreal_12019-08-28 12:28 35K 
[ ]xreal_1__t83_xreal_12019-08-28 12:28 35K 
[ ]xreal_1__t84_xreal_12019-08-28 12:28 35K 
[ ]xreal_1__t85_xreal_12019-08-28 12:28 20K 
[ ]xreal_1__t86_xreal_12019-08-28 12:28 20K 
[ ]xreal_1__t87_xreal_12019-08-28 12:28 20K 
[ ]xreal_1__t88_xreal_12019-08-28 12:28 20K 
[ ]xreal_1__t89_xreal_12019-08-28 12:28 26K 
[ ]xreal_1__t90_xreal_12019-08-28 12:28 26K 
[ ]xreal_1__t91_xreal_12019-08-28 12:28 25K 
[ ]xreal_1__t92_xreal_12019-08-28 12:28 25K 
[ ]xreal_1__t93_xreal_12019-08-28 12:28 58K 
[ ]xreal_1__t94_xreal_12019-08-28 12:28 56K 
[ ]xreal_1__t95_xreal_12019-08-28 12:28 54K 
[ ]xreal_1__t96_xreal_12019-08-28 12:28 41K 
[ ]xreal_1__t97_xreal_12019-08-28 12:28 41K 
[ ]xreal_1__t98_xreal_12019-08-28 12:28 41K 
[ ]xreal_1__t99_xreal_12019-08-28 12:28 43K 
[ ]xreal_1__t100_xreal_12019-08-28 12:28 43K 
[ ]xreal_1__t101_xreal_12019-08-28 12:28 43K 
[ ]xreal_1__t102_xreal_12019-08-28 12:28 44K 
[ ]xreal_1__t103_xreal_12019-08-28 12:28 44K 
[ ]xreal_1__t104_xreal_12019-08-28 12:28 44K 
[ ]xreal_1__t105_xreal_12019-08-28 12:28 44K 
[ ]xreal_1__t106_xreal_12019-08-28 12:28 45K 
[ ]xreal_1__t107_xreal_12019-08-28 12:29 42K 
[ ]xreal_1__t108_xreal_12019-08-28 12:29 45K 
[ ]xreal_1__t109_xreal_12019-08-28 12:29 45K 
[ ]xreal_1__t110_xreal_12019-08-28 12:29 43K 
[ ]xreal_1__t111_xreal_12019-08-28 12:29 45K 
[ ]xreal_1__t112_xreal_12019-08-28 12:29 45K 
[ ]xreal_1__t113_xreal_12019-08-28 12:29 45K 
[ ]xreal_1__t114_xreal_12019-08-28 12:29 45K 
[ ]xreal_1__t115_xreal_12019-08-28 12:29 45K 
[ ]xreal_1__t116_xreal_12019-08-28 12:29 43K 
[ ]xreal_1__t117_xreal_12019-08-28 12:29 45K 
[ ]xreal_1__t118_xreal_12019-08-28 12:29 54K 
[ ]xreal_1__t119_xreal_12019-08-28 12:29 45K 
[ ]xreal_1__t120_xreal_12019-08-28 12:29 46K 
[ ]xreal_1__t121_xreal_12019-08-28 12:29 45K 
[ ]xreal_1__t122_xreal_12019-08-28 12:29 19K 
[ ]xreal_1__t123_xreal_12019-08-28 12:29 19K 
[ ]xreal_1__t124_xreal_12019-08-28 12:29 26K 
[ ]xreal_1__t125_xreal_12019-08-28 12:29 25K 
[ ]xreal_1__t126_xreal_12019-08-28 12:29 22K 
[ ]xreal_1__t127_xreal_12019-08-28 12:29 21K 
[ ]xreal_1__t128_xreal_12019-08-28 12:29 21K 
[ ]xreal_1__t129_xreal_12019-08-28 12:29 21K 
[ ]xreal_1__t130_xreal_12019-08-28 12:29 21K 
[ ]xreal_1__t131_xreal_12019-08-28 12:29 21K 
[ ]xreal_1__t132_xreal_12019-08-28 12:29 21K 
[ ]xreal_1__t133_xreal_12019-08-28 12:29 31K 
[ ]xreal_1__t134_xreal_12019-08-28 12:29 31K 
[ ]xreal_1__t135_xreal_12019-08-28 12:29 20K 
[ ]xreal_1__t136_xreal_12019-08-28 12:29 20K 
[ ]xreal_1__t137_xreal_12019-08-28 12:29 20K 
[ ]xreal_1__t138_xreal_12019-08-28 12:29 20K 
[ ]xreal_1__t139_xreal_12019-08-28 12:29 20K 
[ ]xreal_1__t140_xreal_12019-08-28 12:29 20K 
[ ]xreal_1__t141_xreal_12019-08-28 12:29 20K 
[ ]xreal_1__t142_xreal_12019-08-28 12:29 20K 
[ ]xreal_1__t143_xreal_12019-08-28 12:29 40K 
[ ]xreal_1__t144_xreal_12019-08-28 12:29 40K 
[ ]xreal_1__t145_xreal_12019-08-28 12:29 49K 
[ ]xreal_1__t146_xreal_12019-08-28 12:29 36K 
[ ]xreal_1__t147_xreal_12019-08-28 12:29 43K 
[ ]xreal_1__t148_xreal_12019-08-28 12:29 34K 
[ ]xreal_1__t149_xreal_12019-08-28 12:29 28K 
[ ]xreal_1__t150_xreal_12019-08-28 12:30 56K 
[ ]xreal_1__t151_xreal_12019-08-28 12:30 30K 
[ ]xreal_1__t152_xreal_12019-08-28 12:30 30K 
[ ]xreal_1__t153_xreal_12019-08-28 12:30 30K 
[ ]xreal_1__t154_xreal_12019-08-28 12:30 30K 
[ ]xreal_1__t155_xreal_12019-08-28 12:30 31K 
[ ]xreal_1__t156_xreal_12019-08-28 12:30 31K 
[ ]xreal_1__t157_xreal_12019-08-28 12:30 31K 
[ ]xreal_1__t158_xreal_12019-08-28 12:30 31K 
[ ]xreal_1__t159_xreal_12019-08-28 12:30 31K 
[ ]xreal_1__t160_xreal_12019-08-28 12:30 31K 
[ ]xreal_1__t161_xreal_12019-08-28 12:30 31K 
[ ]xreal_1__t162_xreal_12019-08-28 12:30 32K 
[ ]xreal_1__t163_xreal_12019-08-28 12:30 37K 
[ ]xreal_1__t164_xreal_12019-08-28 12:30 37K 
[ ]xreal_1__t165_xreal_12019-08-28 12:30 38K 
[ ]xreal_1__t166_xreal_12019-08-28 12:30 38K 
[ ]xreal_1__t167_xreal_12019-08-28 12:30 81K 
[ ]xreal_1__t168_xreal_12019-08-28 12:30 46K 
[ ]xreal_1__t169_xreal_12019-08-28 12:31 407K 
[ ]xreal_1__t170_xreal_12019-08-28 12:31 104K 
[ ]xreal_1__t171_xreal_12019-08-28 12:31 53K 
[ ]xreal_1__t172_xreal_12019-08-28 12:31 56K 
[ ]xreal_1__t173_xreal_12019-08-28 12:31 63K 
[ ]xreal_1__t174_xreal_12019-08-28 12:31 63K 
[ ]xreal_1__t175_xreal_12019-08-28 12:31 78K 
[ ]xreal_1__t176_xreal_12019-08-28 12:31 78K 
[ ]xreal_1__t177_xreal_12019-08-28 12:31 64K 
[ ]xreal_1__t178_xreal_12019-08-28 12:31 64K 
[ ]xreal_1__t179_xreal_12019-08-28 12:31 82K 
[ ]xreal_1__t180_xreal_12019-08-28 12:31 82K 
[ ]xreal_1__t181_xreal_12019-08-28 12:31 29K 
[ ]xreal_1__t182_xreal_12019-08-28 12:31 29K 
[ ]xreal_1__t183_xreal_12019-08-28 12:31 22K 
[ ]xreal_1__t184_xreal_12019-08-28 12:31 35K 
[ ]xreal_1__t185_xreal_12019-08-28 12:31 22K 
[ ]xreal_1__t186_xreal_12019-08-28 12:31 58K 
[ ]xreal_1__t187_xreal_12019-08-28 12:31 35K 
[ ]xreal_1__t188_xreal_12019-08-28 12:31 28K 
[ ]xreal_1__t189_xreal_12019-08-28 12:31 28K 
[ ]xreal_1__t190_xreal_12019-08-28 12:31 28K 
[ ]xreal_1__t191_xreal_12019-08-28 12:31 35K 
[ ]xreal_1__t192_xreal_12019-08-28 12:31 35K 
[ ]xreal_1__t193_xreal_12019-08-28 12:31 90K 
[ ]xreal_1__t194_xreal_12019-08-28 12:32 92K 
[ ]xreal_1__t195_xreal_12019-08-28 12:32 90K 
[ ]xreal_1__t196_xreal_12019-08-28 12:32 92K 
[ ]xreal_1__t197_xreal_12019-08-28 12:32 41K 
[ ]xreal_1__t198_xreal_12019-08-28 12:32 43K 
[ ]xreal_1__t199_xreal_12019-08-28 12:32 41K 
[ ]xreal_1__t200_xreal_12019-08-28 12:32 43K 
[ ]xreal_1__t201_xreal_12019-08-28 12:32 41K 
[ ]xreal_1__t202_xreal_12019-08-28 12:32 43K 
[ ]xreal_1__t203_xreal_12019-08-28 12:32 41K 
[ ]xreal_1__t204_xreal_12019-08-28 12:32 43K 
[ ]xreal_1__t205_xreal_12019-08-28 12:32 41K 
[ ]xreal_1__t206_xreal_12019-08-28 12:32 43K 
[ ]xreal_1__t207_xreal_12019-08-28 12:32 41K 
[ ]xreal_1__t208_xreal_12019-08-28 12:32 43K 
[ ]xreal_1__t209_xreal_12019-08-28 12:32 46K 
[ ]xreal_1__t210_xreal_12019-08-28 12:32 52K 
[ ]xreal_1__t211_xreal_12019-08-28 12:32 28K 
[ ]xreal_1__t212_xreal_12019-08-28 12:32 20K 
[ ]xreal_1__t213_xreal_12019-08-28 12:32 33K 
[ ]xreal_1__t214_xreal_12019-08-28 12:32 33K 
[ ]xreal_1__t215_xreal_12019-08-28 12:32 30K 
[ ]xreal_1__t216_xreal_12019-08-28 12:32 35K 
[ ]xreal_1__t217_xreal_12019-08-28 12:32 71K 
[ ]xreal_1__t218_xreal_12019-08-28 12:32 70K 
[ ]xreal_1__t219_xreal_12019-08-28 12:32 71K 
[ ]xreal_1__t220_xreal_12019-08-28 12:32 70K 
[ ]xreal_1__t221_xreal_12019-08-28 12:32 89K 
[ ]xreal_1__t222_xreal_12019-08-28 12:32 30K 
[ ]xreal_1__t223_xreal_12019-08-28 12:32 138K 
[ ]xreal_1__t224_xreal_12019-08-28 12:32 30K 
[ ]xreal_1__t225_xreal_12019-08-28 12:33 32K 
[ ]xreal_1__t226_xreal_12019-08-28 12:33 57K 
[ ]xreal_1__t227_xreal_12019-08-28 12:33 60K 
[ ]xreal_1__t228_xreal_12019-08-28 12:33 21K 
[ ]xreal_1__t229_xreal_12019-08-28 12:33 21K 
[ ]xreal_1__t230_xreal_12019-08-28 12:33 43K 
[ ]xreal_1__t231_xreal_12019-08-28 12:33 44K 
[ ]xreal_1__t232_xreal_12019-08-28 12:33 39K 
[ ]xreal_1__t233_xreal_12019-08-28 12:33 36K 
[ ]xreal_1__t234_xreal_12019-08-28 12:33 66K 
[ ]xreal_1__t235_xreal_12019-08-28 12:33 62K 
[ ]xreal_1__t236_xreal_12019-08-28 12:33 50K 
[ ]xreal_1__t237_xreal_12019-08-28 12:33 61K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80