Time: 9.1m
Passed: 14/14
Tests: 17
Bits: 369/395

Date:Thursday, August 23rd, 2018
Commit:0279a9ccce871c3a980676af3d7ff1be2adbfd98 on constant-simplification
Hostname:warfa
Points:256
Fuel:4
Seed:2018235
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
arccos0.00.058.9s»
Rosa's TurbineBenchmark12.60.51.1m»
Rosa's DopplerBench18.11.41.6m»
Rosa's Benchmark0.10.110.4s»
Radioactive exchange between two surfaces0.00.06.0s»
NMSE Section 6.1 mentioned, B14.20.31.1m»
NMSE Section 6.1 mentioned, A29.71.12.3m»
x / (x^2 + 1)15.80.10.13.2s»
simple fma test45.3003.5s»
ln(1 + x)39.00.00.33.8s»
fma_test249.1001.9s»
fma_test161.80.350.56.0s»
The quadratic formula (r2)32.89.120.435.8s»
The quadratic formula (r1)33.210.420.429.0s»
Rectangular parallelepiped of dimension a×b×c0002.1s»
Kahan's exp quotient39.60.038.77.0s»
Expression, p63.62.83.813.2s»