Time: 58.2m
Passed: 14/18
Tests: 29
Bits: 226/430

Date:Wednesday, August 8th, 2018
Commit:3a0cff287e06bca2cd3fedb87ed12a3df0f0c4f8 on clean-out-code
Hostname:warfa
Points:256
Fuel:4
Seed:2018220
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
VandenBroeck and Keller, Equation (6)16.512.61.1m»
VandenBroeck and Keller, Equation (24)0.20.212.3s»
VandenBroeck and Keller, Equation (23)13.40.541.0s»
VandenBroeck and Keller, Equation (20)59.82.25.0m»
Toniolo and Linder, Equation (7)42.88.357.3s»
Toniolo and Linder, Equation (3b), real3.94.429.1s»
Toniolo and Linder, Equation (3a)0.90.61.2m»
Toniolo and Linder, Equation (2)10.410.459.8s»
Toniolo and Linder, Equation (13)32.830.65.1m»
Toniolo and Linder, Equation (10-)47.112.23.2m»
Toniolo and Linder, Equation (10+)31.811.24.4m»
Migdal et al, Equation (64)0.50.541.0s»
Migdal et al, Equation (51)0.50.51.7m»
Maksimov and Kolovsky, Equation (4)17.70.340.4s»
Maksimov and Kolovsky, Equation (32)14.81.331.4s»
Maksimov and Kolovsky, Equation (3)17.217.21.5m»
Henrywood and Agarwal, Equation (9a)13.38.556.4s»
Henrywood and Agarwal, Equation (3)18.512.616.5s»
Henrywood and Agarwal, Equation (13)58.253.94.5m»
Henrywood and Agarwal, Equation (12)25.214.62.3m»
Falkner and Boettcher, Equation (22+)1.00.01.6m»
Falkner and Boettcher, Equation (20:1,3)0.40.31.7m»
Falkner and Boettcher, Appendix B, 210.0m»
Falkner and Boettcher, Appendix B, 10.50.52.9m»
Falkner and Boettcher, Appendix A2.10.11.3m»
Bulmash initializePoisson0.00.02.0m»
Bouland and Aaronson, Equation (26)0.20.221.6s»
Bouland and Aaronson, Equation (25)0.20.228.7s»
Bouland and Aaronson, Equation (24)0.20.21.4m»