Time: 3.3min
Passed: 28/28
Tests: 28
Bits: 968/1027

TestStartResult ?Target ?Time
sqrtexp (problem 3.4.4)40.60.03.4s»
sintan (problem 3.4.5)31.00.010.6s»
quad2p (problem 3.2.1, positive)34.79.98.7s»
quad2m (problem 3.2.1, negative)34.16.59.0s»
cos2 (problem 3.4.1)31.30.15.1s»
2nthrt (problem 3.4.6)33.27.123.5s»
2log (problem 3.3.6)29.70.14.7s»
2frac (problem 3.3.1)14.00.12.2s»
2cos (problem 3.3.5)39.70.58.0s»
2cbrt (problem 3.3.4)29.88.84.0s»
tanhf (example 3.4)29.90.00.04.5s»
quadp (p42, positive)34.610.921.37.8s»
quadm (p42, negative)34.67.021.39.9s»
qlog (example 3.10)61.30.30.38.0s»
logs (example 3.8)63.0004.2s»
logq (problem 3.4.3)58.60.20.24.4s»
invcot (example 3.9)60.00.40.110.0s»
expq3 (problem 3.4.2)60.33.415.011.0s»
expq2 (section 3.11)41.00.840.63.4s»
expm1 (example 3.7)58.70.40.52.6s»
expax (section 3.5)28.80.40.25.3s»
exp2 (problem 3.3.7)29.90.60.05.5s»
3frac (problem 3.3.3)9.80.10.34.4s»
2tan (problem 3.3.2)36.60.314.816.1s»
2sqrt (example 3.1)30.00.20.23.5s»
2sin (example 3.3)36.60.414.88.3s»
2isqrt (example 3.6)19.90.30.76.1s»
2atan (example 3.5)15.10.40.52.6s»

Pareto measure: 0.826118661624459