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
GhostQ___plain_pcnf_2019 results solving families - 2019
Family
# Total
# Sat
# Unsat
Time
Adder
114
102603.6
amba
25
22501.55
arithmetic
36
32401.41
blackbox-01X-QBF
133
1
115215.83
BMC
79
1
63968.62
CombinationalEquivalence
141
126907.73
cycle-sched
44
39602.07
Debug
76
68403
disjunctive_decomposition
40
36001.71
driver
34
30601.72
dungeon
110
99004.78
formula_add
27
1
22318.8
fpu
22
8
7599.15
genbuf
19
17100.98
Generalized-Tic-Tac-Toe
39
35101.53
genpatch
20
3
1
4882.04
HardwareFixpoint
288
12
34
52146.29
hwmcc
26
23401.5
incrementer-encoder
56
5
40552.88
irqlkeapclte
121
108905.47
ISCAS89
22
5
4
3657.82
ITC99
58
5
3
20764.55
jmc_quant_squaring
72
64803.2
k_branch_n
56
50402.99
k_branch_p
85
76503.05
k_ph_p
42
1
33904.55
LinearBitvectorRankingFunction
77
3
53307.38
ltl2aig-comp
18
16201.01
LTL2DBA
12
10800.48
LTL2DPA
7
6300.21
Model_instances
47
42301.94
mqm
76
68402.67
mult-matrix
39
35101.81
Planning-CTE
128
115206.99
PositionalGames_gttt
45
4
29766.6
PositionalGames_hex
48
2
39806.54
QBF-Hardness
60
2
46930.26
Q_2_3
98
88204.75
RankingFunctions
53
15
4366.9
Reduction-finding
123
2
5
85466.73
Selection-hard
30
27000.6
sketch
47
42302.6
Sorting_networks
113
1
88071.81
SzymanskiP
25
2
2222.53
terminator
85
1
9
1608.88
tipdiam
85
5
1
35472.45
tipfixpoint
90
9
1
11195.08
toy
30
1
20684.63
trafficlight-controller
30
27001.26
wgrowing
36
32401.84
wmiforward
70
3
45134.86
Contact
|
Organization
|
Links
|
Citing QBFLIB