Index of /~mptp/1147/MPTP2/problems_thf_tls/aofa_i00
Name
Last modified
Size
Description
Parent Directory
-
aofa_i00__l144_aofa_i00
2017-01-12 22:12
149K
aofa_i00__l147_aofa_i00
2017-01-12 22:12
394K
aofa_i00__s1_aofa_i00
2017-01-12 22:11
352K
aofa_i00__s2_aofa_i00
2017-01-12 22:11
352K
aofa_i00__t1_aofa_i00
2017-01-12 22:11
63K
aofa_i00__t2_aofa_i00
2017-01-12 22:11
34K
aofa_i00__t3_aofa_i00
2017-01-12 22:11
52K
aofa_i00__t4_aofa_i00
2017-01-12 22:11
76K
aofa_i00__t5_aofa_i00
2017-01-12 22:11
87K
aofa_i00__t6_aofa_i00
2017-01-12 22:11
49K
aofa_i00__t7_aofa_i00
2017-01-12 22:11
49K
aofa_i00__t8_aofa_i00
2017-01-12 22:11
64K
aofa_i00__t9_aofa_i00
2017-01-12 22:11
56K
aofa_i00__t10_aofa_i00
2017-01-12 22:11
47K
aofa_i00__t11_aofa_i00
2017-01-12 22:11
49K
aofa_i00__t12_aofa_i00
2017-01-12 22:11
43K
aofa_i00__t13_aofa_i00
2017-01-12 22:11
35K
aofa_i00__t14_aofa_i00
2017-01-12 22:11
60K
aofa_i00__t15_aofa_i00
2017-01-12 22:11
90K
aofa_i00__t16_aofa_i00
2017-01-12 22:11
113K
aofa_i00__t17_aofa_i00
2017-01-12 22:11
116K
aofa_i00__t18_aofa_i00
2017-01-12 22:11
116K
aofa_i00__t19_aofa_i00
2017-01-12 22:11
130K
aofa_i00__t20_aofa_i00
2017-01-12 22:11
133K
aofa_i00__t21_aofa_i00
2017-01-12 22:11
133K
aofa_i00__t22_aofa_i00
2017-01-12 22:11
76K
aofa_i00__t23_aofa_i00
2017-01-12 22:11
154K
aofa_i00__t24_aofa_i00
2017-01-12 22:11
158K
aofa_i00__t25_aofa_i00
2017-01-12 22:11
109K
aofa_i00__t26_aofa_i00
2017-01-12 22:11
104K
aofa_i00__t27_aofa_i00
2017-01-12 22:11
111K
aofa_i00__t28_aofa_i00
2017-01-12 22:11
148K
aofa_i00__t29_aofa_i00
2017-01-12 22:11
286K
aofa_i00__t30_aofa_i00
2017-01-12 22:11
127K
aofa_i00__t31_aofa_i00
2017-01-12 22:11
160K
aofa_i00__t32_aofa_i00
2017-01-12 22:11
286K
aofa_i00__t33_aofa_i00
2017-01-12 22:11
136K
aofa_i00__t34_aofa_i00
2017-01-12 22:11
133K
aofa_i00__t35_aofa_i00
2017-01-12 22:11
127K
aofa_i00__t36_aofa_i00
2017-01-12 22:11
130K
aofa_i00__t37_aofa_i00
2017-01-12 22:11
123K
aofa_i00__t38_aofa_i00
2017-01-12 22:11
133K
aofa_i00__t39_aofa_i00
2017-01-12 22:11
128K
aofa_i00__t40_aofa_i00
2017-01-12 22:11
130K
aofa_i00__t41_aofa_i00
2017-01-12 22:11
124K
aofa_i00__t42_aofa_i00
2017-01-12 22:11
118K
aofa_i00__t43_aofa_i00
2017-01-12 22:11
116K
aofa_i00__t44_aofa_i00
2017-01-12 22:11
116K
aofa_i00__t45_aofa_i00
2017-01-12 22:11
118K
aofa_i00__t46_aofa_i00
2017-01-12 22:11
116K
aofa_i00__t47_aofa_i00
2017-01-12 22:11
116K
aofa_i00__t48_aofa_i00
2017-01-12 22:11
155K
aofa_i00__t49_aofa_i00
2017-01-12 22:11
137K
aofa_i00__t50_aofa_i00
2017-01-12 22:11
164K
aofa_i00__t51_aofa_i00
2017-01-12 22:12
134K
aofa_i00__t52_aofa_i00
2017-01-12 22:12
336K
aofa_i00__t53_aofa_i00
2017-01-12 22:12
337K
aofa_i00__t54_aofa_i00
2017-01-12 22:12
154K
aofa_i00__t55_aofa_i00
2017-01-12 22:12
159K
aofa_i00__t56_aofa_i00
2017-01-12 22:12
182K
aofa_i00__t57_aofa_i00
2017-01-12 22:12
369K
aofa_i00__t58_aofa_i00
2017-01-12 22:12
182K
aofa_i00__t59_aofa_i00
2017-01-12 22:12
368K
aofa_i00__t60_aofa_i00
2017-01-12 22:12
183K
aofa_i00__t61_aofa_i00
2017-01-12 22:12
541K
aofa_i00__t62_aofa_i00
2017-01-12 22:12
198K
aofa_i00__t63_aofa_i00
2017-01-12 22:12
200K
aofa_i00__t64_aofa_i00
2017-01-12 22:12
216K
aofa_i00__t65_aofa_i00
2017-01-12 22:12
393K
aofa_i00__t66_aofa_i00
2017-01-12 22:12
213K
aofa_i00__t67_aofa_i00
2017-01-12 22:12
394K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80