20 domains from previous IPC competitions

The dataset is used for classical planning as QBF without grounding. It contains 20 domains from previous IPC competitions.

BibTex: