Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/xcmplx_1
Name
Last modified
Size
Description
Parent Directory
-
xcmplx_1__l25_xcmplx_1
2025-09-12 12:19
22K
xcmplx_1__l59_xcmplx_1
2025-09-12 12:20
15K
xcmplx_1__l67_xcmplx_1
2025-09-12 12:21
14K
xcmplx_1__l70_xcmplx_1
2025-09-12 12:21
898
xcmplx_1__l115_xcmplx_1
2025-09-12 12:21
14K
xcmplx_1__l216_xcmplx_1
2025-09-12 12:22
30K
xcmplx_1__l230_xcmplx_1
2025-09-12 12:23
16K
xcmplx_1__t1_xcmplx_1
2025-09-12 10:07
1.4K
xcmplx_1__t2_xcmplx_1
2025-09-12 10:08
18K
xcmplx_1__t3_xcmplx_1
2025-09-12 10:09
21K
xcmplx_1__t4_xcmplx_1
2025-09-12 10:09
12K
xcmplx_1__t5_xcmplx_1
2025-09-12 11:35
25K
xcmplx_1__t6_xcmplx_1
2025-09-12 10:10
15K
xcmplx_1__t7_xcmplx_1
2025-09-12 11:35
25K
xcmplx_1__t8_xcmplx_1
2025-09-12 10:10
15K
xcmplx_1__t9_xcmplx_1
2025-09-12 10:11
15K
xcmplx_1__t10_xcmplx_1
2025-09-12 10:12
15K
xcmplx_1__t11_xcmplx_1
2025-09-12 10:12
15K
xcmplx_1__t12_xcmplx_1
2025-09-12 10:13
16K
xcmplx_1__t13_xcmplx_1
2025-09-12 10:13
17K
xcmplx_1__t14_xcmplx_1
2025-09-12 10:14
19K
xcmplx_1__t15_xcmplx_1
2025-09-12 10:15
23K
xcmplx_1__t16_xcmplx_1
2025-09-12 10:15
24K
xcmplx_1__t17_xcmplx_1
2025-09-12 10:16
18K
xcmplx_1__t18_xcmplx_1
2025-09-12 10:17
18K
xcmplx_1__t19_xcmplx_1
2025-09-12 10:17
17K
xcmplx_1__t20_xcmplx_1
2025-09-12 10:18
24K
xcmplx_1__t21_xcmplx_1
2025-09-12 10:19
13K
xcmplx_1__t22_xcmplx_1
2025-09-12 10:19
18K
xcmplx_1__t23_xcmplx_1
2025-09-12 10:20
18K
xcmplx_1__t24_xcmplx_1
2025-09-12 10:20
17K
xcmplx_1__t25_xcmplx_1
2025-09-12 10:21
18K
xcmplx_1__t26_xcmplx_1
2025-09-12 10:22
18K
xcmplx_1__t27_xcmplx_1
2025-09-12 10:23
18K
xcmplx_1__t28_xcmplx_1
2025-09-12 10:23
18K
xcmplx_1__t29_xcmplx_1
2025-09-12 10:24
16K
xcmplx_1__t30_xcmplx_1
2025-09-12 10:25
16K
xcmplx_1__t31_xcmplx_1
2025-09-12 10:25
18K
xcmplx_1__t32_xcmplx_1
2025-09-12 10:26
18K
xcmplx_1__t33_xcmplx_1
2025-09-12 10:26
23K
xcmplx_1__t34_xcmplx_1
2025-09-12 10:27
23K
xcmplx_1__t35_xcmplx_1
2025-09-12 10:28
23K
xcmplx_1__t36_xcmplx_1
2025-09-12 10:28
16K
xcmplx_1__t37_xcmplx_1
2025-09-12 10:29
16K
xcmplx_1__t38_xcmplx_1
2025-09-12 10:30
16K
xcmplx_1__t39_xcmplx_1
2025-09-12 10:30
18K
xcmplx_1__t40_xcmplx_1
2025-09-12 10:31
16K
xcmplx_1__t41_xcmplx_1
2025-09-12 10:31
16K
xcmplx_1__t42_xcmplx_1
2025-09-12 10:32
16K
xcmplx_1__t43_xcmplx_1
2025-09-12 10:33
19K
xcmplx_1__t44_xcmplx_1
2025-09-12 10:33
19K
xcmplx_1__t45_xcmplx_1
2025-09-12 10:34
19K
xcmplx_1__t46_xcmplx_1
2025-09-12 10:35
19K
xcmplx_1__t47_xcmplx_1
2025-09-12 10:35
19K
xcmplx_1__t50_xcmplx_1
2025-09-12 10:36
12K
xcmplx_1__t51_xcmplx_1
2025-09-12 11:36
12K
xcmplx_1__t53_xcmplx_1
2025-09-12 11:37
21K
xcmplx_1__t54_xcmplx_1
2025-09-12 11:37
22K
xcmplx_1__t56_xcmplx_1
2025-09-12 11:38
14K
xcmplx_1__t58_xcmplx_1
2025-09-12 11:39
15K
xcmplx_1__t59_xcmplx_1
2025-09-12 11:39
14K
xcmplx_1__t60_xcmplx_1
2025-09-12 10:36
12K
xcmplx_1__t61_xcmplx_1
2025-09-12 11:40
22K
xcmplx_1__t63_xcmplx_1
2025-09-12 11:40
2.2K
xcmplx_1__t64_xcmplx_1
2025-09-12 10:37
19K
xcmplx_1__t65_xcmplx_1
2025-09-12 10:38
19K
xcmplx_1__t66_xcmplx_1
2025-09-12 10:38
40K
xcmplx_1__t67_xcmplx_1
2025-09-12 10:39
27K
xcmplx_1__t68_xcmplx_1
2025-09-12 10:40
27K
xcmplx_1__t69_xcmplx_1
2025-09-12 10:40
39K
xcmplx_1__t70_xcmplx_1
2025-09-12 10:41
40K
xcmplx_1__t71_xcmplx_1
2025-09-12 10:41
23K
xcmplx_1__t72_xcmplx_1
2025-09-12 10:42
23K
xcmplx_1__t73_xcmplx_1
2025-09-12 11:41
28K
xcmplx_1__t74_xcmplx_1
2025-09-12 10:43
15K
xcmplx_1__t75_xcmplx_1
2025-09-12 11:42
15K
xcmplx_1__t76_xcmplx_1
2025-09-12 10:43
15K
xcmplx_1__t77_xcmplx_1
2025-09-12 10:44
15K
xcmplx_1__t78_xcmplx_1
2025-09-12 11:42
15K
xcmplx_1__t83_xcmplx_1
2025-09-12 11:43
15K
xcmplx_1__t84_xcmplx_1
2025-09-12 10:44
15K
xcmplx_1__t85_xcmplx_1
2025-09-12 11:44
15K
xcmplx_1__t87_xcmplx_1
2025-09-12 10:45
15K
xcmplx_1__t88_xcmplx_1
2025-09-12 11:44
15K
xcmplx_1__t89_xcmplx_1
2025-09-12 10:46
15K
xcmplx_1__t91_xcmplx_1
2025-09-12 10:46
15K
xcmplx_1__t92_xcmplx_1
2025-09-12 11:45
18K
xcmplx_1__t94_xcmplx_1
2025-09-12 11:46
22K
xcmplx_1__t95_xcmplx_1
2025-09-12 11:46
18K
xcmplx_1__t96_xcmplx_1
2025-09-12 11:47
22K
xcmplx_1__t99_xcmplx_1
2025-09-12 10:47
14K
xcmplx_1__t100_xcmplx_1
2025-09-12 11:48
17K
xcmplx_1__t101_xcmplx_1
2025-09-12 11:49
20K
xcmplx_1__t102_xcmplx_1
2025-09-12 11:49
17K
xcmplx_1__t103_xcmplx_1
2025-09-12 10:47
15K
xcmplx_1__t106_xcmplx_1
2025-09-12 11:50
25K
xcmplx_1__t108_xcmplx_1
2025-09-12 11:51
15K
xcmplx_1__t109_xcmplx_1
2025-09-12 11:51
21K
xcmplx_1__t110_xcmplx_1
2025-09-12 11:52
15K
xcmplx_1__t111_xcmplx_1
2025-09-12 10:48
15K
xcmplx_1__t112_xcmplx_1
2025-09-12 11:53
25K
xcmplx_1__t114_xcmplx_1
2025-09-12 11:53
18K
xcmplx_1__t115_xcmplx_1
2025-09-12 11:54
18K
xcmplx_1__t116_xcmplx_1
2025-09-12 11:55
19K
xcmplx_1__t117_xcmplx_1
2025-09-12 11:55
18K
xcmplx_1__t118_xcmplx_1
2025-09-12 11:56
21K
xcmplx_1__t119_xcmplx_1
2025-09-12 11:57
29K
xcmplx_1__t120_xcmplx_1
2025-09-12 11:57
19K
xcmplx_1__t121_xcmplx_1
2025-09-12 10:49
31K
xcmplx_1__t122_xcmplx_1
2025-09-12 11:58
16K
xcmplx_1__t123_xcmplx_1
2025-09-12 11:59
42K
xcmplx_1__t124_xcmplx_1
2025-09-12 11:59
19K
xcmplx_1__t125_xcmplx_1
2025-09-12 12:00
19K
xcmplx_1__t126_xcmplx_1
2025-09-12 12:01
23K
xcmplx_1__t127_xcmplx_1
2025-09-12 12:02
20K
xcmplx_1__t128_xcmplx_1
2025-09-12 12:02
20K
xcmplx_1__t129_xcmplx_1
2025-09-12 12:03
23K
xcmplx_1__t130_xcmplx_1
2025-09-12 12:04
24K
xcmplx_1__t131_xcmplx_1
2025-09-12 12:04
23K
xcmplx_1__t132_xcmplx_1
2025-09-12 10:49
26K
xcmplx_1__t133_xcmplx_1
2025-09-12 10:50
31K
xcmplx_1__t134_xcmplx_1
2025-09-12 10:51
32K
xcmplx_1__t135_xcmplx_1
2025-09-12 10:51
23K
xcmplx_1__t136_xcmplx_1
2025-09-12 10:52
15K
xcmplx_1__t137_xcmplx_1
2025-09-12 10:53
15K
xcmplx_1__t138_xcmplx_1
2025-09-12 10:53
15K
xcmplx_1__t139_xcmplx_1
2025-09-12 10:54
14K
xcmplx_1__t140_xcmplx_1
2025-09-12 10:54
14K
xcmplx_1__t141_xcmplx_1
2025-09-12 10:55
14K
xcmplx_1__t142_xcmplx_1
2025-09-12 10:56
13K
xcmplx_1__t143_xcmplx_1
2025-09-12 10:56
13K
xcmplx_1__t144_xcmplx_1
2025-09-12 10:57
18K
xcmplx_1__t145_xcmplx_1
2025-09-12 10:57
13K
xcmplx_1__t146_xcmplx_1
2025-09-12 10:58
13K
xcmplx_1__t147_xcmplx_1
2025-09-12 10:59
13K
xcmplx_1__t148_xcmplx_1
2025-09-12 10:59
18K
xcmplx_1__t149_xcmplx_1
2025-09-12 11:00
14K
xcmplx_1__t150_xcmplx_1
2025-09-12 11:01
16K
xcmplx_1__t151_xcmplx_1
2025-09-12 11:01
18K
xcmplx_1__t152_xcmplx_1
2025-09-12 11:02
23K
xcmplx_1__t153_xcmplx_1
2025-09-12 11:02
32K
xcmplx_1__t154_xcmplx_1
2025-09-12 11:03
16K
xcmplx_1__t155_xcmplx_1
2025-09-12 11:04
16K
xcmplx_1__t156_xcmplx_1
2025-09-12 11:04
16K
xcmplx_1__t157_xcmplx_1
2025-09-12 11:05
16K
xcmplx_1__t158_xcmplx_1
2025-09-12 11:05
16K
xcmplx_1__t159_xcmplx_1
2025-09-12 11:06
16K
xcmplx_1__t160_xcmplx_1
2025-09-12 11:07
16K
xcmplx_1__t161_xcmplx_1
2025-09-12 11:07
16K
xcmplx_1__t162_xcmplx_1
2025-09-12 11:08
16K
xcmplx_1__t163_xcmplx_1
2025-09-12 11:09
16K
xcmplx_1__t164_xcmplx_1
2025-09-12 11:09
16K
xcmplx_1__t165_xcmplx_1
2025-09-12 11:10
16K
xcmplx_1__t166_xcmplx_1
2025-09-12 11:10
16K
xcmplx_1__t167_xcmplx_1
2025-09-12 11:11
16K
xcmplx_1__t168_xcmplx_1
2025-09-12 11:12
16K
xcmplx_1__t169_xcmplx_1
2025-09-12 11:12
16K
xcmplx_1__t170_xcmplx_1
2025-09-12 11:13
16K
xcmplx_1__t171_xcmplx_1
2025-09-12 11:13
16K
xcmplx_1__t172_xcmplx_1
2025-09-12 11:14
16K
xcmplx_1__t173_xcmplx_1
2025-09-12 11:14
16K
xcmplx_1__t174_xcmplx_1
2025-09-12 11:15
14K
xcmplx_1__t175_xcmplx_1
2025-09-12 11:16
14K
xcmplx_1__t176_xcmplx_1
2025-09-12 11:16
14K
xcmplx_1__t177_xcmplx_1
2025-09-12 11:17
14K
xcmplx_1__t178_xcmplx_1
2025-09-12 11:17
14K
xcmplx_1__t179_xcmplx_1
2025-09-12 11:18
14K
xcmplx_1__t180_xcmplx_1
2025-09-12 11:19
14K
xcmplx_1__t181_xcmplx_1
2025-09-12 12:05
30K
xcmplx_1__t182_xcmplx_1
2025-09-12 12:06
28K
xcmplx_1__t183_xcmplx_1
2025-09-12 11:19
18K
xcmplx_1__t184_xcmplx_1
2025-09-12 11:20
16K
xcmplx_1__t185_xcmplx_1
2025-09-12 11:21
16K
xcmplx_1__t186_xcmplx_1
2025-09-12 11:21
22K
xcmplx_1__t187_xcmplx_1
2025-09-12 11:22
14K
xcmplx_1__t188_xcmplx_1
2025-09-12 12:07
18K
xcmplx_1__t189_xcmplx_1
2025-09-12 12:07
14K
xcmplx_1__t190_xcmplx_1
2025-09-12 12:08
14K
xcmplx_1__t191_xcmplx_1
2025-09-12 12:08
24K
xcmplx_1__t192_xcmplx_1
2025-09-12 12:09
14K
xcmplx_1__t193_xcmplx_1
2025-09-12 11:23
13K
xcmplx_1__t194_xcmplx_1
2025-09-12 11:23
13K
xcmplx_1__t195_xcmplx_1
2025-09-12 12:10
32K
xcmplx_1__t196_xcmplx_1
2025-09-12 12:10
33K
xcmplx_1__t197_xcmplx_1
2025-09-12 12:11
14K
xcmplx_1__t198_xcmplx_1
2025-09-12 12:12
14K
xcmplx_1__t199_xcmplx_1
2025-09-12 12:12
16K
xcmplx_1__t200_xcmplx_1
2025-09-12 12:13
42K
xcmplx_1__t201_xcmplx_1
2025-09-12 11:23
1.1K
xcmplx_1__t202_xcmplx_1
2025-09-12 11:24
11K
xcmplx_1__t203_xcmplx_1
2025-09-12 12:14
28K
xcmplx_1__t204_xcmplx_1
2025-09-12 11:25
14K
xcmplx_1__t205_xcmplx_1
2025-09-12 11:25
14K
xcmplx_1__t206_xcmplx_1
2025-09-12 12:14
14K
xcmplx_1__t207_xcmplx_1
2025-09-12 11:26
17K
xcmplx_1__t208_xcmplx_1
2025-09-12 11:26
17K
xcmplx_1__t210_xcmplx_1
2025-09-12 12:15
25K
xcmplx_1__t211_xcmplx_1
2025-09-12 12:16
28K
xcmplx_1__t212_xcmplx_1
2025-09-12 12:16
22K
xcmplx_1__t213_xcmplx_1
2025-09-12 11:27
1.6K
xcmplx_1__t215_xcmplx_1
2025-09-12 11:27
14K
xcmplx_1__t216_xcmplx_1
2025-09-12 11:28
14K
xcmplx_1__t217_xcmplx_1
2025-09-12 12:17
14K
xcmplx_1__t218_xcmplx_1
2025-09-12 12:18
14K
xcmplx_1__t222_xcmplx_1
2025-09-12 11:28
13K
xcmplx_1__t223_xcmplx_1
2025-09-12 11:29
13K
xcmplx_1__t224_xcmplx_1
2025-09-12 11:30
18K
xcmplx_1__t225_xcmplx_1
2025-09-12 11:30
18K
xcmplx_1__t226_xcmplx_1
2025-09-12 11:31
18K
xcmplx_1__t227_xcmplx_1
2025-09-12 11:32
18K
xcmplx_1__t228_xcmplx_1
2025-09-12 11:32
18K
xcmplx_1__t229_xcmplx_1
2025-09-12 11:33
18K
xcmplx_1__t230_xcmplx_1
2025-09-12 11:33
18K
xcmplx_1__t231_xcmplx_1
2025-09-12 11:34
18K
xcmplx_1__t235_xcmplx_1
2025-09-12 12:19
18K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80