Time: 2.8m
Passed: 8/37
Crashes: 25
Tests: 38
Bits: 175/233

Date:Wednesday, November 6th, 2019
Commit:f15d9476 on fix-interface-bugs
Hostname:warfa with Racket 7.2
Seed:2019310
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
arccos472.0ms»
Rump's expression from Stadtherr's award speech3.1s»
Rosa's TurbineBenchmark2.9s»
Rosa's FloatVsDoubleBenchmark5.7s»
Rosa's DopplerBench6.1s»
Rosa's Benchmark6.0s»
Radioactive exchange between two surfaces0.00.05.1s»
NMSE Section 6.1 mentioned, B3.4s»
NMSE Section 6.1 mentioned, A4.4s»
Kahan's Unum-Targeted Monster479.0ms»
Kahan's Monster162.0ms»
Kahan p13 Example 37.3s»
Kahan p13 Example 26.7s»
Kahan p13 Example 16.2s»
From Warwick Tucker's Validated Numerics58.158.118.2s»
From Rump in a 1983 paper, rewritten62.006.4s»
From Rump in a 1983 paper3.2s»
x / (x^2 + 1)66.0ms»
simple fma test45.10010.6s»
ln(1 + x)158.0ms»
fma_test264.0004.5s»
fma_test16.4s»
The quadratic formula (r2)479.0ms»
The quadratic formula (r1)400.0ms»
Rectangular parallelepiped of dimension a×b×c0005.7s»
Kahan's exp quotient129.0ms»
Kahan p9 Example6.9s»
Expression, p63.703.98.9s»
Expression, p147.4s»
Expression 4, p15365.0ms»
Expression 3, p150.00.00.04.5s»
Expression 2, p150.00.00.0763.0ms»
Expression 1, p150.40.30.27.8s»
Difference of squares10.4s»
Compound Interest5.7s»
Complex division, real part74.0ms»
Complex division, imag part240.0ms»
Area of a triangle21.0ms»