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

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