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 CNF Track
Solver
Total
Sat
Unsat
Unique
#
Time
#
Time
#
Time
#
Time
caqe-pre
414
42888.4
189
24306.6
225
18581.8
1
694.08
Caqe-hqspre
371
22815.2
161
11697
210
11118.2
2
1504.75
depqbf_pre_QxQBH
343
28033
160
9850.1
183
18182.9
4
1487.18
Caqe-bloqqer-qdo
311
21877.2
144
10844.1
167
11033.1
0
0
Qute_rrs
308
22138.5
120
11236.5
188
10902
2
92.45
Qute_default
299
19356.8
114
8969.9
185
10386.8
1
251.45
GhostQ___cegar_pcnf_2019
227
15680.6
111
8251.48
116
7429.08
11
2061.76
Hiqqer2019_2
226
20047.1
143
13491.2
83
6555.91
0
0
Hiqqer2019_1
220
18352.8
137
11206.7
83
7146.14
0
0
Hiqqer2019_3
219
17313.4
137
10957.8
82
6355.57
0
0
Qute_opt500
180
6910.99
76
1823.36
104
5087.63
0
0
depqbf_prefix_opt_qdo
171
15548.8
66
4959.84
105
10589
0
0
GhostQ___plain_pcnf_2019
150
8130.73
71
4090.34
79
4040.39
3
387.72
Problematic solver
Hors-Concours solver
Contact
|
Organization
|
Links
|
Citing QBFLIB