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-hqspre results solving families - 2018
Family
# Total
# Sat
# Unsat
Time
Adder
114
5
54571.4
amba
15
1
6015.84
arithmetic
20
2
9000.35
blackbox-01X-QBF
133
13
42978.37
BMC
79
4
3
33212.42
CombinationalEquivalence
141
3
10
47438.4
cycle-sched
24
1
16549.42
Debug
76
7
39937.08
disjunctive_decomposition
20
1
1
9138.95
driver
14
2
16.8
dungeon
110
21
2496.13
formula_add
27
4
12511.47
fpu
22
10
65.03
genbuf
19
2
7062.13
Generalized-Tic-Tac-Toe
39
34433.4
genpatch
20
1
17832.36
HardwareFixpoint
100
1
8
33398.7
hwmcc
12
1
5163.71
incrementer-encoder
56
1
9
573.31
irqlkeapclte
121
108905.62
ISCAS89
22
6
4
29.44
ITC99
58
3
3
30782.66
jmc_quant_squaring
72
1
56088.32
k_branch_n
56
6
6973.04
k_branch_p
85
8
10597
k_ph_p
42
37801.78
LinearBitvectorRankingFunction
77
6
4
23087.74
ltl2aig-comp
13
2
2223.68
LTL2DBA
7
1
12.53
LTL2DPA
7
6300
Model_instances
47
1
36941.79
mqm
76
7
3
2213.87
mult-matrix
24
2
9013
Planning-CTE
128
2
24
10977.58
PositionalGames_gttt
45
4
29702.1
PositionalGames_hex
48
5
1
32147.81
QBF-Hardness
60
1
4
34781.84
Q_2_3
98
10
45995.34
RankingFunctions
53
15
0
Reduction-finding
60
2
3
30951.34
Selection-hard
30
5
1153.62
sketch
47
2
33457.67
Sorting_networks
113
3
7
14177.26
SzymanskiP
25
2
3565.08
terminator
85
1
9
123.39
tipdiam
85
5
43799.09
tipfixpoint
90
8
20321.11
toy
8
1
10.32
trafficlight-controller
30
10
89.07
wgrowing
36
6
18282.88
wmiforward
70
6
26148.02
Contact
|
Organization
|
Links
|
Citing QBFLIB