Time: 39.6m
Passed: 20/25
Tests: 29
Bits: 395/506

Date:Thursday, May 31st, 2018
Commit:c78f38400dc8ca9072d41602a2f4d7bb5568a58a on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1072361757 3390613284 2339397988 1175251238 145061547 3101881848)
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchessetup:simplifyfn:cbrtgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
arccos0.00.022.3s»
Rosa's TurbineBenchmark12.30.42.3m»
Rosa's FloatVsDoubleBenchmark0.50.34.4m»
Rosa's DopplerBench18.01.253.1s»
Rosa's Benchmark0.10.121.3s»
Radioactive exchange between two surfaces0.00.05.1s»
NMSE Section 6.1 mentioned, B14.20.33.7m»
NMSE Section 6.1 mentioned, A30.00.94.4m»
From Warwick Tucker's Validated Numerics58.158.122.5s»
x / (x^2 + 1)15.00.00.124.6s»
simple fma test45.2004.4s»
ln(1 + x)38.80.00.33.9s»
fma_test249.1004.8s»
fma_test161.80.450.625.5s»
The quadratic formula (r2)33.910.920.83.1m»
The quadratic formula (r1)33.612.620.42.5m»
Rectangular parallelepiped of dimension a×b×c0002.1s»
Kahan's exp quotient40.00.039.23.1s»
Expression, p63.703.825.7s»
Expression, p140.00.00.031.9s»
Expression 4, p150.00.00.01.1m»
Expression 3, p150.00.00.033.8s»
Expression 2, p150.00.00.0905.0ms»
Expression 1, p150.40.40.253.7s»
Difference of squares0.00.00.06.9s»
Compound Interest10.0m»
Complex division, real part25.612.70.452.4s»
Complex division, imag part25.812.90.41.0m»
Area of a triangle28.4s»