Time: 1.2min
Passed: 7/11
Crashes: 2
Tests: 13
Bits: 158/285

TestStartResult ?Target ?Time
x000.8s»
tan-example13.20.223.6s»
sqrt E30.10.42.2s»
sqrt D30.10.42.1s»
sqrt C30.10.41.4s»
sqrt B0.5s»
sqrt A0.3s»
rsin B15.50.45.7s»
rsin A15.50.45.9s»
mixedcos28.62.86.0s»
expfmod59.659.68.5s»
exp-w crasher0.30.311.2s»
(/ (- x lo) (- hi lo))62.062.00.9s»