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 tables
QBFEVAL'16 - 2QBF Track.
Instance
# Sat
# Unsat
Minority Solver
axquery_query06_1344n
1
16
xb-bid-qsts
eequery_query04_1344n
13
1
xb-bid-qsts
query26_query34_1344n
1
12
xb-bid-qsts
query26_query57_1344n
1
12
xb-bid-qsts
stmt19_66_214
1
9
xb-bid-qsts
stmt19_67_318
1
10
xb-bid-qsts
stmt19_83_142
1
13
xb-bid-qsts
stmt21_138_304
1
10
xb-bid-qsts
stmt21_5_134
1
12
xb-bid-qsts
stmt22_92_263
1
12
xb-bid-qsts
stmt23_66_76
3
1
xb-bid-qsts
stmt23_92_96
2
1
xb-bid-qsts
stmt24_7_8
20
1
qsts
stmt2_976_999
11
1
xb-bid-qsts
stmt46_111_238
1
7
xb-bid-qsts
stmt50_205_293
1
12
xb-bid-qsts
Download table[
csv
,
latex
]
Contact
|
Organization
|
Links
|
Citing QBFLIB