Time: 1.7hr
Passed: 13/19
Tests: 29
Bits: 270/400

Date:Wednesday, January 31st, 2018
Commit:0ccc261a65d01db799a329fa0ea25c9ff27319e5 on develop
Points:256
Fuel:3
Seed:#(1062930989 876886121 3990119081 3032829768 3060892583 1929069376)
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorprecision:double
default
TestStartResultTarget∞ ↔ ℝTime
VandenBroeck and Keller, Equation (6)13.20.353.2s»
VandenBroeck and Keller, Equation (24)0.20.259.2s»
VandenBroeck and Keller, Equation (23)13.810.92.4m»
VandenBroeck and Keller, Equation (20)59.90.53.6m»
Toniolo and Linder, Equation (7)52.715.43.9m»
Toniolo and Linder, Equation (3b), real3.63.91.6m»
Toniolo and Linder, Equation (3a)1.80.73.4m»
Toniolo and Linder, Equation (2)10.510.52.7m»
Toniolo and Linder, Equation (13)10.0m»
Toniolo and Linder, Equation (10-)49.524.27.3m»
Toniolo and Linder, Equation (10+)31.513.95.3m»
Migdal et al, Equation (64)0.50.43.4m»
Migdal et al, Equation (51)0.50.43.3m»
Maksimov and Kolovsky, Equation (4)23.92.52.5m»
Maksimov and Kolovsky, Equation (32)15.21.43.1m»
Maksimov and Kolovsky, Equation (3)16.816.84.4m»
Henrywood and Agarwal, Equation (9a)13.58.53.1m»
Henrywood and Agarwal, Equation (3)19.015.41.4m»
Henrywood and Agarwal, Equation (13)57.403.2m»
Henrywood and Agarwal, Equation (12)10.0m»
Falkner and Boettcher, Equation (22+)13.10.32.6m»
Falkner and Boettcher, Equation (20:1,3)0.50.44.2m»
Falkner and Boettcher, Appendix B, 20.00.02.3m»
Falkner and Boettcher, Appendix B, 10.60.71.2m»
Falkner and Boettcher, Appendix A1.81.92.2m»
Bulmash initializePoisson0.00.02.3m»
Bouland and Aaronson, Equation (26)0.20.21.5m»
Bouland and Aaronson, Equation (25)0.20.23.1m»
Bouland and Aaronson, Equation (24)0.20.23.9m»