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
quabs-minisat results solving families - 2016
Family
# Total
# Sat
# Unsat
Time
Abduction
39
1
3
6055.35
Adder
63
1
32984.85
blackbox-01X-QBF
35
5
122.57
blackbox_design
41
5
24.24
Blocks
48
2
2
6251.97
BMC
46
1
1
19337.94
bomb
31
1
15635.41
C432
40
2
2
1395.36
C499
42
1
20390.22
C5315
46
2
13793.56
C6288
47
28186.37
C880
42
1
19399.52
Chain
48
2
21170.48
circuits
41
1
20990.71
conformant_planning
47
1
1
19205.95
Connect4
36
3
10916.4
Counter
32
3
9278.19
Debug
58
34783.18
DFlipFlop
39
5
1894.32
dungeon
40
2
18062.2
evader-pursuer-4x4-logarithmic
36
2
15989.99
evader-pursuer-4x4-standard
41
24588.11
evader-pursuer-6x6-logarithmic
44
26387.24
evader-pursuer-6x6-standard
43
25787.64
evader-pursuer-8x8-logarithmic
43
25787.53
FPGA_PLB_FIT_FAST
24
2
1
36.8
FPGA_PLB_FIT_SLOW
18
2
2296.2
fpu
27
3
830.81
Generalized-Tic-Tac-Toe
28
1
4
539.67
HardwareFixpoint
43
25787.53
Impl
39
5
1.89
incrementer-encoder
43
2
19821.63
irqlkeapclte
66
39580.86
ISCAS89
16
9595.41
ITC99
45
26987.45
jmc_quant_squaring
64
38381.57
k_branch_n
45
4
10626.28
k_branch_p
52
4
10732.58
k_d4_n
38
5
75.3
k_d4_p
39
5
38.16
k_dum_n
36
5
10.52
k_dum_p
39
5
5.77
k_grz_n
39
5
12.55
k_grz_p
34
5
8.36
k_lin_n
34
5
27.91
k_lin_p
32
5
2.06
k_path_n
38
5
8.77
k_path_p
38
5
6.78
k_ph_n
39
4
5998.8
k_ph_p
44
3
15283.8
k_poly_n
36
5
23.1
k_poly_p
36
5
22.83
k_t4p_n
35
5
141.33
k_t4p_p
46
5
83.27
LinearBitvectorRankingFunction
53
31785.63
Logn
19
2
1224.69
mqm
483
1
133
13637.68
MutexP
47
1
22189.67
NuSMV_diam
275
92
83.7
Planning-CTE
27
1
16171.23
QBF-Hardness
35
1
3
6554.95
qbfeval12
10
2
8.3
QLTL_safety
300
5
43201.84
Qshifter
34
1
14993.95
RankingFunctions
36
21589.56
Reduction-finding
37
3
13279.87
Rewriting
25
5
0.1
s1196
25
1
2
97.35
s1269
40
2
14996.86
s27
21
2
0
s298
34
2
3
24.95
s3330
42
3
10204.09
s386
38
2
3
4.45
s499
33
3
2
15.48
s510
33
5
61.16
s641
35
3
2
59.23
s713
42
3
2
92.12
s820
38
2
3
21.97
Sorting_networks
66
1
36736.06
SzymanskiP
48
28786.08
term1
38
2
2
131.65
terminator
41
5
6.33
tipdiam
49
3
1
9827.45
tipfixpoint
47
4
1
4.56
ToiletA
27
5
23.45
ToiletC
26
1
4
56.35
ToiletG
27
4
0.13
trafficlight-controller
25
5
223.7
Tree
39
1
4
2.44
uclid
22
13193.62
VonNeumann
40
3
10678.02
wmiforward
39
3
12343.34
z4ml
32
3
1
0.08
Contact
|
Organization
|
Links
|
Citing QBFLIB