PDDL benchmarks for oversubscription planning

Benchmark suite for oversubscription planning.

The benchmarks were created in a similar fashion to the procedure described by Domshlak and Mirkis (2015), based on the collection of classical International Planning Competition (IPC) domains. The bounds are set to 25%, 50%, 75%, or 100% of the best known solution cost for the classical planning task obtained from planning.domains (Muise 2016). Each goal in the original problem has a utility of 10 and a randomly chosen 5% of the facts have a uniformly distributed integer utility in the range [1, 5].

For more details, see:

Michael Katz, Emil Keyder, Florian Pommerening and Dominik Winterer. Oversubscription Planning as Classical Planning with Multiple Cost Functions. In Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019). 2019.