Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/hilbasis
Name
Last modified
Size
Description
Parent Directory
-
hilbasis__t35_hilbasis
2017-01-05 20:54
174K
hilbasis__t34_hilbasis
2016-03-08 13:06
85K
hilbasis__t33_hilbasis
2016-03-08 13:06
74K
hilbasis__t32_hilbasis
2016-03-08 13:06
93K
hilbasis__t31_hilbasis
2016-03-08 13:06
107K
hilbasis__t30_hilbasis
2016-03-08 13:06
151K
hilbasis__t29_hilbasis
2016-03-08 13:06
174K
hilbasis__t28_hilbasis
2016-03-08 13:06
166K
hilbasis__t27_hilbasis
2016-03-08 13:06
93K
hilbasis__t26_hilbasis
2016-03-08 13:06
123K
hilbasis__t25_hilbasis
2016-03-08 13:06
93K
hilbasis__t24_hilbasis
2016-03-08 13:06
126K
hilbasis__t23_hilbasis
2016-03-08 13:06
80K
hilbasis__t22_hilbasis
2016-03-08 13:06
94K
hilbasis__t21_hilbasis
2016-03-08 13:06
111K
hilbasis__t20_hilbasis
2016-03-08 13:06
140K
hilbasis__t19_hilbasis
2016-03-08 13:06
139K
hilbasis__t18_hilbasis
2016-03-08 13:06
116K
hilbasis__t17_hilbasis
2017-01-05 20:54
86K
hilbasis__t16_hilbasis
2016-03-08 13:06
109K
hilbasis__t15_hilbasis
2016-03-08 13:06
118K
hilbasis__t14_hilbasis
2016-03-08 13:06
88K
hilbasis__t13_hilbasis
2016-03-08 13:06
95K
hilbasis__t12_hilbasis
2016-03-08 13:06
101K
hilbasis__t11_hilbasis
2016-03-08 13:06
94K
hilbasis__t10_hilbasis
2016-03-08 13:06
53K
hilbasis__t9_hilbasis
2016-03-08 13:06
74K
hilbasis__t8_hilbasis
2016-03-08 13:06
75K
hilbasis__t7_hilbasis
2016-03-08 13:06
81K
hilbasis__t6_hilbasis
2016-03-08 13:06
84K
hilbasis__t5_hilbasis
2016-03-08 13:06
76K
hilbasis__t4_hilbasis
2016-03-08 13:06
66K
hilbasis__t3_hilbasis
2017-01-05 20:54
57K
hilbasis__t2_hilbasis
2016-03-08 13:06
93K
hilbasis__t1_hilbasis
2016-03-08 13:06
107K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80