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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sincos10__l1_sincos102017-01-13 17:51 97K 
[ ]sincos10__l3_sincos102017-01-13 17:51 100K 
[ ]sincos10__l5_sincos102017-01-13 17:51 98K 
[ ]sincos10__l7_sincos102017-01-13 17:51 84K 
[ ]sincos10__l17_sincos102017-01-13 17:51 80K 
[ ]sincos10__l18_sincos102017-01-13 17:51 226K 
[ ]sincos10__l19_sincos102017-01-13 17:51 110K 
[ ]sincos10__l20_sincos102017-01-13 17:51 80K 
[ ]sincos10__l21_sincos102017-01-13 17:50 73K 
[ ]sincos10__l22_sincos102017-01-13 17:50 86K 
[ ]sincos10__l23_sincos102017-01-13 17:50 72K 
[ ]sincos10__l24_sincos102017-01-13 17:50 86K 
[ ]sincos10__l25_sincos102017-01-13 17:50 79K 
[ ]sincos10__l26_sincos102017-01-13 17:50 101K 
[ ]sincos10__l27_sincos102017-01-13 17:50 85K 
[ ]sincos10__l28_sincos102017-01-13 17:50 98K 
[ ]sincos10__l29_sincos102017-01-13 17:50 73K 
[ ]sincos10__l30_sincos102017-01-13 17:50 86K 
[ ]sincos10__l31_sincos102017-01-13 17:50 105K 
[ ]sincos10__l32_sincos102017-01-13 17:50 79K 
[ ]sincos10__l33_sincos102017-01-13 17:50 97K 
[ ]sincos10__l34_sincos102017-01-13 17:50 97K 
[ ]sincos10__l35_sincos102017-01-13 17:50 96K 
[ ]sincos10__l36_sincos102017-01-13 17:50 96K 
[ ]sincos10__l37_sincos102017-01-13 17:50 110K 
[ ]sincos10__l38_sincos102017-01-13 17:50 110K 
[ ]sincos10__l39_sincos102017-01-13 17:50 97K 
[ ]sincos10__l40_sincos102017-01-13 17:50 97K 
[ ]sincos10__l61_sincos102017-01-13 17:50 93K 
[ ]sincos10__l62_sincos102017-01-13 17:50 93K 
[ ]sincos10__l63_sincos102017-01-13 17:50 105K 
[ ]sincos10__l64_sincos102017-01-13 17:50 93K 
[ ]sincos10__l77_sincos102017-01-13 17:51 104K 
[ ]sincos10__l78_sincos102017-01-13 17:51 127K 
[ ]sincos10__l79_sincos102017-01-13 17:51 131K 
[ ]sincos10__l80_sincos102017-01-13 17:51 103K 
[ ]sincos10__l81_sincos102017-01-13 17:51 104K 
[ ]sincos10__l82_sincos102017-01-13 17:51 104K 
[ ]sincos10__l83_sincos102017-01-13 17:51 116K 
[ ]sincos10__l84_sincos102017-01-13 17:51 104K 
[ ]sincos10__l97_sincos102017-01-13 17:51 102K 
[ ]sincos10__l98_sincos102017-01-13 17:51 125K 
[ ]sincos10__l99_sincos102017-01-13 17:51 129K 
[ ]sincos10__l100_sincos102017-01-13 17:51 101K 
[ ]sincos10__l101_sincos102017-01-13 17:51 101K 
[ ]sincos10__l102_sincos102017-01-13 17:51 124K 
[ ]sincos10__l103_sincos102017-01-13 17:51 128K 
[ ]sincos10__l104_sincos102017-01-13 17:51 101K 
[ ]sincos10__t1_sincos102017-01-13 17:50 123K 
[ ]sincos10__t2_sincos102017-01-13 17:50 125K 
[ ]sincos10__t3_sincos102017-01-13 17:50 149K 
[ ]sincos10__t4_sincos102017-01-13 17:50 109K 
[ ]sincos10__t5_sincos102017-01-13 17:50 211K 
[ ]sincos10__t6_sincos102017-01-13 17:50 212K 
[ ]sincos10__t7_sincos102017-01-13 17:50 212K 
[ ]sincos10__t8_sincos102017-01-13 17:50 212K 
[ ]sincos10__t9_sincos102017-01-13 17:49 99K 
[ ]sincos10__t10_sincos102017-01-13 17:49 97K 
[ ]sincos10__t11_sincos102017-01-13 17:49 112K 
[ ]sincos10__t12_sincos102017-01-13 17:49 112K 
[ ]sincos10__t13_sincos102017-01-13 17:50 217K 
[ ]sincos10__t14_sincos102017-01-13 17:50 219K 
[ ]sincos10__t15_sincos102017-01-13 17:50 234K 
[ ]sincos10__t16_sincos102017-01-13 17:50 221K 
[ ]sincos10__t17_sincos102017-01-13 17:50 152K 
[ ]sincos10__t18_sincos102017-01-13 17:50 209K 
[ ]sincos10__t19_sincos102017-01-13 17:50 496K 
[ ]sincos10__t20_sincos102017-01-13 17:50 237K 
[ ]sincos10__t21_sincos102017-01-13 17:49 91K 
[ ]sincos10__t22_sincos102017-01-13 17:49 91K 
[ ]sincos10__t23_sincos102017-01-13 17:50 103K 
[ ]sincos10__t24_sincos102017-01-13 17:50 91K 
[ ]sincos10__t25_sincos102017-01-13 17:50 97K 
[ ]sincos10__t26_sincos102017-01-13 17:50 96K 
[ ]sincos10__t27_sincos102017-01-13 17:50 109K 
[ ]sincos10__t28_sincos102017-01-13 17:50 97K 
[ ]sincos10__t29_sincos102017-01-13 17:50 352K 
[ ]sincos10__t30_sincos102017-01-13 17:50 528K 
[ ]sincos10__t31_sincos102017-01-13 17:50 629K 
[ ]sincos10__t32_sincos102017-01-13 17:50 630K 
[ ]sincos10__t33_sincos102017-01-13 17:50 655K 
[ ]sincos10__t34_sincos102017-01-13 17:50 658K 
[ ]sincos10__t35_sincos102017-01-13 17:50 514K 
[ ]sincos10__t36_sincos102017-01-13 17:50 514K 
[ ]sincos10__t37_sincos102017-01-13 17:50 131K 
[ ]sincos10__t38_sincos102017-01-13 17:50 174K 
[ ]sincos10__t39_sincos102017-01-13 17:50 159K 
[ ]sincos10__t40_sincos102017-01-13 17:50 117K 
[ ]sincos10__t41_sincos102017-01-13 17:50 643K 
[ ]sincos10__t42_sincos102017-01-13 17:50 643K 
[ ]sincos10__t43_sincos102017-01-13 17:50 503K 
[ ]sincos10__t44_sincos102017-01-13 17:50 503K 
[ ]sincos10__t45_sincos102017-01-13 17:50 115K 
[ ]sincos10__t46_sincos102017-01-13 17:50 210K 
[ ]sincos10__t47_sincos102017-01-13 17:50 142K 
[ ]sincos10__t48_sincos102017-01-13 17:50 115K 
[ ]sincos10__t49_sincos102017-01-13 17:50 109K 
[ ]sincos10__t50_sincos102017-01-13 17:50 204K 
[ ]sincos10__t51_sincos102017-01-13 17:50 137K 
[ ]sincos10__t52_sincos102017-01-13 17:50 109K 
[ ]sincos10__t53_sincos102017-01-13 17:50 121K 
[ ]sincos10__t54_sincos102017-01-13 17:50 216K 
[ ]sincos10__t55_sincos102017-01-13 17:50 149K 
[ ]sincos10__t56_sincos102017-01-13 17:50 121K 
[ ]sincos10__t57_sincos102017-01-13 17:50 122K 
[ ]sincos10__t58_sincos102017-01-13 17:50 218K 
[ ]sincos10__t59_sincos102017-01-13 17:50 150K 
[ ]sincos10__t60_sincos102017-01-13 17:50 122K 
[ ]sincos10__t61_sincos102017-01-13 17:50 110K 
[ ]sincos10__t62_sincos102017-01-13 17:50 109K 
[ ]sincos10__t63_sincos102017-01-13 17:50 122K 
[ ]sincos10__t64_sincos102017-01-13 17:50 110K 
[ ]sincos10__t65_sincos102017-01-13 17:50 111K 
[ ]sincos10__t66_sincos102017-01-13 17:50 111K 
[ ]sincos10__t67_sincos102017-01-13 17:50 124K 
[ ]sincos10__t68_sincos102017-01-13 17:50 111K 
[ ]sincos10__t69_sincos102017-01-13 17:50 119K 
[ ]sincos10__t70_sincos102017-01-13 17:50 116K 
[ ]sincos10__t71_sincos102017-01-13 17:50 129K 
[ ]sincos10__t72_sincos102017-01-13 17:50 119K 
[ ]sincos10__t73_sincos102017-01-13 17:50 627K 
[ ]sincos10__t74_sincos102017-01-13 17:50 628K 
[ ]sincos10__t75_sincos102017-01-13 17:50 488K 
[ ]sincos10__t76_sincos102017-01-13 17:50 488K 
[ ]sincos10__t77_sincos102017-01-13 17:50 98K 
[ ]sincos10__t78_sincos102017-01-13 17:50 97K 
[ ]sincos10__t79_sincos102017-01-13 17:50 110K 
[ ]sincos10__t80_sincos102017-01-13 17:50 98K 
[ ]sincos10__t81_sincos102017-01-13 17:50 109K 
[ ]sincos10__t82_sincos102017-01-13 17:50 205K 
[ ]sincos10__t83_sincos102017-01-13 17:50 137K 
[ ]sincos10__t84_sincos102017-01-13 17:50 109K 
[ ]sincos10__t85_sincos102017-01-13 17:50 387K 
[ ]sincos10__t86_sincos102017-01-13 17:50 655K 
[ ]sincos10__t87_sincos102017-01-13 17:50 613K 
[ ]sincos10__t88_sincos102017-01-13 17:50 387K 
[ ]sincos10__t89_sincos102017-01-13 17:50 127K 
[ ]sincos10__t90_sincos102017-01-13 17:50 223K 
[ ]sincos10__t91_sincos102017-01-13 17:50 155K 
[ ]sincos10__t92_sincos102017-01-13 17:50 127K 
[ ]sincos10__t93_sincos102017-01-13 17:50 117K 
[ ]sincos10__t94_sincos102017-01-13 17:50 209K 
[ ]sincos10__t95_sincos102017-01-13 17:50 148K 
[ ]sincos10__t96_sincos102017-01-13 17:50 118K 
[ ]sincos10__t97_sincos102017-01-13 17:50 376K 
[ ]sincos10__t98_sincos102017-01-13 17:50 643K 
[ ]sincos10__t99_sincos102017-01-13 17:50 601K 
[ ]sincos10__t100_sincos102017-01-13 17:50 376K 
[ ]sincos10__t101_sincos102017-01-13 17:50 627K 
[ ]sincos10__t102_sincos102017-01-13 17:50 627K 
[ ]sincos10__t103_sincos102017-01-13 17:50 488K 
[ ]sincos10__t104_sincos102017-01-13 17:50 488K 
[ ]sincos10__t105_sincos102017-01-13 17:50 117K 
[ ]sincos10__t106_sincos102017-01-13 17:50 208K 
[ ]sincos10__t107_sincos102017-01-13 17:50 147K 
[ ]sincos10__t108_sincos102017-01-13 17:50 116K 
[ ]sincos10__t109_sincos102017-01-13 17:50 628K 
[ ]sincos10__t110_sincos102017-01-13 17:50 628K 
[ ]sincos10__t111_sincos102017-01-13 17:50 488K 
[ ]sincos10__t112_sincos102017-01-13 17:50 488K 
[ ]sincos10__t113_sincos102017-01-13 17:50 329K 
[ ]sincos10__t114_sincos102017-01-13 17:50 331K 
[ ]sincos10__t115_sincos102017-01-13 17:50 332K 
[ ]sincos10__t116_sincos102017-01-13 17:50 331K 
[ ]sincos10__t117_sincos102017-01-13 17:50 331K 
[ ]sincos10__t118_sincos102017-01-13 17:50 336K 
[ ]sincos10__t119_sincos102017-01-13 17:50 333K 
[ ]sincos10__t120_sincos102017-01-13 17:50 330K 
[ ]sincos10__t121_sincos102017-01-13 17:50 235K 
[ ]sincos10__t122_sincos102017-01-13 17:50 235K 
[ ]sincos10__t123_sincos102017-01-13 17:50 248K 
[ ]sincos10__t124_sincos102017-01-13 17:50 235K 
[ ]sincos10__t125_sincos102017-01-13 17:50 223K 
[ ]sincos10__t126_sincos102017-01-13 17:50 223K 
[ ]sincos10__t127_sincos102017-01-13 17:50 238K 
[ ]sincos10__t128_sincos102017-01-13 17:50 223K 
[ ]sincos10__t129_sincos102017-01-13 17:50 100K 
[ ]sincos10__t130_sincos102017-01-13 17:50 99K 
[ ]sincos10__t131_sincos102017-01-13 17:50 113K 
[ ]sincos10__t132_sincos102017-01-13 17:50 100K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80