Time: 36.6m
Passed: 21/25
Tests: 29
Bits: 430/552

Date:Monday, May 7th, 2018
Commit:0c738384931c26b377fa65553dbf0bd5d77cbcf9 on simplify-sub-div-1-tests
Hostname:warfa
Points:256
Fuel:4
Seed:#(1070833653 108281690 3330367898 3632331308 3494323072 43156186)
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexsetup:simplifyfn:cbrtgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
arccos0.00.01.1m»
Rosa's TurbineBenchmark12.10.43.0m»
Rosa's FloatVsDoubleBenchmark0.50.54.4m»
Rosa's DopplerBench17.71.253.4s»
Rosa's Benchmark0.10.121.1s»
Radioactive exchange between two surfaces0.00.06.1s»
NMSE Section 6.1 mentioned, B14.40.33.5m»
NMSE Section 6.1 mentioned, A29.81.07.5m»
From Warwick Tucker's Validated Numerics58.158.122.8s»
x / (x^2 + 1)15.10.00.126.0s»
simple fma test45.0005.0s»
ln(1 + x)39.00.00.28.7s»
fma_test249.1004.5s»
fma_test161.80.350.625.5s»
The quadratic formula (r2)32.910.020.42.3m»
The quadratic formula (r1)33.413.520.02.4m»
Rectangular parallelepiped of dimension a×b×c0002.6s»
Kahan's exp quotient39.60.038.811.2s»
Expression, p63.703.843.7s»
Expression, p140.00.00.015.3s»
Expression 4, p150.00.00.021.8s»
Expression 3, p150.00.00.059.2s»
Expression 2, p150.00.00.01.1s»
Expression 1, p150.40.50.21.6m»
Difference of squares0.00.00.06.0s»
Compound Interest46.911.546.82.2m»
Complex division, real part25.912.50.41.2m»
Complex division, imag part25.711.70.51.3m»
Area of a triangle32.1s»