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
yQuaffle results solving families - 2006
Family
# Total
# Sat
# Unsat
Time
Adder
116
66052.56
ASP_Program_Inclusion
91
59003.56
blackbox_design
131
78147.73
Blocks
88
3
6
11868.98
C432
41
1
2
125495.89
C499
30
1
1
72911.76
C5315
41
2
1
77598.79
C6288
10
59996.5
C880
18
2
38503.74
Chain
39
233967.89
comp
8
2
131.88
Connect4
38
12
3837.09
Counter
21
3
77348.37
CounterFactual
920
78
96
329235.96
evader-pursuer-4x4-logarithmic
39
23118.38
evader-pursuer-6x6-logarithmic
17
1
5942.19
evader-pursuer-8x8-logarithmic
37
3
6110.48
FPGA_PLB_FIT_FAST
24
3
6.8
FPGA_PLB_FIT_SLOW
25
1
1
60602.69
jmc_quant
23
138001.26
jmc_quant_squaring
33
151646.86
k_branch_n
18
59382.54
k_branch_p
25
1
14062.51
k_d4_n
42
251973.93
k_d4_p
36
215986.22
k_dum_n
32
191988.52
k_dum_p
38
1
180582.32
k_grz_n
36
1
180888.51
k_grz_p
37
3
117486.62
k_lin_n
27
3
37505.86
k_lin_p
28
5
20.11
k_path_n
33
197936.8
k_path_p
33
122362.98
k_ph_n
20
3
2991.07
k_ph_p
4
1
44.68
k_poly_n
42
106154.09
k_poly_p
11
3
0.18
k_t4p_n
39
205033.3
k_t4p_p
51
305953.2
Logn
19
2
9.74
mA-t2-1qbf-5cnf-160var-2560cl
20
10
253.9
mA-t2-1qbf-5cnf-80var-2560cl
20
119996.94
mA-t2-2qbf-5cnf-160var-2560cl
20
1
11161.22
mA-t2-2qbf-5cnf-160var-320cl
20
11883.88
mA-t2-2qbf-5cnf-160var-5120cl
20
10
0.9
mA-t2-2qbf-5cnf-40var-160cl
20
1
1
100254.28
mA-t2-2qbf-5cnf-40var-320cl
20
8
34302.58
mA-t2-2qbf-5cnf-40var-640cl
20
10
1.76
mA-t2-2qbf-5cnf-80var-1280cl
20
10
265.22
mA-t2-2qbf-5cnf-80var-320cl
20
11971.16
mA-t2-2qbf-5cnf-80var-640cl
20
65987.62
mA-t2-3qbf-5cnf-160var-2560cl
20
11967.2
mA-t2-3qbf-5cnf-160var-640cl
20
11910.66
mA-t2-3qbf-5cnf-20var-160cl
20
10
2.08
mA-t2-3qbf-5cnf-20var-320cl
20
10
0.72
mA-t2-3qbf-5cnf-40var-320cl
20
7
15594.96
mA-t2-3qbf-5cnf-40var-640cl
20
10
23.32
mA-t2-3qbf-5cnf-80var-1280cl
20
4
7492.24
mA-t2-3qbf-5cnf-80var-2560cl
20
10
0.52
mA-t2-3qbf-5cnf-80var-320cl
20
9
2608.98
mA-t2-4qbf-5cnf-160var-2560cl
20
11956.44
mA-t2-4qbf-5cnf-160var-5120cl
20
10
0.88
mA-t2-4qbf-5cnf-160var-640cl
20
11912.52
mA-t2-4qbf-5cnf-20var-160cl
20
2
8
11100.56
mA-t2-4qbf-5cnf-20var-320cl
20
10
6.48
mA-t2-4qbf-5cnf-20var-640cl
20
10
0.18
mA-t2-4qbf-5cnf-40var-1280cl
20
10
0.28
mA-t2-4qbf-5cnf-40var-320cl
20
11992.88
mA-t2-4qbf-5cnf-40var-640cl
20
6
17329.62
mA-t2-4qbf-5cnf-80var-1280cl
20
11983.48
mA-t2-4qbf-5cnf-80var-2560cl
20
10
0.5
mA-t2-4qbf-5cnf-80var-320cl
20
11966.32
mA-t2-5qbf-5cnf-160var-2560cl
20
11938.98
mA-t2-5qbf-5cnf-160var-5120cl
20
10
0.9
mA-t2-5qbf-5cnf-160var-640cl
20
11927.48
mA-t2-5qbf-5cnf-20var-320cl
20
10
689.96
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
11989.78
mA-t2-5qbf-5cnf-40var-640cl
20
3
8801.8
mA-t2-5qbf-5cnf-80var-1280cl
20
11975.16
mA-t2-5qbf-5cnf-80var-2560cl
20
10
0.46
mA-t2-5qbf-5cnf-80var-640cl
20
11964.36
mA-t2-6qbf-5cnf-160var-2560cl
20
11935.32
mA-t2-6qbf-5cnf-160var-5120cl
20
10
1.02
mA-t2-6qbf-5cnf-160var-640cl
20
11922.32
mA-t2-6qbf-5cnf-20var-160cl
20
8
1
3936.24
mA-t2-6qbf-5cnf-20var-320cl
20
9
4612.52
mA-t2-6qbf-5cnf-20var-640cl
20
10
0.36
mA-t2-6qbf-5cnf-40var-1280cl
20
10
19.16
mA-t2-6qbf-5cnf-40var-320cl
20
11982.78
mA-t2-6qbf-5cnf-40var-640cl
20
22788.98
mA-t2-6qbf-5cnf-80var-1280cl
20
11972.44
mA-t2-6qbf-5cnf-80var-2560cl
20
10
0.56
mA-t2-6qbf-5cnf-80var-640cl
20
11962.32
MutexP
48
26836.38
Qq2k1k4v40v40m16
10
5
5
0.07
Qq2k1k4v40v40m2
10
10
0.03
Qq2k1k4v40v40m32
10
10
0.1
Qq2k1k4v40v40m4
10
9
1
0.06
Qq2k1k4v40v40m8
10
8
2
0.06
Qq2k1k4v80v80m16
10
7
3
0.07
Qq2k1k4v80v80m2
10
10
0.05
Qq2k1k4v80v80m32
10
2
8
0.07
Qq2k1k4v80v80m4
10
10
0.03
Qq2k1k4v80v80m8
10
10
0.09
Qq2k2k3v40v40m16
10
10
0.03
Qq2k2k3v40v40m2
10
10
0.04
Qq2k2k3v40v40m32
10
10
0.03
Qq2k2k3v40v40m4
10
10
0.05
Qq2k2k3v40v40m8
10
10
0.04
Qq2k2k3v80v80m16
10
10
0.06
Qq2k2k3v80v80m2
10
10
0.02
Qq2k2k3v80v80m32
10
10
0.07
Qq2k2k3v80v80m4
10
10
0.05
Qq2k2k3v80v80m8
10
10
0.06
Qq2k3k2v40v40m16
10
10
0.09
Qq2k3k2v40v40m2
10
10
0.04
Qq2k3k2v40v40m32
10
10
0.02
Qq2k3k2v40v40m4
10
10
0.06
Qq2k3k2v40v40m8
10
10
0.05
Qq2k3k2v80v80m16
10
10
0.04
Qq2k3k2v80v80m2
10
10
0.06
Qq2k3k2v80v80m32
10
10
0.04
Qq2k3k2v80v80m4
10
10
0.05
Qq2k3k2v80v80m8
10
10
0.07
Qq3k1k1k3v40v40v40m16
10
10
0.07
Qq3k1k1k3v40v40v40m2
10
10
0.04
Qq3k1k1k3v40v40v40m32
10
10
0.05
Qq3k1k1k3v40v40v40m4
10
10
0.07
Qq3k1k1k3v40v40v40m8
10
10
0.06
Qq3k1k1k3v80v80v80m16
10
10
0.09
Qq3k1k1k3v80v80v80m2
10
10
0.04
Qq3k1k1k3v80v80v80m32
10
10
0.06
Qq3k1k1k3v80v80v80m4
10
10
0.04
Qq3k1k1k3v80v80v80m8
10
10
0.03
Qq3k1k2k2v40v40v40m16
10
10
0.07
Qq3k1k2k2v40v40v40m2
10
10
0.07
Qq3k1k2k2v40v40v40m32
10
10
0.04
Qq3k1k2k2v40v40v40m4
10
10
0.12
Qq3k1k2k2v40v40v40m8
10
10
0.05
Qq3k1k2k2v80v80v80m16
10
10
0.04
Qq3k1k2k2v80v80v80m2
10
10
0.03
Qq3k1k2k2v80v80v80m32
10
10
0.04
Qq3k1k2k2v80v80v80m4
10
10
0.03
Qq3k1k2k2v80v80v80m8
10
10
0.07
Qq3k1k3k1v40v40v40m16
10
10
0.07
Qq3k1k3k1v40v40v40m2
10
10
0.06
Qq3k1k3k1v40v40v40m32
10
10
0.1
Qq3k1k3k1v40v40v40m4
10
10
0.08
Qq3k1k3k1v40v40v40m8
10
10
0.08
Qq3k1k3k1v80v80v80m16
10
10
0.05
Qq3k1k3k1v80v80v80m2
10
10
0.07
Qq3k1k3k1v80v80v80m32
10
10
0.04
Qq3k1k3k1v80v80v80m4
10
10
0.06
Qq3k1k3k1v80v80v80m8
10
10
0.07
Qq3k2k1k2v40v40v40m16
10
10
0.03
Qq3k2k1k2v40v40v40m2
10
10
0.04
Qq3k2k1k2v40v40v40m32
10
10
0.05
Qq3k2k1k2v40v40v40m4
10
10
0.05
Qq3k2k1k2v40v40v40m8
10
10
0.05
Qq3k2k1k2v80v80v80m16
10
10
0.07
Qq3k2k1k2v80v80v80m2
10
10
0.07
Qq3k2k1k2v80v80v80m32
10
10
0.08
Qq3k2k1k2v80v80v80m4
10
10
0.06
Qq3k2k1k2v80v80v80m8
10
10
0.04
Qq3k2k2k1v40v40v40m16
10
10
0.08
Qq3k2k2k1v40v40v40m2
10
10
0.03
Qq3k2k2k1v40v40v40m32
10
10
0.03
Qq3k2k2k1v40v40v40m4
10
10
0.03
Qq3k2k2k1v40v40v40m8
10
10
0.02
Qq3k2k2k1v80v80v80m16
10
10
0.08
Qq3k2k2k1v80v80v80m2
10
10
0.08
Qq3k2k2k1v80v80v80m32
10
10
0.07
Qq3k2k2k1v80v80v80m4
10
10
0.08
Qq3k2k2k1v80v80v80m8
10
10
0.07
Qq3k3k1k1v40v40v40m16
10
10
0.03
Qq3k3k1k1v40v40v40m2
10
10
0.06
Qq3k3k1k1v40v40v40m32
10
10
0.01
Qq3k3k1k1v40v40v40m4
10
10
0.05
Qq3k3k1k1v40v40v40m8
10
10
0.04
Qq3k3k1k1v80v80v80m16
10
10
0.05
Qq3k3k1k1v80v80v80m2
10
10
0.06
Qq3k3k1k1v80v80v80m32
10
10
0.05
Qq3k3k1k1v80v80v80m4
10
10
0.03
Qq3k3k1k1v80v80v80m8
10
10
0.03
Qshifter
45
269990.54
RobotsD2
30
10
78.18
RobotsD3
30
10
113.64
RobotsD4
32
10
103.95
RobotsD5
31
10
104.75
s27
29
174000.48
s298
17
102000.7
s386
8
47998.16
s499
11
66001.92
s510
4
23999.04
s713
10
59998.8
s820
8
47998.48
Sorting_networks
433
14
13
259841.82
Strategic_Companies
644
24
76
678542.4
SzymanskiP
87
43304.21
term1
38
4
25802.93
tipdiam
65
30
4323.1
tipfixpoint
208
1
9
1098002.92
Toilet
17
1
39693.57
ToiletA
4
1
1
57.92
ToiletC
3
1798.71
Tree
7
1
0
Contact
|
Organization
|
Links
|
Citing QBFLIB
qbflib.org