Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/sin_cos9

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sin_cos9__l3_sin_cos92016-03-08 13:09 72K 
[ ]sin_cos9__l4_sin_cos92016-03-08 13:09 59K 
[ ]sin_cos9__l5_sin_cos92016-03-08 13:09 87K 
[ ]sin_cos9__l6_sin_cos92016-03-08 13:09 87K 
[ ]sin_cos9__l19_sin_cos92016-03-08 13:09 61K 
[ ]sin_cos9__l20_sin_cos92016-03-08 13:09 44K 
[ ]sin_cos9__l23_sin_cos92017-01-05 20:54 92K 
[ ]sin_cos9__l24_sin_cos92017-01-05 20:54 92K 
[ ]sin_cos9__l25_sin_cos92016-03-08 13:09 57K 
[ ]sin_cos9__l26_sin_cos92016-03-08 13:09 68K 
[ ]sin_cos9__l27_sin_cos92016-03-08 13:09 74K 
[ ]sin_cos9__l28_sin_cos92016-03-08 13:09 62K 
[ ]sin_cos9__l41_sin_cos92016-03-08 13:09 73K 
[ ]sin_cos9__l42_sin_cos92016-03-08 13:09 60K 
[ ]sin_cos9__l43_sin_cos92016-03-08 13:09 72K 
[ ]sin_cos9__l44_sin_cos92016-03-08 13:09 60K 
[ ]sin_cos9__t1_sin_cos92016-03-08 13:09 82K 
[ ]sin_cos9__t2_sin_cos92016-03-08 13:09 61K 
[ ]sin_cos9__t3_sin_cos92016-03-08 13:09 129K 
[ ]sin_cos9__t4_sin_cos92016-03-08 13:09 77K 
[ ]sin_cos9__t5_sin_cos92016-03-08 13:09 59K 
[ ]sin_cos9__t6_sin_cos92016-03-08 13:09 42K 
[ ]sin_cos9__t7_sin_cos92016-03-08 13:09 163K 
[ ]sin_cos9__t8_sin_cos92016-03-08 13:09 96K 
[ ]sin_cos9__t9_sin_cos92016-03-08 13:09 59K 
[ ]sin_cos9__t10_sin_cos92016-03-08 13:09 42K 
[ ]sin_cos9__t11_sin_cos92016-03-08 13:09 65K 
[ ]sin_cos9__t12_sin_cos92016-03-08 13:09 48K 
[ ]sin_cos9__t13_sin_cos92016-03-08 13:09 141K 
[ ]sin_cos9__t14_sin_cos92016-03-08 13:09 72K 
[ ]sin_cos9__t15_sin_cos92016-03-08 13:09 73K 
[ ]sin_cos9__t16_sin_cos92016-03-08 13:09 73K 
[ ]sin_cos9__t17_sin_cos92016-03-08 13:09 423K 
[ ]sin_cos9__t18_sin_cos92016-03-08 13:09 555K 
[ ]sin_cos9__t19_sin_cos92017-01-05 20:54 384K 
[ ]sin_cos9__t20_sin_cos92017-01-05 20:54 571K 
[ ]sin_cos9__t21_sin_cos92016-03-08 13:09 108K 
[ ]sin_cos9__t22_sin_cos92016-03-08 13:09 119K 
[ ]sin_cos9__t23_sin_cos92016-03-08 13:09 83K 
[ ]sin_cos9__t24_sin_cos92016-03-08 13:09 88K 
[ ]sin_cos9__t25_sin_cos92016-03-08 13:09 80K 
[ ]sin_cos9__t26_sin_cos92016-03-08 13:09 85K 
[ ]sin_cos9__t27_sin_cos92016-03-08 13:09 86K 
[ ]sin_cos9__t28_sin_cos92016-03-08 13:09 91K 
[ ]sin_cos9__t29_sin_cos92016-03-08 13:09 87K 
[ ]sin_cos9__t30_sin_cos92016-03-08 13:09 92K 
[ ]sin_cos9__t31_sin_cos92016-03-08 13:09 73K 
[ ]sin_cos9__t32_sin_cos92016-03-08 13:09 56K 
[ ]sin_cos9__t33_sin_cos92016-03-08 13:09 73K 
[ ]sin_cos9__t34_sin_cos92016-03-08 13:09 55K 
[ ]sin_cos9__t35_sin_cos92016-03-08 13:09 83K 
[ ]sin_cos9__t36_sin_cos92016-03-08 13:09 61K 
[ ]sin_cos9__t37_sin_cos92016-03-08 13:09 418K 
[ ]sin_cos9__t38_sin_cos92016-03-08 13:09 550K 
[ ]sin_cos9__t39_sin_cos92016-03-08 13:09 95K 
[ ]sin_cos9__t40_sin_cos92016-03-08 13:09 145K 
[ ]sin_cos9__t41_sin_cos92016-03-08 13:09 130K 
[ ]sin_cos9__t42_sin_cos92016-03-08 13:09 209K 
[ ]sin_cos9__t43_sin_cos92016-03-08 13:09 127K 
[ ]sin_cos9__t44_sin_cos92016-03-08 13:09 251K 
[ ]sin_cos9__t45_sin_cos92016-03-08 13:09 66K 
[ ]sin_cos9__t46_sin_cos92016-03-08 13:09 49K 
[ ]sin_cos9__t47_sin_cos92016-03-08 13:09 80K 
[ ]sin_cos9__t48_sin_cos92016-03-08 13:09 85K 
[ ]sin_cos9__t49_sin_cos92017-01-05 20:54 434K 
[ ]sin_cos9__t50_sin_cos92017-01-05 20:54 573K 
[ ]sin_cos9__t51_sin_cos92016-03-08 13:09 109K 
[ ]sin_cos9__t52_sin_cos92016-03-08 13:09 116K 
[ ]sin_cos9__t53_sin_cos92016-03-08 13:09 100K 
[ ]sin_cos9__t54_sin_cos92016-03-08 13:09 117K 
[ ]sin_cos9__t55_sin_cos92016-03-08 13:09 519K 
[ ]sin_cos9__t56_sin_cos92016-03-08 13:09 566K 
[ ]sin_cos9__t57_sin_cos92016-03-08 13:09 417K 
[ ]sin_cos9__t58_sin_cos92016-03-08 13:09 550K 
[ ]sin_cos9__t59_sin_cos92016-03-08 13:09 78K 
[ ]sin_cos9__t60_sin_cos92016-03-08 13:09 162K 
[ ]sin_cos9__t61_sin_cos92016-03-08 13:09 420K 
[ ]sin_cos9__t62_sin_cos92016-03-08 13:09 550K 
[ ]sin_cos9__t63_sin_cos92016-03-08 13:09 99K 
[ ]sin_cos9__t64_sin_cos92016-03-08 13:09 112K 
[ ]sin_cos9__t65_sin_cos92016-03-08 13:09 421K 
[ ]sin_cos9__t66_sin_cos92016-03-08 13:09 551K 
[ ]sin_cos9__t67_sin_cos92016-03-08 13:09 265K 
[ ]sin_cos9__t68_sin_cos92016-03-08 13:09 267K 
[ ]sin_cos9__t69_sin_cos92016-03-08 13:09 162K 
[ ]sin_cos9__t70_sin_cos92016-03-08 13:09 73K 
[ ]sin_cos9__t71_sin_cos92016-03-08 13:09 179K 
[ ]sin_cos9__t72_sin_cos92016-03-08 13:09 111K 
[ ]sin_cos9__t73_sin_cos92016-03-08 13:09 71K 
[ ]sin_cos9__t74_sin_cos92016-03-08 13:09 55K 
[ ]sin_cos9__t75_sin_cos92016-03-08 13:09 446K 
[ ]sin_cos9__t76_sin_cos92016-03-08 13:09 380K 
[ ]sin_cos9__t77_sin_cos92016-03-08 13:09 63K 
[ ]sin_cos9__t78_sin_cos92016-03-08 13:09 46K 
[ ]sin_cos9__t79_sin_cos92016-03-08 13:09 168K 
[ ]sin_cos9__t80_sin_cos92016-03-08 13:09 100K 
[ ]sin_cos9__t81_sin_cos92016-03-08 13:09 164K 
[ ]sin_cos9__t82_sin_cos92016-03-08 13:09 99K 
[ ]sin_cos9__t83_sin_cos92016-03-08 13:09 174K 
[ ]sin_cos9__t84_sin_cos92016-03-08 13:09 106K 
[ ]sin_cos9__t85_sin_cos92016-03-08 13:09 173K 
[ ]sin_cos9__t86_sin_cos92016-03-08 13:09 106K 
[ ]sin_cos9__t87_sin_cos92016-03-08 13:09 176K 
[ ]sin_cos9__t88_sin_cos92016-03-08 13:09 108K 
[ ]sin_cos9__t89_sin_cos92016-03-08 13:09 178K 
[ ]sin_cos9__t90_sin_cos92016-03-08 13:09 108K 
[ ]sin_cos9__t91_sin_cos92016-03-08 13:09 177K 
[ ]sin_cos9__t92_sin_cos92016-03-08 13:09 110K 
[ ]sin_cos9__t93_sin_cos92016-03-08 13:09 155K 
[ ]sin_cos9__t94_sin_cos92016-03-08 13:09 225K 
[ ]sin_cos9__t95_sin_cos92016-03-08 13:09 188K 
[ ]sin_cos9__t96_sin_cos92016-03-08 13:09 117K 
[ ]sin_cos9__t97_sin_cos92016-03-08 13:09 177K 
[ ]sin_cos9__t98_sin_cos92016-03-08 13:09 110K 
[ ]sin_cos9__t99_sin_cos92016-03-08 13:09 267K 
[ ]sin_cos9__t100_sin_cos92016-03-08 13:09 267K 
[ ]sin_cos9__t101_sin_cos92016-03-08 13:09 140K 
[ ]sin_cos9__t102_sin_cos92016-03-08 13:09 175K 
[ ]sin_cos9__t103_sin_cos92016-03-08 13:09 167K 
[ ]sin_cos9__t104_sin_cos92016-03-08 13:09 167K 
[ ]sin_cos9__t105_sin_cos92016-03-08 13:09 189K 
[ ]sin_cos9__t106_sin_cos92016-03-08 13:09 120K 
[ ]sin_cos9__t107_sin_cos92016-03-08 13:09 97K 
[ ]sin_cos9__t108_sin_cos92016-03-08 13:09 177K 
[ ]sin_cos9__t109_sin_cos92016-03-08 13:09 199K 
[ ]sin_cos9__t110_sin_cos92016-03-08 13:09 196K 
[ ]sin_cos9__t111_sin_cos92016-03-08 13:09 188K 
[ ]sin_cos9__t112_sin_cos92016-03-08 13:09 119K 
[ ]sin_cos9__t113_sin_cos92016-03-08 13:09 188K 
[ ]sin_cos9__t114_sin_cos92016-03-08 13:09 121K 
[ ]sin_cos9__t115_sin_cos92016-03-08 13:09 174K 
[ ]sin_cos9__t116_sin_cos92016-03-08 13:09 107K 
[ ]sin_cos9__t117_sin_cos92017-01-05 20:54 183K 
[ ]sin_cos9__t118_sin_cos92017-01-05 20:54 113K 
[ ]sin_cos9__t119_sin_cos92016-03-08 13:09 151K 
[ ]sin_cos9__t120_sin_cos92016-03-08 13:09 98K 
[ ]sin_cos9__t121_sin_cos92016-03-08 13:09 183K 
[ ]sin_cos9__t122_sin_cos92016-03-08 13:09 116K 
[ ]sin_cos9__t123_sin_cos92016-03-08 13:09 157K 
[ ]sin_cos9__t124_sin_cos92016-03-08 13:09 104K 
[ ]sin_cos9__t125_sin_cos92016-03-08 13:09 194K 
[ ]sin_cos9__t126_sin_cos92016-03-08 13:09 125K 
[ ]sin_cos9__t127_sin_cos92017-01-05 20:54 184K 
[ ]sin_cos9__t128_sin_cos92017-01-05 20:54 115K 
[ ]sin_cos9__t129_sin_cos92016-03-08 13:09 164K 
[ ]sin_cos9__t130_sin_cos92016-03-08 13:09 109K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80