Instances in QBFLIB

QBFLIB is now hosted on a GitLab server. Read access does not require an account. 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.