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
Solver performance
QBFEVAL'19 - Prenex non-CNF Track
Solver
Total
Sat
Unsat
Unique
#
Time
#
Time
#
Time
#
Time
QuAbS___quabs-caqe_2019
258
14424.8
156
7260
102
7164.78
0
0
quabs___caqe-hqspre
230
26221
130
14988
100
11233
0
0
Quabs_2018
215
15912
119
10008.6
96
5903.43
1
640.2
GhostQ___cegar_qcir_2019
199
12972
103
6968.41
96
6003.58
0
0
GhostQ___plain_qcir_2019
164
13304.7
95
7468.23
69
5836.45
1
660.32
Qute_default
138
14589.9
71
10436
67
4153.9
0
0
PortfolioGhostQQfunQuAbSQute___pf2
137
5562.49
69
2368.14
68
3194.35
0
0
PortfolioGhostQQfunQuAbSQute___pf3
132
5499.92
66
2350.37
66
3149.55
0
0
PortfolioGhostQQfunQuAbSQute___pfs
129
5592.21
64
2457.19
65
3135.02
2
193.44
Problematic solver
Hors-Concours solver
Contact
|
Organization
|
Links
|
Citing QBFLIB
qbflib.org