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
Crafted Instances Track
Solver
Total
Sat
Unsat
Unique
#
Time
#
Time
#
Time
#
Time
Caqe-bloqqer-qdo
155
1193.72
13
973.55
142
220.17
0
0
depqbf_pre_QxQBH
141
2793.97
2
1.94
139
2792.03
0
0
Qute_default
140
2644.51
13
1822.34
127
822.17
0
0
caqe-pre
140
6180.26
16
3287.32
124
2892.94
0
0
Qute_rrs
138
2567.04
13
1892.19
125
674.85
0
0
iprover_bloqqer_single
135
917.29
3
722.85
132
194.44
0
0
Rareqs_2018
135
1510.68
8
1144.53
127
366.15
1
222.98
GhostQ___cegar_pcnf_2019
135
2390.72
11
1814.4
124
576.32
7
874.31
iprover_bloqqer_schedule
134
1731.67
2
1538.97
132
192.7
0
0
Caqe-hqspre
130
1036.33
12
845.71
118
190.62
0
0
nanoqbf_hqspre
119
800.74
2
1.53
117
799.21
0
0
Qute_opt500
103
100.18
2
1.57
101
98.61
0
0
depqbf_prefix_opt_qdo
100
5890.21
4
1302.93
96
4587.28
0
0
Problematic solver
Hors-Concours solver
Contact
|
Organization
|
Links
|
Citing QBFLIB