Index of /~mptp/1147/MPTP2/problems_gdfthf/closure1
Name
Last modified
Size
Description
Parent Directory
-
closure1__l3_closure1
2019-08-24 15:56
62K
closure1__l29_closure1
2019-08-24 15:58
109K
closure1__s1_closure1
2019-08-24 15:56
91K
closure1__t1_closure1
2019-08-24 16:01
29K
closure1__t2_closure1
2019-08-24 15:56
27K
closure1__t3_closure1
2019-08-24 15:56
65K
closure1__t4_closure1
2019-08-24 15:56
83K
closure1__t5_closure1
2019-08-24 15:56
66K
closure1__t6_closure1
2019-08-24 15:56
179K
closure1__t7_closure1
2019-08-24 15:56
140K
closure1__t8_closure1
2019-08-24 15:57
63K
closure1__t9_closure1
2019-08-24 15:57
26K
closure1__t10_closure1
2019-08-24 15:57
37K
closure1__t11_closure1
2019-08-24 15:57
203K
closure1__t12_closure1
2019-08-24 15:57
32K
closure1__t13_closure1
2019-08-24 15:57
35K
closure1__t14_closure1
2019-08-24 15:57
33K
closure1__t15_closure1
2019-08-24 15:57
48K
closure1__t16_closure1
2019-08-24 15:57
37K
closure1__t17_closure1
2019-08-24 15:57
37K
closure1__t18_closure1
2019-08-24 15:57
57K
closure1__t19_closure1
2019-08-24 15:57
68K
closure1__t20_closure1
2019-08-24 15:57
47K
closure1__t21_closure1
2019-08-24 15:57
54K
closure1__t22_closure1
2019-08-24 15:57
63K
closure1__t23_closure1
2019-08-24 15:57
68K
closure1__t24_closure1
2019-08-24 15:58
119K
closure1__t25_closure1
2019-08-24 15:58
171K
closure1__t26_closure1
2019-08-24 15:58
125K
closure1__t27_closure1
2019-08-24 15:58
171K
closure1__t28_closure1
2019-08-24 15:58
104K
closure1__t29_closure1
2019-08-24 15:59
81K
closure1__t30_closure1
2019-08-24 15:59
142K
closure1__t31_closure1
2019-08-24 15:59
123K
closure1__t32_closure1
2019-08-24 16:01
216K
closure1__t33_closure1
2019-08-24 15:59
247K
closure1__t34_closure1
2019-08-24 15:59
68K
closure1__t35_closure1
2019-08-24 15:59
64K
closure1__t36_closure1
2019-08-24 15:59
114K
closure1__t37_closure1
2019-08-24 16:00
67K
closure1__t38_closure1
2019-08-24 16:00
26K
closure1__t39_closure1
2019-08-24 16:00
211K
closure1__t40_closure1
2019-08-24 16:01
299K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80