Time: 47.6m
Passed: 20/25
Tests: 29
Bits: 400/506

Date:Wednesday, May 30th, 2018
Commit:541bb67a39bffd55b462a60726a62e8e31eca8e4 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1072330854 3074818769 591214268 3603999196 3863745332 3332387116)
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.7s»
Rosa's TurbineBenchmark12.60.42.2m»
Rosa's FloatVsDoubleBenchmark0.50.36.7m»
Rosa's DopplerBench18.11.251.1s»
Rosa's Benchmark0.10.119.8s»
Radioactive exchange between two surfaces0.00.05.0s»
NMSE Section 6.1 mentioned, B14.00.33.5m»
NMSE Section 6.1 mentioned, A29.00.99.4m»
From Warwick Tucker's Validated Numerics58.158.122.9s»
x / (x^2 + 1)14.60.00.126.4s»
simple fma test45.3004.6s»
ln(1 + x)39.10.00.24.2s»
fma_test249.2004.7s»
fma_test161.80.350.625.1s»
The quadratic formula (r2)33.910.420.82.6m»
The quadratic formula (r1)33.57.321.42.4m»
Rectangular parallelepiped of dimension a×b×c0002.1s»
Kahan's exp quotient40.00.039.17.9s»
Expression, p63.60.13.827.3s»
Expression, p140.00.00.027.9s»
Expression 4, p150.00.00.02.2m»
Expression 3, p150.00.00.08.3s»
Expression 2, p150.00.00.04.5s»
Expression 1, p150.40.30.21.3m»
Difference of squares0.00.00.04.9s»
Compound Interest10.0m»
Complex division, real part25.713.40.41.2m»
Complex division, imag part26.313.00.51.3m»
Area of a triangle28.1s»