Use the --timeout flag to change the timeout.
Time bar (total: 10.0m)Debug log
herbie shell --seed '#(991339738 1419949195 2842012120 4157638069 1320221275 2092628673)'
(FPCore (v w r)
:name "Rosa's TurbineBenchmark"
(- (- (+ 3 (/ 2 (* r r))) (/ (* (* 0.125 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 4.5))