QBF Solver Evaluation Portal

  • Home
  • QBFLIB
  • QBFGALLERY'23

QBFEVALs

  • 2022
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2010
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004

QBF GALLERIES

  • QBF Gallery 2014
  • QBF Gallery 2013

DOWNLOADS

Download the QBFEVAL'22 dataset
Download the QBFEVAL'20 dataset
Download the QBFEVAL'19 dataset and raw results
Download the QBFEVAL'18 dataset and raw results
Download the QBFEVAL'17 dataset and raw results
Download the QBFEVAL'16 dataset
Download the QBFEVAL'10 dataset
Download the QBFEVAL'08 dataset
Download the non-prenex non-cnf track dataset
Download the QBFEVAL'07 dataset
Download the QBFEVAL'06 dataset

Download the QDIMACS to QPRO converter
Download the QDIMACS to QBF1.0 converter

qbflib.org