Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/abcmiz_0
Name
Last modified
Size
Description
Parent Directory
-
abcmiz_0__t1_abcmiz_0
2016-03-08 13:04
43K
abcmiz_0__t2_abcmiz_0
2016-03-08 13:04
25K
abcmiz_0__t3_abcmiz_0
2016-03-08 13:04
37K
abcmiz_0__t4_abcmiz_0
2016-03-08 13:04
38K
abcmiz_0__t5_abcmiz_0
2016-03-08 13:04
37K
abcmiz_0__t6_abcmiz_0
2016-03-08 13:04
37K
abcmiz_0__t7_abcmiz_0
2016-03-08 13:04
47K
abcmiz_0__t8_abcmiz_0
2016-03-08 13:04
48K
abcmiz_0__t9_abcmiz_0
2016-03-08 13:04
66K
abcmiz_0__t10_abcmiz_0
2016-03-08 13:04
54K
abcmiz_0__t11_abcmiz_0
2016-03-08 13:04
48K
abcmiz_0__t12_abcmiz_0
2017-01-05 20:54
43K
abcmiz_0__t13_abcmiz_0
2016-03-08 13:04
39K
abcmiz_0__t14_abcmiz_0
2016-03-08 13:04
44K
abcmiz_0__t15_abcmiz_0
2017-01-05 20:54
39K
abcmiz_0__t16_abcmiz_0
2016-03-08 13:04
33K
abcmiz_0__t17_abcmiz_0
2016-03-08 13:04
51K
abcmiz_0__t18_abcmiz_0
2016-03-08 13:04
41K
abcmiz_0__t19_abcmiz_0
2016-03-08 13:04
51K
abcmiz_0__t20_abcmiz_0
2016-03-08 13:04
48K
abcmiz_0__t21_abcmiz_0
2016-03-08 13:04
59K
abcmiz_0__t22_abcmiz_0
2016-03-08 13:04
47K
abcmiz_0__t23_abcmiz_0
2016-03-08 13:04
62K
abcmiz_0__t24_abcmiz_0
2016-03-08 13:04
59K
abcmiz_0__t25_abcmiz_0
2016-03-08 13:04
64K
abcmiz_0__t26_abcmiz_0
2016-03-08 13:04
64K
abcmiz_0__t27_abcmiz_0
2016-03-08 13:04
45K
abcmiz_0__t28_abcmiz_0
2016-03-08 13:04
68K
abcmiz_0__t29_abcmiz_0
2016-03-08 13:04
78K
abcmiz_0__t30_abcmiz_0
2016-03-08 13:04
66K
abcmiz_0__t31_abcmiz_0
2016-03-08 13:04
73K
abcmiz_0__t32_abcmiz_0
2017-01-05 20:54
63K
abcmiz_0__t33_abcmiz_0
2017-01-05 20:54
78K
abcmiz_0__t34_abcmiz_0
2017-01-05 20:54
116K
abcmiz_0__t35_abcmiz_0
2017-01-05 20:54
89K
abcmiz_0__t36_abcmiz_0
2016-03-08 13:04
80K
abcmiz_0__t37_abcmiz_0
2017-01-05 20:54
87K
abcmiz_0__t38_abcmiz_0
2016-03-08 13:04
51K
abcmiz_0__t39_abcmiz_0
2017-01-05 20:54
75K
abcmiz_0__t40_abcmiz_0
2017-01-05 20:54
104K
abcmiz_0__t41_abcmiz_0
2016-03-08 13:04
102K
abcmiz_0__t42_abcmiz_0
2016-03-08 13:04
80K
abcmiz_0__t43_abcmiz_0
2016-03-08 13:04
79K
abcmiz_0__t44_abcmiz_0
2016-03-08 13:04
105K
abcmiz_0__t45_abcmiz_0
2016-03-08 13:04
62K
abcmiz_0__t46_abcmiz_0
2017-01-05 20:54
91K
abcmiz_0__t47_abcmiz_0
2016-03-08 13:04
92K
abcmiz_0__t48_abcmiz_0
2016-03-08 13:04
107K
abcmiz_0__t49_abcmiz_0
2016-03-08 13:04
48K
abcmiz_0__t50_abcmiz_0
2016-03-08 13:04
59K
abcmiz_0__t51_abcmiz_0
2016-03-08 13:04
47K
abcmiz_0__t52_abcmiz_0
2016-03-08 13:04
62K
abcmiz_0__t53_abcmiz_0
2016-03-08 13:04
59K
abcmiz_0__t54_abcmiz_0
2016-03-08 13:04
39K
abcmiz_0__t55_abcmiz_0
2016-03-08 13:04
69K
abcmiz_0__t56_abcmiz_0
2017-01-05 20:54
115K
abcmiz_0__t57_abcmiz_0
2016-03-08 13:04
56K
abcmiz_0__t58_abcmiz_0
2016-03-08 13:04
51K
abcmiz_0__t59_abcmiz_0
2017-01-05 20:54
75K
abcmiz_0__t60_abcmiz_0
2017-01-05 20:54
105K
abcmiz_0__t61_abcmiz_0
2017-01-05 20:54
105K
abcmiz_0__t62_abcmiz_0
2016-03-08 13:04
49K
abcmiz_0__t63_abcmiz_0
2016-03-08 13:04
53K
abcmiz_0__t64_abcmiz_0
2016-03-08 13:04
46K
abcmiz_0__t65_abcmiz_0
2017-01-05 20:54
127K
abcmiz_0__t66_abcmiz_0
2016-03-08 13:04
66K
abcmiz_0__t67_abcmiz_0
2016-03-08 13:04
47K
abcmiz_0__t68_abcmiz_0
2016-03-08 13:04
64K
abcmiz_0__t69_abcmiz_0
2016-03-08 13:04
45K
abcmiz_0__t70_abcmiz_0
2017-01-05 20:54
135K
abcmiz_0__t71_abcmiz_0
2016-03-08 13:04
95K
abcmiz_0__t72_abcmiz_0
2016-03-08 13:04
79K
abcmiz_0__t73_abcmiz_0
2016-03-08 13:04
70K
abcmiz_0__t74_abcmiz_0
2016-03-08 13:04
50K
abcmiz_0__t75_abcmiz_0
2016-03-08 13:04
29K
abcmiz_0__t76_abcmiz_0
2017-01-05 20:54
194K
abcmiz_0__t77_abcmiz_0
2016-03-08 13:04
70K
abcmiz_0__t78_abcmiz_0
2016-03-08 13:04
43K
abcmiz_0__t79_abcmiz_0
2016-03-08 13:04
44K
abcmiz_0__t80_abcmiz_0
2017-01-05 20:54
57K
abcmiz_0__t81_abcmiz_0
2017-01-05 20:54
85K
abcmiz_0__t82_abcmiz_0
2016-03-08 13:04
66K
abcmiz_0__t83_abcmiz_0
2016-03-08 13:04
64K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80