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
QbflHR results solving families - 2005
Family
# Total
# Sat
# Unsat
Time
Adder
201
2
2
164890.04
Blocks
102
91901.87
C432
73
2
51357.18
C499
76
2
55058.4
C5315
86
77485.64
C6288
86
77485.27
C880
78
1
65959.23
Chain
87
9
32909.99
comp
28
4
15825.62
Connect4
144
43
47017.81
Counter
73
4
54357.27
CounterFactual
1691
112
118
1170770.81
DFlipFlop
73
10
26.88
evader-pursuer-4x4-logarithmic
61
4
28269.04
evader-pursuer-4x4-standard
65
58564.46
evader-pursuer-6x6-logarithmic
74
3
49792.82
evader-pursuer-6x6-standard
77
69368.14
evader-pursuer-8x8-logarithmic
78
2
55060.99
FPGA_PLB_FIT_FAST
38
1
1
26516.38
FPGA_PLB_FIT_SLOW
25
22525
horn
156
79
77
3.33
Impl
74
10
0.37
jmc_quant
49
44149.1
jmc_quant_squaring
118
106317.92
k_branch_n
56
50454.77
k_branch_p
52
46851.17
k_d4_n
42
37842.19
k_d4_p
42
37842.29
k_dum_n
35
1
30206.06
k_dum_p
47
42347.09
k_grz_n
42
4
22075.43
k_grz_p
37
33337.19
k_lin_n
27
24326.9
k_lin_p
35
31505.95
k_path_n
40
36040.04
k_path_p
35
1
29783.15
k_ph_n
40
1
29699.88
k_ph_p
36
1
29617.58
k_poly_n
42
37842.24
k_poly_p
33
29732.94
k_t4p_n
39
35138.83
k_t4p_p
51
45949.56
Logn
19
17118.61
mA-t2-1qbf-5cnf-160var-1280cl
10
10
0.04
mA-t2-1qbf-5cnf-160var-2560cl
20
8
5022.42
mA-t2-1qbf-5cnf-160var-320cl
10
10
0.06
mA-t2-1qbf-5cnf-160var-5120cl
10
9009.31
mA-t2-1qbf-5cnf-160var-640cl
10
10
0.07
mA-t2-1qbf-5cnf-20var-160cl
10
10
0.05
mA-t2-1qbf-5cnf-20var-320cl
10
10
0.07
mA-t2-1qbf-5cnf-20var-40cl
10
10
0.06
mA-t2-1qbf-5cnf-20var-640cl
10
10
0.18
mA-t2-1qbf-5cnf-20var-80cl
10
10
0.01
mA-t2-1qbf-5cnf-40var-1280cl
10
10
9.01
mA-t2-1qbf-5cnf-40var-160cl
10
10
0.06
mA-t2-1qbf-5cnf-40var-320cl
10
10
0.04
mA-t2-1qbf-5cnf-40var-640cl
10
10
0.07
mA-t2-1qbf-5cnf-40var-80cl
10
10
0.07
mA-t2-1qbf-5cnf-80var-1280cl
10
10
0.42
mA-t2-1qbf-5cnf-80var-160cl
10
10
0.08
mA-t2-1qbf-5cnf-80var-2560cl
20
18019.32
mA-t2-1qbf-5cnf-80var-320cl
10
10
0.04
mA-t2-1qbf-5cnf-80var-640cl
10
10
0.06
mA-t2-2qbf-5cnf-160var-1280cl
10
9010.01
mA-t2-2qbf-5cnf-160var-2560cl
20
10
33.64
mA-t2-2qbf-5cnf-160var-320cl
20
18020.06
mA-t2-2qbf-5cnf-160var-5120cl
20
10
1
mA-t2-2qbf-5cnf-160var-640cl
10
9010.05
mA-t2-2qbf-5cnf-20var-160cl
10
10
15.19
mA-t2-2qbf-5cnf-20var-320cl
10
10
0.1
mA-t2-2qbf-5cnf-20var-40cl
10
10
0.05
mA-t2-2qbf-5cnf-20var-640cl
10
10
0.05
mA-t2-2qbf-5cnf-20var-80cl
10
10
16.8
mA-t2-2qbf-5cnf-40var-1280cl
10
10
0.07
mA-t2-2qbf-5cnf-40var-160cl
20
2
16073.16
mA-t2-2qbf-5cnf-40var-320cl
20
3
14079.36
mA-t2-2qbf-5cnf-40var-640cl
20
10
0.22
mA-t2-2qbf-5cnf-40var-80cl
10
10
0.43
mA-t2-2qbf-5cnf-80var-1280cl
20
10
1.1
mA-t2-2qbf-5cnf-80var-160cl
10
10
466.59
mA-t2-2qbf-5cnf-80var-2560cl
10
10
0.19
mA-t2-2qbf-5cnf-80var-320cl
20
18020.06
mA-t2-2qbf-5cnf-80var-640cl
20
18020.02
mA-t2-3qbf-5cnf-160var-1280cl
10
9
912.47
mA-t2-3qbf-5cnf-160var-2560cl
20
18020.06
mA-t2-3qbf-5cnf-160var-320cl
10
10
0.05
mA-t2-3qbf-5cnf-160var-5120cl
10
9010
mA-t2-3qbf-5cnf-160var-640cl
20
10
0.12
mA-t2-3qbf-5cnf-20var-160cl
20
10
10.92
mA-t2-3qbf-5cnf-20var-320cl
20
10
40.2
mA-t2-3qbf-5cnf-20var-40cl
10
10
0.05
mA-t2-3qbf-5cnf-20var-640cl
10
10
0.16
mA-t2-3qbf-5cnf-20var-80cl
10
10
0.04
mA-t2-3qbf-5cnf-40var-1280cl
10
10
111.92
mA-t2-3qbf-5cnf-40var-160cl
10
10
0.04
mA-t2-3qbf-5cnf-40var-320cl
20
9
1807.24
mA-t2-3qbf-5cnf-40var-640cl
20
4
12106.24
mA-t2-3qbf-5cnf-40var-80cl
10
10
0.04
mA-t2-3qbf-5cnf-80var-1280cl
20
18020.02
mA-t2-3qbf-5cnf-80var-160cl
10
10
0.04
mA-t2-3qbf-5cnf-80var-2560cl
20
2
14446.14
mA-t2-3qbf-5cnf-80var-320cl
20
10
0.12
mA-t2-3qbf-5cnf-80var-640cl
10
10
0.08
mA-t2-4qbf-5cnf-160var-1280cl
10
1
8225.9
mA-t2-4qbf-5cnf-160var-2560cl
20
18020.12
mA-t2-4qbf-5cnf-160var-320cl
10
10
0.04
mA-t2-4qbf-5cnf-160var-5120cl
20
18020.1
mA-t2-4qbf-5cnf-160var-640cl
20
18020.04
mA-t2-4qbf-5cnf-20var-160cl
20
10
152.62
mA-t2-4qbf-5cnf-20var-320cl
20
10
4.44
mA-t2-4qbf-5cnf-20var-40cl
10
10
0.02
mA-t2-4qbf-5cnf-20var-640cl
20
10
0.3
mA-t2-4qbf-5cnf-20var-80cl
10
10
0.18
mA-t2-4qbf-5cnf-40var-1280cl
20
10
5.24
mA-t2-4qbf-5cnf-40var-160cl
10
10
95.02
mA-t2-4qbf-5cnf-40var-320cl
20
10
3066.38
mA-t2-4qbf-5cnf-40var-640cl
20
1
16633.3
mA-t2-4qbf-5cnf-40var-80cl
10
10
0.06
mA-t2-4qbf-5cnf-80var-1280cl
20
18020.06
mA-t2-4qbf-5cnf-80var-160cl
10
10
0.09
mA-t2-4qbf-5cnf-80var-2560cl
20
2
14442.48
mA-t2-4qbf-5cnf-80var-320cl
20
3
12820.64
mA-t2-4qbf-5cnf-80var-640cl
10
2
7442.14
mA-t2-5qbf-5cnf-160var-1280cl
10
10
0.11
mA-t2-5qbf-5cnf-160var-2560cl
20
18020.08
mA-t2-5qbf-5cnf-160var-320cl
10
10
0.08
mA-t2-5qbf-5cnf-160var-5120cl
20
18020.06
mA-t2-5qbf-5cnf-160var-640cl
20
10
0.06
mA-t2-5qbf-5cnf-20var-160cl
10
10
0.04
mA-t2-5qbf-5cnf-20var-320cl
20
10
827.82
mA-t2-5qbf-5cnf-20var-40cl
10
10
0.07
mA-t2-5qbf-5cnf-20var-640cl
20
10
53.4
mA-t2-5qbf-5cnf-20var-80cl
10
10
0.05
mA-t2-5qbf-5cnf-40var-1280cl
20
1
17806.54
mA-t2-5qbf-5cnf-40var-160cl
10
10
0.05
mA-t2-5qbf-5cnf-40var-320cl
20
10
0.04
mA-t2-5qbf-5cnf-40var-640cl
20
3
14074.52
mA-t2-5qbf-5cnf-40var-80cl
10
10
0.03
mA-t2-5qbf-5cnf-80var-1280cl
20
18020.08
mA-t2-5qbf-5cnf-80var-160cl
10
10
0.09
mA-t2-5qbf-5cnf-80var-2560cl
20
18020.2
mA-t2-5qbf-5cnf-80var-320cl
10
10
0.02
mA-t2-5qbf-5cnf-80var-640cl
20
10
0.18
mA-t2-6qbf-5cnf-160var-1280cl
10
9010.04
mA-t2-6qbf-5cnf-160var-2560cl
20
18020.06
mA-t2-6qbf-5cnf-160var-320cl
10
10
0.09
mA-t2-6qbf-5cnf-160var-5120cl
20
18020.1
mA-t2-6qbf-5cnf-160var-640cl
20
10
0.12
mA-t2-6qbf-5cnf-20var-160cl
20
4
6
162.42
mA-t2-6qbf-5cnf-20var-320cl
20
10
479.22
mA-t2-6qbf-5cnf-20var-40cl
10
10
0.03
mA-t2-6qbf-5cnf-20var-640cl
20
10
50.76
mA-t2-6qbf-5cnf-20var-80cl
10
10
0.04
mA-t2-6qbf-5cnf-40var-1280cl
20
1
17843.52
mA-t2-6qbf-5cnf-40var-160cl
10
10
0.02
mA-t2-6qbf-5cnf-40var-320cl
20
9
4109.48
mA-t2-6qbf-5cnf-40var-640cl
20
1
16293.88
mA-t2-6qbf-5cnf-40var-80cl
10
10
0.06
mA-t2-6qbf-5cnf-80var-1280cl
20
18020.1
mA-t2-6qbf-5cnf-80var-160cl
10
10
0.11
mA-t2-6qbf-5cnf-80var-2560cl
20
18020.06
mA-t2-6qbf-5cnf-80var-320cl
10
10
0.07
mA-t2-6qbf-5cnf-80var-640cl
20
4
14505.84
MutexP
78
3
43387.97
Qshifter
62
5
11535.86
renHorn
84
56
28
2.08
RobotsD2
70
10
45057.47
RobotsD3
70
13
37960.87
RobotsD4
74
20
22140.07
RobotsD5
71
20
21184.71
s1196
17
15317.08
s1269
29
26128.45
s27
36
1
26129.17
s298
37
33336.78
s3330
45
40543.62
s386
31
27931.08
s499
24
21623.65
s510
22
19820.7
s641
29
0.07
s713
35
31534.75
s820
36
32435.5
SzymanskiP
107
12
9221.45
term1
69
4
34246.47
Toilet
33
5
3
4422.49
ToiletA
30
8
9
1905.82
ToiletC
41
11
9
175.47
Tree
87
4
7
25082.53
uclid
30
1
17122.41
VonNeumann
75
10
41.43
z4ml
61
4
4
0.08
Contact
|
Organization
|
Links
|
Citing QBFLIB