Time: 14.4m
Passed: 21/25
Tests: 29
Bits: 424/551

Date:Saturday, April 28th, 2018
Commit:efb3b5708051eb9e4939c8961f930315da015e86 on fix-regimes-bug
Hostname:warfa
Points:256
Fuel:4
Seed:#(1070227846 1561819246 480764335 4016816270 2602869839 2117310382)
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:double
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
arccos0.00.015.2s»
Rosa's TurbineBenchmark12.70.441.7s»
Rosa's FloatVsDoubleBenchmark0.50.52.1m»
Rosa's DopplerBench17.31.426.3s»
Rosa's Benchmark0.10.112.9s»
Radioactive exchange between two surfaces0.00.06.7s»
NMSE Section 6.1 mentioned, B13.90.31.1m»
NMSE Section 6.1 mentioned, A29.30.91.3m»
From Warwick Tucker's Validated Numerics58.158.132.2s»
x / (x^2 + 1)14.40.00.19.7s»
simple fma test45.3003.0s»
ln(1 + x)39.20.00.25.2s»
fma_test249.1001.8s»
fma_test161.80.350.68.6s»
The quadratic formula (r2)33.36.720.11.5m»
The quadratic formula (r1)32.89.120.51.5m»
Rectangular parallelepiped of dimension a×b×c0001.7s»
Kahan's exp quotient40.30.039.54.5s»
Expression, p63.703.811.9s»
Expression, p140.00.00.09.2s»
Expression 4, p150.00.00.040.9s»
Expression 3, p150.00.00.06.0s»
Expression 2, p150.00.00.01.7s»
Expression 1, p150.40.30.237.7s»
Difference of squares0.00.00.03.9s»
Compound Interest47.510.347.01.5m»
Complex division, real part25.325.30.412.5s»
Complex division, imag part25.812.90.521.5s»
Area of a triangle19.1s»