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

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