QBFEVAL 2012
  • Registration
  • Important Dates
  • Main competition
  • Special tracks : TO BE ANNOUNCED
  • Organizing committee
  • Sponsors

    • On-line data

    Choose a QBFEVAL:

    Download the QBFEVAL'10 test set
    Download the QBFEVAL'08 test set
    Download the non-prenex non-cnf track test set
    Download the QBFEVAL'07 test set
    Download the QBFEVAL'06 test set

    Download the QDIMACS to QPRO converter
    Download the QDIMACS to QBF1.0 converter
    Download QBFEVAL source code
    QBFLIB Home Page