Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small_thf.orig2021/xreal_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xreal_1__l1_xreal_12021-07-18 16:24 27K 
[ ]xreal_1__l2_xreal_12021-07-18 16:24 15K 
[ ]xreal_1__l3_xreal_12021-07-18 16:24 36K 
[ ]xreal_1__l4_xreal_12021-07-18 15:51 9.8K 
[ ]xreal_1__l5_xreal_12021-07-18 16:25 56K 
[ ]xreal_1__l6_xreal_12021-07-18 16:25 3.3K 
[ ]xreal_1__l7_xreal_12021-07-18 16:25 20K 
[ ]xreal_1__l8_xreal_12021-07-18 16:25 30K 
[ ]xreal_1__l9_xreal_12021-07-18 16:25 16K 
[ ]xreal_1__l13_xreal_12021-07-18 16:25 19K 
[ ]xreal_1__l15_xreal_12021-07-18 16:26 33K 
[ ]xreal_1__l16_xreal_12021-07-18 16:26 37K 
[ ]xreal_1__l17_xreal_12021-07-18 16:26 30K 
[ ]xreal_1__l22_xreal_12021-07-18 16:26 24K 
[ ]xreal_1__l23_xreal_12021-07-18 16:27 15K 
[ ]xreal_1__l26_xreal_12021-07-18 16:27 23K 
[ ]xreal_1__l27_xreal_12021-07-18 16:27 23K 
[ ]xreal_1__l28_xreal_12021-07-18 16:27 23K 
[ ]xreal_1__l29_xreal_12021-07-18 16:27 20K 
[ ]xreal_1__l35_xreal_12021-07-18 16:28 20K 
[ ]xreal_1__l45_xreal_12021-07-18 16:28 21K 
[ ]xreal_1__l47_xreal_12021-07-18 16:28 24K 
[ ]xreal_1__l53_xreal_12021-07-18 16:28 24K 
[ ]xreal_1__l64_xreal_12021-07-18 16:28 19K 
[ ]xreal_1__l67_xreal_12021-07-18 16:29 28K 
[ ]xreal_1__l90_xreal_12021-07-18 16:29 20K 
[ ]xreal_1__l100_xreal_12021-07-18 16:29 18K 
[ ]xreal_1__l107_xreal_12021-07-18 16:29 33K 
[ ]xreal_1__l116_xreal_12021-07-18 16:29 29K 
[ ]xreal_1__l117_xreal_12021-07-18 16:30 29K 
[ ]xreal_1__l121_xreal_12021-07-18 16:30 33K 
[ ]xreal_1__l127_xreal_12021-07-18 15:51 14K 
[ ]xreal_1__l203_xreal_12021-07-18 16:30 29K 
[ ]xreal_1__l205_xreal_12021-07-18 16:30 16K 
[ ]xreal_1__t1_xreal_12021-07-18 15:51 17K 
[ ]xreal_1__t2_xreal_12021-07-18 15:51 24K 
[ ]xreal_1__t3_xreal_12021-07-18 15:52 24K 
[ ]xreal_1__t4_xreal_12021-07-18 15:52 44K 
[ ]xreal_1__t5_xreal_12021-07-18 15:52 227K 
[ ]xreal_1__t6_xreal_12021-07-18 15:42 3.2K 
[ ]xreal_1__t7_xreal_12021-07-18 15:42 3.1K 
[ ]xreal_1__t8_xreal_12021-07-18 15:42 3.1K 
[ ]xreal_1__t9_xreal_12021-07-18 15:52 23K 
[ ]xreal_1__t10_xreal_12021-07-18 15:52 18K 
[ ]xreal_1__t11_xreal_12021-07-18 15:53 20K 
[ ]xreal_1__t12_xreal_12021-07-18 15:53 20K 
[ ]xreal_1__t13_xreal_12021-07-18 15:53 20K 
[ ]xreal_1__t14_xreal_12021-07-18 15:53 20K 
[ ]xreal_1__t15_xreal_12021-07-18 15:53 17K 
[ ]xreal_1__t16_xreal_12021-07-18 15:54 20K 
[ ]xreal_1__t17_xreal_12021-07-18 15:54 20K 
[ ]xreal_1__t18_xreal_12021-07-18 15:54 20K 
[ ]xreal_1__t19_xreal_12021-07-18 15:42 20K 
[ ]xreal_1__t20_xreal_12021-07-18 15:42 20K 
[ ]xreal_1__t21_xreal_12021-07-18 15:54 20K 
[ ]xreal_1__t22_xreal_12021-07-18 15:54 20K 
[ ]xreal_1__t23_xreal_12021-07-18 15:54 20K 
[ ]xreal_1__t24_xreal_12021-07-18 15:43 15K 
[ ]xreal_1__t25_xreal_12021-07-18 15:55 24K 
[ ]xreal_1__t26_xreal_12021-07-18 15:55 24K 
[ ]xreal_1__t27_xreal_12021-07-18 15:43 44K 
[ ]xreal_1__t28_xreal_12021-07-18 15:43 44K 
[ ]xreal_1__t29_xreal_12021-07-18 15:43 16K 
[ ]xreal_1__t30_xreal_12021-07-18 15:55 16K 
[ ]xreal_1__t31_xreal_12021-07-18 15:55 24K 
[ ]xreal_1__t32_xreal_12021-07-18 15:55 16K 
[ ]xreal_1__t33_xreal_12021-07-18 15:43 15K 
[ ]xreal_1__t34_xreal_12021-07-18 15:44 15K 
[ ]xreal_1__t35_xreal_12021-07-18 15:56 16K 
[ ]xreal_1__t36_xreal_12021-07-18 15:56 16K 
[ ]xreal_1__t37_xreal_12021-07-18 15:56 16K 
[ ]xreal_1__t38_xreal_12021-07-18 15:56 16K 
[ ]xreal_1__t39_xreal_12021-07-18 15:56 16K 
[ ]xreal_1__t40_xreal_12021-07-18 15:57 16K 
[ ]xreal_1__t41_xreal_12021-07-18 15:57 52K 
[ ]xreal_1__t42_xreal_12021-07-18 15:57 52K 
[ ]xreal_1__t43_xreal_12021-07-18 15:57 20K 
[ ]xreal_1__t44_xreal_12021-07-18 15:57 21K 
[ ]xreal_1__t45_xreal_12021-07-18 15:58 24K 
[ ]xreal_1__t46_xreal_12021-07-18 15:58 21K 
[ ]xreal_1__t47_xreal_12021-07-18 15:58 24K 
[ ]xreal_1__t48_xreal_12021-07-18 15:58 24K 
[ ]xreal_1__t49_xreal_12021-07-18 15:44 20K 
[ ]xreal_1__t50_xreal_12021-07-18 15:44 18K 
[ ]xreal_1__t51_xreal_12021-07-18 15:58 24K 
[ ]xreal_1__t52_xreal_12021-07-18 15:59 24K 
[ ]xreal_1__t53_xreal_12021-07-18 15:59 24K 
[ ]xreal_1__t54_xreal_12021-07-18 15:59 24K 
[ ]xreal_1__t55_xreal_12021-07-18 15:59 21K 
[ ]xreal_1__t56_xreal_12021-07-18 15:59 52K 
[ ]xreal_1__t57_xreal_12021-07-18 16:00 52K 
[ ]xreal_1__t58_xreal_12021-07-18 15:44 15K 
[ ]xreal_1__t59_xreal_12021-07-18 16:00 20K 
[ ]xreal_1__t60_xreal_12021-07-18 16:00 20K 
[ ]xreal_1__t61_xreal_12021-07-18 16:00 20K 
[ ]xreal_1__t62_xreal_12021-07-18 16:00 20K 
[ ]xreal_1__t63_xreal_12021-07-18 16:00 16K 
[ ]xreal_1__t64_xreal_12021-07-18 15:44 17K 
[ ]xreal_1__t65_xreal_12021-07-18 15:44 17K 
[ ]xreal_1__t66_xreal_12021-07-18 16:01 18K 
[ ]xreal_1__t67_xreal_12021-07-18 16:01 20K 
[ ]xreal_1__t68_xreal_12021-07-18 15:45 16K 
[ ]xreal_1__t69_xreal_12021-07-18 15:45 16K 
[ ]xreal_1__t70_xreal_12021-07-18 16:01 18K 
[ ]xreal_1__t71_xreal_12021-07-18 15:45 52K 
[ ]xreal_1__t72_xreal_12021-07-18 15:45 15K 
[ ]xreal_1__t73_xreal_12021-07-18 15:45 15K 
[ ]xreal_1__t74_xreal_12021-07-18 15:45 15K 
[ ]xreal_1__t75_xreal_12021-07-18 15:46 15K 
[ ]xreal_1__t77_xreal_12021-07-18 16:01 20K 
[ ]xreal_1__t78_xreal_12021-07-18 16:01 20K 
[ ]xreal_1__t79_xreal_12021-07-18 16:02 20K 
[ ]xreal_1__t80_xreal_12021-07-18 16:02 20K 
[ ]xreal_1__t81_xreal_12021-07-18 16:02 19K 
[ ]xreal_1__t82_xreal_12021-07-18 16:02 19K 
[ ]xreal_1__t83_xreal_12021-07-18 16:02 19K 
[ ]xreal_1__t84_xreal_12021-07-18 16:03 19K 
[ ]xreal_1__t85_xreal_12021-07-18 15:46 15K 
[ ]xreal_1__t86_xreal_12021-07-18 15:46 15K 
[ ]xreal_1__t87_xreal_12021-07-18 15:46 15K 
[ ]xreal_1__t88_xreal_12021-07-18 15:46 15K 
[ ]xreal_1__t89_xreal_12021-07-18 16:03 15K 
[ ]xreal_1__t90_xreal_12021-07-18 16:03 15K 
[ ]xreal_1__t91_xreal_12021-07-18 16:03 15K 
[ ]xreal_1__t92_xreal_12021-07-18 16:03 15K 
[ ]xreal_1__t93_xreal_12021-07-18 16:04 28K 
[ ]xreal_1__t94_xreal_12021-07-18 16:04 28K 
[ ]xreal_1__t95_xreal_12021-07-18 16:04 28K 
[ ]xreal_1__t96_xreal_12021-07-18 16:04 18K 
[ ]xreal_1__t97_xreal_12021-07-18 16:04 18K 
[ ]xreal_1__t98_xreal_12021-07-18 16:04 18K 
[ ]xreal_1__t102_xreal_12021-07-18 16:05 20K 
[ ]xreal_1__t103_xreal_12021-07-18 16:05 20K 
[ ]xreal_1__t104_xreal_12021-07-18 16:05 20K 
[ ]xreal_1__t105_xreal_12021-07-18 16:05 20K 
[ ]xreal_1__t106_xreal_12021-07-18 16:05 20K 
[ ]xreal_1__t107_xreal_12021-07-18 16:06 19K 
[ ]xreal_1__t108_xreal_12021-07-18 16:06 20K 
[ ]xreal_1__t109_xreal_12021-07-18 16:06 20K 
[ ]xreal_1__t110_xreal_12021-07-18 16:06 19K 
[ ]xreal_1__t111_xreal_12021-07-18 16:06 20K 
[ ]xreal_1__t112_xreal_12021-07-18 16:07 20K 
[ ]xreal_1__t113_xreal_12021-07-18 16:07 20K 
[ ]xreal_1__t114_xreal_12021-07-18 16:07 20K 
[ ]xreal_1__t115_xreal_12021-07-18 16:07 20K 
[ ]xreal_1__t116_xreal_12021-07-18 16:07 19K 
[ ]xreal_1__t117_xreal_12021-07-18 16:08 20K 
[ ]xreal_1__t122_xreal_12021-07-18 15:46 15K 
[ ]xreal_1__t123_xreal_12021-07-18 15:47 15K 
[ ]xreal_1__t124_xreal_12021-07-18 16:08 15K 
[ ]xreal_1__t125_xreal_12021-07-18 16:08 15K 
[ ]xreal_1__t126_xreal_12021-07-18 15:47 16K 
[ ]xreal_1__t127_xreal_12021-07-18 15:47 16K 
[ ]xreal_1__t128_xreal_12021-07-18 15:47 16K 
[ ]xreal_1__t129_xreal_12021-07-18 15:47 16K 
[ ]xreal_1__t130_xreal_12021-07-18 15:47 16K 
[ ]xreal_1__t131_xreal_12021-07-18 15:48 16K 
[ ]xreal_1__t132_xreal_12021-07-18 15:48 16K 
[ ]xreal_1__t133_xreal_12021-07-18 16:08 16K 
[ ]xreal_1__t134_xreal_12021-07-18 16:08 16K 
[ ]xreal_1__t135_xreal_12021-07-18 15:48 15K 
[ ]xreal_1__t136_xreal_12021-07-18 15:48 15K 
[ ]xreal_1__t137_xreal_12021-07-18 15:48 15K 
[ ]xreal_1__t138_xreal_12021-07-18 15:48 15K 
[ ]xreal_1__t139_xreal_12021-07-18 15:49 15K 
[ ]xreal_1__t140_xreal_12021-07-18 15:49 15K 
[ ]xreal_1__t141_xreal_12021-07-18 15:49 15K 
[ ]xreal_1__t142_xreal_12021-07-18 15:49 15K 
[ ]xreal_1__t145_xreal_12021-07-18 16:09 24K 
[ ]xreal_1__t146_xreal_12021-07-18 16:09 24K 
[ ]xreal_1__t147_xreal_12021-07-18 16:09 24K 
[ ]xreal_1__t148_xreal_12021-07-18 16:09 20K 
[ ]xreal_1__t149_xreal_12021-07-18 15:49 20K 
[ ]xreal_1__t150_xreal_12021-07-18 16:09 33K 
[ ]xreal_1__t151_xreal_12021-07-18 16:09 17K 
[ ]xreal_1__t152_xreal_12021-07-18 16:10 17K 
[ ]xreal_1__t153_xreal_12021-07-18 16:10 17K 
[ ]xreal_1__t154_xreal_12021-07-18 16:10 17K 
[ ]xreal_1__t155_xreal_12021-07-18 16:10 17K 
[ ]xreal_1__t156_xreal_12021-07-18 16:10 17K 
[ ]xreal_1__t157_xreal_12021-07-18 16:11 17K 
[ ]xreal_1__t158_xreal_12021-07-18 16:11 17K 
[ ]xreal_1__t159_xreal_12021-07-18 16:11 17K 
[ ]xreal_1__t160_xreal_12021-07-18 16:11 17K 
[ ]xreal_1__t161_xreal_12021-07-18 16:11 17K 
[ ]xreal_1__t162_xreal_12021-07-18 16:11 17K 
[ ]xreal_1__t163_xreal_12021-07-18 16:12 20K 
[ ]xreal_1__t164_xreal_12021-07-18 16:12 20K 
[ ]xreal_1__t165_xreal_12021-07-18 16:12 20K 
[ ]xreal_1__t166_xreal_12021-07-18 16:12 20K 
[ ]xreal_1__t167_xreal_12021-07-18 16:12 25K 
[ ]xreal_1__t169_xreal_12021-07-18 16:13 187K 
[ ]xreal_1__t170_xreal_12021-07-18 16:13 52K 
[ ]xreal_1__t171_xreal_12021-07-18 16:13 28K 
[ ]xreal_1__t172_xreal_12021-07-18 16:13 28K 
[ ]xreal_1__t173_xreal_12021-07-18 16:13 28K 
[ ]xreal_1__t174_xreal_12021-07-18 16:14 28K 
[ ]xreal_1__t175_xreal_12021-07-18 16:14 28K 
[ ]xreal_1__t176_xreal_12021-07-18 16:14 28K 
[ ]xreal_1__t177_xreal_12021-07-18 16:14 28K 
[ ]xreal_1__t178_xreal_12021-07-18 16:15 28K 
[ ]xreal_1__t179_xreal_12021-07-18 16:15 36K 
[ ]xreal_1__t180_xreal_12021-07-18 16:15 36K 
[ ]xreal_1__t181_xreal_12021-07-18 16:15 16K 
[ ]xreal_1__t182_xreal_12021-07-18 16:15 16K 
[ ]xreal_1__t183_xreal_12021-07-18 15:49 16K 
[ ]xreal_1__t184_xreal_12021-07-18 16:16 16K 
[ ]xreal_1__t185_xreal_12021-07-18 15:50 16K 
[ ]xreal_1__t187_xreal_12021-07-18 16:16 20K 
[ ]xreal_1__t188_xreal_12021-07-18 16:16 16K 
[ ]xreal_1__t189_xreal_12021-07-18 16:16 16K 
[ ]xreal_1__t190_xreal_12021-07-18 16:16 16K 
[ ]xreal_1__t191_xreal_12021-07-18 16:16 20K 
[ ]xreal_1__t192_xreal_12021-07-18 16:17 20K 
[ ]xreal_1__t197_xreal_12021-07-18 16:17 23K 
[ ]xreal_1__t198_xreal_12021-07-18 16:17 23K 
[ ]xreal_1__t199_xreal_12021-07-18 16:17 23K 
[ ]xreal_1__t200_xreal_12021-07-18 16:17 23K 
[ ]xreal_1__t201_xreal_12021-07-18 16:18 23K 
[ ]xreal_1__t202_xreal_12021-07-18 16:18 23K 
[ ]xreal_1__t203_xreal_12021-07-18 16:18 23K 
[ ]xreal_1__t204_xreal_12021-07-18 16:18 23K 
[ ]xreal_1__t205_xreal_12021-07-18 16:18 23K 
[ ]xreal_1__t206_xreal_12021-07-18 16:19 23K 
[ ]xreal_1__t207_xreal_12021-07-18 16:19 23K 
[ ]xreal_1__t208_xreal_12021-07-18 16:19 23K 
[ ]xreal_1__t209_xreal_12021-07-18 16:19 23K 
[ ]xreal_1__t210_xreal_12021-07-18 16:19 23K 
[ ]xreal_1__t211_xreal_12021-07-18 16:20 18K 
[ ]xreal_1__t212_xreal_12021-07-18 15:50 14K 
[ ]xreal_1__t213_xreal_12021-07-18 16:20 21K 
[ ]xreal_1__t214_xreal_12021-07-18 16:20 21K 
[ ]xreal_1__t215_xreal_12021-07-18 15:50 21K 
[ ]xreal_1__t216_xreal_12021-07-18 15:50 23K 
[ ]xreal_1__t217_xreal_12021-07-18 16:20 52K 
[ ]xreal_1__t218_xreal_12021-07-18 16:20 52K 
[ ]xreal_1__t219_xreal_12021-07-18 16:21 52K 
[ ]xreal_1__t220_xreal_12021-07-18 16:21 52K 
[ ]xreal_1__t221_xreal_12021-07-18 16:21 46K 
[ ]xreal_1__t222_xreal_12021-07-18 15:50 21K 
[ ]xreal_1__t223_xreal_12021-07-18 16:21 69K 
[ ]xreal_1__t224_xreal_12021-07-18 15:50 21K 
[ ]xreal_1__t225_xreal_12021-07-18 16:21 13K 
[ ]xreal_1__t226_xreal_12021-07-18 16:22 28K 
[ ]xreal_1__t227_xreal_12021-07-18 16:22 16K 
[ ]xreal_1__t228_xreal_12021-07-18 16:22 1.7K 
[ ]xreal_1__t229_xreal_12021-07-18 16:22 1.7K 
[ ]xreal_1__t230_xreal_12021-07-18 16:22 24K 
[ ]xreal_1__t231_xreal_12021-07-18 16:22 24K 
[ ]xreal_1__t232_xreal_12021-07-18 16:23 24K 
[ ]xreal_1__t233_xreal_12021-07-18 15:51 21K 
[ ]xreal_1__t234_xreal_12021-07-18 16:23 31K 
[ ]xreal_1__t235_xreal_12021-07-18 16:23 43K 
[ ]xreal_1__t236_xreal_12021-07-18 16:23 25K 
[ ]xreal_1__t237_xreal_12021-07-18 16:23 36K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80