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
Qbfl results solving families - 2006
Family
# Total
# Sat
# Unsat
Time
Adder
116
285008.56
ASP_Program_Inclusion
91
37
29473.77
blackbox_design
131
288377.97
Blocks
88
160237.89
C432
41
24507.14
C499
30
115115.7
C5315
41
245636.29
C6288
10
5990.5
C880
18
1
8725.16
Chain
39
1
20455.39
comp
8
4696.84
Connect4
38
12
32175.45
Counter
21
12390.48
CounterFactual
920
73
61
868120.73
evader-pursuer-4x4-logarithmic
39
1
19547.03
evader-pursuer-6x6-logarithmic
17
2
4246.55
evader-pursuer-8x8-logarithmic
37
3
77338.33
FPGA_PLB_FIT_FAST
24
14172.64
FPGA_PLB_FIT_SLOW
25
14673.4
jmc_quant
23
13477.36
jmc_quant_squaring
33
19272.74
k_branch_n
18
59248.62
k_branch_p
25
128159.46
k_d4_n
42
25027.43
k_d4_p
36
21420.47
k_dum_n
32
18912.49
k_dum_p
38
22494.97
k_grz_n
36
2
15253.31
k_grz_p
37
21918.84
k_lin_n
27
145546.13
k_lin_p
28
90247.17
k_path_n
33
19690
k_path_p
33
19691.31
k_ph_n
20
11944.13
k_ph_p
4
2383.4
k_poly_n
42
224812.21
k_poly_p
11
65957.3
k_t4p_n
39
71540.79
k_t4p_p
51
30331.79
Logn
19
113928.4
mA-t2-1qbf-5cnf-160var-2560cl
20
6
48025.64
mA-t2-1qbf-5cnf-80var-2560cl
20
120017.44
mA-t2-2qbf-5cnf-160var-2560cl
20
5
79363.92
mA-t2-2qbf-5cnf-160var-320cl
20
22756.28
mA-t2-2qbf-5cnf-160var-5120cl
20
10
2.06
mA-t2-2qbf-5cnf-40var-160cl
20
1
10817.5
mA-t2-2qbf-5cnf-40var-320cl
20
3
9819.22
mA-t2-2qbf-5cnf-40var-640cl
20
10
0.24
mA-t2-2qbf-5cnf-80var-1280cl
20
10
56.02
mA-t2-2qbf-5cnf-80var-320cl
20
11969.56
mA-t2-2qbf-5cnf-80var-640cl
20
119877.44
mA-t2-3qbf-5cnf-160var-2560cl
20
119983.54
mA-t2-3qbf-5cnf-160var-640cl
20
10
0.28
mA-t2-3qbf-5cnf-20var-160cl
20
10
7.14
mA-t2-3qbf-5cnf-20var-320cl
20
10
67.48
mA-t2-3qbf-5cnf-40var-320cl
20
9
1198.14
mA-t2-3qbf-5cnf-40var-640cl
20
3
9866.52
mA-t2-3qbf-5cnf-80var-1280cl
20
109105.06
mA-t2-3qbf-5cnf-80var-2560cl
20
11992.06
mA-t2-3qbf-5cnf-80var-320cl
20
10
0.12
mA-t2-4qbf-5cnf-160var-2560cl
20
119983.52
mA-t2-4qbf-5cnf-160var-5120cl
20
119994.04
mA-t2-4qbf-5cnf-160var-640cl
20
87487.98
mA-t2-4qbf-5cnf-20var-160cl
20
1
9
1578.4
mA-t2-4qbf-5cnf-20var-320cl
20
10
20.9
mA-t2-4qbf-5cnf-20var-640cl
20
10
0.94
mA-t2-4qbf-5cnf-40var-1280cl
20
10
522.52
mA-t2-4qbf-5cnf-40var-320cl
20
3
9704.64
mA-t2-4qbf-5cnf-40var-640cl
20
1
11203.46
mA-t2-4qbf-5cnf-80var-1280cl
20
98298.88
mA-t2-4qbf-5cnf-80var-2560cl
20
3
103236.44
mA-t2-4qbf-5cnf-80var-320cl
20
3
8533.64
mA-t2-5qbf-5cnf-160var-2560cl
20
119989.34
mA-t2-5qbf-5cnf-160var-5120cl
20
119994.16
mA-t2-5qbf-5cnf-160var-640cl
20
10
0.1
mA-t2-5qbf-5cnf-20var-320cl
20
10
2781.1
mA-t2-5qbf-5cnf-20var-640cl
20
10
119.1
mA-t2-5qbf-5cnf-40var-1280cl
20
1
35933.46
mA-t2-5qbf-5cnf-40var-320cl
20
10
0.14
mA-t2-5qbf-5cnf-40var-640cl
20
1
32568.78
mA-t2-5qbf-5cnf-80var-1280cl
20
109132.74
mA-t2-5qbf-5cnf-80var-2560cl
20
119905.46
mA-t2-5qbf-5cnf-80var-640cl
20
10
0.2
mA-t2-6qbf-5cnf-160var-2560cl
20
119976.7
mA-t2-6qbf-5cnf-160var-5120cl
20
119998.16
mA-t2-6qbf-5cnf-160var-640cl
20
10
0.12
mA-t2-6qbf-5cnf-20var-160cl
20
5
5
651.9
mA-t2-6qbf-5cnf-20var-320cl
20
10
1065.78
mA-t2-6qbf-5cnf-20var-640cl
20
10
164.84
mA-t2-6qbf-5cnf-40var-1280cl
20
1
87805.26
mA-t2-6qbf-5cnf-40var-320cl
20
6
7002.8
mA-t2-6qbf-5cnf-40var-640cl
20
55101.52
mA-t2-6qbf-5cnf-80var-1280cl
20
109156.66
mA-t2-6qbf-5cnf-80var-2560cl
20
119912.1
mA-t2-6qbf-5cnf-80var-640cl
20
1
79310.46
MutexP
48
287738.49
Qq2k1k4v40v40m16
10
5
5
0.03
Qq2k1k4v40v40m2
10
10
0.06
Qq2k1k4v40v40m32
10
10
0.05
Qq2k1k4v40v40m4
10
9
1
0.03
Qq2k1k4v40v40m8
10
8
2
0.05
Qq2k1k4v80v80m16
10
7
3
0.04
Qq2k1k4v80v80m2
10
10
0.05
Qq2k1k4v80v80m32
10
2
8
0.05
Qq2k1k4v80v80m4
10
10
0.04
Qq2k1k4v80v80m8
10
10
0.04
Qq2k2k3v40v40m16
10
10
0.03
Qq2k2k3v40v40m2
10
10
0.03
Qq2k2k3v40v40m32
10
10
0.02
Qq2k2k3v40v40m4
10
10
0.02
Qq2k2k3v40v40m8
10
10
0.02
Qq2k2k3v80v80m16
10
10
0.03
Qq2k2k3v80v80m2
10
10
0.04
Qq2k2k3v80v80m32
10
10
0.03
Qq2k2k3v80v80m4
10
10
0.01
Qq2k2k3v80v80m8
10
10
0.04
Qq2k3k2v40v40m16
10
10
0.02
Qq2k3k2v40v40m2
10
10
0.04
Qq2k3k2v40v40m32
10
10
0.02
Qq2k3k2v40v40m4
10
10
0.06
Qq2k3k2v40v40m8
10
10
0.03
Qq2k3k2v80v80m16
10
10
0.03
Qq2k3k2v80v80m2
10
10
0.06
Qq2k3k2v80v80m32
10
10
0.04
Qq2k3k2v80v80m4
10
10
0.02
Qq2k3k2v80v80m8
10
10
0.03
Qq3k1k1k3v40v40v40m16
10
10
0.02
Qq3k1k1k3v40v40v40m2
10
10
0.04
Qq3k1k1k3v40v40v40m32
10
10
0.01
Qq3k1k1k3v40v40v40m4
10
10
0.02
Qq3k1k1k3v40v40v40m8
10
10
0.05
Qq3k1k1k3v80v80v80m16
10
10
0.04
Qq3k1k1k3v80v80v80m2
10
10
0.04
Qq3k1k1k3v80v80v80m32
10
10
0.07
Qq3k1k1k3v80v80v80m4
10
10
0.06
Qq3k1k1k3v80v80v80m8
10
10
0.08
Qq3k1k2k2v40v40v40m16
10
10
0.03
Qq3k1k2k2v40v40v40m2
10
10
0.05
Qq3k1k2k2v40v40v40m32
10
10
0.08
Qq3k1k2k2v40v40v40m4
10
10
0.05
Qq3k1k2k2v40v40v40m8
10
10
0.03
Qq3k1k2k2v80v80v80m16
10
10
0.05
Qq3k1k2k2v80v80v80m2
10
10
0.02
Qq3k1k2k2v80v80v80m32
10
10
0.06
Qq3k1k2k2v80v80v80m4
10
10
0.02
Qq3k1k2k2v80v80v80m8
10
10
0.02
Qq3k1k3k1v40v40v40m16
10
10
0.04
Qq3k1k3k1v40v40v40m2
10
10
0.03
Qq3k1k3k1v40v40v40m32
10
10
0.07
Qq3k1k3k1v40v40v40m4
10
10
0.05
Qq3k1k3k1v40v40v40m8
10
10
0.05
Qq3k1k3k1v80v80v80m16
10
10
0.01
Qq3k1k3k1v80v80v80m2
10
10
0.02
Qq3k1k3k1v80v80v80m32
10
10
0.11
Qq3k1k3k1v80v80v80m4
10
10
0.03
Qq3k1k3k1v80v80v80m8
10
10
0.01
Qq3k2k1k2v40v40v40m16
10
10
0.07
Qq3k2k1k2v40v40v40m2
10
10
0.02
Qq3k2k1k2v40v40v40m32
10
10
0.05
Qq3k2k1k2v40v40v40m4
10
10
0.03
Qq3k2k1k2v40v40v40m8
10
10
0.04
Qq3k2k1k2v80v80v80m16
10
10
0.03
Qq3k2k1k2v80v80v80m2
10
10
0.04
Qq3k2k1k2v80v80v80m32
10
10
0.02
Qq3k2k1k2v80v80v80m4
10
10
0.03
Qq3k2k1k2v80v80v80m8
10
10
0.03
Qq3k2k2k1v40v40v40m16
10
10
0.03
Qq3k2k2k1v40v40v40m2
10
10
0.02
Qq3k2k2k1v40v40v40m32
10
10
0.02
Qq3k2k2k1v40v40v40m4
10
10
0.06
Qq3k2k2k1v40v40v40m8
10
10
0.02
Qq3k2k2k1v80v80v80m16
10
10
0.04
Qq3k2k2k1v80v80v80m2
10
10
0.08
Qq3k2k2k1v80v80v80m32
10
10
0.04
Qq3k2k2k1v80v80v80m4
10
10
0.02
Qq3k2k2k1v80v80v80m8
10
10
0.05
Qq3k3k1k1v40v40v40m16
10
10
0.05
Qq3k3k1k1v40v40v40m2
10
10
0.05
Qq3k3k1k1v40v40v40m32
10
10
0.04
Qq3k3k1k1v40v40v40m4
10
10
0.03
Qq3k3k1k1v40v40v40m8
10
10
0.02
Qq3k3k1k1v80v80v80m16
10
10
0.02
Qq3k3k1k1v80v80v80m2
10
10
0.05
Qq3k3k1k1v80v80v80m32
10
10
0.05
Qq3k3k1k1v80v80v80m4
10
10
0.04
Qq3k3k1k1v80v80v80m8
10
10
0.04
Qshifter
45
4
11504.74
RobotsD2
30
180021.48
RobotsD3
30
180016.02
RobotsD4
32
192019.1
RobotsD5
31
186030.02
s27
29
16817.91
s298
17
10113.46
s386
8
4751.6
s499
11
6564.98
s510
4
2381
s713
10
5975.1
s820
8
4775.84
Sorting_networks
433
6
3
1620074.31
Strategic_Companies
644
23
61
3270174.99
SzymanskiP
87
9
55460.48
term1
38
114290.73
tipdiam
65
28
3319.85
tipfixpoint
208
3
2
529701.97
Toilet
17
10142.81
ToiletA
4
23988.82
ToiletC
3
1799.1
Tree
7
3712.59
Contact
|
Organization
|
Links
|
Citing QBFLIB