QBF Solver Evaluation Portal

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

• QBF Gallery 2014
• QBF Gallery 2013

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