Time: 2.2m
Passed: 6/36
Crashes: 25
Tests: 38
Bits: 42/159

Date:Friday, February 14th, 2020
Commit:eff85e64 on simplify-upwards-no-duplicates
Hostname:warfa with Racket 7.5
Seed:2020045
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?Time
arccos583.0ms»
Rump's expression from Stadtherr's award speech58.157.17.4s»
Rosa's TurbineBenchmark1.8s»
Rosa's FloatVsDoubleBenchmark0.50.521.4s»
Rosa's DopplerBench399.0ms»
Rosa's Benchmark3.7s»
Radioactive exchange between two surfaces1.6s»
NMSE Section 6.1 mentioned, B14.00.38.4s»
NMSE Section 6.1 mentioned, A187.0ms»
Kahan's Unum-Targeted Monster175.0ms»
Kahan's Monster59.0ms»
Kahan p13 Example 32.9s»
Kahan p13 Example 22.9s»
Kahan p13 Example 10.00.02.9s»
From Warwick Tucker's Validated Numerics21.5s»
From Rump in a 1983 paper, rewritten352.0ms»
From Rump in a 1983 paper127.0ms»
x / (x^2 + 1)144.0ms»
simple fma test260.0ms»
ln(1 + x)149.0ms»
fma_test2465.0ms»
fma_test12.5s»
The quadratic formula (r2)1.7s»
The quadratic formula (r1)33.86.820.47.5s»
Rectangular parallelepiped of dimension a×b×c0001.6s»
Kahan's exp quotient169.0ms»
Kahan p9 Example3.8s»
Expression, p61.4s»
Expression, p145.1s»
Expression 4, p15428.0ms»
Expression 3, p153.9s»
Expression 2, p15169.0ms»
Expression 1, p150.40.20.26.0s»
Difference of squares0.00.00.01.4s»
Compound Interest597.0ms»
Complex division, real part25.825.80.410.9s»
Complex division, imag part26.025.90.58.0s»
Area of a triangle9.0ms»