Planner Assumption 3: Are Time Cut-offs Unfair?

We found little benefit from increasing time cut-offs beyond 15 minutes for our problems.

Recommendation 12: If total computation time is a bottleneck, then run the problems in separate batches, incrementally increasing the time cut-off between runs and including only unresolved problems in subsequent runs. When no additional problems are solved in a run, stop.