Time: 38.0m
Passed: 19/25
Tests: 29
Bits: 346/552

Date:Monday, May 21st, 2018
Commit:1af776ae72d8219c1c3c4e820b4e7bddd1639ce6 on simplify-conditions
Hostname:warfa
Points:256
Fuel:4
Seed:#(1071725047 233389029 2036512464 3988615230 2972226563 1111574017)
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:boolsrules:branchessetup:simplifyfn:cbrtgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
arccos0.00.01.3m»
Rosa's TurbineBenchmark12.00.41.9m»
Rosa's FloatVsDoubleBenchmark0.50.56.4m»
Rosa's DopplerBench18.11.254.0s»
Rosa's Benchmark0.10.122.4s»
Radioactive exchange between two surfaces0.00.012.0s»
NMSE Section 6.1 mentioned, B14.50.31.9m»
NMSE Section 6.1 mentioned, A29.60.93.5m»
From Warwick Tucker's Validated Numerics58.158.11.9m»
x / (x^2 + 1)15.50.00.140.4s»
simple fma test44.88.1050.2s»
ln(1 + x)39.10.20.337.6s»
fma_test249.149.102.9s»
fma_test161.80.350.655.4s»
The quadratic formula (r2)33.69.820.74.4m»
The quadratic formula (r1)33.29.020.91.7m»
Rectangular parallelepiped of dimension a×b×c0001.7s»
Kahan's exp quotient39.80.338.940.8s»
Expression, p63.703.91.2m»
Expression, p140.00.00.01.3m»
Expression 4, p150.00.00.01.8m»
Expression 3, p150.00.00.034.9s»
Expression 2, p150.00.00.0836.0ms»
Expression 1, p150.40.20.252.2s»
Difference of squares0.00.00.04.5s»
Compound Interest46.817.746.91.7m»
Complex division, real part25.725.70.41.1m»
Complex division, imag part25.624.00.433.6s»
Area of a triangle33.2s»