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
struqs-10 results solving families - 2010
Family
# Total
# Sat
# Unsat
Time
Abduction
172
20
11
112429.66
Adder
110
2
122746.66
blackbox-01X-QBF
200
29
146835.66
blackbox_design
13
15601.08
Blocks
44
1
40808.53
BMC
85
3
5
77933.43
C432
39
1
38624.28
C499
21
25201.68
C5315
77
1
81939.44
C6288
43
1
39671.16
C880
10
1
292.46
Chain
12
1
3.46
circuits
11
1
10827.09
comp
8
2
2577.47
conformant_planning
92
1
1
92458.64
Connect4
34
9
15360.28
Counter
17
20401.52
Debug
30
36008.4
evader-pursuer-4x4-logarithmic
25
2
13826.94
evader-pursuer-4x4-standard
65
1
75067.67
evader-pursuer-6x6-logarithmic
34
1
35800.16
evader-pursuer-6x6-standard
16
19202.32
evader-pursuer-8x8-logarithmic
59
1
65430.25
FPGA_PLB_FIT_FAST
16
1
9602.98
FPGA_PLB_FIT_SLOW
10
12000.8
Impl
8
1
0.03
jmc_quant
13
1
1
537.71
jmc_quant_squaring
13
1
469.79
k_branch_n
32
1
29693.98
k_branch_p
61
1
68756.62
k_d4_n
55
66004.17
k_d4_p
28
2
22250.13
k_dum_n
11
2
60.36
k_dum_p
25
4
386.83
k_grz_n
22
3
14520.19
k_grz_p
21
1
16659.09
k_lin_n
22
26401.95
k_lin_p
25
2
14763.2
k_path_n
12
14400.98
k_path_p
29
2
25971.15
k_ph_n
30
6
3726.3
k_ph_p
25
2
23096.6
k_poly_n
26
4
386.92
k_poly_p
11
2
175.43
k_t4p_n
26
1
21170.85
k_t4p_p
41
5
2431.65
Logn
10
12000.9
mqm
483
19
506078.01
s1196
9
10800.81
s1269
8
9600.88
s27
11
1
1.89
s298
16
2
6711.91
s3330
21
25203.39
s386
8
9600.72
s499
13
1
9092.49
s510
14
1
14049.26
s713
13
1
8704.35
s820
8
9600.72
Sorting_networks
22
1
1
19883.99
SzymanskiP
22
1
16175.28
term1
30
1
2
8470.47
tipdiam
36
10
1
18636.36
tipfixpoint
74
11
7
39552.14
Toilet
21
2
1
10381.13
ToiletA
17
5
5
7.82
ToiletC
39
14
8
3164.31
ToiletG
27
4
0.13
VonNeumann
15
2
48.1
z4ml
8
1
0.1
Contact
|
Organization
|
Links
|
Citing QBFLIB