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'16 - 2QBF Track.
Solver
Total
Sat
Unsat
Unique
#
Time
#
Time
#
Time
#
Time
xb-bid-qsts
253
8213.84
200
5382.8
53
2831.04
1
508.02
areqs
235
2963.33
179
2136.52
56
826.81
1
22.22
rareqs
232
5287.58
156
2084.94
76
3202.64
6
1038.15
depqbf-v2
223
5135.23
142
1553.21
81
3582.02
0
0
xb-qsts
206
5581.42
154
3354.41
52
2227.01
0
0
aspQ
188
741.09
141
275.41
47
465.68
0
0
hiqqer3
185
3236.84
150
2235.98
35
1000.86
0
0
qestos
184
3487.24
135
1194.36
49
2292.88
0
0
hiqqer1ldsq
183
2663.74
147
2195.58
36
468.16
0
0
hiqqer1
183
2703.59
147
2232.26
36
471.33
0
0
cadet
169
790.78
120
512.95
49
277.83
1
472.5
ghostq-cegar
155
8135.25
108
6031.48
47
2103.77
0
0
depqbf-v3
138
4901.65
97
1799.51
41
3102.14
0
0
depqbf-v1
133
5466.7
68
1262.27
65
4204.43
0
0
iprover-QBF-bloqqer
124
188.14
122
78.66
2
109.48
0
0
struqs-10
100
933.77
73
483.18
27
450.59
0
0
squeezebf+struqs
100
1169.84
73
720.19
27
449.65
0
0
qsts
99
7379.34
60
4812.46
39
2566.88
1
472.49
ghostq-plain
87
7545.74
40
4115.46
47
3430.28
0
0
dynQBF
72
489.44
70
489.29
2
0.15
0
0
iprover-QBF
32
1249.98
30
1142.63
2
107.35
0
0
struqs-10
0
0
0
0
0
0
0
0
areqs
0
0
0
0
0
0
0
0
aspQ
0
0
0
0
0
0
0
0
qestos
0
0
0
0
0
0
0
0
rareqs
0
0
0
0
0
0
0
0
cadet
0
0
0
0
0
0
0
0
depqbf-v1
0
0
0
0
0
0
0
0
depqbf-v2
0
0
0
0
0
0
0
0
depqbf-v3
0
0
0
0
0
0
0
0
dynQBF
0
0
0
0
0
0
0
0
ghostq-cegar
0
0
0
0
0
0
0
0
ghostq-plain
0
0
0
0
0
0
0
0
hiqqer1
0
0
0
0
0
0
0
0
hiqqer1ldsq
0
0
0
0
0
0
0
0
hiqqer3
0
0
0
0
0
0
0
0
iprover-QBF-bloqqer
0
0
0
0
0
0
0
0
iprover-QBF
0
0
0
0
0
0
0
0
qsts
0
0
0
0
0
0
0
0
squeezebf+struqs
0
0
0
0
0
0
0
0
xb-bid-qsts
0
0
0
0
0
0
0
0
xb-qsts
0
0
0
0
0
0
0
0
Problematic solver
Hors-Concours solver
Contact
|
Organization
|
Links
|
Citing QBFLIB