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 results solving families - 2017
Family
# Total
# Sat
# Unsat
Time
Abduction
10
9000
Adder
55
49500
amba
22
1
17569.96
Blocks
10
9000
BMC
32
28762.92
bomb
21
18864.09
BoundedSynthesisPetriGames
106
5
6
70299.8
C499
34
30600
C5315
13
11700
C6288
47
42300
C880
22
1
16226.43
Chain
32
3
23.42
circuits
35
31500
CombinationalEquivalence
179
161100
conformant_planning
24
1
15835.92
Connect4
18
16200
Counter
15
13500
cycle-sched
24
21600
Debug
58
52085.71
driver
18
2
12624.98
dungeon
30
27000
evader-pursuer-4x4-logarithmic
21
2
118.33
evader-pursuer-4x4-standard
41
36900
evader-pursuer-6x6-logarithmic
44
1
32263.5
evader-pursuer-6x6-standard
43
38700
evader-pursuer-8x8-logarithmic
43
1
30368.49
fpu
12
2
3958.26
genbuf
22
19800
HardwareFixpoint
43
38700
hwmcc
16
2
10854.84
hyperLTL
4
1
1
0.28
incrementer-encoder
33
29700
irqlkeapclte
66
59400
ISCAS89
6
5400
ITC99
40
1
27611
jmc_quant_squaring
64
57600
k_branch_n
24
21600
k_branch_p
38
34200
k_ph_n
10
9000
k_ph_p
25
22500
LinearBitvectorRankingFunction
53
47700
ltl2aig-comp
19
17100
LTL2DBA
9
1
6400.4
LTL2DPA
10
9000
Model_instances
117
1
101239.25
mqm
20
18000
mult-matrix
24
21600
MutexP
37
1
30794.2
Planning-CTE
22
19679.66
QBF-Hardness
20
18000
QLTL_safety
100
3
85431.28
Qshifter
25
22500
RankingFunctions
36
32400
Reduction-finding
22
19800
s1269
25
22500
s3330
17
15300
Sorting_networks
58
52200
SzymanskiP
48
43200
terminator
13
1
843.18
tipdiam
24
21600
toy
14
1
2
7471.92
uclid
22
1
13721.29
VonNeumann
9
1
3447.9
wmiforward
16
14400
Contact
|
Organization
|
Links
|
Citing QBFLIB