Support multi-timeout schedules
I.e. have a timout of 24s, then 180s, etc.
Implement this by first solving for the shortest timeout t1, remove the benchmarks solved by this schedule, solve for t2 - t1.
Then change the order slightly: if there is a strategy used in both schedules, compute the overlap and move it to the overlap. If there are more than one: pick the one with the biggest overlap.
