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
caqe-pre results solving families - 2020
Family
# Total
# Sat
# Unsat
Time
Adder
88
5
2
16171.91
amba
25
3
1
6993.21
arithmetic
40
8
12149.04
blackbox-01X-QBF
122
20
4774.27
BMC
79
7
3
21475.98
bomb
10
10
1889.69
C5315
35
31500
C6288
56
50400
cycle-sched
40
6
1
12779.88
Debug
94
4
62751.06
disjunctive_decomposition
43
7
1
14819.37
driver
34
6
31.2
dungeon
44
10
1145.28
evader-pursuer-6x6-logarithmic
23
20700
evader-pursuer-6x6-standard
51
45900
evader-pursuer-8x8-logarithmic
31
27900
formula_add
35
5
19675.18
fpu
14
4
6
1881.14
genbuf
14
2
2280.64
genpatch
20
1
1
15352.44
gttt-4x4_2020
10
3
6
5193.9
HardwareFixpoint
259
15
26
60334.32
hwmcc
12
1
4885.49
incrementer-encoder
50
3
7
862.61
irqlkeapclte
121
108900
ISCAS89
13
8
2
23.98
ITC99
62
4
1
37614.6
jmc_quant
29
1
1
20079.24
jmc_quant_squaring
62
1
1
43335.45
k_branch_n
45
5
6065.22
k_branch_p
51
5
7364.94
k_ph_n
18
5
52.42
k_ph_p
46
1
40528.98
LinearBitvectorRankingFunction
79
4
4
29974.03
ltl2aig-comp
18
1
2
4481.73
LTL2DBA
12
2
2261.32
LTL2DPA
7
1
3157.91
mqm
76
7
3
2590.03
mult-matrix
35
5
7676.55
Planning-CTE
138
5
32
13491.39
QBF-Hardness
60
1
9
18386.12
RankingFunctions
39
10
0.39
Reduction-finding
130
21
28
35048.95
s1269
41
36900
s3330
26
23400
s820
17
1
10501.74
sketch
44
3
26895.6
Sorting_networks
111
2
7
18360.68
SzymanskiP
25
2
6540.9
terminator
85
1
9
185.31
tipdiam
72
7
24886.32
tipfixpoint
79
8
10165.76
toy
30
5
2288.96
trafficlight-controller
30
10
92.34
wmiforward
70
10
13103.56
Contact
|
Organization
|
Links
|
Citing QBFLIB