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
WalkQSAT results solving families - 2006
Family
# Total
# Sat
# Unsat
Time
Adder
116
60346.47
ASP_Program_Inclusion
91
34
25343.31
blackbox_design
131
1
76928.39
Blocks
88
11584.95
C432
41
19525.29
C499
30
1264.8
C5315
41
1
7525.44
C6288
10
6009.8
C880
18
2
101.76
Chain
39
1
22594.78
comp
8
1680.56
Connect4
38
10232.39
Counter
21
2
8433.79
CounterFactual
920
169
153
117076.96
evader-pursuer-4x4-logarithmic
39
4
18.13
evader-pursuer-6x6-logarithmic
17
1
764.82
evader-pursuer-8x8-logarithmic
37
1
7083.9
FPGA_PLB_FIT_FAST
24
1444.64
FPGA_PLB_FIT_SLOW
25
1664.94
jmc_quant
23
13822.96
jmc_quant_squaring
33
19832.76
k_branch_n
18
10817.91
k_branch_p
25
15024.79
k_d4_n
42
1
24288.4
k_d4_p
36
21635.91
k_dum_n
32
19231.73
k_dum_p
38
22837.91
k_grz_n
36
2
15908.48
k_grz_p
37
3
15299.91
k_lin_n
27
16226.56
k_lin_p
28
16826.87
k_path_n
33
19832.86
k_path_p
33
19832.91
k_ph_n
20
3
952.77
k_ph_p
4
2402.88
k_poly_n
42
25241.9
k_poly_p
11
6610.76
k_t4p_n
39
23438.86
k_t4p_p
51
30649.19
Logn
19
4583.34
mA-t2-1qbf-5cnf-160var-2560cl
20
752.7
mA-t2-1qbf-5cnf-80var-2560cl
20
1023.14
mA-t2-2qbf-5cnf-160var-2560cl
20
5
6011.8
mA-t2-2qbf-5cnf-160var-320cl
20
1
10818.66
mA-t2-2qbf-5cnf-160var-5120cl
20
10
0.8
mA-t2-2qbf-5cnf-40var-160cl
20
2
10604.56
mA-t2-2qbf-5cnf-40var-320cl
20
6
6186.28
mA-t2-2qbf-5cnf-40var-640cl
20
6
4944.76
mA-t2-2qbf-5cnf-80var-1280cl
20
4
7212.16
mA-t2-2qbf-5cnf-80var-320cl
20
12019.76
mA-t2-2qbf-5cnf-80var-640cl
20
1
10828.88
mA-t2-3qbf-5cnf-160var-2560cl
20
4
1427.28
mA-t2-3qbf-5cnf-160var-640cl
20
10
0.18
mA-t2-3qbf-5cnf-20var-160cl
20
10
0.78
mA-t2-3qbf-5cnf-20var-320cl
20
10
0.5
mA-t2-3qbf-5cnf-40var-320cl
20
9
1
55.16
mA-t2-3qbf-5cnf-40var-640cl
20
10
3.14
mA-t2-3qbf-5cnf-80var-1280cl
20
10
366.84
mA-t2-3qbf-5cnf-80var-2560cl
20
10
0.42
mA-t2-3qbf-5cnf-80var-320cl
20
10
0.12
mA-t2-4qbf-5cnf-160var-2560cl
20
10
185.26
mA-t2-4qbf-5cnf-160var-5120cl
20
10
0.86
mA-t2-4qbf-5cnf-160var-640cl
20
12019.96
mA-t2-4qbf-5cnf-20var-160cl
20
2
8
10.82
mA-t2-4qbf-5cnf-20var-320cl
20
10
0.26
mA-t2-4qbf-5cnf-20var-640cl
20
10
0.2
mA-t2-4qbf-5cnf-40var-1280cl
20
10
0.18
mA-t2-4qbf-5cnf-40var-320cl
20
4
7701.48
mA-t2-4qbf-5cnf-40var-640cl
20
10
0.34
mA-t2-4qbf-5cnf-80var-1280cl
20
10
9.56
mA-t2-4qbf-5cnf-80var-2560cl
20
10
0.44
mA-t2-4qbf-5cnf-80var-320cl
20
5
6784.86
mA-t2-5qbf-5cnf-160var-2560cl
20
2
1581.86
mA-t2-5qbf-5cnf-160var-5120cl
20
10
3.54
mA-t2-5qbf-5cnf-160var-640cl
20
10
0.24
mA-t2-5qbf-5cnf-20var-320cl
20
10
1.6
mA-t2-5qbf-5cnf-20var-640cl
20
10
0.18
mA-t2-5qbf-5cnf-40var-1280cl
20
10
0.3
mA-t2-5qbf-5cnf-40var-320cl
20
10
95.6
mA-t2-5qbf-5cnf-40var-640cl
20
10
2.78
mA-t2-5qbf-5cnf-80var-1280cl
20
10
124.1
mA-t2-5qbf-5cnf-80var-2560cl
20
10
0.6
mA-t2-5qbf-5cnf-80var-640cl
20
7
5127.8
mA-t2-6qbf-5cnf-160var-2560cl
20
8
1731.5
mA-t2-6qbf-5cnf-160var-5120cl
20
10
2.62
mA-t2-6qbf-5cnf-160var-640cl
20
10
0.22
mA-t2-6qbf-5cnf-20var-160cl
20
9
1
1.38
mA-t2-6qbf-5cnf-20var-320cl
20
10
1.12
mA-t2-6qbf-5cnf-20var-640cl
20
10
0.22
mA-t2-6qbf-5cnf-40var-1280cl
20
10
0.24
mA-t2-6qbf-5cnf-40var-320cl
20
4
1
8099.66
mA-t2-6qbf-5cnf-40var-640cl
20
10
2.92
mA-t2-6qbf-5cnf-80var-1280cl
20
9
1876.98
mA-t2-6qbf-5cnf-80var-2560cl
20
10
0.62
mA-t2-6qbf-5cnf-80var-640cl
20
12020
MutexP
48
28847.65
Qq2k1k4v40v40m16
10
5
5
0.06
Qq2k1k4v40v40m2
10
10
0.06
Qq2k1k4v40v40m32
10
10
0.02
Qq2k1k4v40v40m4
10
9
1
0.03
Qq2k1k4v40v40m8
10
8
2
0.04
Qq2k1k4v80v80m16
10
7
3
0.04
Qq2k1k4v80v80m2
10
10
0.03
Qq2k1k4v80v80m32
10
2
8
0.02
Qq2k1k4v80v80m4
10
10
0.05
Qq2k1k4v80v80m8
10
10
0.07
Qq2k2k3v40v40m16
10
10
0.02
Qq2k2k3v40v40m2
10
10
0.06
Qq2k2k3v40v40m32
10
10
0.06
Qq2k2k3v40v40m4
10
10
0.04
Qq2k2k3v40v40m8
10
10
0.05
Qq2k2k3v80v80m16
10
10
0.07
Qq2k2k3v80v80m2
10
10
0.05
Qq2k2k3v80v80m32
10
10
0.04
Qq2k2k3v80v80m4
10
10
0.01
Qq2k2k3v80v80m8
10
10
0.03
Qq2k3k2v40v40m16
10
10
0.07
Qq2k3k2v40v40m2
10
10
0.05
Qq2k3k2v40v40m32
10
10
0.04
Qq2k3k2v40v40m4
10
10
0.02
Qq2k3k2v40v40m8
10
10
0.01
Qq2k3k2v80v80m16
10
10
0.04
Qq2k3k2v80v80m2
10
10
0.04
Qq2k3k2v80v80m32
10
10
0.03
Qq2k3k2v80v80m4
10
10
0
Qq2k3k2v80v80m8
10
10
0.05
Qq3k1k1k3v40v40v40m16
10
10
0.03
Qq3k1k1k3v40v40v40m2
10
10
0.03
Qq3k1k1k3v40v40v40m32
10
10
0.02
Qq3k1k1k3v40v40v40m4
10
10
0.04
Qq3k1k1k3v40v40v40m8
10
10
0.04
Qq3k1k1k3v80v80v80m16
10
10
0.02
Qq3k1k1k3v80v80v80m2
10
10
0.03
Qq3k1k1k3v80v80v80m32
10
10
0.07
Qq3k1k1k3v80v80v80m4
10
10
0.03
Qq3k1k1k3v80v80v80m8
10
10
0.04
Qq3k1k2k2v40v40v40m16
10
10
0.04
Qq3k1k2k2v40v40v40m2
10
10
0.03
Qq3k1k2k2v40v40v40m32
10
10
0.06
Qq3k1k2k2v40v40v40m4
10
10
0.01
Qq3k1k2k2v40v40v40m8
10
10
0.03
Qq3k1k2k2v80v80v80m16
10
10
0.02
Qq3k1k2k2v80v80v80m2
10
10
0.02
Qq3k1k2k2v80v80v80m32
10
10
0.04
Qq3k1k2k2v80v80v80m4
10
10
0.03
Qq3k1k2k2v80v80v80m8
10
10
0.02
Qq3k1k3k1v40v40v40m16
10
10
0.04
Qq3k1k3k1v40v40v40m2
10
10
0.05
Qq3k1k3k1v40v40v40m32
10
10
0.08
Qq3k1k3k1v40v40v40m4
10
10
0.03
Qq3k1k3k1v40v40v40m8
10
10
0.01
Qq3k1k3k1v80v80v80m16
10
10
0.01
Qq3k1k3k1v80v80v80m2
10
10
0.03
Qq3k1k3k1v80v80v80m32
10
10
0.04
Qq3k1k3k1v80v80v80m4
10
10
0.05
Qq3k1k3k1v80v80v80m8
10
10
0.06
Qq3k2k1k2v40v40v40m16
10
10
0.04
Qq3k2k1k2v40v40v40m2
10
10
0.03
Qq3k2k1k2v40v40v40m32
10
10
0.03
Qq3k2k1k2v40v40v40m4
10
10
0.02
Qq3k2k1k2v40v40v40m8
10
10
0.07
Qq3k2k1k2v80v80v80m16
10
10
0.03
Qq3k2k1k2v80v80v80m2
10
10
0.04
Qq3k2k1k2v80v80v80m32
10
10
0.04
Qq3k2k1k2v80v80v80m4
10
10
0.01
Qq3k2k1k2v80v80v80m8
10
10
0.03
Qq3k2k2k1v40v40v40m16
10
10
0.05
Qq3k2k2k1v40v40v40m2
10
10
0.05
Qq3k2k2k1v40v40v40m32
10
10
0.04
Qq3k2k2k1v40v40v40m4
10
10
0.04
Qq3k2k2k1v40v40v40m8
10
10
0.03
Qq3k2k2k1v80v80v80m16
10
10
0.03
Qq3k2k2k1v80v80v80m2
10
10
0.02
Qq3k2k2k1v80v80v80m32
10
10
0.02
Qq3k2k2k1v80v80v80m4
10
10
0.06
Qq3k2k2k1v80v80v80m8
10
10
0.04
Qq3k3k1k1v40v40v40m16
10
10
0.03
Qq3k3k1k1v40v40v40m2
10
10
0.03
Qq3k3k1k1v40v40v40m32
10
10
0.06
Qq3k3k1k1v40v40v40m4
10
10
0.03
Qq3k3k1k1v40v40v40m8
10
10
0.04
Qq3k3k1k1v80v80v80m16
10
10
0.03
Qq3k3k1k1v80v80v80m2
10
10
0.03
Qq3k3k1k1v80v80v80m32
10
10
0.03
Qq3k3k1k1v80v80v80m4
10
10
0.05
Qq3k3k1k1v80v80v80m8
10
10
0.04
Qshifter
45
27042.04
RobotsD2
30
1687.5
RobotsD3
30
2038.92
RobotsD4
32
2841.27
RobotsD5
31
2734.33
s27
29
1
12882.2
s298
17
10217
s386
8
4807.92
s499
11
6610.94
s510
4
2403.96
s713
10
6010
s820
8
4808
Sorting_networks
433
4
21
198490.27
Strategic_Companies
644
21
30
334658.82
SzymanskiP
87
5
132.53
term1
38
5552.05
tipdiam
65
30
139.51
tipfixpoint
208
1
9
110112.25
Toilet
17
2
14.41
ToiletA
4
1
1
59.86
ToiletC
3
1
0.03
Tree
7
1
0.07
Contact
|
Organization
|
Links
|
Citing QBFLIB
qbflib.org