Use the --timeout flag to change the timeout.
--timeout
Time bar (total: 10.0m)Debug logProfile
herbie shell --seed 2018198 (FPCore (a b c) :name "Quadratic roots, full range" (/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)))