Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_gdfthf/goedelcp
Name
Last modified
Size
Description
Parent Directory
-
goedelcp__l24_goedelcp
2019-08-26 07:32
48K
goedelcp__t1_goedelcp
2019-08-26 07:28
25K
goedelcp__t2_goedelcp
2019-08-26 07:29
268K
goedelcp__t3_goedelcp
2019-08-26 07:29
130K
goedelcp__t4_goedelcp
2019-08-26 07:29
42K
goedelcp__t5_goedelcp
2019-08-26 07:29
81K
goedelcp__t6_goedelcp
2019-08-26 07:29
115K
goedelcp__t7_goedelcp
2019-08-26 07:29
42K
goedelcp__t8_goedelcp
2019-08-26 07:29
89K
goedelcp__t9_goedelcp
2019-08-26 07:29
95K
goedelcp__t10_goedelcp
2019-08-26 07:30
116K
goedelcp__t11_goedelcp
2019-08-26 07:30
97K
goedelcp__t12_goedelcp
2019-08-26 07:30
93K
goedelcp__t13_goedelcp
2019-08-26 07:30
59K
goedelcp__t14_goedelcp
2019-08-26 07:30
47K
goedelcp__t15_goedelcp
2019-08-26 07:31
388K
goedelcp__t16_goedelcp
2019-08-26 07:31
447K
goedelcp__t17_goedelcp
2019-08-26 07:31
68K
goedelcp__t18_goedelcp
2019-08-26 07:32
65K
goedelcp__t19_goedelcp
2019-08-26 07:32
25K
goedelcp__t20_goedelcp
2019-08-26 07:32
34K
goedelcp__t21_goedelcp
2019-08-26 07:32
85K
goedelcp__t22_goedelcp
2019-08-26 07:32
37K
goedelcp__t23_goedelcp
2019-08-26 07:32
59K
goedelcp__t24_goedelcp
2019-08-26 07:32
36K
goedelcp__t25_goedelcp
2019-08-26 07:32
90K
goedelcp__t26_goedelcp
2019-08-26 07:32
53K
goedelcp__t27_goedelcp
2019-08-26 07:32
112K
goedelcp__t28_goedelcp
2019-08-26 07:32
41K
goedelcp__t29_goedelcp
2019-08-26 07:32
47K
goedelcp__t30_goedelcp
2019-08-26 07:32
92K
goedelcp__t31_goedelcp
2019-08-26 07:37
1.5M
goedelcp__t32_goedelcp
2019-08-26 07:37
68K
goedelcp__t33_goedelcp
2019-08-26 07:37
340K
goedelcp__t34_goedelcp
2019-08-26 07:38
78K
goedelcp__t35_goedelcp
2019-08-26 07:38
62K
goedelcp__t36_goedelcp
2019-08-26 07:38
47K
goedelcp__t37_goedelcp
2019-08-26 07:38
84K
goedelcp__t38_goedelcp
2019-08-26 07:38
74K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80