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