Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small_thf.orig2021/extreal1
Name
Last modified
Size
Description
Parent Directory
-
extreal1__l11_extreal1
2021-07-18 14:47
78K
extreal1__l13_extreal1
2021-07-18 14:48
63K
extreal1__l15_extreal1
2021-07-18 14:48
176K
extreal1__l16_extreal1
2021-07-18 14:49
113K
extreal1__l17_extreal1
2021-07-18 14:49
142K
extreal1__t1_extreal1
2021-07-18 14:34
36K
extreal1__t2_extreal1
2021-07-18 14:34
47K
extreal1__t3_extreal1
2021-07-18 14:35
36K
extreal1__t4_extreal1
2021-07-18 14:35
37K
extreal1__t7_extreal1
2021-07-18 14:36
56K
extreal1__t8_extreal1
2021-07-18 14:37
64K
extreal1__t9_extreal1
2021-07-18 14:37
53K
extreal1__t10_extreal1
2021-07-18 14:37
67K
extreal1__t11_extreal1
2021-07-18 14:38
117K
extreal1__t12_extreal1
2021-07-18 14:38
45K
extreal1__t13_extreal1
2021-07-18 14:35
36K
extreal1__t14_extreal1
2021-07-18 14:39
31K
extreal1__t15_extreal1
2021-07-18 14:39
36K
extreal1__t16_extreal1
2021-07-18 14:35
36K
extreal1__t17_extreal1
2021-07-18 14:39
35K
extreal1__t18_extreal1
2021-07-18 14:40
36K
extreal1__t19_extreal1
2021-07-18 14:40
44K
extreal1__t20_extreal1
2021-07-18 14:40
37K
extreal1__t21_extreal1
2021-07-18 14:41
37K
extreal1__t22_extreal1
2021-07-18 14:41
37K
extreal1__t23_extreal1
2021-07-18 14:41
38K
extreal1__t24_extreal1
2021-07-18 14:42
51K
extreal1__t25_extreal1
2021-07-18 14:42
78K
extreal1__t26_extreal1
2021-07-18 14:42
53K
extreal1__t27_extreal1
2021-07-18 14:43
57K
extreal1__t28_extreal1
2021-07-18 14:43
60K
extreal1__t29_extreal1
2021-07-18 14:43
37K
extreal1__t30_extreal1
2021-07-18 14:44
38K
extreal1__t31_extreal1
2021-07-18 14:44
64K
extreal1__t32_extreal1
2021-07-18 14:44
65K
extreal1__t34_extreal1
2021-07-18 14:45
49K
extreal1__t35_extreal1
2021-07-18 14:45
50K
extreal1__t36_extreal1
2021-07-18 14:45
60K
extreal1__t37_extreal1
2021-07-18 14:46
268K
extreal1__t38_extreal1
2021-07-18 14:46
171K
extreal1__t39_extreal1
2021-07-18 14:46
3.6K
extreal1__t40_extreal1
2021-07-18 14:47
38K
extreal1__t41_extreal1
2021-07-18 14:36
34K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80