Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/abcmiz_1
Name
Last modified
Size
Description
Parent Directory
-
abcmiz_1__t1_abcmiz_1
2016-03-08 13:04
50K
abcmiz_1__t2_abcmiz_1
2016-03-08 13:04
43K
abcmiz_1__t3_abcmiz_1
2016-03-08 13:04
46K
abcmiz_1__t4_abcmiz_1
2016-03-08 13:04
60K
abcmiz_1__t5_abcmiz_1
2016-03-08 13:04
92K
abcmiz_1__t6_abcmiz_1
2017-01-05 20:54
69K
abcmiz_1__t7_abcmiz_1
2017-01-05 20:54
148K
abcmiz_1__t8_abcmiz_1
2016-03-08 13:04
45K
abcmiz_1__t9_abcmiz_1
2016-03-08 13:04
45K
abcmiz_1__t10_abcmiz_1
2017-01-05 20:54
47K
abcmiz_1__t11_abcmiz_1
2017-01-05 20:54
46K
abcmiz_1__t12_abcmiz_1
2016-03-08 13:04
46K
abcmiz_1__t13_abcmiz_1
2016-03-08 13:04
49K
abcmiz_1__t14_abcmiz_1
2017-01-05 20:54
66K
abcmiz_1__t15_abcmiz_1
2017-01-05 20:54
66K
abcmiz_1__t16_abcmiz_1
2017-01-05 20:54
59K
abcmiz_1__t17_abcmiz_1
2017-01-05 20:54
61K
abcmiz_1__t18_abcmiz_1
2017-01-05 20:54
61K
abcmiz_1__t19_abcmiz_1
2017-01-05 20:54
65K
abcmiz_1__t20_abcmiz_1
2016-03-08 13:04
41K
abcmiz_1__t21_abcmiz_1
2016-03-08 13:04
49K
abcmiz_1__t22_abcmiz_1
2016-03-08 13:04
91K
abcmiz_1__t23_abcmiz_1
2017-01-05 20:54
77K
abcmiz_1__t24_abcmiz_1
2016-03-08 13:04
42K
abcmiz_1__t25_abcmiz_1
2017-01-05 20:54
45K
abcmiz_1__t26_abcmiz_1
2016-03-08 13:04
50K
abcmiz_1__t27_abcmiz_1
2017-01-05 20:54
52K
abcmiz_1__t28_abcmiz_1
2017-01-05 20:54
52K
abcmiz_1__t29_abcmiz_1
2016-03-08 13:04
68K
abcmiz_1__t30_abcmiz_1
2016-03-08 13:04
78K
abcmiz_1__t31_abcmiz_1
2017-01-05 20:54
116K
abcmiz_1__t32_abcmiz_1
2017-01-05 20:54
76K
abcmiz_1__t33_abcmiz_1
2016-03-08 13:04
71K
abcmiz_1__t34_abcmiz_1
2016-03-08 13:04
75K
abcmiz_1__t35_abcmiz_1
2017-01-05 20:54
88K
abcmiz_1__t36_abcmiz_1
2016-03-08 13:04
85K
abcmiz_1__t37_abcmiz_1
2017-01-05 20:54
104K
abcmiz_1__t38_abcmiz_1
2016-03-08 13:04
95K
abcmiz_1__t39_abcmiz_1
2016-03-08 13:04
71K
abcmiz_1__t40_abcmiz_1
2016-03-08 13:04
64K
abcmiz_1__t41_abcmiz_1
2016-03-08 13:04
88K
abcmiz_1__t42_abcmiz_1
2017-01-05 20:54
155K
abcmiz_1__t43_abcmiz_1
2016-03-08 13:04
143K
abcmiz_1__t44_abcmiz_1
2016-03-08 13:04
104K
abcmiz_1__t45_abcmiz_1
2017-01-05 20:54
169K
abcmiz_1__t46_abcmiz_1
2016-03-08 13:04
145K
abcmiz_1__t47_abcmiz_1
2016-03-08 13:04
134K
abcmiz_1__t48_abcmiz_1
2016-03-08 13:04
112K
abcmiz_1__t49_abcmiz_1
2016-03-08 13:04
86K
abcmiz_1__t50_abcmiz_1
2016-03-08 13:04
90K
abcmiz_1__t51_abcmiz_1
2017-01-05 20:54
182K
abcmiz_1__t52_abcmiz_1
2017-01-05 20:54
142K
abcmiz_1__t53_abcmiz_1
2017-01-05 20:54
216K
abcmiz_1__t54_abcmiz_1
2016-03-08 13:04
146K
abcmiz_1__t55_abcmiz_1
2016-03-08 13:04
161K
abcmiz_1__t56_abcmiz_1
2016-03-08 13:04
158K
abcmiz_1__t57_abcmiz_1
2016-03-08 13:04
166K
abcmiz_1__t58_abcmiz_1
2016-03-08 13:04
152K
abcmiz_1__t59_abcmiz_1
2016-03-08 13:04
107K
abcmiz_1__t60_abcmiz_1
2016-03-08 13:04
126K
abcmiz_1__t61_abcmiz_1
2016-03-08 13:04
126K
abcmiz_1__t62_abcmiz_1
2016-03-08 13:04
95K
abcmiz_1__t63_abcmiz_1
2017-01-05 20:54
85K
abcmiz_1__t64_abcmiz_1
2016-03-08 13:04
86K
abcmiz_1__t65_abcmiz_1
2016-03-08 13:04
147K
abcmiz_1__t66_abcmiz_1
2016-03-08 13:04
119K
abcmiz_1__t67_abcmiz_1
2016-03-08 13:04
100K
abcmiz_1__t68_abcmiz_1
2016-03-08 13:04
85K
abcmiz_1__t69_abcmiz_1
2016-03-08 13:04
88K
abcmiz_1__t70_abcmiz_1
2016-03-08 13:04
132K
abcmiz_1__t71_abcmiz_1
2016-03-08 13:04
166K
abcmiz_1__t72_abcmiz_1
2017-01-05 20:54
94K
abcmiz_1__t73_abcmiz_1
2017-01-05 20:54
93K
abcmiz_1__t74_abcmiz_1
2016-03-08 13:04
129K
abcmiz_1__t75_abcmiz_1
2016-03-08 13:04
117K
abcmiz_1__t76_abcmiz_1
2017-01-05 20:54
123K
abcmiz_1__t77_abcmiz_1
2016-03-08 13:04
86K
abcmiz_1__t78_abcmiz_1
2017-01-05 20:54
95K
abcmiz_1__t79_abcmiz_1
2017-01-05 20:54
93K
abcmiz_1__t80_abcmiz_1
2017-01-05 20:54
95K
abcmiz_1__t81_abcmiz_1
2017-01-05 20:54
95K
abcmiz_1__t82_abcmiz_1
2017-01-05 20:54
99K
abcmiz_1__t83_abcmiz_1
2017-01-05 20:54
107K
abcmiz_1__t84_abcmiz_1
2017-01-05 20:54
106K
abcmiz_1__t85_abcmiz_1
2016-03-08 13:04
88K
abcmiz_1__t86_abcmiz_1
2016-03-08 13:04
95K
abcmiz_1__t87_abcmiz_1
2016-03-08 13:04
102K
abcmiz_1__t88_abcmiz_1
2017-01-05 20:54
105K
abcmiz_1__t89_abcmiz_1
2017-01-05 20:54
97K
abcmiz_1__t90_abcmiz_1
2017-01-05 20:54
105K
abcmiz_1__t91_abcmiz_1
2017-01-05 20:54
107K
abcmiz_1__t92_abcmiz_1
2016-03-08 13:04
68K
abcmiz_1__t93_abcmiz_1
2016-03-08 13:04
60K
abcmiz_1__t94_abcmiz_1
2016-03-08 13:04
118K
abcmiz_1__t95_abcmiz_1
2016-03-08 13:04
93K
abcmiz_1__t96_abcmiz_1
2016-03-08 13:04
77K
abcmiz_1__t97_abcmiz_1
2016-03-08 13:04
126K
abcmiz_1__t98_abcmiz_1
2016-03-08 13:04
99K
abcmiz_1__t99_abcmiz_1
2016-03-08 13:04
125K
abcmiz_1__t100_abcmiz_1
2016-03-08 13:04
90K
abcmiz_1__t101_abcmiz_1
2017-01-05 20:54
102K
abcmiz_1__t102_abcmiz_1
2017-01-05 20:54
130K
abcmiz_1__t103_abcmiz_1
2017-01-05 20:54
112K
abcmiz_1__t104_abcmiz_1
2017-01-05 20:54
115K
abcmiz_1__t105_abcmiz_1
2017-01-05 20:54
126K
abcmiz_1__t106_abcmiz_1
2017-01-05 20:54
109K
abcmiz_1__t107_abcmiz_1
2016-03-08 13:04
117K
abcmiz_1__t108_abcmiz_1
2017-01-05 20:54
110K
abcmiz_1__t109_abcmiz_1
2017-01-05 20:54
68K
abcmiz_1__t110_abcmiz_1
2017-01-05 20:54
67K
abcmiz_1__t111_abcmiz_1
2017-01-05 20:54
83K
abcmiz_1__t112_abcmiz_1
2017-01-05 20:54
71K
abcmiz_1__t113_abcmiz_1
2017-01-05 20:54
72K
abcmiz_1__t114_abcmiz_1
2016-03-08 13:04
73K
abcmiz_1__t115_abcmiz_1
2017-01-05 20:54
75K
abcmiz_1__t116_abcmiz_1
2017-01-05 20:54
89K
abcmiz_1__t117_abcmiz_1
2016-03-08 13:04
66K
abcmiz_1__t118_abcmiz_1
2016-03-08 13:04
59K
abcmiz_1__t119_abcmiz_1
2016-03-08 13:04
77K
abcmiz_1__t120_abcmiz_1
2017-01-05 20:54
108K
abcmiz_1__t121_abcmiz_1
2017-01-05 20:54
109K
abcmiz_1__t122_abcmiz_1
2017-01-05 20:54
111K
abcmiz_1__t123_abcmiz_1
2017-01-05 20:54
89K
abcmiz_1__t124_abcmiz_1
2017-01-05 20:54
123K
abcmiz_1__t125_abcmiz_1
2017-01-05 20:54
123K
abcmiz_1__t126_abcmiz_1
2016-03-08 13:04
65K
abcmiz_1__t127_abcmiz_1
2016-03-08 13:04
101K
abcmiz_1__t128_abcmiz_1
2017-01-05 20:54
167K
abcmiz_1__t129_abcmiz_1
2016-03-08 13:04
89K
abcmiz_1__t130_abcmiz_1
2017-01-05 20:54
99K
abcmiz_1__t131_abcmiz_1
2017-01-05 20:54
101K
abcmiz_1__t132_abcmiz_1
2016-03-08 13:04
121K
abcmiz_1__t133_abcmiz_1
2016-03-08 13:04
121K
abcmiz_1__t134_abcmiz_1
2016-03-08 13:04
124K
abcmiz_1__t135_abcmiz_1
2016-03-08 13:04
121K
abcmiz_1__t136_abcmiz_1
2016-03-08 13:04
121K
abcmiz_1__t137_abcmiz_1
2017-01-05 20:54
148K
abcmiz_1__t138_abcmiz_1
2017-01-05 20:54
110K
abcmiz_1__t139_abcmiz_1
2017-01-05 20:54
103K
abcmiz_1__t140_abcmiz_1
2016-03-08 13:04
100K
abcmiz_1__t141_abcmiz_1
2016-03-08 13:04
145K
abcmiz_1__t142_abcmiz_1
2016-03-08 13:04
102K
abcmiz_1__t143_abcmiz_1
2017-01-05 20:54
191K
abcmiz_1__t144_abcmiz_1
2017-01-05 20:54
114K
abcmiz_1__t145_abcmiz_1
2017-01-05 20:54
103K
abcmiz_1__t146_abcmiz_1
2017-01-05 20:54
103K
abcmiz_1__t147_abcmiz_1
2017-01-05 20:54
111K
abcmiz_1__t148_abcmiz_1
2017-01-05 20:54
133K
abcmiz_1__t149_abcmiz_1
2016-03-08 13:04
142K
abcmiz_1__t150_abcmiz_1
2017-01-05 20:54
101K
abcmiz_1__t151_abcmiz_1
2017-01-05 20:54
114K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80