Instances in QBFLIB
In the following are listed the links to the repositories related to the different input formats. For past QBFEVAL datasets, please visit the QBFEVAL web portal.
- Instances in QDIMACS format (Format available here)
- Instances in QCIR format (Format available here)
- Instances in DQDIMACS format
Browse the library