Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls1/jordan14
Name
Last modified
Size
Description
Parent Directory
-
jordan14__t1_jordan14
2017-01-13 17:38
87K
jordan14__t2_jordan14
2017-01-13 17:38
90K
jordan14__t3_jordan14
2017-01-13 17:38
119K
jordan14__t4_jordan14
2017-01-13 17:38
93K
jordan14__t5_jordan14
2017-01-13 17:38
84K
jordan14__t6_jordan14
2017-01-13 17:38
100K
jordan14__t7_jordan14
2017-01-13 17:38
278K
jordan14__t8_jordan14
2017-01-13 17:38
112K
jordan14__t9_jordan14
2017-01-13 17:38
116K
jordan14__t10_jordan14
2017-01-13 17:38
107K
jordan14__t11_jordan14
2017-01-13 17:38
88K
jordan14__t12_jordan14
2017-01-13 17:38
87K
jordan14__t13_jordan14
2017-01-13 17:38
130K
jordan14__t14_jordan14
2017-01-13 17:38
105K
jordan14__t15_jordan14
2017-01-13 17:38
86K
jordan14__t16_jordan14
2017-01-13 17:38
86K
jordan14__t17_jordan14
2017-01-13 17:38
86K
jordan14__t18_jordan14
2017-01-13 17:38
88K
jordan14__t19_jordan14
2017-01-13 17:38
89K
jordan14__t20_jordan14
2017-01-13 17:38
87K
jordan14__t21_jordan14
2017-01-13 17:38
96K
jordan14__t22_jordan14
2017-01-13 17:38
172K
jordan14__t23_jordan14
2017-01-13 17:38
330K
jordan14__t24_jordan14
2017-01-13 17:38
172K
jordan14__t25_jordan14
2017-01-13 17:38
330K
jordan14__t26_jordan14
2017-01-13 17:38
104K
jordan14__t27_jordan14
2017-01-13 17:38
282K
jordan14__t28_jordan14
2017-01-13 17:38
430K
jordan14__t29_jordan14
2017-01-13 17:38
107K
jordan14__t30_jordan14
2017-01-13 17:38
389K
jordan14__t31_jordan14
2017-01-13 17:38
409K
jordan14__t32_jordan14
2017-01-13 17:38
468K
jordan14__t33_jordan14
2017-01-13 17:38
87K
jordan14__t34_jordan14
2017-01-13 17:38
276K
jordan14__t35_jordan14
2017-01-13 17:38
109K
jordan14__t36_jordan14
2017-01-13 17:38
92K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80