Time: 1.5hr
Passed: 19/28
Tests: 35
Bits: 392/446

Date:Friday, March 29th, 2019
Commit:570287d69cb96597af226f9157939ce60dd1b513 on better-rr
Hostname:warfa
Points:256
Fuel:4
Seed:2019088
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
arccos0.00.057.4s»
Rosa's TurbineBenchmark10.0m»
Rosa's FloatVsDoubleBenchmark0.50.43.1m»
Rosa's DopplerBench18.41.45.7m»
Rosa's Benchmark0.10.11.2m»
Radioactive exchange between two surfaces0.00.03.5s»
NMSE Section 6.1 mentioned, B15.14.85.0m»
NMSE Section 6.1 mentioned, A29.10.89.0m»
Kahan's Unum-Targeted Monster430.0ms»
Kahan's Monster249.0ms»
Kahan p13 Example 30.00.01.3m»
Kahan p13 Example 20.00.04.9m»
Kahan p13 Example 10.00.036.4s»
From Warwick Tucker's Validated Numerics10.0m»
x / (x^2 + 1)15.50.00.123.0s»
simple fma test45.7004.4s»
ln(1 + x)38.40.00.23.3s»
fma_test249.1004.6s»
fma_test161.80.350.612.8s»
The quadratic formula (r2)34.210.321.53.9m»
The quadratic formula (r1)10.0m»
Rectangular parallelepiped of dimension a×b×c0001.5s»
Kahan's exp quotient39.00.038.016.4s»
Kahan p9 Example10.0m»
Expression, p63.703.85.2s»
Expression, p140.00.00.019.8s»
Expression 4, p150.00.00.03.2m»
Expression 3, p150.00.00.01.2m»
Expression 2, p150.000.01.1s»
Expression 1, p150.40.30.227.8s»
Difference of squares0.00.00.01.4s»
Compound Interest42.18.641.54.0m»
Complex division, real part26.112.70.431.2s»
Complex division, imag part26.513.60.44.0m»
Area of a triangle21.0ms»