pub const DEFAULT_BUDGET_S: f64 = 300.0;
The time budget of a run in JSON mode when --max-seconds is not given (s).
--max-seconds