Index of /~mptp/1147/mptp/problems_thf_tls/aofa_000

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_000__l6_aofa_0002017-01-12 22:17 61K 
[ ]aofa_000__l46_aofa_0002017-01-12 22:17 122K 
[ ]aofa_000__l143_aofa_0002017-01-12 22:17 156K 
[ ]aofa_000__s1_aofa_0002017-01-12 22:16 65K 
[ ]aofa_000__s2_aofa_0002017-01-12 22:16 118K 
[ ]aofa_000__s3_aofa_0002017-01-12 22:16 128K 
[ ]aofa_000__s4_aofa_0002017-01-12 22:16 128K 
[ ]aofa_000__s5_aofa_0002017-01-12 22:16 161K 
[ ]aofa_000__s6_aofa_0002017-01-12 22:16 307K 
[ ]aofa_000__s7_aofa_0002017-01-12 22:16 339K 
[ ]aofa_000__t1_aofa_0002017-01-12 22:16 64K 
[ ]aofa_000__t2_aofa_0002017-01-12 22:16 69K 
[ ]aofa_000__t3_aofa_0002017-01-12 22:16 120K 
[ ]aofa_000__t4_aofa_0002017-01-12 22:16 68K 
[ ]aofa_000__t5_aofa_0002017-01-12 22:16 68K 
[ ]aofa_000__t6_aofa_0002017-01-12 22:16 75K 
[ ]aofa_000__t7_aofa_0002017-01-12 22:16 75K 
[ ]aofa_000__t8_aofa_0002017-01-12 22:16 54K 
[ ]aofa_000__t9_aofa_0002017-01-12 22:16 66K 
[ ]aofa_000__t10_aofa_0002017-01-12 22:16 61K 
[ ]aofa_000__t11_aofa_0002017-01-12 22:16 104K 
[ ]aofa_000__t12_aofa_0002017-01-12 22:16 79K 
[ ]aofa_000__t13_aofa_0002017-01-12 22:16 98K 
[ ]aofa_000__t14_aofa_0002017-01-12 22:16 103K 
[ ]aofa_000__t15_aofa_0002017-01-12 22:16 102K 
[ ]aofa_000__t16_aofa_0002017-01-12 22:16 86K 
[ ]aofa_000__t17_aofa_0002017-01-12 22:16 104K 
[ ]aofa_000__t18_aofa_0002017-01-12 22:16 93K 
[ ]aofa_000__t19_aofa_0002017-01-12 22:16 97K 
[ ]aofa_000__t20_aofa_0002017-01-12 22:16 88K 
[ ]aofa_000__t21_aofa_0002017-01-12 22:16 118K 
[ ]aofa_000__t22_aofa_0002017-01-12 22:16 84K 
[ ]aofa_000__t23_aofa_0002017-01-12 22:16 90K 
[ ]aofa_000__t24_aofa_0002017-01-12 22:16 102K 
[ ]aofa_000__t25_aofa_0002017-01-12 22:16 97K 
[ ]aofa_000__t26_aofa_0002017-01-12 22:16 76K 
[ ]aofa_000__t27_aofa_0002017-01-12 22:16 85K 
[ ]aofa_000__t28_aofa_0002017-01-12 22:16 85K 
[ ]aofa_000__t29_aofa_0002017-01-12 22:16 74K 
[ ]aofa_000__t30_aofa_0002017-01-12 22:17 58K 
[ ]aofa_000__t31_aofa_0002017-01-12 22:17 56K 
[ ]aofa_000__t32_aofa_0002017-01-12 22:17 93K 
[ ]aofa_000__t33_aofa_0002017-01-12 22:17 77K 
[ ]aofa_000__t34_aofa_0002017-01-12 22:17 129K 
[ ]aofa_000__t35_aofa_0002017-01-12 22:17 119K 
[ ]aofa_000__t36_aofa_0002017-01-12 22:17 162K 
[ ]aofa_000__t37_aofa_0002017-01-12 22:17 82K 
[ ]aofa_000__t38_aofa_0002017-01-12 22:17 106K 
[ ]aofa_000__t39_aofa_0002017-01-12 22:17 104K 
[ ]aofa_000__t40_aofa_0002017-01-12 22:17 93K 
[ ]aofa_000__t41_aofa_0002017-01-12 22:17 142K 
[ ]aofa_000__t42_aofa_0002017-01-12 22:17 83K 
[ ]aofa_000__t43_aofa_0002017-01-12 22:17 88K 
[ ]aofa_000__t44_aofa_0002017-01-12 22:17 81K 
[ ]aofa_000__t45_aofa_0002017-01-12 22:17 104K 
[ ]aofa_000__t46_aofa_0002017-01-12 22:17 104K 
[ ]aofa_000__t47_aofa_0002017-01-12 22:17 81K 
[ ]aofa_000__t48_aofa_0002017-01-12 22:17 81K 
[ ]aofa_000__t49_aofa_0002017-01-12 22:17 105K 
[ ]aofa_000__t50_aofa_0002017-01-12 22:17 108K 
[ ]aofa_000__t51_aofa_0002017-01-12 22:17 117K 
[ ]aofa_000__t52_aofa_0002017-01-12 22:17 114K 
[ ]aofa_000__t53_aofa_0002017-01-12 22:17 120K 
[ ]aofa_000__t54_aofa_0002017-01-12 22:17 101K 
[ ]aofa_000__t55_aofa_0002017-01-12 22:17 106K 
[ ]aofa_000__t56_aofa_0002017-01-12 22:17 138K 
[ ]aofa_000__t57_aofa_0002017-01-12 22:17 141K 
[ ]aofa_000__t58_aofa_0002017-01-12 22:17 130K 
[ ]aofa_000__t59_aofa_0002017-01-12 22:17 142K 
[ ]aofa_000__t60_aofa_0002017-01-12 22:17 136K 
[ ]aofa_000__t61_aofa_0002017-01-12 22:17 123K 
[ ]aofa_000__t62_aofa_0002017-01-12 22:17 122K 
[ ]aofa_000__t63_aofa_0002017-01-12 22:17 144K 
[ ]aofa_000__t64_aofa_0002017-01-12 22:17 141K 
[ ]aofa_000__t65_aofa_0002017-01-12 22:17 124K 
[ ]aofa_000__t66_aofa_0002017-01-12 22:17 142K 
[ ]aofa_000__t67_aofa_0002017-01-12 22:17 136K 
[ ]aofa_000__t68_aofa_0002017-01-12 22:17 156K 
[ ]aofa_000__t69_aofa_0002017-01-12 22:17 131K 
[ ]aofa_000__t70_aofa_0002017-01-12 22:17 151K 
[ ]aofa_000__t71_aofa_0002017-01-12 22:17 121K 
[ ]aofa_000__t72_aofa_0002017-01-12 22:17 111K 
[ ]aofa_000__t73_aofa_0002017-01-12 22:17 115K 
[ ]aofa_000__t74_aofa_0002017-01-12 22:17 116K 
[ ]aofa_000__t75_aofa_0002017-01-12 22:17 105K 
[ ]aofa_000__t76_aofa_0002017-01-12 22:17 122K 
[ ]aofa_000__t77_aofa_0002017-01-12 22:17 139K 
[ ]aofa_000__t78_aofa_0002017-01-12 22:17 97K 
[ ]aofa_000__t79_aofa_0002017-01-12 22:17 106K 
[ ]aofa_000__t80_aofa_0002017-01-12 22:17 109K 
[ ]aofa_000__t81_aofa_0002017-01-12 22:17 118K 
[ ]aofa_000__t82_aofa_0002017-01-12 22:17 101K 
[ ]aofa_000__t83_aofa_0002017-01-12 22:17 99K 
[ ]aofa_000__t84_aofa_0002017-01-12 22:17 214K 
[ ]aofa_000__t85_aofa_0002017-01-12 22:17 115K 
[ ]aofa_000__t86_aofa_0002017-01-12 22:17 399K 
[ ]aofa_000__t87_aofa_0002017-01-12 22:17 165K 
[ ]aofa_000__t88_aofa_0002017-01-12 22:17 162K 
[ ]aofa_000__t89_aofa_0002017-01-12 22:17 149K 
[ ]aofa_000__t90_aofa_0002017-01-12 22:17 144K 
[ ]aofa_000__t91_aofa_0002017-01-12 22:17 189K 
[ ]aofa_000__t92_aofa_0002017-01-12 22:17 186K 
[ ]aofa_000__t93_aofa_0002017-01-12 22:17 146K 
[ ]aofa_000__t94_aofa_0002017-01-12 22:17 129K 
[ ]aofa_000__t95_aofa_0002017-01-12 22:17 112K 
[ ]aofa_000__t96_aofa_0002017-01-12 22:17 129K 
[ ]aofa_000__t97_aofa_0002017-01-12 22:17 138K 
[ ]aofa_000__t98_aofa_0002017-01-12 22:17 140K 
[ ]aofa_000__t99_aofa_0002017-01-12 22:17 142K 
[ ]aofa_000__t100_aofa_0002017-01-12 22:17 122K 
[ ]aofa_000__t101_aofa_0002017-01-12 22:17 136K 
[ ]aofa_000__t102_aofa_0002017-01-12 22:17 124K 
[ ]aofa_000__t103_aofa_0002017-01-12 22:16 123K 
[ ]aofa_000__t104_aofa_0002017-01-12 22:17 73K 
[ ]aofa_000__t105_aofa_0002017-01-12 22:17 73K 
[ ]aofa_000__t106_aofa_0002017-01-12 22:17 73K 
[ ]aofa_000__t107_aofa_0002017-01-12 22:16 67K 
[ ]aofa_000__t108_aofa_0002017-01-12 22:17 75K 
[ ]aofa_000__t109_aofa_0002017-01-12 22:17 108K 
[ ]aofa_000__t110_aofa_0002017-01-12 22:17 135K 
[ ]aofa_000__t111_aofa_0002017-01-12 22:17 136K 
[ ]aofa_000__t112_aofa_0002017-01-12 22:17 135K 
[ ]aofa_000__t113_aofa_0002017-01-12 22:17 136K 
[ ]aofa_000__t114_aofa_0002017-01-12 22:17 136K 
[ ]aofa_000__t115_aofa_0002017-01-12 22:17 178K 
[ ]aofa_000__t116_aofa_0002017-01-12 22:17 178K 
[ ]aofa_000__t117_aofa_0002017-01-12 22:17 111K 
[ ]aofa_000__t118_aofa_0002017-01-12 22:17 113K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80