Time: 1.2hr
Passed: 13/18
Tests: 29
Bits: 241/431

Date:Tuesday, May 22nd, 2018
Commit:4bdd8c30f68ff069c70996c081b4f26463c9ecea on fix-regimes-bug
Hostname:warfa
Points:256
Fuel:4
Seed:#(1071821486 549052472 3784827256 1559736200 3548510075 881134285)
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialsetup:simplifyfn:cbrtgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
VandenBroeck and Keller, Equation (6)16.212.21.2m»
VandenBroeck and Keller, Equation (24)0.20.227.3s»
VandenBroeck and Keller, Equation (23)13.60.21.0m»
VandenBroeck and Keller, Equation (20)59.62.38.6m»
Toniolo and Linder, Equation (7)42.09.22.7m»
Toniolo and Linder, Equation (3b), real3.94.147.6s»
Toniolo and Linder, Equation (3a)1.00.71.4m»
Toniolo and Linder, Equation (2)10.010.01.9m»
Toniolo and Linder, Equation (13)33.225.74.4m»
Toniolo and Linder, Equation (10-)47.518.75.0m»
Toniolo and Linder, Equation (10+)32.113.53.7m»
Migdal et al, Equation (64)0.50.555.1s»
Migdal et al, Equation (51)0.40.41.3m»
Maksimov and Kolovsky, Equation (4)17.60.31.3m»
Maksimov and Kolovsky, Equation (32)15.11.41.2m»
Maksimov and Kolovsky, Equation (3)17.117.13.2m»
Henrywood and Agarwal, Equation (9a)13.68.02.9m»
Henrywood and Agarwal, Equation (3)18.612.544.0s»
Henrywood and Agarwal, Equation (13)58.428.95.7m»
Henrywood and Agarwal, Equation (12)25.620.03.9m»
Falkner and Boettcher, Equation (22+)1.00.08.2m»
Falkner and Boettcher, Equation (20:1,3)0.40.31.7m»
Falkner and Boettcher, Appendix B, 20.00.01.3m»
Falkner and Boettcher, Appendix B, 10.61.02.0m»
Falkner and Boettcher, Appendix A1.91.91.2m»
Bulmash initializePoisson0.00.01.2m»
Bouland and Aaronson, Equation (26)0.20.21.1m»
Bouland and Aaronson, Equation (25)0.20.21.2m»
Bouland and Aaronson, Equation (24)0.20.23.6m»