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
aspq3_hit18 results solving families - 2018
Family
# Total
# Sat
# Unsat
Time
Abduction
19
68400
amba
7
25200
BMC
40
144000
C5315
35
126000
C6288
47
169200
circuits
63
226800
conformant_planning
9
32400
Connect3
2
7200
Connect4
42
151200
Connect6
2
7200
Connect7
4
14400
Counter
8
28800
CounterFactual
80
288000
Debug
61
219600
disjunctive_decomposition
3
10800
evader-pursuer-6x6-logarithmic
23
82800
evader-pursuer-6x6-standard
61
219600
evader-pursuer-8x8-logarithmic
21
75600
formula_add
9
32400
genbuf
11
39600
HardwareFixpoint
35
126000
ITC99
7
25200
jmc_quant
6
21600
jmc_quant_squaring
26
93600
k_ph_p
38
136800
LinearBitvectorRankingFunction
56
201600
ltl2aig-comp
12
43200
LTL2DBA
6
21600
Model_instances
78
4
237341.06
mult-matrix
2
7200
PositionalGames_gttt
46
165600
PositionalGames_hex
78
280800
Q_2_2_3
150
540000
Q_2_3
96
10
241519.54
Q_3_3
150
540000
Q_3_3_3
147
529200
Reduction-finding
31
1
106846
s1269
10
36000
s3330
11
39600
Selection-hard
18
4
15810.31
sketch
11
1
37459.5
Sorting_networks
16
57600
Strategic_Companies
74
266400
tipfixpoint
3
10800
wgrowing
55
16
102712.78
Contact
|
Organization
|
Links
|
Citing QBFLIB
qbflib.org