Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/sin_cos

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sin_cos__l2_sin_cos2021-07-19 00:04 15K 
[ ]sin_cos__l3_sin_cos2021-07-19 00:05 19K 
[ ]sin_cos__l18_sin_cos2021-07-19 00:39 114K 
[ ]sin_cos__l39_sin_cos2021-07-19 00:39 115K 
[ ]sin_cos__l48_sin_cos2021-07-19 00:40 59K 
[ ]sin_cos__l50_sin_cos2021-07-19 00:40 234K 
[ ]sin_cos__l52_sin_cos2021-07-19 00:41 235K 
[ ]sin_cos__l67_sin_cos2021-07-19 00:05 44K 
[ ]sin_cos__l69_sin_cos2021-07-19 00:41 56K 
[ ]sin_cos__l70_sin_cos2021-07-19 00:05 33K 
[ ]sin_cos__l71_sin_cos2021-07-19 00:41 71K 
[ ]sin_cos__l79_sin_cos2021-07-19 00:42 72K 
[ ]sin_cos__l80_sin_cos2021-07-19 00:42 108K 
[ ]sin_cos__l87_sin_cos2021-07-19 00:43 43K 
[ ]sin_cos__l89_sin_cos2021-07-19 00:43 49K 
[ ]sin_cos__l97_sin_cos2021-07-19 00:43 209K 
[ ]sin_cos__l98_sin_cos2021-07-19 00:44 224K 
[ ]sin_cos__l116_sin_cos2021-07-19 00:44 51K 
[ ]sin_cos__l117_sin_cos2021-07-19 00:44 128K 
[ ]sin_cos__l120_sin_cos2021-07-19 00:45 75K 
[ ]sin_cos__l129_sin_cos2021-07-19 00:45 98K 
[ ]sin_cos__s1_sin_cos2021-07-19 00:06 61K 
[ ]sin_cos__s2_sin_cos2021-07-19 00:06 63K 
[ ]sin_cos__t1_sin_cos2021-07-19 00:00 45K 
[ ]sin_cos__t2_sin_cos2021-07-19 00:06 87K 
[ ]sin_cos__t3_sin_cos2021-07-19 00:07 95K 
[ ]sin_cos__t4_sin_cos2021-07-19 00:07 89K 
[ ]sin_cos__t5_sin_cos2021-07-19 00:08 50K 
[ ]sin_cos__t6_sin_cos2021-07-19 00:08 256K 
[ ]sin_cos__t7_sin_cos2021-07-19 00:09 77K 
[ ]sin_cos__t8_sin_cos2021-07-19 00:09 70K 
[ ]sin_cos__t9_sin_cos2021-07-19 00:09 105K 
[ ]sin_cos__t10_sin_cos2021-07-19 00:10 76K 
[ ]sin_cos__t11_sin_cos2021-07-19 00:10 107K 
[ ]sin_cos__t12_sin_cos2021-07-19 00:11 58K 
[ ]sin_cos__t13_sin_cos2021-07-19 00:11 75K 
[ ]sin_cos__t14_sin_cos2021-07-19 00:11 106K 
[ ]sin_cos__t15_sin_cos2021-07-19 00:12 133K 
[ ]sin_cos__t16_sin_cos2021-07-19 00:12 115K 
[ ]sin_cos__t17_sin_cos2021-07-19 00:13 98K 
[ ]sin_cos__t18_sin_cos2021-07-19 00:13 93K 
[ ]sin_cos__t19_sin_cos2021-07-19 00:14 74K 
[ ]sin_cos__t20_sin_cos2021-07-19 00:14 66K 
[ ]sin_cos__t21_sin_cos2021-07-19 00:15 599K 
[ ]sin_cos__t22_sin_cos2021-07-19 00:15 73K 
[ ]sin_cos__t23_sin_cos2021-07-19 00:15 50K 
[ ]sin_cos__t24_sin_cos2021-07-19 00:01 33K 
[ ]sin_cos__t25_sin_cos2021-07-19 00:16 59K 
[ ]sin_cos__t26_sin_cos2021-07-19 00:16 125K 
[ ]sin_cos__t27_sin_cos2021-07-19 00:17 91K 
[ ]sin_cos__t28_sin_cos2021-07-19 00:17 128K 
[ ]sin_cos__t29_sin_cos2021-07-19 00:01 51K 
[ ]sin_cos__t30_sin_cos2021-07-19 00:18 128K 
[ ]sin_cos__t31_sin_cos2021-07-19 00:01 39K 
[ ]sin_cos__t32_sin_cos2021-07-19 00:18 81K 
[ ]sin_cos__t33_sin_cos2021-07-19 00:18 346K 
[ ]sin_cos__t35_sin_cos2021-07-19 00:19 481K 
[ ]sin_cos__t36_sin_cos2021-07-19 00:20 143K 
[ ]sin_cos__t37_sin_cos2021-07-19 00:20 56K 
[ ]sin_cos__t38_sin_cos2021-07-19 00:02 40K 
[ ]sin_cos__t39_sin_cos2021-07-19 00:20 90K 
[ ]sin_cos__t40_sin_cos2021-07-19 00:21 73K 
[ ]sin_cos__t42_sin_cos2021-07-19 00:21 107K 
[ ]sin_cos__t43_sin_cos2021-07-19 00:22 1.6M 
[ ]sin_cos__t44_sin_cos2021-07-19 00:22 96K 
[ ]sin_cos__t45_sin_cos2021-07-19 00:23 91K 
[ ]sin_cos__t46_sin_cos2021-07-19 00:23 84K 
[ ]sin_cos__t47_sin_cos2021-07-19 00:02 32K 
[ ]sin_cos__t48_sin_cos2021-07-19 00:24 47K 
[ ]sin_cos__t49_sin_cos2021-07-19 00:24 48K 
[ ]sin_cos__t50_sin_cos2021-07-19 00:02 42K 
[ ]sin_cos__t51_sin_cos2021-07-19 00:03 36K 
[ ]sin_cos__t52_sin_cos2021-07-19 00:25 108K 
[ ]sin_cos__t53_sin_cos2021-07-19 00:25 87K 
[ ]sin_cos__t54_sin_cos2021-07-19 00:25 39K 
[ ]sin_cos__t55_sin_cos2021-07-19 00:03 38K 
[ ]sin_cos__t56_sin_cos2021-07-19 00:26 396K 
[ ]sin_cos__t58_sin_cos2021-07-19 00:26 264K 
[ ]sin_cos__t59_sin_cos2021-07-19 00:27 56K 
[ ]sin_cos__t60_sin_cos2021-07-19 00:27 81K 
[ ]sin_cos__t61_sin_cos2021-07-19 00:28 81K 
[ ]sin_cos__t62_sin_cos2021-07-19 00:28 88K 
[ ]sin_cos__t63_sin_cos2021-07-19 00:29 292K 
[ ]sin_cos__t64_sin_cos2021-07-19 00:30 141K 
[ ]sin_cos__t65_sin_cos2021-07-19 00:31 274K 
[ ]sin_cos__t66_sin_cos2021-07-19 00:31 36K 
[ ]sin_cos__t67_sin_cos2021-07-19 00:32 40K 
[ ]sin_cos__t68_sin_cos2021-07-19 00:32 36K 
[ ]sin_cos__t69_sin_cos2021-07-19 00:33 843K 
[ ]sin_cos__t70_sin_cos2021-07-19 00:33 73K 
[ ]sin_cos__t71_sin_cos2021-07-19 00:34 88K 
[ ]sin_cos__t72_sin_cos2021-07-19 00:35 52K 
[ ]sin_cos__t73_sin_cos2021-07-19 00:35 153K 
[ ]sin_cos__t74_sin_cos2021-07-19 00:36 221K 
[ ]sin_cos__t75_sin_cos2021-07-19 00:03 48K 
[ ]sin_cos__t76_sin_cos2021-07-19 00:36 213K 
[ ]sin_cos__t77_sin_cos2021-07-19 00:04 97K 
[ ]sin_cos__t78_sin_cos2021-07-19 00:37 137K 
[ ]sin_cos__t79_sin_cos2021-07-19 00:04 70K 
[ ]sin_cos__t80_sin_cos2021-07-19 00:37 351K 
[ ]sin_cos__t81_sin_cos2021-07-19 00:04 53K 
[ ]sin_cos__t82_sin_cos2021-07-19 00:38 49K 
[ ]sin_cos__t83_sin_cos2021-07-19 00:38 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80