Function apply_budget 

pub fn apply_budget(spec: &mut Spec, seconds: f64) -> Stop

Spread a budget of seconds over the conditions (and the evaluations of a search) of spec: its stopping rule becomes the rule of the specification or the share of the budget of every condition, whichever comes first. Returns the rule of the specification, to tell afterwards which conditions the budget cut short.