Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/jordan5a
Name
Last modified
Size
Description
Parent Directory
-
jordan5a__l2_jordan5a
2017-01-13 00:27
111K
jordan5a__l5_jordan5a
2017-01-13 00:27
164K
jordan5a__l7_jordan5a
2017-01-13 00:27
110K
jordan5a__l8_jordan5a
2017-01-13 00:27
110K
jordan5a__l12_jordan5a
2017-01-13 00:27
113K
jordan5a__l18_jordan5a
2017-01-13 00:27
85K
jordan5a__l19_jordan5a
2017-01-13 00:27
171K
jordan5a__l30_jordan5a
2017-01-13 00:27
100K
jordan5a__t1_jordan5a
2017-01-13 00:27
135K
jordan5a__t2_jordan5a
2017-01-13 00:27
168K
jordan5a__t3_jordan5a
2017-01-13 00:27
270K
jordan5a__t4_jordan5a
2017-01-13 00:27
136K
jordan5a__t5_jordan5a
2017-01-13 00:27
81K
jordan5a__t6_jordan5a
2017-01-13 00:27
116K
jordan5a__t7_jordan5a
2017-01-13 00:27
100K
jordan5a__t8_jordan5a
2017-01-13 00:27
135K
jordan5a__t9_jordan5a
2017-01-13 00:27
113K
jordan5a__t10_jordan5a
2017-01-13 00:27
149K
jordan5a__t11_jordan5a
2017-01-13 00:27
174K
jordan5a__t12_jordan5a
2017-01-13 00:27
115K
jordan5a__t13_jordan5a
2017-01-13 00:27
156K
jordan5a__t14_jordan5a
2017-01-13 00:27
120K
jordan5a__t15_jordan5a
2017-01-13 00:27
140K
jordan5a__t16_jordan5a
2017-01-13 00:27
113K
jordan5a__t17_jordan5a
2017-01-13 00:27
142K
jordan5a__t18_jordan5a
2017-01-13 00:27
145K
jordan5a__t19_jordan5a
2017-01-13 00:27
77K
jordan5a__t20_jordan5a
2017-01-13 00:27
134K
jordan5a__t21_jordan5a
2017-01-13 00:27
198K
jordan5a__t22_jordan5a
2017-01-13 00:27
197K
jordan5a__t23_jordan5a
2017-01-13 00:27
112K
jordan5a__t24_jordan5a
2017-01-13 00:27
114K
jordan5a__t25_jordan5a
2017-01-13 00:27
97K
jordan5a__t26_jordan5a
2017-01-13 00:27
124K
jordan5a__t27_jordan5a
2017-01-13 00:27
107K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80