Time: 11.6min
Passed: 28/28
Tests: 28
Bits: 977/1026

TestStartResult ?Target ?Time
sqrtexp (problem 3.4.4)40.90.05.0s»
sintan (problem 3.4.5)30.80.019.0s»
quad2p (problem 3.2.1, positive)33.59.816.9s»
quad2m (problem 3.2.1, negative)33.96.417.3s»
cos2 (problem 3.4.1)31.90.110.5s»
2nthrt (problem 3.4.6)32.86.95.2min»
2log (problem 3.3.6)29.60.110.5s»
2frac (problem 3.3.1)14.10.16.2s»
2cos (problem 3.3.5)39.80.717.4s»
2cbrt (problem 3.3.4)30.10.513.3s»
tanhf (example 3.4)29.90.00.09.2s»
quadp (p42, positive)33.79.820.320.8s»
quadm (p42, negative)33.66.420.220.3s»
qlog (example 3.10)61.40.50.413.3s»
logs (example 3.8)63.00011.4s»
logq (problem 3.4.3)58.50.20.210.4s»
invcot (example 3.9)59.90.40.123.6s»
expq3 (problem 3.4.2)60.33.415.024.8s»
expq2 (section 3.11)41.21.040.86.6s»
expm1 (example 3.7)58.80.50.54.4s»
expax (section 3.5)29.70.30.28.0s»
exp2 (problem 3.3.7)29.90.70.010.9s»
3frac (problem 3.3.3)9.60.10.211.6s»
2tan (problem 3.3.2)37.50.314.638.5s»
2sqrt (example 3.1)30.00.20.214.6s»
2sin (example 3.3)37.20.415.215.5s»
2isqrt (example 3.6)19.70.20.618.6s»
2atan (example 3.5)15.00.30.36.1s»

Pareto measure: 0.7247943935229632