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
QChaffLearn results solving families - 2005
Family
# Total
# Sat
# Unsat
Time
Adder
201
2
9
90950.11
Blocks
102
4
5251.55
C432
73
2
3
26031.45
C499
76
2
4
11281.78
C5315
86
2
47996.96
C6288
86
77423.01
C880
78
2
4
18624.24
Chain
87
9
36558.79
comp
28
3
4
1913.79
Connect4
144
42
50799.47
Counter
73
24
7.7
CounterFactual
1691
127
126
1095711.56
DFlipFlop
73
4
20.83
evader-pursuer-4x4-logarithmic
61
7
24.3
evader-pursuer-4x4-standard
65
58534
evader-pursuer-6x6-logarithmic
74
4
39782.35
evader-pursuer-6x6-standard
77
140.1
evader-pursuer-8x8-logarithmic
78
3
46307.9
FPGA_PLB_FIT_FAST
38
2
1453.72
FPGA_PLB_FIT_SLOW
25
1666.58
horn
156
3
52
90133.09
Impl
74
10
0.31
jmc_quant
49
43982.25
jmc_quant_squaring
118
105997.08
k_branch_n
56
49783.55
k_branch_p
52
46194.44
k_d4_n
42
1
36567.77
k_d4_p
42
1
32253.4
k_dum_n
35
1
28963.72
k_dum_p
47
4
17446.14
k_grz_n
42
2
26317.32
k_grz_p
37
2
23664.13
k_lin_n
27
2
2
9710.98
k_lin_p
35
6
108.57
k_path_n
40
1
29324.12
k_path_p
35
1
29255.28
k_ph_n
40
3
3
104.94
k_ph_p
36
6
576.16
k_poly_n
42
36815.81
k_poly_p
33
28889.42
k_t4p_n
39
34925.68
k_t4p_p
51
45528.33
Logn
19
2
483.55
mA-t2-1qbf-5cnf-160var-1280cl
10
10
0.12
mA-t2-1qbf-5cnf-160var-2560cl
20
760.78
mA-t2-1qbf-5cnf-160var-320cl
10
10
0.01
mA-t2-1qbf-5cnf-160var-5120cl
10
341.58
mA-t2-1qbf-5cnf-160var-640cl
10
10
0.07
mA-t2-1qbf-5cnf-20var-160cl
10
10
0.01
mA-t2-1qbf-5cnf-20var-320cl
10
10
0.07
mA-t2-1qbf-5cnf-20var-40cl
10
10
0.01
mA-t2-1qbf-5cnf-20var-640cl
10
10
0.28
mA-t2-1qbf-5cnf-20var-80cl
10
10
0.01
mA-t2-1qbf-5cnf-40var-1280cl
10
9
290.83
mA-t2-1qbf-5cnf-40var-160cl
10
10
0.03
mA-t2-1qbf-5cnf-40var-320cl
10
10
0.05
mA-t2-1qbf-5cnf-40var-640cl
10
10
3.43
mA-t2-1qbf-5cnf-40var-80cl
10
10
0.04
mA-t2-1qbf-5cnf-80var-1280cl
10
3
315.88
mA-t2-1qbf-5cnf-80var-160cl
10
10
0.05
mA-t2-1qbf-5cnf-80var-2560cl
20
1021.88
mA-t2-1qbf-5cnf-80var-320cl
10
10
0.03
mA-t2-1qbf-5cnf-80var-640cl
10
10
0.05
mA-t2-2qbf-5cnf-160var-1280cl
10
8635.69
mA-t2-2qbf-5cnf-160var-2560cl
20
10
7.5
mA-t2-2qbf-5cnf-160var-320cl
20
1
14992.9
mA-t2-2qbf-5cnf-160var-5120cl
20
10
0.86
mA-t2-2qbf-5cnf-160var-640cl
10
8462.2
mA-t2-2qbf-5cnf-20var-160cl
10
10
7.07
mA-t2-2qbf-5cnf-20var-320cl
10
10
0.05
mA-t2-2qbf-5cnf-20var-40cl
10
10
0.03
mA-t2-2qbf-5cnf-20var-640cl
10
10
0.06
mA-t2-2qbf-5cnf-20var-80cl
10
10
8.69
mA-t2-2qbf-5cnf-40var-1280cl
10
10
0.09
mA-t2-2qbf-5cnf-40var-160cl
20
1
14930.96
mA-t2-2qbf-5cnf-40var-320cl
20
8
6720.62
mA-t2-2qbf-5cnf-40var-640cl
20
10
0.14
mA-t2-2qbf-5cnf-40var-80cl
10
10
0.81
mA-t2-2qbf-5cnf-80var-1280cl
20
10
0.92
mA-t2-2qbf-5cnf-80var-160cl
10
10
60.18
mA-t2-2qbf-5cnf-80var-2560cl
10
10
0.21
mA-t2-2qbf-5cnf-80var-320cl
20
16695.76
mA-t2-2qbf-5cnf-80var-640cl
20
1
15349.28
mA-t2-3qbf-5cnf-160var-1280cl
10
1
7948.07
mA-t2-3qbf-5cnf-160var-2560cl
20
5
2897.7
mA-t2-3qbf-5cnf-160var-320cl
10
10
0.06
mA-t2-3qbf-5cnf-160var-5120cl
10
10
0.43
mA-t2-3qbf-5cnf-160var-640cl
20
10
0.16
mA-t2-3qbf-5cnf-20var-160cl
20
9
1
0.68
mA-t2-3qbf-5cnf-20var-320cl
20
10
0.58
mA-t2-3qbf-5cnf-20var-40cl
10
10
0.02
mA-t2-3qbf-5cnf-20var-640cl
10
10
0.06
mA-t2-3qbf-5cnf-20var-80cl
10
10
0.02
mA-t2-3qbf-5cnf-40var-1280cl
10
10
0.12
mA-t2-3qbf-5cnf-40var-160cl
10
10
0
mA-t2-3qbf-5cnf-40var-320cl
20
7
3
42.42
mA-t2-3qbf-5cnf-40var-640cl
20
10
3.52
mA-t2-3qbf-5cnf-40var-80cl
10
10
0.03
mA-t2-3qbf-5cnf-80var-1280cl
20
9
348.9
mA-t2-3qbf-5cnf-80var-160cl
10
10
0.04
mA-t2-3qbf-5cnf-80var-2560cl
20
10
0.42
mA-t2-3qbf-5cnf-80var-320cl
20
10
0.1
mA-t2-3qbf-5cnf-80var-640cl
10
3
3
4057.19
mA-t2-4qbf-5cnf-160var-1280cl
10
2
6919.67
mA-t2-4qbf-5cnf-160var-2560cl
20
10
184.34
mA-t2-4qbf-5cnf-160var-320cl
10
10
0.04
mA-t2-4qbf-5cnf-160var-5120cl
20
10
0.88
mA-t2-4qbf-5cnf-160var-640cl
20
16718
mA-t2-4qbf-5cnf-20var-160cl
20
1
9
62.54
mA-t2-4qbf-5cnf-20var-320cl
20
10
0.08
mA-t2-4qbf-5cnf-20var-40cl
10
10
0.03
mA-t2-4qbf-5cnf-20var-640cl
20
10
0.12
mA-t2-4qbf-5cnf-20var-80cl
10
10
0.09
mA-t2-4qbf-5cnf-40var-1280cl
20
10
0.24
mA-t2-4qbf-5cnf-40var-160cl
10
10
9.54
mA-t2-4qbf-5cnf-40var-320cl
20
5
10880.72
mA-t2-4qbf-5cnf-40var-640cl
20
10
0.34
mA-t2-4qbf-5cnf-40var-80cl
10
10
0.03
mA-t2-4qbf-5cnf-80var-1280cl
20
10
9.64
mA-t2-4qbf-5cnf-80var-160cl
10
10
0.01
mA-t2-4qbf-5cnf-80var-2560cl
20
10
0.42
mA-t2-4qbf-5cnf-80var-320cl
20
5
10583.62
mA-t2-4qbf-5cnf-80var-640cl
10
2
7956.69
mA-t2-5qbf-5cnf-160var-1280cl
10
6
3876.22
mA-t2-5qbf-5cnf-160var-2560cl
20
5226.96
mA-t2-5qbf-5cnf-160var-320cl
10
10
0.06
mA-t2-5qbf-5cnf-160var-5120cl
20
10
3.6
mA-t2-5qbf-5cnf-160var-640cl
20
10
0.2
mA-t2-5qbf-5cnf-20var-160cl
10
10
0.04
mA-t2-5qbf-5cnf-20var-320cl
20
10
2.22
mA-t2-5qbf-5cnf-20var-40cl
10
10
0.03
mA-t2-5qbf-5cnf-20var-640cl
20
10
0.12
mA-t2-5qbf-5cnf-20var-80cl
10
10
0.02
mA-t2-5qbf-5cnf-40var-1280cl
20
10
0.22
mA-t2-5qbf-5cnf-40var-160cl
10
10
0.02
mA-t2-5qbf-5cnf-40var-320cl
20
10
164.26
mA-t2-5qbf-5cnf-40var-640cl
20
10
15.24
mA-t2-5qbf-5cnf-40var-80cl
10
10
0.04
mA-t2-5qbf-5cnf-80var-1280cl
20
8
3034.56
mA-t2-5qbf-5cnf-80var-160cl
10
10
0.05
mA-t2-5qbf-5cnf-80var-2560cl
20
10
0.6
mA-t2-5qbf-5cnf-80var-320cl
10
10
0.06
mA-t2-5qbf-5cnf-80var-640cl
20
6
1
7295.1
mA-t2-6qbf-5cnf-160var-1280cl
10
8293.6
mA-t2-6qbf-5cnf-160var-2560cl
20
5
4312.08
mA-t2-6qbf-5cnf-160var-320cl
10
10
0.1
mA-t2-6qbf-5cnf-160var-5120cl
20
10
2.76
mA-t2-6qbf-5cnf-160var-640cl
20
10
0.2
mA-t2-6qbf-5cnf-20var-160cl
20
9
1
31.58
mA-t2-6qbf-5cnf-20var-320cl
20
10
9.48
mA-t2-6qbf-5cnf-20var-40cl
10
10
0.02
mA-t2-6qbf-5cnf-20var-640cl
20
10
0.26
mA-t2-6qbf-5cnf-20var-80cl
10
10
0.01
mA-t2-6qbf-5cnf-40var-1280cl
20
10
0.34
mA-t2-6qbf-5cnf-40var-160cl
10
10
0.05
mA-t2-6qbf-5cnf-40var-320cl
20
16123.8
mA-t2-6qbf-5cnf-40var-640cl
20
10
92.64
mA-t2-6qbf-5cnf-40var-80cl
10
10
0.02
mA-t2-6qbf-5cnf-80var-1280cl
20
8
3981.92
mA-t2-6qbf-5cnf-80var-160cl
10
10
0.04
mA-t2-6qbf-5cnf-80var-2560cl
20
10
0.74
mA-t2-6qbf-5cnf-80var-320cl
10
10
0.05
mA-t2-6qbf-5cnf-80var-640cl
20
16203.4
MutexP
78
3
33013.54
Qshifter
62
2
41250.32
renHorn
84
5
19
52364.18
RobotsD2
70
21
17242.86
RobotsD3
70
21
3
15609.82
RobotsD4
74
20
2
18678.49
RobotsD5
71
21
1
17193.8
s1196
17
15314.42
s1269
29
9013.71
s27
36
1
1
21818.64
s298
37
33255.5
s3330
45
7262.02
s386
31
27894.42
s499
24
13502.96
s510
22
9914.1
s641
29
0.07
s713
35
31509.11
s820
36
24299.36
SzymanskiP
107
4
61.27
term1
69
3
4
3261.71
Toilet
33
5
3
2.92
ToiletA
30
8
10
138.32
ToiletC
41
11
9
3.1
Tree
87
4
9
7924.07
uclid
30
26934.38
VonNeumann
75
140.58
z4ml
61
3
5
0.29
Contact
|
Organization
|
Links
|
Citing QBFLIB