QBFEVAL'16 Dataset
- Dataset 1 (825 formulas): Prenex CNF Fixed Structure Formulas in QDIMACS
1.1 format. Dataset 1 has been used in Prenex CNF, Evaluate & Certify, Solver Portfolio, and Parallel QBF Solvers tracks.
- Dataset 2 (890 formulas): Prenex non-CNF Fixed Structure Formulas in QCIR format. Dataset 2 has been used in the Prenex non-CNF track.
- Dataset 3 (305 formulas): Prenex CNF ∀∃ Fixed Structure Formulas in QDIMACS 1.1 format. Dataset 3 has been used in the 2QBF track.
- Dataset 4 (580 formulas): Prenex CNF Probabilistic Structure Formulas in
QDIMACS 1.1 format. Dataset 4 has been used in the Random QBFs track.