Time: 1.5hr
Passed: 12/18
Tests: 29
Bits: 200/431

Date:Thursday, February 22nd, 2018
Commit:c33faf5941b9514a739d9415b56d8aaa9413fe06 on develop
Points:256
Fuel:4
Seed:#(1063313015 2771194459 1594909340 1344785158 2223560818 546365448)
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchprecision:double
default
TestStartResult ?Target ?∞ ↔ ℝTime
VandenBroeck and Keller, Equation (6)16.38.64.8m»
VandenBroeck and Keller, Equation (24)0.20.248.9s»
VandenBroeck and Keller, Equation (23)13.210.52.5m»
VandenBroeck and Keller, Equation (20)59.72.24.3m»
Toniolo and Linder, Equation (7)42.98.83.8m»
Toniolo and Linder, Equation (3b), real3.84.81.2m»
Toniolo and Linder, Equation (3a)1.21.23.6m»
Toniolo and Linder, Equation (2)10.110.12.7m»
Toniolo and Linder, Equation (13)32.730.74.5m»
Toniolo and Linder, Equation (10-)46.927.75.3m»
Toniolo and Linder, Equation (10+)32.310.74.9m»
Migdal et al, Equation (64)0.50.62.9m»
Migdal et al, Equation (51)0.60.42.6m»
Maksimov and Kolovsky, Equation (4)17.30.52.4m»
Maksimov and Kolovsky, Equation (32)15.216.12.6m»
Maksimov and Kolovsky, Equation (3)17.017.04.4m»
Henrywood and Agarwal, Equation (9a)14.08.63.0m»
Henrywood and Agarwal, Equation (3)19.015.449.2s»
Henrywood and Agarwal, Equation (13)58.431.95.9m»
Henrywood and Agarwal, Equation (12)24.720.96.0m»
Falkner and Boettcher, Equation (22+)1.00.04.5m»
Falkner and Boettcher, Equation (20:1,3)0.40.34.1m»
Falkner and Boettcher, Appendix B, 20.00.034.8s»
Falkner and Boettcher, Appendix B, 10.50.51.7m»
Falkner and Boettcher, Appendix A2.12.12.0m»
Bulmash initializePoisson0.00.01.9m»
Bouland and Aaronson, Equation (26)0.20.21.7m»
Bouland and Aaronson, Equation (25)0.20.21.7m»
Bouland and Aaronson, Equation (24)0.20.21.5m»