Code, Benchmarks, Data from the ICAPS 2022 paper "Classical Planning as QBF without Grounding"

This submission contains three parts:

1. Software/code: A copy of Q-Planner, a QBF based planner which avoids grounding, which is used for the experiments in the ICAPS-2022 paper.
2. Benchmarks: All the benchmarks used in the experiments for the paper.
3. Data: The data from 4 planners on all benchmarks along with statistics from Grendel cluster.