Time: 49.2m
Passed: 14/17
Tests: 29
Bits: 263/430

Date:Tuesday, April 24th, 2018
Commit:ef6da59c98f6c41a5c85092bc93e2c0df36dcdff on develop
Points:256
Fuel:4
Seed:#(1064300848 3212030778 2049303162 3567222883 2277747821 1384278011)
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:double
default
TestStartResult ?Target ?∞ ↔ ℝTime
VandenBroeck and Keller, Equation (6)15.811.81.8m»
VandenBroeck and Keller, Equation (24)0.20.220.4s»
VandenBroeck and Keller, Equation (23)13.40.21.2m»
VandenBroeck and Keller, Equation (20)59.62.62.3m»
Toniolo and Linder, Equation (7)42.59.82.0m»
Toniolo and Linder, Equation (3b), real3.93.940.0s»
Toniolo and Linder, Equation (3a)1.00.71.5m»
Toniolo and Linder, Equation (2)10.310.31.4m»
Toniolo and Linder, Equation (13)33.723.63.1m»
Toniolo and Linder, Equation (10-)47.01.65.1m»
Toniolo and Linder, Equation (10+)32.210.62.7m»
Migdal et al, Equation (64)0.50.544.6s»
Migdal et al, Equation (51)0.50.41.1m»
Maksimov and Kolovsky, Equation (4)17.20.41.6m»
Maksimov and Kolovsky, Equation (32)14.71.353.6s»
Maksimov and Kolovsky, Equation (3)17.517.51.9m»
Henrywood and Agarwal, Equation (9a)14.07.81.6m»
Henrywood and Agarwal, Equation (3)17.912.740.5s»
Henrywood and Agarwal, Equation (13)58.431.65.6m»
Henrywood and Agarwal, Equation (12)25.317.93.7m»
Falkner and Boettcher, Equation (22+)1.00.02.3m»
Falkner and Boettcher, Equation (20:1,3)0.50.31.3m»
Falkner and Boettcher, Appendix B, 20.00.013.9s»
Falkner and Boettcher, Appendix B, 10.50.543.9s»
Falkner and Boettcher, Appendix A2.10.142.1s»
Bulmash initializePoisson0.00.042.7s»
Bouland and Aaronson, Equation (26)0.20.540.9s»
Bouland and Aaronson, Equation (25)0.20.21.5m»
Bouland and Aaronson, Equation (24)0.20.21.1m»