Timeout in &time;

Use the --timeout flag to change the timeout.

Runtime

Time bar (total: 10.0m)Debug log

herbie shell --seed '#(2094665535 3654809497 1731717781 3082199462 566033875 575777438)' 
(FPCore (a b/2 c)
  :name "quad2m (problem 3.2.1, negative)"
  (/ (- (- b/2) (sqrt (- (* b/2 b/2) (* a c)))) a))