Physics Results

Average Percentage Accurate: 76.9% → 94.1%
Time: 13.3min
Bad Runs: 0/31
Speedup: 2.4×

Output vs Input Accuracy

Each point represents a Herbie run below. Its horizontal position shows initial accuracy, and vertical position shows final accuracy. Points above the line are improved by Herbie.

Accuracy vs Speed

A joint speed-accuracy pareto curve. Accuracy is on the vertical axis, speed is on the horizontal axis. Up and to the right is better. The initial program is shown by the red square.
TestStartResult ?Target ?Time
VandenBroeck and Keller, Equation (6)76.4%97.5%18.5s»
VandenBroeck and Keller, Equation (24)99.7%99.8%11.5s»
VandenBroeck and Keller, Equation (23)77.0%99.6%29.2s»
VandenBroeck and Keller, Equation (20)6.7%97.3%52.4s»
Toniolo and Linder, Equation (7)33.3%82.7%43.2s»
Toniolo and Linder, Equation (3b), real93.9%99.7%40.6s»
Toniolo and Linder, Equation (3a)98.4%100.0%23.0s»
Toniolo and Linder, Equation (2)83.6%98.6%26.1s»
Toniolo and Linder, Equation (13)50.2%64.9%43.9s»
Toniolo and Linder, Equation (10-)35.0%92.8%37.4s»
Toniolo and Linder, Equation (10+)55.7%85.6%36.9s»
Migdal et al, Equation (64)99.6%99.6%20.1s»
Migdal et al, Equation (51)99.4%99.5%23.5s»
Maksimov and Kolovsky, Equation (4)86.6%99.6%13.3s»
Maksimov and Kolovsky, Equation (32)76.7%96.8%35.8s»
Maksimov and Kolovsky, Equation (3)73.4%88.1%26.8s»
Henrywood and Agarwal, Equation (9a)80.9%86.1%23.6s»
Henrywood and Agarwal, Equation (3)74.9%96.8%18.9s»
Henrywood and Agarwal, Equation (13)24.6%68.3%1.0min»
Henrywood and Agarwal, Equation (12)66.7%80.0%33.3s»
Given's Rotation SVD example, simplified76.2%99.5%15.1s»
Falkner and Boettcher, Equation (22+)98.5%100.0%7.2s»
Falkner and Boettcher, Equation (20:1,3)99.3%99.6%10.4s»
Falkner and Boettcher, Appendix B, 2100.0%100.0%8.5s»
Falkner and Boettcher, Appendix B, 199.1%98.8%27.4s»
Falkner and Boettcher, Appendix A90.0%97.5%16.0s»
Bulmash initializePoisson100.0%100.0%44.5s»
Bouland and Aaronson, Equation (26)99.9%100.0%6.1s»
Bouland and Aaronson, Equation (25)74.2%98.6%12.4s»
Bouland and Aaronson, Equation (24)73.6%98.0%14.2s»
Given's Rotation SVD example79.6%90.7%79.6%19.3s»