PDDL benchmarks for oversubscription planning taken from https://zenodo.org/record/2576024#.X8zezKpKhTY