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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sin_cos6__l7_sin_cos62017-01-13 00:26 63K 
[ ]sin_cos6__l8_sin_cos62017-01-13 00:26 61K 
[ ]sin_cos6__l9_sin_cos62017-01-13 00:26 47K 
[ ]sin_cos6__l10_sin_cos62017-01-13 00:26 47K 
[ ]sin_cos6__l11_sin_cos62017-01-13 00:27 85K 
[ ]sin_cos6__l12_sin_cos62017-01-13 00:26 53K 
[ ]sin_cos6__l13_sin_cos62017-01-13 00:26 67K 
[ ]sin_cos6__l14_sin_cos62017-01-13 00:26 68K 
[ ]sin_cos6__l15_sin_cos62017-01-13 00:26 67K 
[ ]sin_cos6__l16_sin_cos62017-01-13 00:26 47K 
[ ]sin_cos6__l63_sin_cos62017-01-13 00:27 53K 
[ ]sin_cos6__l64_sin_cos62017-01-13 00:27 55K 
[ ]sin_cos6__l65_sin_cos62017-01-13 00:27 65K 
[ ]sin_cos6__l66_sin_cos62017-01-13 00:27 65K 
[ ]sin_cos6__l78_sin_cos62017-01-13 00:26 72K 
[ ]sin_cos6__l104_sin_cos62017-01-13 00:26 54K 
[ ]sin_cos6__t1_sin_cos62017-01-13 00:26 59K 
[ ]sin_cos6__t2_sin_cos62017-01-13 00:26 43K 
[ ]sin_cos6__t3_sin_cos62017-01-13 00:26 57K 
[ ]sin_cos6__t4_sin_cos62017-01-13 00:26 57K 
[ ]sin_cos6__t5_sin_cos62017-01-13 00:26 57K 
[ ]sin_cos6__t6_sin_cos62017-01-13 00:26 57K 
[ ]sin_cos6__t7_sin_cos62017-01-13 00:26 132K 
[ ]sin_cos6__t8_sin_cos62017-01-13 00:26 61K 
[ ]sin_cos6__t9_sin_cos62017-01-13 00:26 132K 
[ ]sin_cos6__t10_sin_cos62017-01-13 00:26 61K 
[ ]sin_cos6__t11_sin_cos62017-01-13 00:26 88K 
[ ]sin_cos6__t12_sin_cos62017-01-13 00:26 88K 
[ ]sin_cos6__t13_sin_cos62017-01-13 00:26 93K 
[ ]sin_cos6__t14_sin_cos62017-01-13 00:26 160K 
[ ]sin_cos6__t15_sin_cos62017-01-13 00:26 219K 
[ ]sin_cos6__t16_sin_cos62017-01-13 00:26 159K 
[ ]sin_cos6__t17_sin_cos62017-01-13 00:26 159K 
[ ]sin_cos6__t18_sin_cos62017-01-13 00:26 228K 
[ ]sin_cos6__t19_sin_cos62017-01-13 00:26 341K 
[ ]sin_cos6__t20_sin_cos62017-01-13 00:26 341K 
[ ]sin_cos6__t21_sin_cos62017-01-13 00:26 55K 
[ ]sin_cos6__t22_sin_cos62017-01-13 00:26 131K 
[ ]sin_cos6__t23_sin_cos62017-01-13 00:26 347K 
[ ]sin_cos6__t24_sin_cos62017-01-13 00:26 347K 
[ ]sin_cos6__t25_sin_cos62017-01-13 00:26 250K 
[ ]sin_cos6__t26_sin_cos62017-01-13 00:26 251K 
[ ]sin_cos6__t27_sin_cos62017-01-13 00:26 342K 
[ ]sin_cos6__t28_sin_cos62017-01-13 00:26 159K 
[ ]sin_cos6__t29_sin_cos62017-01-13 00:26 159K 
[ ]sin_cos6__t30_sin_cos62017-01-13 00:26 55K 
[ ]sin_cos6__t31_sin_cos62017-01-13 00:26 105K 
[ ]sin_cos6__t32_sin_cos62017-01-13 00:26 104K 
[ ]sin_cos6__t33_sin_cos62017-01-13 00:26 55K 
[ ]sin_cos6__t34_sin_cos62017-01-13 00:26 47K 
[ ]sin_cos6__t35_sin_cos62017-01-13 00:26 55K 
[ ]sin_cos6__t36_sin_cos62017-01-13 00:26 54K 
[ ]sin_cos6__t37_sin_cos62017-01-13 00:26 91K 
[ ]sin_cos6__t38_sin_cos62017-01-13 00:26 160K 
[ ]sin_cos6__t39_sin_cos62017-01-13 00:26 159K 
[ ]sin_cos6__t40_sin_cos62017-01-13 00:26 90K 
[ ]sin_cos6__t41_sin_cos62017-01-13 00:26 73K 
[ ]sin_cos6__t42_sin_cos62017-01-13 00:26 74K 
[ ]sin_cos6__t43_sin_cos62017-01-13 00:26 73K 
[ ]sin_cos6__t44_sin_cos62017-01-13 00:26 74K 
[ ]sin_cos6__t45_sin_cos62017-01-13 00:26 74K 
[ ]sin_cos6__t46_sin_cos62017-01-13 00:26 256K 
[ ]sin_cos6__t47_sin_cos62017-01-13 00:26 97K 
[ ]sin_cos6__t48_sin_cos62017-01-13 00:26 381K 
[ ]sin_cos6__t49_sin_cos62017-01-13 00:26 60K 
[ ]sin_cos6__t50_sin_cos62017-01-13 00:26 199K 
[ ]sin_cos6__t51_sin_cos62017-01-13 00:26 67K 
[ ]sin_cos6__t52_sin_cos62017-01-13 00:26 199K 
[ ]sin_cos6__t53_sin_cos62017-01-13 00:26 250K 
[ ]sin_cos6__t54_sin_cos62017-01-13 00:26 283K 
[ ]sin_cos6__t55_sin_cos62017-01-13 00:26 119K 
[ ]sin_cos6__t56_sin_cos62017-01-13 00:26 133K 
[ ]sin_cos6__t57_sin_cos62017-01-13 00:26 80K 
[ ]sin_cos6__t58_sin_cos62017-01-13 00:26 78K 
[ ]sin_cos6__t59_sin_cos62017-01-13 00:26 64K 
[ ]sin_cos6__t60_sin_cos62017-01-13 00:26 65K 
[ ]sin_cos6__t61_sin_cos62017-01-13 00:26 219K 
[ ]sin_cos6__t62_sin_cos62017-01-13 00:26 79K 
[ ]sin_cos6__t63_sin_cos62017-01-13 00:26 78K 
[ ]sin_cos6__t64_sin_cos62017-01-13 00:26 92K 
[ ]sin_cos6__t65_sin_cos62017-01-13 00:26 93K 
[ ]sin_cos6__t66_sin_cos62017-01-13 00:26 93K 
[ ]sin_cos6__t67_sin_cos62017-01-13 00:26 92K 
[ ]sin_cos6__t68_sin_cos62017-01-13 00:26 108K 
[ ]sin_cos6__t69_sin_cos62017-01-13 00:26 106K 
[ ]sin_cos6__t70_sin_cos62017-01-13 00:26 86K 
[ ]sin_cos6__t71_sin_cos62017-01-13 00:26 92K 
[ ]sin_cos6__t72_sin_cos62017-01-13 00:26 156K 
[ ]sin_cos6__t73_sin_cos62017-01-13 00:26 154K 
[ ]sin_cos6__t74_sin_cos62017-01-13 00:26 92K 
[ ]sin_cos6__t75_sin_cos62017-01-13 00:26 240K 
[ ]sin_cos6__t76_sin_cos62017-01-13 00:26 92K 
[ ]sin_cos6__t77_sin_cos62017-01-13 00:26 241K 
[ ]sin_cos6__t78_sin_cos62017-01-13 00:26 116K 
[ ]sin_cos6__t79_sin_cos62017-01-13 00:26 191K 
[ ]sin_cos6__t80_sin_cos62017-01-13 00:26 191K 
[ ]sin_cos6__t81_sin_cos62017-01-13 00:26 184K 
[ ]sin_cos6__t82_sin_cos62017-01-13 00:26 77K 
[ ]sin_cos6__t83_sin_cos62017-01-13 00:26 189K 
[ ]sin_cos6__t84_sin_cos62017-01-13 00:26 95K 
[ ]sin_cos6__t85_sin_cos62017-01-13 00:26 60K 
[ ]sin_cos6__t86_sin_cos62017-01-13 00:26 63K 
[ ]sin_cos6__t87_sin_cos62017-01-13 00:26 78K 
[ ]sin_cos6__t88_sin_cos62017-01-13 00:26 79K 
[ ]sin_cos6__t89_sin_cos62017-01-13 00:26 75K 
[ ]sin_cos6__t90_sin_cos62017-01-13 00:26 74K 
[ ]sin_cos6__t91_sin_cos62017-01-13 00:26 89K 
[ ]sin_cos6__t92_sin_cos62017-01-13 00:26 83K 
[ ]sin_cos6__t93_sin_cos62017-01-13 00:26 155K 
[ ]sin_cos6__t94_sin_cos62017-01-13 00:26 156K 
[ ]sin_cos6__t95_sin_cos62017-01-13 00:26 68K 
[ ]sin_cos6__t96_sin_cos62017-01-13 00:26 69K 
[ ]sin_cos6__t97_sin_cos62017-01-13 00:26 183K 
[ ]sin_cos6__t98_sin_cos62017-01-13 00:26 156K 
[ ]sin_cos6__t99_sin_cos62017-01-13 00:26 72K 
[ ]sin_cos6__t100_sin_cos62017-01-13 00:26 157K 
[ ]sin_cos6__t101_sin_cos62017-01-13 00:26 186K 
[ ]sin_cos6__t102_sin_cos62017-01-13 00:26 118K 
[ ]sin_cos6__t103_sin_cos62017-01-13 00:26 118K 
[ ]sin_cos6__t104_sin_cos62017-01-13 00:26 114K 
[ ]sin_cos6__t105_sin_cos62017-01-13 00:26 62K 
[ ]sin_cos6__t106_sin_cos62017-01-13 00:26 135K 
[ ]sin_cos6__t107_sin_cos62017-01-13 00:26 76K 
[ ]sin_cos6__t108_sin_cos62017-01-13 00:26 191K 
[ ]sin_cos6__t109_sin_cos62017-01-13 00:26 183K 
[ ]sin_cos6__t110_sin_cos62017-01-13 00:26 183K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80