| Date: | Friday, December 28th, 2018 |
|---|---|
| Commit: | 380dbd2a465f205d153f4bc8cc948c449c0b5dbb on develop |
| Hostname: | warfa |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | 2018362 |
| 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 | |
|---|---|---|---|---|---|---|
| VandenBroeck and Keller, Equation (6) | 8.4 | 7.9 | 51.0s | » | ||
| VandenBroeck and Keller, Equation (24) | 0.2 | 0.2 | 35.9s | » | ||
| VandenBroeck and Keller, Equation (23) | 13.7 | 13.7 | 45.9s | » | ||
| VandenBroeck and Keller, Equation (20) | 59.7 | 0.8 | 1.9m | » | ||
| Toniolo and Linder, Equation (7) | 42.3 | 9.5 | 53.9s | » | ||
| Toniolo and Linder, Equation (3b), real | 12.2 | 8.7 | 41.0s | » | ||
| Toniolo and Linder, Equation (3a) | 1.5 | 0.6 | 32.0s | » | ||
| Toniolo and Linder, Equation (2) | 10.3 | 10.3 | 2.3m | » | ||
| Toniolo and Linder, Equation (13) | 33.5 | 27.0 | 47.8s | » | ||
| Toniolo and Linder, Equation (10-) | 46.9 | 1.6 | 2.7m | » | ||
| Toniolo and Linder, Equation (10+) | 31.4 | 12.7 | 1.7m | » | ||
| Migdal et al, Equation (64) | 0.5 | 0.5 | 42.4s | » | ||
| Migdal et al, Equation (51) | 0.4 | 0.4 | 42.0s | » | ||
| Maksimov and Kolovsky, Equation (4) | 17.3 | 0.6 | 27.6s | » | ||
| Maksimov and Kolovsky, Equation (32) | 15.0 | 1.3 | 1.5m | » | ||
| Maksimov and Kolovsky, Equation (3) | 16.8 | 8.1 | 35.6s | » | ||
| Henrywood and Agarwal, Equation (9a) | 13.4 | 7.9 | 34.6s | » | ||
| Henrywood and Agarwal, Equation (3) | 18.7 | 10.3 | 16.2s | » | ||
| Henrywood and Agarwal, Equation (13) | 57.8 | 33.6 | 1.3m | » | ||
| Henrywood and Agarwal, Equation (12) | 25.7 | 14.2 | 1.7m | » | ||
| Falkner and Boettcher, Equation (22+) | 1.0 | 0.0 | 56.3s | » | ||
| Falkner and Boettcher, Equation (20:1,3) | 0.5 | 0.1 | 4.1m | » | ||
| Falkner and Boettcher, Appendix B, 2 | 0.0 | 0.0 | 53.5s | » | ||
| Falkner and Boettcher, Appendix B, 1 | 0.6 | 0.6 | 25.8s | » | ||
| Falkner and Boettcher, Appendix A | 2.1 | 0.2 | 26.7s | » | ||
| Bulmash initializePoisson | 0.0 | 0.0 | 49.4s | » | ||
| Bouland and Aaronson, Equation (26) | 0.2 | 0.0 | 24.2s | » | ||
| Bouland and Aaronson, Equation (25) | 0.2 | 0.0 | 31.0s | » | ||
| Bouland and Aaronson, Equation (24) | 0.2 | 0.2 | 22.5s | » |
9230 calls. Slowest were:
| 1.2s | (* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v)))))) |
| 1.2s | (/ (* (* (/ 1 (sin B)) (/ 1 (sin B))) (/ 1 (sin B))) (* (* (/ 1 F) (/ 1 F)) (/ 1 F))) |
| 1.1s | (/ (* (* (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k))) (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))) (/ (* (/ 2 t) (* (/ l t) (/ l t))) (* (sin k) (tan k)))) (* (* (* (/ k t) (/ k t)) (* (/ k t) (/ k t))) (* (/ k t) (/ k t)))) |
| 1.1s | (/ (/ (* (* (* (/ 2 t) (/ 2 t)) (/ 2 t)) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (* (sin k) (sin k)) (sin k)) (* (* (tan k) (tan k)) (tan k)))) (* (* (* (/ k t) (/ k t)) (/ k t)) (* (* (/ k t) (/ k t)) (/ k t)))) |
| 1.1s | (* (* (* (/ l Om) (/ l Om)) (/ l Om)) (* (* (/ l Om) (/ l Om)) (/ l Om))) |
404 calls. Slowest were:
| 2.9s | (sqrt (fma (fma (- U U*) (/ (* l n) Om) (* l 2)) (/ (* (* l n) (* -2 U)) Om) (* (* t U) (* n 2)))) |
| 2.6s | (sqrt (fma (fma (- U U*) (* (/ l Om) n) (* l 2)) (/ (* (* l n) (* -2 U)) Om) (* (* t U) (* n 2)))) |
| 1.7s | (sqrt (* (* 2 (* U n)) (- t (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l)))))) |
| 788.0ms | (sqrt (+ (* t (* 2 (* U n))) (* (* (* n (* U -2)) (/ l Om)) (fma (* n (- U U*)) (/ l Om) (* 2 l))))) |
| 716.0ms | (/ (/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1)))) (* t (- 1 (* v v)))) |
Median 0% (44.8b remaining)
| 8.9b | 8.5% | Henrywood and Agarwal, Equation (12) |
| 6.6b | 0% | Toniolo and Linder, Equation (10-) |
| 6.1b | 60.1% | Toniolo and Linder, Equation (13) |
| 5.5b | 76.7% | Falkner and Boettcher, Appendix B, 1 |
| 4.3b | -16.1% | Migdal et al, Equation (51) |
404 calls. Slowest were:
| 269.0ms | (/ (sin (* PI l)) (* (pow F 2) (* (* (cbrt (cos (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))) (cbrt (cos (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))))) (cbrt (cos (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))))))) |
| 221.0ms | (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))) |
| 162.0ms | (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))) |
| 93.0ms | (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT) |
| 79.0ms | (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT) |