Time: 17.4m
Passed: 21/25
Tests: 29
Bits: 435/549

Date:Friday, April 27th, 2018
Commit:61dd505dc322d8be471e0e9f97c0b413641aff91 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1070131407 1246090267 3027482374 2150728003 2026520792 2347815650)
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.8s»
Rosa's TurbineBenchmark11.70.446.2s»
Rosa's FloatVsDoubleBenchmark0.50.52.9m»
Rosa's DopplerBench17.51.030.7s»
Rosa's Benchmark0.10.115.3s»
Radioactive exchange between two surfaces0.00.05.2s»
NMSE Section 6.1 mentioned, B13.60.31.2m»
NMSE Section 6.1 mentioned, A29.31.01.6m»
From Warwick Tucker's Validated Numerics58.158.132.8s»
x / (x^2 + 1)14.40.00.113.2s»
simple fma test45.3003.4s»
ln(1 + x)38.90.00.34.5s»
fma_test249.1001.5s»
fma_test161.80.350.611.5s»
The quadratic formula (r2)33.76.320.61.6m»
The quadratic formula (r1)33.78.620.62.0m»
Rectangular parallelepiped of dimension a×b×c0002.1s»
Kahan's exp quotient39.90.039.04.1s»
Expression, p63.703.824.4s»
Expression, p140.00.00.024.6s»
Expression 4, p150.00.00.029.7s»
Expression 3, p150.00.00.06.4s»
Expression 2, p150.00.00.02.0s»
Expression 1, p150.40.30.228.8s»
Difference of squares0.00.00.03.5s»
Compound Interest47.79.747.11.9m»
Complex division, real part25.212.50.426.7s»
Complex division, imag part24.714.80.427.1s»
Area of a triangle23.0s»