Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/clopban2
Name
Last modified
Size
Description
Parent Directory
-
clopban2__l19_clopban2
2016-03-08 13:04
102K
clopban2__l23_clopban2
2016-03-08 13:04
101K
clopban2__l29_clopban2
2016-03-08 13:04
104K
clopban2__t1_clopban2
2016-03-08 13:04
59K
clopban2__t2_clopban2
2017-01-05 20:54
116K
clopban2__t3_clopban2
2016-03-08 13:04
64K
clopban2__t4_clopban2
2016-03-08 13:04
58K
clopban2__t5_clopban2
2016-03-08 13:04
60K
clopban2__t6_clopban2
2016-03-08 13:04
64K
clopban2__t7_clopban2
2016-03-08 13:04
88K
clopban2__t8_clopban2
2016-03-08 13:04
94K
clopban2__t9_clopban2
2016-03-08 13:04
111K
clopban2__t10_clopban2
2016-03-08 13:04
110K
clopban2__t11_clopban2
2016-03-08 13:04
111K
clopban2__t12_clopban2
2016-03-08 13:04
92K
clopban2__t13_clopban2
2016-03-08 13:04
113K
clopban2__t14_clopban2
2016-03-08 13:04
93K
clopban2__t15_clopban2
2016-03-08 13:04
124K
clopban2__t16_clopban2
2016-03-08 13:04
82K
clopban2__t17_clopban2
2016-03-08 13:04
85K
clopban2__t18_clopban2
2017-01-05 20:54
93K
clopban2__t19_clopban2
2016-03-08 13:04
127K
clopban2__t20_clopban2
2016-03-08 13:04
127K
clopban2__t21_clopban2
2016-03-08 13:04
83K
clopban2__t22_clopban2
2016-03-08 13:04
82K
clopban2__t23_clopban2
2016-03-08 13:04
85K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80