QBF Solver Evaluation Portal

  • Home
  • QBFLIB
  • QBFEVAL'18

QBFEVALs

  • 2017
  • 2016
  • 2010
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004

QBF GALLERIES

  • QBF Gallery 2014
  • QBF Gallery 2013

DOWNLOADS

Download the QBFEVAL'17 test set and raw results
Download the QBFEVAL'16 test set
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

qbflib.org

Tweets by @QbflibQbfeval

Discrepancies table
QBFEVAL'04


FamilyStructureDomain# Problematic
Connect2 Fixed Planning 5
k_ph_n Fixed Miscellanea 1
Logn Fixed Planning 2
mA-t2-2qbf-5cnf-100var-200cl Probabilistic Model A 1
mA-t2-2qbf-5cnf-150var-300cl Probabilistic Model A 2
mA-t2-2qbf-5cnf-50var-200cl Probabilistic Model A 1
mA-t2-3qbf-5cnf-100var-800cl Probabilistic Model A 1
mA-t2-3qbf-5cnf-150var-1200cl Probabilistic Model A 2
mA-t2-3qbf-5cnf-50var-400cl Probabilistic Model A 1
mA-t2-3qbf-5cnf-50var-500cl Probabilistic Model A 1
mA-t2-4qbf-5cnf-100var-400cl Probabilistic Model A 2
mA-t2-4qbf-5cnf-150var-600cl Probabilistic Model A 2
mA-t2-4qbf-5cnf-150var-900cl Probabilistic Model A 1
mA-t2-4qbf-5cnf-50var-300cl Probabilistic Model A 2
mA-t2-5qbf-5cnf-100var-1000cl Probabilistic Model A 1
mA-t2-5qbf-5cnf-100var-800cl Probabilistic Model A 1
mA-t2-5qbf-5cnf-150var-1500cl Probabilistic Model A 2
mA-t2-5qbf-5cnf-50var-500cl Probabilistic Model A 2
mA-t2-5qbf-5cnf-50var-600cl Probabilistic Model A 1
mB-t2-3qbf-5cnf-150var-300cl Probabilistic Model B 1
s27 Fixed Formal Verification 1