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'08
Solver
Total
Sat
Unsat
Unique
#
Time
#
Time
#
Time
#
Time
AQME-1NN
2434
43987.1
977
19746.9
1457
24240.2
82
6255.42
QuBE6.1
2144
32413.7
828
18247.8
1316
14165.9
56
11885.1
Nenofex
985
22359.6
459
13852.8
526
8506.79
10
298.49
quantor3.0
972
15717.6
485
10418
487
5299.6
21
2745.29
ssolve-A
965
23059
450
9865.95
515
13193
1
483.93
ssolveB
960
24213.8
450
10032.5
510
14181.3
0
0
ssolveC
939
15294.9
444
7228.54
495
8066.34
1
358.41
AQME-1NN
0
0
0
0
0
0
0
0
ssolve-A
0
0
0
0
0
0
0
0
ssolveB
0
0
0
0
0
0
0
0
ssolveC
0
0
0
0
0
0
0
0
quantor3.0
0
0
0
0
0
0
0
0
Nenofex
0
0
0
0
0
0
0
0
QuBE6.1
0
0
0
0
0
0
0
0
Problematic solver
Hors-Concours solver
Contact
|
Organization
|
Links
|
Citing QBFLIB