Time: 4.2min
Passed: 10/12
Tests: 13
Bits: 232/344

TestStartResult ?Target ?Time
x000.9s»
tan-example13.30.240.3s»
sqrt E30.30.13.6s»
sqrt D30.30.12.5s»
sqrt C30.30.12.0s»
sqrt B30.30.42.3s»
sqrt A30.30.13.4s»
rsin B15.10.310.1s»
rsin A15.10.38.8s»
mixedcos27.40.88.4s»
expfmod59.559.613.4s»
exp-w crasher2.5min»
(/ (- x lo) (- hi lo))62.050.43.6s»