Index of /~mptp/1147/MPTP2/problems_thf_tls/aofa_000
Name
Last modified
Size
Description
Parent Directory
-
aofa_000__l6_aofa_000
2017-01-12 22:17
61K
aofa_000__l46_aofa_000
2017-01-12 22:17
122K
aofa_000__l143_aofa_000
2017-01-12 22:17
156K
aofa_000__s1_aofa_000
2017-01-12 22:16
65K
aofa_000__s2_aofa_000
2017-01-12 22:16
118K
aofa_000__s3_aofa_000
2017-01-12 22:16
128K
aofa_000__s4_aofa_000
2017-01-12 22:16
128K
aofa_000__s5_aofa_000
2017-01-12 22:16
161K
aofa_000__s6_aofa_000
2017-01-12 22:16
307K
aofa_000__s7_aofa_000
2017-01-12 22:16
339K
aofa_000__t1_aofa_000
2017-01-12 22:16
64K
aofa_000__t2_aofa_000
2017-01-12 22:16
69K
aofa_000__t3_aofa_000
2017-01-12 22:16
120K
aofa_000__t4_aofa_000
2017-01-12 22:16
68K
aofa_000__t5_aofa_000
2017-01-12 22:16
68K
aofa_000__t6_aofa_000
2017-01-12 22:16
75K
aofa_000__t7_aofa_000
2017-01-12 22:16
75K
aofa_000__t8_aofa_000
2017-01-12 22:16
54K
aofa_000__t9_aofa_000
2017-01-12 22:16
66K
aofa_000__t10_aofa_000
2017-01-12 22:16
61K
aofa_000__t11_aofa_000
2017-01-12 22:16
104K
aofa_000__t12_aofa_000
2017-01-12 22:16
79K
aofa_000__t13_aofa_000
2017-01-12 22:16
98K
aofa_000__t14_aofa_000
2017-01-12 22:16
103K
aofa_000__t15_aofa_000
2017-01-12 22:16
102K
aofa_000__t16_aofa_000
2017-01-12 22:16
86K
aofa_000__t17_aofa_000
2017-01-12 22:16
104K
aofa_000__t18_aofa_000
2017-01-12 22:16
93K
aofa_000__t19_aofa_000
2017-01-12 22:16
97K
aofa_000__t20_aofa_000
2017-01-12 22:16
88K
aofa_000__t21_aofa_000
2017-01-12 22:16
118K
aofa_000__t22_aofa_000
2017-01-12 22:16
84K
aofa_000__t23_aofa_000
2017-01-12 22:16
90K
aofa_000__t24_aofa_000
2017-01-12 22:16
102K
aofa_000__t25_aofa_000
2017-01-12 22:16
97K
aofa_000__t26_aofa_000
2017-01-12 22:16
76K
aofa_000__t27_aofa_000
2017-01-12 22:16
85K
aofa_000__t28_aofa_000
2017-01-12 22:16
85K
aofa_000__t29_aofa_000
2017-01-12 22:16
74K
aofa_000__t30_aofa_000
2017-01-12 22:17
58K
aofa_000__t31_aofa_000
2017-01-12 22:17
56K
aofa_000__t32_aofa_000
2017-01-12 22:17
93K
aofa_000__t33_aofa_000
2017-01-12 22:17
77K
aofa_000__t34_aofa_000
2017-01-12 22:17
129K
aofa_000__t35_aofa_000
2017-01-12 22:17
119K
aofa_000__t36_aofa_000
2017-01-12 22:17
162K
aofa_000__t37_aofa_000
2017-01-12 22:17
82K
aofa_000__t38_aofa_000
2017-01-12 22:17
106K
aofa_000__t39_aofa_000
2017-01-12 22:17
104K
aofa_000__t40_aofa_000
2017-01-12 22:17
93K
aofa_000__t41_aofa_000
2017-01-12 22:17
142K
aofa_000__t42_aofa_000
2017-01-12 22:17
83K
aofa_000__t43_aofa_000
2017-01-12 22:17
88K
aofa_000__t44_aofa_000
2017-01-12 22:17
81K
aofa_000__t45_aofa_000
2017-01-12 22:17
104K
aofa_000__t46_aofa_000
2017-01-12 22:17
104K
aofa_000__t47_aofa_000
2017-01-12 22:17
81K
aofa_000__t48_aofa_000
2017-01-12 22:17
81K
aofa_000__t49_aofa_000
2017-01-12 22:17
105K
aofa_000__t50_aofa_000
2017-01-12 22:17
108K
aofa_000__t51_aofa_000
2017-01-12 22:17
117K
aofa_000__t52_aofa_000
2017-01-12 22:17
114K
aofa_000__t53_aofa_000
2017-01-12 22:17
120K
aofa_000__t54_aofa_000
2017-01-12 22:17
101K
aofa_000__t55_aofa_000
2017-01-12 22:17
106K
aofa_000__t56_aofa_000
2017-01-12 22:17
138K
aofa_000__t57_aofa_000
2017-01-12 22:17
141K
aofa_000__t58_aofa_000
2017-01-12 22:17
130K
aofa_000__t59_aofa_000
2017-01-12 22:17
142K
aofa_000__t60_aofa_000
2017-01-12 22:17
136K
aofa_000__t61_aofa_000
2017-01-12 22:17
123K
aofa_000__t62_aofa_000
2017-01-12 22:17
122K
aofa_000__t63_aofa_000
2017-01-12 22:17
144K
aofa_000__t64_aofa_000
2017-01-12 22:17
141K
aofa_000__t65_aofa_000
2017-01-12 22:17
124K
aofa_000__t66_aofa_000
2017-01-12 22:17
142K
aofa_000__t67_aofa_000
2017-01-12 22:17
136K
aofa_000__t68_aofa_000
2017-01-12 22:17
156K
aofa_000__t69_aofa_000
2017-01-12 22:17
131K
aofa_000__t70_aofa_000
2017-01-12 22:17
151K
aofa_000__t71_aofa_000
2017-01-12 22:17
121K
aofa_000__t72_aofa_000
2017-01-12 22:17
111K
aofa_000__t73_aofa_000
2017-01-12 22:17
115K
aofa_000__t74_aofa_000
2017-01-12 22:17
116K
aofa_000__t75_aofa_000
2017-01-12 22:17
105K
aofa_000__t76_aofa_000
2017-01-12 22:17
122K
aofa_000__t77_aofa_000
2017-01-12 22:17
139K
aofa_000__t78_aofa_000
2017-01-12 22:17
97K
aofa_000__t79_aofa_000
2017-01-12 22:17
106K
aofa_000__t80_aofa_000
2017-01-12 22:17
109K
aofa_000__t81_aofa_000
2017-01-12 22:17
118K
aofa_000__t82_aofa_000
2017-01-12 22:17
101K
aofa_000__t83_aofa_000
2017-01-12 22:17
99K
aofa_000__t84_aofa_000
2017-01-12 22:17
214K
aofa_000__t85_aofa_000
2017-01-12 22:17
115K
aofa_000__t86_aofa_000
2017-01-12 22:17
399K
aofa_000__t87_aofa_000
2017-01-12 22:17
165K
aofa_000__t88_aofa_000
2017-01-12 22:17
162K
aofa_000__t89_aofa_000
2017-01-12 22:17
149K
aofa_000__t90_aofa_000
2017-01-12 22:17
144K
aofa_000__t91_aofa_000
2017-01-12 22:17
189K
aofa_000__t92_aofa_000
2017-01-12 22:17
186K
aofa_000__t93_aofa_000
2017-01-12 22:17
146K
aofa_000__t94_aofa_000
2017-01-12 22:17
129K
aofa_000__t95_aofa_000
2017-01-12 22:17
112K
aofa_000__t96_aofa_000
2017-01-12 22:17
129K
aofa_000__t97_aofa_000
2017-01-12 22:17
138K
aofa_000__t98_aofa_000
2017-01-12 22:17
140K
aofa_000__t99_aofa_000
2017-01-12 22:17
142K
aofa_000__t100_aofa_000
2017-01-12 22:17
122K
aofa_000__t101_aofa_000
2017-01-12 22:17
136K
aofa_000__t102_aofa_000
2017-01-12 22:17
124K
aofa_000__t103_aofa_000
2017-01-12 22:16
123K
aofa_000__t104_aofa_000
2017-01-12 22:17
73K
aofa_000__t105_aofa_000
2017-01-12 22:17
73K
aofa_000__t106_aofa_000
2017-01-12 22:17
73K
aofa_000__t107_aofa_000
2017-01-12 22:16
67K
aofa_000__t108_aofa_000
2017-01-12 22:17
75K
aofa_000__t109_aofa_000
2017-01-12 22:17
108K
aofa_000__t110_aofa_000
2017-01-12 22:17
135K
aofa_000__t111_aofa_000
2017-01-12 22:17
136K
aofa_000__t112_aofa_000
2017-01-12 22:17
135K
aofa_000__t113_aofa_000
2017-01-12 22:17
136K
aofa_000__t114_aofa_000
2017-01-12 22:17
136K
aofa_000__t115_aofa_000
2017-01-12 22:17
178K
aofa_000__t116_aofa_000
2017-01-12 22:17
178K
aofa_000__t117_aofa_000
2017-01-12 22:17
111K
aofa_000__t118_aofa_000
2017-01-12 22:17
113K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80