Index of /~mptp/1147/MPTP2/problems_thf_tls/abcmiz_a
Name
Last modified
Size
Description
Parent Directory
-
abcmiz_a__s1_abcmiz_a
2017-01-12 22:12
81K
abcmiz_a__s2_abcmiz_a
2017-01-12 22:12
37K
abcmiz_a__s3_abcmiz_a
2017-01-12 22:12
143K
abcmiz_a__t1_abcmiz_a
2017-01-12 22:12
35K
abcmiz_a__t2_abcmiz_a
2017-01-12 22:12
37K
abcmiz_a__t3_abcmiz_a
2017-01-12 22:12
96K
abcmiz_a__t4_abcmiz_a
2017-01-12 22:12
67K
abcmiz_a__t5_abcmiz_a
2017-01-12 22:12
91K
abcmiz_a__t6_abcmiz_a
2017-01-12 22:12
106K
abcmiz_a__t7_abcmiz_a
2017-01-12 22:12
38K
abcmiz_a__t8_abcmiz_a
2017-01-12 22:12
51K
abcmiz_a__t9_abcmiz_a
2017-01-12 22:12
32K
abcmiz_a__t10_abcmiz_a
2017-01-12 22:12
67K
abcmiz_a__t11_abcmiz_a
2017-01-12 22:12
144K
abcmiz_a__t12_abcmiz_a
2017-01-12 22:12
106K
abcmiz_a__t13_abcmiz_a
2017-01-12 22:12
155K
abcmiz_a__t14_abcmiz_a
2017-01-12 22:12
86K
abcmiz_a__t15_abcmiz_a
2017-01-12 22:12
123K
abcmiz_a__t16_abcmiz_a
2017-01-12 22:12
99K
abcmiz_a__t17_abcmiz_a
2017-01-12 22:12
120K
abcmiz_a__t18_abcmiz_a
2017-01-12 22:12
270K
abcmiz_a__t19_abcmiz_a
2017-01-12 22:12
269K
abcmiz_a__t20_abcmiz_a
2017-01-12 22:12
124K
abcmiz_a__t21_abcmiz_a
2017-01-12 22:12
233K
abcmiz_a__t22_abcmiz_a
2017-01-12 22:12
84K
abcmiz_a__t23_abcmiz_a
2017-01-12 22:12
88K
abcmiz_a__t24_abcmiz_a
2017-01-12 22:12
266K
abcmiz_a__t25_abcmiz_a
2017-01-12 22:12
138K
abcmiz_a__t26_abcmiz_a
2017-01-12 22:12
261K
abcmiz_a__t27_abcmiz_a
2017-01-12 22:12
55K
abcmiz_a__t28_abcmiz_a
2017-01-12 22:12
47K
abcmiz_a__t29_abcmiz_a
2017-01-12 22:12
61K
abcmiz_a__t30_abcmiz_a
2017-01-12 22:12
62K
abcmiz_a__t31_abcmiz_a
2017-01-12 22:12
59K
abcmiz_a__t32_abcmiz_a
2017-01-12 22:12
133K
abcmiz_a__t33_abcmiz_a
2017-01-12 22:12
70K
abcmiz_a__t34_abcmiz_a
2017-01-12 22:12
79K
abcmiz_a__t35_abcmiz_a
2017-01-12 22:12
100K
abcmiz_a__t36_abcmiz_a
2017-01-12 22:12
85K
abcmiz_a__t37_abcmiz_a
2017-01-12 22:12
56K
abcmiz_a__t38_abcmiz_a
2017-01-12 22:13
97K
abcmiz_a__t39_abcmiz_a
2017-01-12 22:13
127K
abcmiz_a__t40_abcmiz_a
2017-01-12 22:12
73K
abcmiz_a__t41_abcmiz_a
2017-01-12 22:12
111K
abcmiz_a__t42_abcmiz_a
2017-01-12 22:13
69K
abcmiz_a__t43_abcmiz_a
2017-01-12 22:13
108K
abcmiz_a__t44_abcmiz_a
2017-01-12 22:13
113K
abcmiz_a__t45_abcmiz_a
2017-01-12 22:13
145K
abcmiz_a__t46_abcmiz_a
2017-01-12 22:13
153K
abcmiz_a__t47_abcmiz_a
2017-01-12 22:13
154K
abcmiz_a__t48_abcmiz_a
2017-01-12 22:12
97K
abcmiz_a__t49_abcmiz_a
2017-01-12 22:13
106K
abcmiz_a__t50_abcmiz_a
2017-01-12 22:13
81K
abcmiz_a__t51_abcmiz_a
2017-01-12 22:13
88K
abcmiz_a__t52_abcmiz_a
2017-01-12 22:13
94K
abcmiz_a__t53_abcmiz_a
2017-01-12 22:13
79K
abcmiz_a__t54_abcmiz_a
2017-01-12 22:13
96K
abcmiz_a__t55_abcmiz_a
2017-01-12 22:13
80K
abcmiz_a__t56_abcmiz_a
2017-01-12 22:13
81K
abcmiz_a__t57_abcmiz_a
2017-01-12 22:13
103K
abcmiz_a__t58_abcmiz_a
2017-01-12 22:13
110K
abcmiz_a__t59_abcmiz_a
2017-01-12 22:13
108K
abcmiz_a__t60_abcmiz_a
2017-01-12 22:13
113K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80