next up previous
Next: Metric Assumption 1: Do Up: Interpretation of Results and Previous: Planner Assumption 2: What

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.

©2002 AI Access Foundation and Morgan Kaufmann Publishers. All rights reserved.