Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/taylor_1
Name
Last modified
Size
Description
Parent Directory
-
taylor_1__l5_taylor_1
2017-01-13 17:37
59K
taylor_1__l7_taylor_1
2017-01-13 17:37
87K
taylor_1__l10_taylor_1
2017-01-13 17:37
47K
taylor_1__l16_taylor_1
2017-01-13 17:37
41K
taylor_1__l35_taylor_1
2017-01-13 17:37
112K
taylor_1__l36_taylor_1
2017-01-13 17:37
144K
taylor_1__l37_taylor_1
2017-01-13 17:37
83K
taylor_1__l39_taylor_1
2017-01-13 17:37
252K
taylor_1__l40_taylor_1
2017-01-13 17:37
121K
taylor_1__l44_taylor_1
2017-01-13 17:37
252K
taylor_1__l45_taylor_1
2017-01-13 17:37
121K
taylor_1__t1_taylor_1
2017-01-13 17:37
93K
taylor_1__t2_taylor_1
2017-01-13 17:37
172K
taylor_1__t3_taylor_1
2017-01-13 17:37
93K
taylor_1__t4_taylor_1
2017-01-13 17:37
91K
taylor_1__t5_taylor_1
2017-01-13 17:37
55K
taylor_1__t6_taylor_1
2017-01-13 17:37
55K
taylor_1__t7_taylor_1
2017-01-13 17:37
46K
taylor_1__t8_taylor_1
2017-01-13 17:37
107K
taylor_1__t9_taylor_1
2017-01-13 17:37
50K
taylor_1__t10_taylor_1
2017-01-13 17:37
66K
taylor_1__t11_taylor_1
2017-01-13 17:37
167K
taylor_1__t12_taylor_1
2017-01-13 17:37
44K
taylor_1__t13_taylor_1
2017-01-13 17:37
59K
taylor_1__t14_taylor_1
2017-01-13 17:37
44K
taylor_1__t15_taylor_1
2017-01-13 17:37
68K
taylor_1__t16_taylor_1
2017-01-13 17:37
79K
taylor_1__t17_taylor_1
2017-01-13 17:37
96K
taylor_1__t18_taylor_1
2017-01-13 17:37
95K
taylor_1__t19_taylor_1
2017-01-13 17:37
98K
taylor_1__t20_taylor_1
2017-01-13 17:37
107K
taylor_1__t21_taylor_1
2017-01-13 17:37
152K
taylor_1__t22_taylor_1
2017-01-13 17:37
101K
taylor_1__t23_taylor_1
2017-01-13 17:37
77K
taylor_1__t24_taylor_1
2017-01-13 17:37
116K
taylor_1__t25_taylor_1
2017-01-13 17:37
217K
taylor_1__t26_taylor_1
2017-01-13 17:37
93K
taylor_1__t27_taylor_1
2017-01-13 17:37
160K
taylor_1__t28_taylor_1
2017-01-13 17:37
217K
taylor_1__t29_taylor_1
2017-01-13 17:37
160K
taylor_1__t30_taylor_1
2017-01-13 17:37
114K
taylor_1__t31_taylor_1
2017-01-13 17:37
99K
taylor_1__t32_taylor_1
2017-01-13 17:37
114K
taylor_1__t33_taylor_1
2017-01-13 17:37
168K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80