Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls1/aofa_000

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