Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/clopban4
Name
Last modified
Size
Description
Parent Directory
-
clopban4__t9_clopban4
2016-03-08 13:04
81K
clopban4__t8_clopban4
2016-03-08 13:04
118K
clopban4__t7_clopban4
2016-03-08 13:04
111K
clopban4__t6_clopban4
2016-03-08 13:04
111K
clopban4__t5_clopban4
2016-03-08 13:04
109K
clopban4__t4_clopban4
2016-03-08 13:04
109K
clopban4__t40_clopban4
2016-03-08 13:04
78K
clopban4__t3_clopban4
2016-03-08 13:04
116K
clopban4__t39_clopban4
2016-03-08 13:04
72K
clopban4__t38_clopban4
2016-03-08 13:04
50K
clopban4__t37_clopban4
2016-03-08 13:04
78K
clopban4__t36_clopban4
2016-03-08 13:04
55K
clopban4__t35_clopban4
2016-03-08 13:04
102K
clopban4__t34_clopban4
2016-03-08 13:04
58K
clopban4__t33_clopban4
2016-03-08 13:04
54K
clopban4__t32_clopban4
2016-03-08 13:04
70K
clopban4__t31_clopban4
2016-03-08 13:04
305K
clopban4__t30_clopban4
2016-03-08 13:04
66K
clopban4__t2_clopban4
2016-03-08 13:04
52K
clopban4__t29_clopban4
2016-03-08 13:04
60K
clopban4__t28_clopban4
2016-03-08 13:04
90K
clopban4__t27_clopban4
2016-03-08 13:04
111K
clopban4__t26_clopban4
2016-03-08 13:04
75K
clopban4__t25_clopban4
2016-03-08 13:04
97K
clopban4__t24_clopban4
2016-03-08 13:04
99K
clopban4__t23_clopban4
2016-03-08 13:04
98K
clopban4__t22_clopban4
2016-03-08 13:04
62K
clopban4__t21_clopban4
2016-03-08 13:04
123K
clopban4__t20_clopban4
2016-03-08 13:04
96K
clopban4__t1_clopban4
2016-03-08 13:04
75K
clopban4__t19_clopban4
2016-03-08 13:04
103K
clopban4__t18_clopban4
2016-03-08 13:04
62K
clopban4__t17_clopban4
2016-03-08 13:04
95K
clopban4__t16_clopban4
2016-03-08 13:04
248K
clopban4__t15_clopban4
2016-03-08 13:04
56K
clopban4__t14_clopban4
2016-03-08 13:04
51K
clopban4__t13_clopban4
2016-03-08 13:04
102K
clopban4__t12_clopban4
2016-03-08 13:04
65K
clopban4__t11_clopban4
2016-03-08 13:04
57K
clopban4__t10_clopban4
2016-03-08 13:04
69K
clopban4__l40_clopban4
2016-03-08 13:04
73K
clopban4__l2_clopban4
2016-03-08 13:04
79K
clopban4__l1_clopban4
2016-03-08 13:04
86K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80