Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/xxreal_0
Name
Last modified
Size
Description
Parent Directory
-
xxreal_0__l1_xxreal_0
2021-07-18 13:13
10K
xxreal_0__l7_xxreal_0
2021-07-18 13:14
11K
xxreal_0__l8_xxreal_0
2021-07-18 13:19
12K
xxreal_0__l9_xxreal_0
2021-07-18 13:14
11K
xxreal_0__l10_xxreal_0
2021-07-18 13:19
12K
xxreal_0__l11_xxreal_0
2021-07-18 13:19
12K
xxreal_0__l12_xxreal_0
2021-07-18 13:20
12K
xxreal_0__l13_xxreal_0
2021-07-18 13:20
15K
xxreal_0__l15_xxreal_0
2021-07-18 13:20
15K
xxreal_0__l16_xxreal_0
2021-07-18 13:20
15K
xxreal_0__l24_xxreal_0
2021-07-18 13:21
13K
xxreal_0__t1_xxreal_0
2021-07-18 13:14
16K
xxreal_0__t2_xxreal_0
2021-07-18 13:14
16K
xxreal_0__t3_xxreal_0
2021-07-18 13:12
14K
xxreal_0__t4_xxreal_0
2021-07-18 13:12
12K
xxreal_0__t5_xxreal_0
2021-07-18 13:12
14K
xxreal_0__t6_xxreal_0
2021-07-18 13:12
12K
xxreal_0__t7_xxreal_0
2021-07-18 13:12
12K
xxreal_0__t8_xxreal_0
2021-07-18 13:13
11K
xxreal_0__t9_xxreal_0
2021-07-18 13:15
15K
xxreal_0__t10_xxreal_0
2021-07-18 13:15
13K
xxreal_0__t11_xxreal_0
2021-07-18 13:15
12K
xxreal_0__t12_xxreal_0
2021-07-18 13:15
15K
xxreal_0__t13_xxreal_0
2021-07-18 13:15
13K
xxreal_0__t14_xxreal_0
2021-07-18 13:13
12K
xxreal_0__t15_xxreal_0
2021-07-18 13:13
1.9K
xxreal_0__t16_xxreal_0
2021-07-18 13:13
1.9K
xxreal_0__t17_xxreal_0
2021-07-18 13:16
2.0K
xxreal_0__t18_xxreal_0
2021-07-18 13:16
2.7K
xxreal_0__t19_xxreal_0
2021-07-18 13:16
2.7K
xxreal_0__t20_xxreal_0
2021-07-18 13:13
2.1K
xxreal_0__t21_xxreal_0
2021-07-18 13:13
2.2K
xxreal_0__t22_xxreal_0
2021-07-18 13:16
2.3K
xxreal_0__t23_xxreal_0
2021-07-18 13:16
2.3K
xxreal_0__t24_xxreal_0
2021-07-18 13:16
2.7K
xxreal_0__t25_xxreal_0
2021-07-18 13:16
2.0K
xxreal_0__t26_xxreal_0
2021-07-18 13:16
2.7K
xxreal_0__t27_xxreal_0
2021-07-18 13:16
2.7K
xxreal_0__t28_xxreal_0
2021-07-18 13:13
2.1K
xxreal_0__t29_xxreal_0
2021-07-18 13:13
2.2K
xxreal_0__t30_xxreal_0
2021-07-18 13:16
2.3K
xxreal_0__t31_xxreal_0
2021-07-18 13:16
2.3K
xxreal_0__t32_xxreal_0
2021-07-18 13:16
2.7K
xxreal_0__t33_xxreal_0
2021-07-18 13:17
2.4K
xxreal_0__t34_xxreal_0
2021-07-18 13:17
2.4K
xxreal_0__t35_xxreal_0
2021-07-18 13:13
3.0K
xxreal_0__t36_xxreal_0
2021-07-18 13:13
3.0K
xxreal_0__t37_xxreal_0
2021-07-18 13:17
3.5K
xxreal_0__t38_xxreal_0
2021-07-18 13:17
3.3K
xxreal_0__t39_xxreal_0
2021-07-18 13:17
3.3K
xxreal_0__t40_xxreal_0
2021-07-18 13:17
4.5K
xxreal_0__t41_xxreal_0
2021-07-18 13:17
17K
xxreal_0__t42_xxreal_0
2021-07-18 13:17
17K
xxreal_0__t43_xxreal_0
2021-07-18 13:18
17K
xxreal_0__t44_xxreal_0
2021-07-18 13:18
17K
xxreal_0__t45_xxreal_0
2021-07-18 13:18
15K
xxreal_0__t46_xxreal_0
2021-07-18 13:18
14K
xxreal_0__t47_xxreal_0
2021-07-18 13:19
15K
xxreal_0__t48_xxreal_0
2021-07-18 13:19
15K
xxreal_0__t49_xxreal_0
2021-07-18 13:19
2.2K
xxreal_0__t50_xxreal_0
2021-07-18 13:19
2.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80