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'06
Family
Structure
Domain
# Problematic
CounterFactual
Probabilistic
NestedCounterFactual
10
k_branch_n
Fixed
Miscellanea
2
k_d4_n
Fixed
Miscellanea
6
k_dum_n
Fixed
Miscellanea
5
k_grz_n
Fixed
Miscellanea
5
k_lin_n
Fixed
Miscellanea
6
k_path_n
Fixed
Miscellanea
5
k_ph_n
Fixed
Miscellanea
3
k_poly_n
Fixed
Miscellanea
6
k_t4p_n
Fixed
Miscellanea
6
mA-t2-4qbf-5cnf-20var-160cl
Probabilistic
Model A
1
mA-t2-6qbf-5cnf-20var-160cl
Probabilistic
Model A
4
mA-t2-6qbf-5cnf-40var-320cl
Probabilistic
Model A
5
s298
Fixed
Formal Verification
2
s386
Fixed
Formal Verification
1
s499
Fixed
Formal Verification
2
s510
Fixed
Formal Verification
1
s713
Fixed
Formal Verification
1
s820
Fixed
Formal Verification
1
Sorting_networks
Fixed
Miscellanea
11
Strategic_Companies
Probabilistic
Planning
157
tipfixpoint
Fixed
Formal Verification
4