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'05
Solver
Total
Sat
Unsat
Unique
#
Time
#
Time
#
Time
#
Time
sSolve
1824
26694.6
1060
14577.8
764
12116.8
39
2928.53
semprop
1655
76482.8
927
44603.2
728
31879.6
36
12977.8
WalkQSAT
1475
19709.4
785
10458.1
690
9251.32
35
2433.56
skizzo_v0.5
1422
68907.3
702
11083.8
720
57823.4
6
3791.52
QChaffLearn
1413
32784.3
768
15236.2
645
17548.1
7
2047.92
QbflHR
1388
26003.3
893
9702.13
495
16301.2
12
11.91
GRL
1368
27528.2
777
14618.9
591
12909.3
1
366.91
skizzo_v0.4
1358
52155.8
656
7365.07
702
44790.7
3
1027.44
yQuaffle
1305
41105.1
747
21233.8
558
19871.3
20
1088.96
openQbf
1272
39971.9
745
23742.9
527
16229
2
1180.99
QUANTOR
821
4588.3
624
3098.37
197
1489.93
0
0
qbfbdd
461
14758.1
333
8737.4
128
6020.67
1
821.62
QMRes
451
24164.1
415
14098.9
36
10065.2
0
0
skizzo_v0.5
346
5349.53
175
3764.85
171
1584.68
0
0
QUANTOR
318
2048.39
151
1099.58
167
948.81
4
755.48
skizzo_v0.4
310
4424.5
150
2935.19
160
1489.31
0
0
semprop
289
8333.98
132
2641.8
157
5692.18
1
46.2
QChaffLearn
268
4741.67
89
2436.57
179
2305.1
26
254.5
yQuaffle
250
7041.47
100
3095.33
150
3946.14
0
0
sSolve
243
6827.56
103
2785.8
140
4041.76
0
0
GRL
241
7889.24
97
4203.54
144
3685.7
5
2289.66
QMRes
227
5044.58
122
2878.88
105
2165.7
15
1151.64
QbflHR
208
7781.81
90
3639.6
118
4142.21
1
0.3
openQbf
201
13744.2
78
3076.64
123
10667.5
0
0
WalkQSAT
189
3922.26
96
2988.1
93
934.16
0
0
qbfbdd
106
4868.56
53
3488.26
53
1380.3
0
0
Problematic solver
Hors-Concours solver
Contact
|
Organization
|
Links
|
Citing QBFLIB