| Date: | Friday, January 24th, 2020 |
|---|---|
| Commit: | 4fcaed19 on overflow-detection-ground-truth |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020024 |
| Parameters: | 256 points for 4 iterations |
| 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 |
| Test | Start | Result | Target | Time | |
|---|---|---|---|---|---|
| arccos | 0.0 | 0.0 | 2.8s | » | |
| Rump's expression from Stadtherr's award speech | 58.1 | 57.1 | 3.3s | » | |
| Rosa's TurbineBenchmark | 12.6 | 0.4 | 5.4s | » | |
| Rosa's FloatVsDoubleBenchmark | 0.5 | 0.4 | 12.7s | » | |
| Rosa's DopplerBench | 18.3 | 1.2 | 5.6s | » | |
| Rosa's Benchmark | 0.1 | 0.1 | 2.2s | » | |
| Radioactive exchange between two surfaces | 0.0 | 0.0 | 6.2s | » | |
| NMSE Section 6.1 mentioned, B | 14.3 | 0.2 | 8.5s | » | |
| NMSE Section 6.1 mentioned, A | 29.4 | 4.1 | 6.6s | » | |
| Kahan's Unum-Targeted Monster | 211.0ms | » | |||
| Kahan's Monster | 60.0ms | » | |||
| Kahan p13 Example 3 | 0.0 | 0.0 | 5.6s | » | |
| Kahan p13 Example 2 | 0.0 | 0.0 | 7.4s | » | |
| Kahan p13 Example 1 | 0.0 | 0.0 | 2.9s | » | |
| From Warwick Tucker's Validated Numerics | 58.1 | 58.1 | 2.6s | » | |
| From Rump in a 1983 paper, rewritten | 62.0 | 0 | 1.1s | » | |
| From Rump in a 1983 paper | 52.0 | 52.0 | 2.5s | » | |
| x / (x^2 + 1) | 15.3 | 0.0 | 0.1 | 3.5s | » |
| simple fma test | 45.3 | 0 | 0 | 1.1s | » |
| ln(1 + x) | 39.1 | 0.4 | 0.2 | 4.1s | » |
| fma_test2 | 64.0 | 0 | 0 | 599.0ms | » |
| fma_test1 | 61.8 | 0.3 | 50.6 | 2.2s | » |
| The quadratic formula (r2) | 34.1 | 9.9 | 21.1 | 5.3s | » |
| The quadratic formula (r1) | 34.1 | 6.5 | 20.5 | 5.5s | » |
| Rectangular parallelepiped of dimension a×b×c | 0 | 0 | 0 | 391.0ms | » |
| Kahan's exp quotient | 39.6 | 0.4 | 40.1 | 3.4s | » |
| Kahan p9 Example | 20.7 | 0.0 | 0.1 | 3.6s | » |
| Expression, p6 | 3.7 | 2.8 | 3.9 | 3.0s | » |
| Expression, p14 | 0.0 | 0.0 | 0.0 | 1.2s | » |
| Expression 4, p15 | 0.0 | 0.0 | 0.0 | 1.1s | » |
| Expression 3, p15 | 0.0 | 0.0 | 0.0 | 518.0ms | » |
| Expression 2, p15 | 0.0 | 0 | 0.0 | 459.0ms | » |
| Expression 1, p15 | 0.4 | 0.3 | 0.2 | 3.5s | » |
| Difference of squares | 0.0 | 0.0 | 0.0 | 739.0ms | » |
| Compound Interest | 40.9 | 32.8 | 41.1 | 34.5s | » |
| Complex division, real part | 25.9 | 13.3 | 0.4 | 4.0s | » |
| Complex division, imag part | 26.2 | 13.6 | 0.5 | 4.9s | » |
| Area of a triangle | 11.0ms | » |