| Date: | Friday, April 27th, 2018 |
|---|---|
| Commit: | 6741591aa351c4759ff9b38754dc064d3f73c83f on fix-regimes-bug |
| Hostname: | thinkpad |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | #(1064397287 3527694221 3797617954 1138343853 2854031332 1153838279) |
| 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 |
| Test | Start | Result | Target | ∞ ↔ ℝ | Time | |
|---|---|---|---|---|---|---|
| Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2 | 3.8 | 1.5 | 3.2m | » | ||
| Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2 | 1.9 | 2.2 | 2.2m | » |