Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from.bad_dt_f/hilbasis
Name
Last modified
Size
Description
Parent Directory
-
hilbasis__e1_34
2017-01-05 21:23
130K
hilbasis__e1_38_1_1_1_1
2017-01-05 21:23
134K
hilbasis__e2_36_1_1
2017-01-05 21:23
172K
hilbasis__e2_38_1_1
2017-01-05 21:23
164K
hilbasis__e3_35
2017-01-05 21:23
145K
hilbasis__e3_36_1_1_1
2017-01-05 21:23
160K
hilbasis__e3_38_1_1_1
2017-01-05 21:23
154K
hilbasis__e3_38_1_1_1_2_1_2
2017-01-05 21:23
100K
hilbasis__e4_21_1_1
2017-01-05 21:23
139K
hilbasis__e4_41_1_1_1_12
2017-01-05 21:23
195K
hilbasis__e5_38_1_1_1_1_1_1_3
2017-01-05 21:23
103K
hilbasis__e5_41_1_1_1
2017-01-05 21:23
173K
hilbasis__e5_42
2017-01-05 21:23
138K
hilbasis__e6_41_1_1_1_5
2017-01-05 21:23
144K
hilbasis__e8_36_1_1_1
2017-01-05 21:23
163K
hilbasis__e8_41_1_1_1_9
2017-01-05 21:23
147K
hilbasis__e9_35
2017-01-05 21:23
176K
hilbasis__e10_30
2017-01-05 21:23
149K
hilbasis__e10_41_1_1_1
2017-01-05 21:23
151K
hilbasis__e11_36_1_1_1_2_1_2
2017-01-05 21:23
111K
hilbasis__e12_41_1_1_1
2017-01-05 21:23
171K
hilbasis__e15_37_2_1_1_1
2017-01-05 21:23
188K
hilbasis__e16_45
2017-01-05 21:23
139K
hilbasis__e18_41_1_1_1
2017-01-05 21:23
142K
hilbasis__e28_41_1_1_1
2017-01-05 21:23
171K
hilbasis__e30_37_2_1_1_1
2017-01-05 21:23
160K
hilbasis__e36_45
2017-01-05 21:23
166K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80