Time: 5.7m
Passed: 16/20
Tests: 31
Bits: 211/417

Date:Monday, February 3rd, 2020
Commit:d79c6e23 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020034
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?Time
VandenBroeck and Keller, Equation (6)16.912.810.1s»
VandenBroeck and Keller, Equation (24)0.20.25.3s»
VandenBroeck and Keller, Equation (23)13.60.313.5s»
VandenBroeck and Keller, Equation (20)399.0ms»
Toniolo and Linder, Equation (7)42.99.711.5s»
Toniolo and Linder, Equation (3b), real12.79.19.8s»
Toniolo and Linder, Equation (3a)1.81.610.0s»
Toniolo and Linder, Equation (2)9.89.811.0s»
Toniolo and Linder, Equation (13)35.130.235.3s»
Toniolo and Linder, Equation (10-)48.112.427.9s»
Toniolo and Linder, Equation (10+)32.425.316.6s»
Migdal et al, Equation (64)0.50.58.0s»
Migdal et al, Equation (51)0.40.59.9s»
Maksimov and Kolovsky, Equation (4)17.00.49.3s»
Maksimov and Kolovsky, Equation (32)15.91.410.0s»
Maksimov and Kolovsky, Equation (3)18.07.89.4s»
Henrywood and Agarwal, Equation (9a)14.18.213.2s»
Henrywood and Agarwal, Equation (3)18.611.04.7s»
Henrywood and Agarwal, Equation (13)59.133.313.3s»
Henrywood and Agarwal, Equation (12)26.314.134.3s»
Given's Rotation SVD example, simplified15.40.28.5s»
Falkner and Boettcher, Equation (22+)1.00.09.2s»
Falkner and Boettcher, Equation (20:1,3)0.40.410.1s»
Falkner and Boettcher, Appendix B, 20.00.03.6s»
Falkner and Boettcher, Appendix B, 10.60.65.9s»
Falkner and Boettcher, Appendix A2.10.16.3s»
Bulmash initializePoisson0.00.010.8s»
Bouland and Aaronson, Equation (26)0.21.05.0s»
Bouland and Aaronson, Equation (25)0.20.07.2s»
Bouland and Aaronson, Equation (24)0.20.06.4s»
Given's Rotation SVD example13.414.813.46.2s»