Index of /~mptp/mml5.63.1382/MPTP2/problems/xreal_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xreal_1__l1_xreal_12023-06-28 11:11 27K 
[ ]xreal_1__l2_xreal_12023-06-28 11:12 15K 
[ ]xreal_1__l3_xreal_12023-06-28 11:12 36K 
[ ]xreal_1__l4_xreal_12023-06-28 10:31 9.8K 
[ ]xreal_1__l5_xreal_12023-06-28 11:12 57K 
[ ]xreal_1__l6_xreal_12023-06-28 11:13 3.3K 
[ ]xreal_1__l7_xreal_12023-06-28 11:13 20K 
[ ]xreal_1__l8_xreal_12023-06-28 11:13 31K 
[ ]xreal_1__l9_xreal_12023-06-28 11:13 16K 
[ ]xreal_1__l13_xreal_12023-06-28 11:14 20K 
[ ]xreal_1__l15_xreal_12023-06-28 11:14 33K 
[ ]xreal_1__l16_xreal_12023-06-28 11:14 36K 
[ ]xreal_1__l17_xreal_12023-06-28 11:15 30K 
[ ]xreal_1__l22_xreal_12023-06-28 11:15 24K 
[ ]xreal_1__l23_xreal_12023-06-28 11:15 15K 
[ ]xreal_1__l26_xreal_12023-06-28 11:15 23K 
[ ]xreal_1__l27_xreal_12023-06-28 11:16 23K 
[ ]xreal_1__l28_xreal_12023-06-28 11:16 23K 
[ ]xreal_1__l29_xreal_12023-06-28 11:16 20K 
[ ]xreal_1__l35_xreal_12023-06-28 11:16 20K 
[ ]xreal_1__l45_xreal_12023-06-28 11:17 21K 
[ ]xreal_1__l47_xreal_12023-06-28 11:17 24K 
[ ]xreal_1__l53_xreal_12023-06-28 11:17 24K 
[ ]xreal_1__l64_xreal_12023-06-28 11:17 19K 
[ ]xreal_1__l67_xreal_12023-06-28 11:18 28K 
[ ]xreal_1__l90_xreal_12023-06-28 11:18 20K 
[ ]xreal_1__l100_xreal_12023-06-28 11:18 18K 
[ ]xreal_1__l107_xreal_12023-06-28 11:18 33K 
[ ]xreal_1__l116_xreal_12023-06-28 11:19 29K 
[ ]xreal_1__l117_xreal_12023-06-28 11:19 29K 
[ ]xreal_1__l121_xreal_12023-06-28 11:19 33K 
[ ]xreal_1__l127_xreal_12023-06-28 10:32 13K 
[ ]xreal_1__l203_xreal_12023-06-28 11:19 29K 
[ ]xreal_1__l205_xreal_12023-06-28 11:20 16K 
[ ]xreal_1__t1_xreal_12023-06-28 10:32 17K 
[ ]xreal_1__t2_xreal_12023-06-28 10:32 24K 
[ ]xreal_1__t3_xreal_12023-06-28 10:32 24K 
[ ]xreal_1__t4_xreal_12023-06-28 10:33 45K 
[ ]xreal_1__t5_xreal_12023-06-28 10:33 237K 
[ ]xreal_1__t6_xreal_12023-06-28 10:20 3.2K 
[ ]xreal_1__t7_xreal_12023-06-28 10:21 3.1K 
[ ]xreal_1__t8_xreal_12023-06-28 10:21 3.1K 
[ ]xreal_1__t9_xreal_12023-06-28 10:33 23K 
[ ]xreal_1__t10_xreal_12023-06-28 10:33 18K 
[ ]xreal_1__t11_xreal_12023-06-28 10:34 20K 
[ ]xreal_1__t12_xreal_12023-06-28 10:34 20K 
[ ]xreal_1__t13_xreal_12023-06-28 10:34 20K 
[ ]xreal_1__t14_xreal_12023-06-28 10:34 20K 
[ ]xreal_1__t15_xreal_12023-06-28 10:35 17K 
[ ]xreal_1__t16_xreal_12023-06-28 10:35 20K 
[ ]xreal_1__t17_xreal_12023-06-28 10:35 20K 
[ ]xreal_1__t18_xreal_12023-06-28 10:35 20K 
[ ]xreal_1__t19_xreal_12023-06-28 10:21 20K 
[ ]xreal_1__t20_xreal_12023-06-28 10:21 20K 
[ ]xreal_1__t21_xreal_12023-06-28 10:35 20K 
[ ]xreal_1__t22_xreal_12023-06-28 10:36 20K 
[ ]xreal_1__t23_xreal_12023-06-28 10:36 20K 
[ ]xreal_1__t24_xreal_12023-06-28 10:21 15K 
[ ]xreal_1__t25_xreal_12023-06-28 10:36 24K 
[ ]xreal_1__t26_xreal_12023-06-28 10:36 24K 
[ ]xreal_1__t27_xreal_12023-06-28 10:21 45K 
[ ]xreal_1__t28_xreal_12023-06-28 10:22 45K 
[ ]xreal_1__t29_xreal_12023-06-28 10:22 16K 
[ ]xreal_1__t30_xreal_12023-06-28 10:37 16K 
[ ]xreal_1__t31_xreal_12023-06-28 10:37 24K 
[ ]xreal_1__t32_xreal_12023-06-28 10:37 16K 
[ ]xreal_1__t33_xreal_12023-06-28 10:22 15K 
[ ]xreal_1__t34_xreal_12023-06-28 10:22 15K 
[ ]xreal_1__t35_xreal_12023-06-28 10:37 16K 
[ ]xreal_1__t36_xreal_12023-06-28 10:38 16K 
[ ]xreal_1__t37_xreal_12023-06-28 10:38 16K 
[ ]xreal_1__t38_xreal_12023-06-28 10:38 16K 
[ ]xreal_1__t39_xreal_12023-06-28 10:38 16K 
[ ]xreal_1__t40_xreal_12023-06-28 10:38 16K 
[ ]xreal_1__t41_xreal_12023-06-28 10:39 53K 
[ ]xreal_1__t42_xreal_12023-06-28 10:39 53K 
[ ]xreal_1__t43_xreal_12023-06-28 10:39 20K 
[ ]xreal_1__t44_xreal_12023-06-28 10:39 21K 
[ ]xreal_1__t45_xreal_12023-06-28 10:40 24K 
[ ]xreal_1__t46_xreal_12023-06-28 10:40 21K 
[ ]xreal_1__t47_xreal_12023-06-28 10:40 24K 
[ ]xreal_1__t48_xreal_12023-06-28 10:40 24K 
[ ]xreal_1__t49_xreal_12023-06-28 10:23 20K 
[ ]xreal_1__t50_xreal_12023-06-28 10:23 18K 
[ ]xreal_1__t51_xreal_12023-06-28 10:41 24K 
[ ]xreal_1__t52_xreal_12023-06-28 10:41 24K 
[ ]xreal_1__t53_xreal_12023-06-28 10:41 24K 
[ ]xreal_1__t54_xreal_12023-06-28 10:41 24K 
[ ]xreal_1__t55_xreal_12023-06-28 10:42 21K 
[ ]xreal_1__t56_xreal_12023-06-28 10:42 53K 
[ ]xreal_1__t57_xreal_12023-06-28 10:42 53K 
[ ]xreal_1__t58_xreal_12023-06-28 10:23 15K 
[ ]xreal_1__t59_xreal_12023-06-28 10:42 20K 
[ ]xreal_1__t60_xreal_12023-06-28 10:43 20K 
[ ]xreal_1__t61_xreal_12023-06-28 10:43 20K 
[ ]xreal_1__t62_xreal_12023-06-28 10:43 20K 
[ ]xreal_1__t63_xreal_12023-06-28 10:43 16K 
[ ]xreal_1__t64_xreal_12023-06-28 10:23 17K 
[ ]xreal_1__t65_xreal_12023-06-28 10:23 17K 
[ ]xreal_1__t66_xreal_12023-06-28 10:43 18K 
[ ]xreal_1__t67_xreal_12023-06-28 10:44 20K 
[ ]xreal_1__t68_xreal_12023-06-28 10:24 16K 
[ ]xreal_1__t69_xreal_12023-06-28 10:24 16K 
[ ]xreal_1__t70_xreal_12023-06-28 10:44 18K 
[ ]xreal_1__t71_xreal_12023-06-28 10:24 53K 
[ ]xreal_1__t72_xreal_12023-06-28 10:24 15K 
[ ]xreal_1__t73_xreal_12023-06-28 10:24 15K 
[ ]xreal_1__t74_xreal_12023-06-28 10:25 15K 
[ ]xreal_1__t75_xreal_12023-06-28 10:25 15K 
[ ]xreal_1__t77_xreal_12023-06-28 10:44 20K 
[ ]xreal_1__t78_xreal_12023-06-28 10:44 20K 
[ ]xreal_1__t79_xreal_12023-06-28 10:45 20K 
[ ]xreal_1__t80_xreal_12023-06-28 10:45 20K 
[ ]xreal_1__t81_xreal_12023-06-28 10:45 19K 
[ ]xreal_1__t82_xreal_12023-06-28 10:45 19K 
[ ]xreal_1__t83_xreal_12023-06-28 10:46 19K 
[ ]xreal_1__t84_xreal_12023-06-28 10:46 19K 
[ ]xreal_1__t85_xreal_12023-06-28 10:25 15K 
[ ]xreal_1__t86_xreal_12023-06-28 10:25 15K 
[ ]xreal_1__t87_xreal_12023-06-28 10:26 15K 
[ ]xreal_1__t88_xreal_12023-06-28 10:26 15K 
[ ]xreal_1__t89_xreal_12023-06-28 10:46 15K 
[ ]xreal_1__t90_xreal_12023-06-28 10:46 15K 
[ ]xreal_1__t91_xreal_12023-06-28 10:46 15K 
[ ]xreal_1__t92_xreal_12023-06-28 10:47 15K 
[ ]xreal_1__t93_xreal_12023-06-28 10:47 28K 
[ ]xreal_1__t94_xreal_12023-06-28 10:47 28K 
[ ]xreal_1__t95_xreal_12023-06-28 10:47 28K 
[ ]xreal_1__t96_xreal_12023-06-28 10:48 18K 
[ ]xreal_1__t97_xreal_12023-06-28 10:48 18K 
[ ]xreal_1__t98_xreal_12023-06-28 10:48 18K 
[ ]xreal_1__t102_xreal_12023-06-28 10:48 20K 
[ ]xreal_1__t103_xreal_12023-06-28 10:49 20K 
[ ]xreal_1__t104_xreal_12023-06-28 10:49 20K 
[ ]xreal_1__t105_xreal_12023-06-28 10:49 20K 
[ ]xreal_1__t106_xreal_12023-06-28 10:49 20K 
[ ]xreal_1__t107_xreal_12023-06-28 10:49 19K 
[ ]xreal_1__t108_xreal_12023-06-28 10:50 20K 
[ ]xreal_1__t109_xreal_12023-06-28 10:50 20K 
[ ]xreal_1__t110_xreal_12023-06-28 10:50 19K 
[ ]xreal_1__t111_xreal_12023-06-28 10:51 20K 
[ ]xreal_1__t112_xreal_12023-06-28 10:51 20K 
[ ]xreal_1__t113_xreal_12023-06-28 10:51 20K 
[ ]xreal_1__t114_xreal_12023-06-28 10:51 20K 
[ ]xreal_1__t115_xreal_12023-06-28 10:52 20K 
[ ]xreal_1__t116_xreal_12023-06-28 10:52 19K 
[ ]xreal_1__t117_xreal_12023-06-28 10:52 20K 
[ ]xreal_1__t122_xreal_12023-06-28 10:26 14K 
[ ]xreal_1__t123_xreal_12023-06-28 10:26 14K 
[ ]xreal_1__t124_xreal_12023-06-28 10:52 14K 
[ ]xreal_1__t125_xreal_12023-06-28 10:52 15K 
[ ]xreal_1__t126_xreal_12023-06-28 10:26 16K 
[ ]xreal_1__t127_xreal_12023-06-28 10:27 16K 
[ ]xreal_1__t128_xreal_12023-06-28 10:27 16K 
[ ]xreal_1__t129_xreal_12023-06-28 10:27 16K 
[ ]xreal_1__t130_xreal_12023-06-28 10:27 16K 
[ ]xreal_1__t131_xreal_12023-06-28 10:27 16K 
[ ]xreal_1__t132_xreal_12023-06-28 10:28 16K 
[ ]xreal_1__t133_xreal_12023-06-28 10:53 16K 
[ ]xreal_1__t134_xreal_12023-06-28 10:53 16K 
[ ]xreal_1__t135_xreal_12023-06-28 10:28 15K 
[ ]xreal_1__t136_xreal_12023-06-28 10:28 15K 
[ ]xreal_1__t137_xreal_12023-06-28 10:28 15K 
[ ]xreal_1__t138_xreal_12023-06-28 10:29 15K 
[ ]xreal_1__t139_xreal_12023-06-28 10:29 15K 
[ ]xreal_1__t140_xreal_12023-06-28 10:29 15K 
[ ]xreal_1__t141_xreal_12023-06-28 10:29 15K 
[ ]xreal_1__t142_xreal_12023-06-28 10:29 15K 
[ ]xreal_1__t145_xreal_12023-06-28 10:53 25K 
[ ]xreal_1__t146_xreal_12023-06-28 10:53 24K 
[ ]xreal_1__t147_xreal_12023-06-28 10:54 24K 
[ ]xreal_1__t148_xreal_12023-06-28 10:54 20K 
[ ]xreal_1__t149_xreal_12023-06-28 10:30 20K 
[ ]xreal_1__t150_xreal_12023-06-28 10:54 33K 
[ ]xreal_1__t151_xreal_12023-06-28 10:54 17K 
[ ]xreal_1__t152_xreal_12023-06-28 10:54 17K 
[ ]xreal_1__t153_xreal_12023-06-28 10:55 17K 
[ ]xreal_1__t154_xreal_12023-06-28 10:55 17K 
[ ]xreal_1__t155_xreal_12023-06-28 10:55 17K 
[ ]xreal_1__t156_xreal_12023-06-28 10:55 17K 
[ ]xreal_1__t157_xreal_12023-06-28 10:56 17K 
[ ]xreal_1__t158_xreal_12023-06-28 10:56 17K 
[ ]xreal_1__t159_xreal_12023-06-28 10:56 17K 
[ ]xreal_1__t160_xreal_12023-06-28 10:56 17K 
[ ]xreal_1__t161_xreal_12023-06-28 10:56 17K 
[ ]xreal_1__t162_xreal_12023-06-28 10:57 17K 
[ ]xreal_1__t163_xreal_12023-06-28 10:57 20K 
[ ]xreal_1__t164_xreal_12023-06-28 10:57 20K 
[ ]xreal_1__t165_xreal_12023-06-28 10:57 20K 
[ ]xreal_1__t166_xreal_12023-06-28 10:58 20K 
[ ]xreal_1__t167_xreal_12023-06-28 10:58 26K 
[ ]xreal_1__t169_xreal_12023-06-28 10:58 195K 
[ ]xreal_1__t170_xreal_12023-06-28 10:58 53K 
[ ]xreal_1__t171_xreal_12023-06-28 10:59 28K 
[ ]xreal_1__t172_xreal_12023-06-28 10:59 28K 
[ ]xreal_1__t173_xreal_12023-06-28 10:59 28K 
[ ]xreal_1__t174_xreal_12023-06-28 10:59 28K 
[ ]xreal_1__t175_xreal_12023-06-28 11:00 28K 
[ ]xreal_1__t176_xreal_12023-06-28 11:00 28K 
[ ]xreal_1__t177_xreal_12023-06-28 11:00 28K 
[ ]xreal_1__t178_xreal_12023-06-28 11:00 28K 
[ ]xreal_1__t179_xreal_12023-06-28 11:01 37K 
[ ]xreal_1__t180_xreal_12023-06-28 11:01 37K 
[ ]xreal_1__t181_xreal_12023-06-28 11:01 16K 
[ ]xreal_1__t182_xreal_12023-06-28 11:01 16K 
[ ]xreal_1__t183_xreal_12023-06-28 10:30 16K 
[ ]xreal_1__t184_xreal_12023-06-28 11:02 16K 
[ ]xreal_1__t185_xreal_12023-06-28 10:30 16K 
[ ]xreal_1__t187_xreal_12023-06-28 11:02 20K 
[ ]xreal_1__t188_xreal_12023-06-28 11:02 16K 
[ ]xreal_1__t189_xreal_12023-06-28 11:02 16K 
[ ]xreal_1__t190_xreal_12023-06-28 11:02 16K 
[ ]xreal_1__t191_xreal_12023-06-28 11:03 20K 
[ ]xreal_1__t192_xreal_12023-06-28 11:03 20K 
[ ]xreal_1__t197_xreal_12023-06-28 11:03 23K 
[ ]xreal_1__t198_xreal_12023-06-28 11:03 23K 
[ ]xreal_1__t199_xreal_12023-06-28 11:04 23K 
[ ]xreal_1__t200_xreal_12023-06-28 11:04 23K 
[ ]xreal_1__t201_xreal_12023-06-28 11:04 23K 
[ ]xreal_1__t202_xreal_12023-06-28 11:04 23K 
[ ]xreal_1__t203_xreal_12023-06-28 11:05 23K 
[ ]xreal_1__t204_xreal_12023-06-28 11:05 23K 
[ ]xreal_1__t205_xreal_12023-06-28 11:05 23K 
[ ]xreal_1__t206_xreal_12023-06-28 11:05 23K 
[ ]xreal_1__t207_xreal_12023-06-28 11:06 23K 
[ ]xreal_1__t208_xreal_12023-06-28 11:06 23K 
[ ]xreal_1__t209_xreal_12023-06-28 11:06 23K 
[ ]xreal_1__t210_xreal_12023-06-28 11:06 23K 
[ ]xreal_1__t211_xreal_12023-06-28 11:07 18K 
[ ]xreal_1__t212_xreal_12023-06-28 10:30 14K 
[ ]xreal_1__t213_xreal_12023-06-28 11:07 21K 
[ ]xreal_1__t214_xreal_12023-06-28 11:07 21K 
[ ]xreal_1__t215_xreal_12023-06-28 10:30 21K 
[ ]xreal_1__t216_xreal_12023-06-28 10:31 24K 
[ ]xreal_1__t217_xreal_12023-06-28 11:07 53K 
[ ]xreal_1__t218_xreal_12023-06-28 11:07 53K 
[ ]xreal_1__t219_xreal_12023-06-28 11:08 53K 
[ ]xreal_1__t220_xreal_12023-06-28 11:08 53K 
[ ]xreal_1__t221_xreal_12023-06-28 11:08 47K 
[ ]xreal_1__t222_xreal_12023-06-28 10:31 21K 
[ ]xreal_1__t223_xreal_12023-06-28 11:08 71K 
[ ]xreal_1__t224_xreal_12023-06-28 10:31 21K 
[ ]xreal_1__t225_xreal_12023-06-28 11:09 13K 
[ ]xreal_1__t226_xreal_12023-06-28 11:09 29K 
[ ]xreal_1__t227_xreal_12023-06-28 11:09 16K 
[ ]xreal_1__t228_xreal_12023-06-28 11:09 1.7K 
[ ]xreal_1__t229_xreal_12023-06-28 11:09 1.7K 
[ ]xreal_1__t230_xreal_12023-06-28 11:10 24K 
[ ]xreal_1__t231_xreal_12023-06-28 11:10 24K 
[ ]xreal_1__t232_xreal_12023-06-28 11:10 24K 
[ ]xreal_1__t233_xreal_12023-06-28 10:31 21K 
[ ]xreal_1__t234_xreal_12023-06-28 11:10 32K 
[ ]xreal_1__t235_xreal_12023-06-28 11:11 44K 
[ ]xreal_1__t236_xreal_12023-06-28 11:11 25K 
[ ]xreal_1__t237_xreal_12023-06-28 11:11 37K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80