Time: 4.5min
Passed: 10/12
Tests: 13
Bits: 230/344

TestStartResult ?Target ?Time
x001.4s»
tan-example12.80.258.7s»
sqrt E30.20.13.3s»
sqrt D30.20.12.3s»
sqrt C30.20.13.7s»
sqrt B30.20.42.3s»
sqrt A30.20.12.4s»
rsin B15.20.39.4s»
rsin A15.20.39.6s»
mixedcos28.20.813.3s»
expfmod59.559.511.8s»
exp-w crasher2.5min»
(/ (- x lo) (- hi lo))62.051.63.8s»