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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_000__l6_aofa_0002017-01-13 00:34 98K 
[ ]aofa_000__l46_aofa_0002017-01-13 00:34 195K 
[ ]aofa_000__l143_aofa_0002017-01-13 00:34 241K 
[ ]aofa_000__s1_aofa_0002017-01-13 00:33 106K 
[ ]aofa_000__s2_aofa_0002017-01-13 00:33 184K 
[ ]aofa_000__s3_aofa_0002017-01-13 00:33 190K 
[ ]aofa_000__s4_aofa_0002017-01-13 00:33 190K 
[ ]aofa_000__s5_aofa_0002017-01-13 00:33 233K 
[ ]aofa_000__s6_aofa_0002017-01-13 00:33 380K 
[ ]aofa_000__s7_aofa_0002017-01-13 00:33 425K 
[ ]aofa_000__t1_aofa_0002017-01-13 00:33 106K 
[ ]aofa_000__t2_aofa_0002017-01-13 00:33 110K 
[ ]aofa_000__t3_aofa_0002017-01-13 00:33 180K 
[ ]aofa_000__t4_aofa_0002017-01-13 00:33 111K 
[ ]aofa_000__t5_aofa_0002017-01-13 00:33 111K 
[ ]aofa_000__t6_aofa_0002017-01-13 00:33 121K 
[ ]aofa_000__t7_aofa_0002017-01-13 00:33 122K 
[ ]aofa_000__t8_aofa_0002017-01-13 00:33 88K 
[ ]aofa_000__t9_aofa_0002017-01-13 00:33 108K 
[ ]aofa_000__t10_aofa_0002017-01-13 00:33 99K 
[ ]aofa_000__t11_aofa_0002017-01-13 00:33 164K 
[ ]aofa_000__t12_aofa_0002017-01-13 00:33 126K 
[ ]aofa_000__t13_aofa_0002017-01-13 00:33 155K 
[ ]aofa_000__t14_aofa_0002017-01-13 00:33 162K 
[ ]aofa_000__t15_aofa_0002017-01-13 00:33 162K 
[ ]aofa_000__t16_aofa_0002017-01-13 00:33 136K 
[ ]aofa_000__t17_aofa_0002017-01-13 00:33 165K 
[ ]aofa_000__t18_aofa_0002017-01-13 00:33 149K 
[ ]aofa_000__t19_aofa_0002017-01-13 00:33 154K 
[ ]aofa_000__t20_aofa_0002017-01-13 00:33 141K 
[ ]aofa_000__t21_aofa_0002017-01-13 00:33 175K 
[ ]aofa_000__t22_aofa_0002017-01-13 00:33 134K 
[ ]aofa_000__t23_aofa_0002017-01-13 00:33 143K 
[ ]aofa_000__t24_aofa_0002017-01-13 00:33 162K 
[ ]aofa_000__t25_aofa_0002017-01-13 00:33 155K 
[ ]aofa_000__t26_aofa_0002017-01-13 00:33 122K 
[ ]aofa_000__t27_aofa_0002017-01-13 00:33 136K 
[ ]aofa_000__t28_aofa_0002017-01-13 00:33 136K 
[ ]aofa_000__t29_aofa_0002017-01-13 00:33 120K 
[ ]aofa_000__t30_aofa_0002017-01-13 00:33 95K 
[ ]aofa_000__t31_aofa_0002017-01-13 00:33 92K 
[ ]aofa_000__t32_aofa_0002017-01-13 00:33 148K 
[ ]aofa_000__t33_aofa_0002017-01-13 00:33 124K 
[ ]aofa_000__t34_aofa_0002017-01-13 00:33 205K 
[ ]aofa_000__t35_aofa_0002017-01-13 00:33 190K 
[ ]aofa_000__t36_aofa_0002017-01-13 00:33 255K 
[ ]aofa_000__t37_aofa_0002017-01-13 00:33 131K 
[ ]aofa_000__t38_aofa_0002017-01-13 00:33 166K 
[ ]aofa_000__t39_aofa_0002017-01-13 00:33 159K 
[ ]aofa_000__t40_aofa_0002017-01-13 00:33 148K 
[ ]aofa_000__t41_aofa_0002017-01-13 00:33 218K 
[ ]aofa_000__t42_aofa_0002017-01-13 00:33 133K 
[ ]aofa_000__t43_aofa_0002017-01-13 00:33 140K 
[ ]aofa_000__t44_aofa_0002017-01-13 00:33 130K 
[ ]aofa_000__t45_aofa_0002017-01-13 00:33 166K 
[ ]aofa_000__t46_aofa_0002017-01-13 00:33 165K 
[ ]aofa_000__t47_aofa_0002017-01-13 00:33 130K 
[ ]aofa_000__t48_aofa_0002017-01-13 00:33 130K 
[ ]aofa_000__t49_aofa_0002017-01-13 00:33 166K 
[ ]aofa_000__t50_aofa_0002017-01-13 00:33 171K 
[ ]aofa_000__t51_aofa_0002017-01-13 00:33 184K 
[ ]aofa_000__t52_aofa_0002017-01-13 00:33 180K 
[ ]aofa_000__t53_aofa_0002017-01-13 00:33 187K 
[ ]aofa_000__t54_aofa_0002017-01-13 00:33 157K 
[ ]aofa_000__t55_aofa_0002017-01-13 00:33 167K 
[ ]aofa_000__t56_aofa_0002017-01-13 00:33 214K 
[ ]aofa_000__t57_aofa_0002017-01-13 00:33 218K 
[ ]aofa_000__t58_aofa_0002017-01-13 00:33 204K 
[ ]aofa_000__t59_aofa_0002017-01-13 00:33 219K 
[ ]aofa_000__t60_aofa_0002017-01-13 00:33 212K 
[ ]aofa_000__t61_aofa_0002017-01-13 00:33 193K 
[ ]aofa_000__t62_aofa_0002017-01-13 00:33 192K 
[ ]aofa_000__t63_aofa_0002017-01-13 00:33 222K 
[ ]aofa_000__t64_aofa_0002017-01-13 00:33 219K 
[ ]aofa_000__t65_aofa_0002017-01-13 00:33 195K 
[ ]aofa_000__t66_aofa_0002017-01-13 00:33 219K 
[ ]aofa_000__t67_aofa_0002017-01-13 00:33 212K 
[ ]aofa_000__t68_aofa_0002017-01-13 00:33 241K 
[ ]aofa_000__t69_aofa_0002017-01-13 00:33 204K 
[ ]aofa_000__t70_aofa_0002017-01-13 00:33 234K 
[ ]aofa_000__t71_aofa_0002017-01-13 00:33 190K 
[ ]aofa_000__t72_aofa_0002017-01-13 00:33 174K 
[ ]aofa_000__t73_aofa_0002017-01-13 00:33 181K 
[ ]aofa_000__t74_aofa_0002017-01-13 00:33 182K 
[ ]aofa_000__t75_aofa_0002017-01-13 00:33 167K 
[ ]aofa_000__t76_aofa_0002017-01-13 00:33 190K 
[ ]aofa_000__t77_aofa_0002017-01-13 00:33 215K 
[ ]aofa_000__t78_aofa_0002017-01-13 00:33 154K 
[ ]aofa_000__t79_aofa_0002017-01-13 00:33 169K 
[ ]aofa_000__t80_aofa_0002017-01-13 00:33 173K 
[ ]aofa_000__t81_aofa_0002017-01-13 00:33 186K 
[ ]aofa_000__t82_aofa_0002017-01-13 00:33 157K 
[ ]aofa_000__t83_aofa_0002017-01-13 00:33 157K 
[ ]aofa_000__t84_aofa_0002017-01-13 00:33 283K 
[ ]aofa_000__t85_aofa_0002017-01-13 00:33 171K 
[ ]aofa_000__t86_aofa_0002017-01-13 00:33 472K 
[ ]aofa_000__t87_aofa_0002017-01-13 00:33 244K 
[ ]aofa_000__t88_aofa_0002017-01-13 00:33 235K 
[ ]aofa_000__t89_aofa_0002017-01-13 00:33 220K 
[ ]aofa_000__t90_aofa_0002017-01-13 00:33 213K 
[ ]aofa_000__t91_aofa_0002017-01-13 00:34 292K 
[ ]aofa_000__t92_aofa_0002017-01-13 00:34 287K 
[ ]aofa_000__t93_aofa_0002017-01-13 00:34 227K 
[ ]aofa_000__t94_aofa_0002017-01-13 00:34 200K 
[ ]aofa_000__t95_aofa_0002017-01-13 00:34 179K 
[ ]aofa_000__t96_aofa_0002017-01-13 00:34 200K 
[ ]aofa_000__t97_aofa_0002017-01-13 00:34 214K 
[ ]aofa_000__t98_aofa_0002017-01-13 00:34 217K 
[ ]aofa_000__t99_aofa_0002017-01-13 00:34 220K 
[ ]aofa_000__t100_aofa_0002017-01-13 00:34 191K 
[ ]aofa_000__t101_aofa_0002017-01-13 00:34 212K 
[ ]aofa_000__t102_aofa_0002017-01-13 00:34 197K 
[ ]aofa_000__t103_aofa_0002017-01-13 00:33 196K 
[ ]aofa_000__t104_aofa_0002017-01-13 00:34 118K 
[ ]aofa_000__t105_aofa_0002017-01-13 00:34 118K 
[ ]aofa_000__t106_aofa_0002017-01-13 00:34 118K 
[ ]aofa_000__t107_aofa_0002017-01-13 00:33 110K 
[ ]aofa_000__t108_aofa_0002017-01-13 00:34 121K 
[ ]aofa_000__t109_aofa_0002017-01-13 00:34 173K 
[ ]aofa_000__t110_aofa_0002017-01-13 00:34 210K 
[ ]aofa_000__t111_aofa_0002017-01-13 00:34 212K 
[ ]aofa_000__t112_aofa_0002017-01-13 00:34 210K 
[ ]aofa_000__t113_aofa_0002017-01-13 00:34 212K 
[ ]aofa_000__t114_aofa_0002017-01-13 00:34 212K 
[ ]aofa_000__t115_aofa_0002017-01-13 00:34 258K 
[ ]aofa_000__t116_aofa_0002017-01-13 00:34 259K 
[ ]aofa_000__t117_aofa_0002017-01-13 00:34 177K 
[ ]aofa_000__t118_aofa_0002017-01-13 00:34 180K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80