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 - 2004
Family
# Total
# Sat
# Unsat
Time
Adder
53
0
1
36297.88
Blocks
66
0
0
59466.46
C432
73
2
0
42591.9
C499
76
1
0
27959.51
C5315
86
1
0
61272.46
C6288
86
0
0
59504.94
C880
78
2
0
54151.05
Chain
62
7
0
17611.18
comp
28
2
1
2589.45
Connect2
8
2
4
3.45
Connect3
8
0
2
6.38
Connect4
8
0
5
3.47
Connect5
8
0
6
3.5
Connect6
8
0
6
39.64
Connect7
8
0
6
53.8
Connect8
8
0
2
10.15
Connect9
3
0
0
2.76
Counter
12
2
0
5406.32
DFlipFlop
60
0
7
22.43
Impl
61
8
0
0.24
jmc_quant
42
1
0
36962.46
jmc_quant_squaring
94
0
0
84694.73
k_branch_n
37
1
0
31535.2
k_branch_p
55
0
0
49555.47
k_d4_n
46
0
0
41446.32
k_d4_p
39
0
1
33340.42
k_dum_n
42
5
0
15595.85
k_dum_p
43
0
3
28104.93
k_grz_n
32
5
0
14538.47
k_grz_p
45
0
4
27010.15
k_lin_n
39
3
0
23531.2
k_lin_p
32
0
1
27030.08
k_path_n
42
5
0
17907.03
k_path_p
38
0
3
26020.72
k_ph_n
52
6
0
21.9
k_ph_p
53
0
0
1832.82
k_poly_n
32
2
0
26316.63
k_poly_p
41
0
0
32222.85
k_t4p_n
42
1
0
32461.92
k_t4p_p
56
0
1
48659.01
Logn
29
0
0
17119.1
mA-t2-2qbf-5cnf-100var-1000cl
2
0
0
1802.01
mA-t2-2qbf-5cnf-100var-1200cl
2
0
0
1802.02
mA-t2-2qbf-5cnf-100var-1400cl
2
0
1
901.03
mA-t2-2qbf-5cnf-100var-1600cl
2
0
1
901.01
mA-t2-2qbf-5cnf-100var-1800cl
2
0
2
0.11
mA-t2-2qbf-5cnf-100var-200cl
2
2
0
1067.93
mA-t2-2qbf-5cnf-100var-400cl
2
0
0
1802.01
mA-t2-2qbf-5cnf-100var-600cl
2
0
0
1802.01
mA-t2-2qbf-5cnf-100var-800cl
2
0
0
1802.02
mA-t2-2qbf-5cnf-150var-1200cl
2
0
0
1802.02
mA-t2-2qbf-5cnf-150var-1500cl
2
0
0
1802.01
mA-t2-2qbf-5cnf-150var-1800cl
2
0
0
1802.01
mA-t2-2qbf-5cnf-150var-2100cl
2
0
0
1802.01
mA-t2-2qbf-5cnf-150var-2400cl
2
0
0
1802
mA-t2-2qbf-5cnf-150var-2700cl
2
0
2
0.11
mA-t2-2qbf-5cnf-150var-300cl
2
1
0
1326.47
mA-t2-2qbf-5cnf-150var-600cl
2
0
0
1802
mA-t2-2qbf-5cnf-150var-900cl
2
0
0
1802
mA-t2-2qbf-5cnf-50var-100cl
2
2
0
0.1
mA-t2-2qbf-5cnf-50var-200cl
2
0
0
1802.01
mA-t2-2qbf-5cnf-50var-300cl
2
0
0
1802.01
mA-t2-2qbf-5cnf-50var-400cl
2
0
0
1802
mA-t2-2qbf-5cnf-50var-500cl
2
0
1
1392.94
mA-t2-2qbf-5cnf-50var-600cl
2
0
0
1802.01
mA-t2-2qbf-5cnf-50var-700cl
2
0
0
1802.01
mA-t2-2qbf-5cnf-50var-800cl
2
0
1
901.02
mA-t2-2qbf-5cnf-50var-900cl
2
0
2
0.04
mA-t2-3qbf-5cnf-100var-1000cl
2
0
0
1802.01
mA-t2-3qbf-5cnf-100var-1200cl
2
0
0
1802.01
mA-t2-3qbf-5cnf-100var-1400cl
2
0
0
1802.01
mA-t2-3qbf-5cnf-100var-1600cl
2
0
0
1802.01
mA-t2-3qbf-5cnf-100var-1800cl
2
0
1
903.43
mA-t2-3qbf-5cnf-100var-200cl
2
2
0
0.01
mA-t2-3qbf-5cnf-100var-400cl
2
2
0
0
mA-t2-3qbf-5cnf-100var-600cl
2
2
0
0.03
mA-t2-3qbf-5cnf-100var-800cl
2
0
0
1802.01
mA-t2-3qbf-5cnf-150var-1200cl
2
0
0
1802.02
mA-t2-3qbf-5cnf-150var-1500cl
2
0
0
1802.01
mA-t2-3qbf-5cnf-150var-1800cl
2
0
0
1802.01
mA-t2-3qbf-5cnf-150var-2100cl
2
0
0
1802.02
mA-t2-3qbf-5cnf-150var-2400cl
2
0
0
1802.01
mA-t2-3qbf-5cnf-150var-2700cl
2
0
0
1802.02
mA-t2-3qbf-5cnf-150var-300cl
2
2
0
0.01
mA-t2-3qbf-5cnf-150var-600cl
2
2
0
0.03
mA-t2-3qbf-5cnf-150var-900cl
2
1
0
902.45
mA-t2-3qbf-5cnf-50var-100cl
2
2
0
0.01
mA-t2-3qbf-5cnf-50var-200cl
2
2
0
0
mA-t2-3qbf-5cnf-50var-300cl
2
2
0
0.04
mA-t2-3qbf-5cnf-50var-400cl
2
2
0
15.56
mA-t2-3qbf-5cnf-50var-500cl
2
0
0
1802.01
mA-t2-3qbf-5cnf-50var-600cl
2
0
1
1287.15
mA-t2-3qbf-5cnf-50var-700cl
2
0
2
197.4
mA-t2-3qbf-5cnf-50var-800cl
2
0
2
3.57
mA-t2-3qbf-5cnf-50var-900cl
2
0
2
0.18
mA-t2-4qbf-5cnf-100var-1000cl
2
0
0
1802
mA-t2-4qbf-5cnf-100var-1200cl
2
0
1
1282.26
mA-t2-4qbf-5cnf-100var-1400cl
2
0
2
282.58
mA-t2-4qbf-5cnf-100var-1600cl
2
0
2
0.27
mA-t2-4qbf-5cnf-100var-1800cl
2
0
2
1.37
mA-t2-4qbf-5cnf-100var-200cl
2
2
0
0.02
mA-t2-4qbf-5cnf-100var-400cl
2
0
0
1802.01
mA-t2-4qbf-5cnf-100var-600cl
2
0
0
1802.02
mA-t2-4qbf-5cnf-100var-800cl
2
0
0
1802.01
mA-t2-4qbf-5cnf-150var-1200cl
2
0
0
1802.01
mA-t2-4qbf-5cnf-150var-1500cl
2
0
0
1802.02
mA-t2-4qbf-5cnf-150var-1800cl
2
0
0
1802.01
mA-t2-4qbf-5cnf-150var-2100cl
2
0
1
932.1
mA-t2-4qbf-5cnf-150var-2400cl
2
0
2
707.54
mA-t2-4qbf-5cnf-150var-2700cl
2
0
1
1060.33
mA-t2-4qbf-5cnf-150var-300cl
2
2
0
0.03
mA-t2-4qbf-5cnf-150var-600cl
2
0
0
1802
mA-t2-4qbf-5cnf-150var-900cl
2
0
0
1802.02
mA-t2-4qbf-5cnf-50var-100cl
2
2
0
0.02
mA-t2-4qbf-5cnf-50var-200cl
2
2
0
13.57
mA-t2-4qbf-5cnf-50var-300cl
2
0
0
1802.01
mA-t2-4qbf-5cnf-50var-400cl
2
0
1
901.1
mA-t2-4qbf-5cnf-50var-500cl
2
0
2
81.82
mA-t2-4qbf-5cnf-50var-600cl
2
0
2
0.35
mA-t2-4qbf-5cnf-50var-700cl
2
0
2
0.36
mA-t2-4qbf-5cnf-50var-800cl
2
0
2
2.4
mA-t2-4qbf-5cnf-50var-900cl
2
0
2
0.35
mA-t2-5qbf-5cnf-100var-1000cl
2
0
0
1802
mA-t2-5qbf-5cnf-100var-1200cl
2
0
0
1802.02
mA-t2-5qbf-5cnf-100var-1400cl
2
0
0
1802.02
mA-t2-5qbf-5cnf-100var-1600cl
2
0
0
1802.01
mA-t2-5qbf-5cnf-100var-1800cl
2
0
0
1802.01
mA-t2-5qbf-5cnf-100var-200cl
2
2
0
0.03
mA-t2-5qbf-5cnf-100var-400cl
2
2
0
0.04
mA-t2-5qbf-5cnf-100var-600cl
2
2
0
0.03
mA-t2-5qbf-5cnf-100var-800cl
2
0
0
1802.01
mA-t2-5qbf-5cnf-150var-1200cl
2
0
0
1802.02
mA-t2-5qbf-5cnf-150var-1500cl
2
0
0
1802.02
mA-t2-5qbf-5cnf-150var-1800cl
2
0
0
1802.02
mA-t2-5qbf-5cnf-150var-2100cl
2
0
0
1802.01
mA-t2-5qbf-5cnf-150var-2400cl
2
0
0
1802.02
mA-t2-5qbf-5cnf-150var-2700cl
2
0
0
1802
mA-t2-5qbf-5cnf-150var-300cl
2
2
0
0.02
mA-t2-5qbf-5cnf-150var-600cl
2
2
0
0.02
mA-t2-5qbf-5cnf-150var-900cl
2
2
0
0.04
mA-t2-5qbf-5cnf-50var-100cl
2
2
0
0
mA-t2-5qbf-5cnf-50var-200cl
2
2
0
0.01
mA-t2-5qbf-5cnf-50var-300cl
2
2
0
0.01
mA-t2-5qbf-5cnf-50var-400cl
2
2
0
0.54
mA-t2-5qbf-5cnf-50var-500cl
2
1
0
1272.43
mA-t2-5qbf-5cnf-50var-600cl
2
0
1
1016.05
mA-t2-5qbf-5cnf-50var-700cl
2
0
2
228.73
mA-t2-5qbf-5cnf-50var-800cl
2
0
2
468.5
mA-t2-5qbf-5cnf-50var-900cl
2
0
2
22.24
mB-t2-2qbf-5cnf-100var-1000cl
2
0
2
0.02
mB-t2-2qbf-5cnf-100var-1200cl
2
0
2
0.04
mB-t2-2qbf-5cnf-100var-1400cl
2
0
2
0.03
mB-t2-2qbf-5cnf-100var-1600cl
2
0
2
0.03
mB-t2-2qbf-5cnf-100var-1800cl
2
0
2
0.03
mB-t2-2qbf-5cnf-100var-200cl
2
1
1
366.78
mB-t2-2qbf-5cnf-100var-400cl
2
0
2
4.33
mB-t2-2qbf-5cnf-100var-600cl
2
0
2
0.04
mB-t2-2qbf-5cnf-100var-800cl
2
0
2
0.06
mB-t2-2qbf-5cnf-150var-1200cl
2
0
2
0.12
mB-t2-2qbf-5cnf-150var-1500cl
2
0
2
0.06
mB-t2-2qbf-5cnf-150var-1800cl
2
0
2
0.04
mB-t2-2qbf-5cnf-150var-2100cl
2
0
2
0.04
mB-t2-2qbf-5cnf-150var-2400cl
2
0
2
0.05
mB-t2-2qbf-5cnf-150var-2700cl
2
0
2
0.04
mB-t2-2qbf-5cnf-150var-300cl
2
0
2
0.44
mB-t2-2qbf-5cnf-150var-600cl
2
0
2
0.37
mB-t2-2qbf-5cnf-150var-900cl
2
0
2
0.08
mB-t2-2qbf-5cnf-50var-100cl
2
1
1
0.07
mB-t2-2qbf-5cnf-50var-200cl
2
0
2
0.41
mB-t2-2qbf-5cnf-50var-300cl
2
0
2
0.03
mB-t2-2qbf-5cnf-50var-400cl
2
0
2
0.1
mB-t2-2qbf-5cnf-50var-500cl
2
0
2
0.03
mB-t2-2qbf-5cnf-50var-600cl
2
0
2
0.02
mB-t2-2qbf-5cnf-50var-700cl
2
0
2
0.09
mB-t2-2qbf-5cnf-50var-800cl
2
0
2
0.01
mB-t2-2qbf-5cnf-50var-900cl
2
0
2
0.02
mB-t2-3qbf-5cnf-100var-1000cl
2
0
2
0.01
mB-t2-3qbf-5cnf-100var-1200cl
2
0
2
0.01
mB-t2-3qbf-5cnf-100var-1400cl
2
0
2
0.01
mB-t2-3qbf-5cnf-100var-1600cl
2
0
2
0.02
mB-t2-3qbf-5cnf-100var-1800cl
2
0
2
0.02
mB-t2-3qbf-5cnf-100var-200cl
2
2
0
0.02
mB-t2-3qbf-5cnf-100var-400cl
2
0
2
0.02
mB-t2-3qbf-5cnf-100var-600cl
2
0
2
0.01
mB-t2-3qbf-5cnf-100var-800cl
2
0
2
0.02
mB-t2-3qbf-5cnf-150var-1200cl
2
0
2
0.04
mB-t2-3qbf-5cnf-150var-1500cl
2
0
2
0.02
mB-t2-3qbf-5cnf-150var-1800cl
2
0
2
0.02
mB-t2-3qbf-5cnf-150var-2100cl
2
0
2
0.04
mB-t2-3qbf-5cnf-150var-2400cl
2
0
2
0
mB-t2-3qbf-5cnf-150var-2700cl
2
0
2
0.04
mB-t2-3qbf-5cnf-150var-300cl
2
2
0
0
mB-t2-3qbf-5cnf-150var-600cl
2
0
2
0.07
mB-t2-3qbf-5cnf-150var-900cl
2
0
2
0.02
mB-t2-3qbf-5cnf-50var-100cl
2
2
0
0.02
mB-t2-3qbf-5cnf-50var-200cl
2
0
2
0.01
mB-t2-3qbf-5cnf-50var-300cl
2
0
2
0.02
mB-t2-3qbf-5cnf-50var-400cl
2
0
2
0.02
mB-t2-3qbf-5cnf-50var-500cl
2
0
2
0.02
mB-t2-3qbf-5cnf-50var-600cl
2
0
2
0.03
mB-t2-3qbf-5cnf-50var-700cl
2
0
2
0.02
mB-t2-3qbf-5cnf-50var-800cl
2
0
2
0.01
mB-t2-3qbf-5cnf-50var-900cl
2
0
2
0.02
mB-t2-4qbf-5cnf-100var-1000cl
2
0
2
0.04
mB-t2-4qbf-5cnf-100var-1200cl
2
0
2
0.03
mB-t2-4qbf-5cnf-100var-1400cl
2
0
2
0.04
mB-t2-4qbf-5cnf-100var-1600cl
2
0
2
0.04
mB-t2-4qbf-5cnf-100var-1800cl
2
0
2
0.04
mB-t2-4qbf-5cnf-100var-200cl
2
2
0
0.02
mB-t2-4qbf-5cnf-100var-400cl
2
0
2
0.04
mB-t2-4qbf-5cnf-100var-600cl
2
0
2
0.04
mB-t2-4qbf-5cnf-100var-800cl
2
0
2
0.04
mB-t2-4qbf-5cnf-150var-1200cl
2
0
2
0.04
mB-t2-4qbf-5cnf-150var-1500cl
2
0
2
0.03
mB-t2-4qbf-5cnf-150var-1800cl
2
0
2
0.06
mB-t2-4qbf-5cnf-150var-2100cl
2
0
2
0.06
mB-t2-4qbf-5cnf-150var-2400cl
2
0
2
0.06
mB-t2-4qbf-5cnf-150var-2700cl
2
0
2
0.06
mB-t2-4qbf-5cnf-150var-300cl
2
2
0
0.03
mB-t2-4qbf-5cnf-150var-600cl
2
0
2
0.04
mB-t2-4qbf-5cnf-150var-900cl
2
0
2
0.03
mB-t2-4qbf-5cnf-50var-100cl
2
2
0
0.02
mB-t2-4qbf-5cnf-50var-200cl
2
0
2
0.03
mB-t2-4qbf-5cnf-50var-300cl
2
0
2
0.01
mB-t2-4qbf-5cnf-50var-400cl
2
0
2
0.02
mB-t2-4qbf-5cnf-50var-500cl
2
0
2
0.04
mB-t2-4qbf-5cnf-50var-600cl
2
0
2
0.04
mB-t2-4qbf-5cnf-50var-700cl
2
0
2
0.04
mB-t2-4qbf-5cnf-50var-800cl
2
0
2
0.04
mB-t2-4qbf-5cnf-50var-900cl
2
0
2
0.04
mB-t2-5qbf-5cnf-100var-1000cl
2
0
2
0.04
mB-t2-5qbf-5cnf-100var-1200cl
2
0
2
0.03
mB-t2-5qbf-5cnf-100var-1400cl
2
0
2
0.04
mB-t2-5qbf-5cnf-100var-1600cl
2
0
2
0.04
mB-t2-5qbf-5cnf-100var-1800cl
2
0
2
0.04
mB-t2-5qbf-5cnf-100var-200cl
2
2
0
0.01
mB-t2-5qbf-5cnf-100var-400cl
2
0
2
0.01
mB-t2-5qbf-5cnf-100var-600cl
2
0
2
0.03
mB-t2-5qbf-5cnf-100var-800cl
2
0
2
0.21
mB-t2-5qbf-5cnf-150var-1200cl
2
0
2
0.05
mB-t2-5qbf-5cnf-150var-1500cl
2
0
2
0.03
mB-t2-5qbf-5cnf-150var-1800cl
2
0
2
0.02
mB-t2-5qbf-5cnf-150var-2100cl
2
0
2
0.05
mB-t2-5qbf-5cnf-150var-2400cl
2
0
2
0.05
mB-t2-5qbf-5cnf-150var-2700cl
2
0
2
0.05
mB-t2-5qbf-5cnf-150var-300cl
2
2
0
0.03
mB-t2-5qbf-5cnf-150var-600cl
2
0
2
0.02
mB-t2-5qbf-5cnf-150var-900cl
2
0
2
0.41
mB-t2-5qbf-5cnf-50var-100cl
2
2
0
0.01
mB-t2-5qbf-5cnf-50var-200cl
2
2
0
0
mB-t2-5qbf-5cnf-50var-300cl
2
0
2
0.02
mB-t2-5qbf-5cnf-50var-400cl
2
0
2
0.02
mB-t2-5qbf-5cnf-50var-500cl
2
0
2
0.01
mB-t2-5qbf-5cnf-50var-600cl
2
0
2
0.01
mB-t2-5qbf-5cnf-50var-700cl
2
0
2
0.04
mB-t2-5qbf-5cnf-50var-800cl
2
0
2
0.03
mB-t2-5qbf-5cnf-50var-900cl
2
0
2
0.04
MutexP
78
3
0
43267.78
RobotsD2
9
0
0
0.56
RobotsD3
8
0
0
0.74
RobotsD4
13
0
0
0.92
RobotsD5
8
0
0
0.6
s1196
44
0
0
6.04
s1269
52
0
0
19.6
s27
36
1
1
20305.04
s298
39
0
0
5.12
s3271
8
0
0
1.27
s3330
55
0
0
80.68
s386
53
0
0
4.25
s499
37
0
0
4509.95
s510
24
0
0
25.24
s641
49
0
0
6.54
s713
61
0
0
7.71
s820
48
0
0
12.17
SzymanskiP
65
0
6
77.2
term1
69
2
0
9277.31
Toilet
33
5
1
2655.8
ToiletA
15
1
6
150.09
ToiletC
10
3
5
1.91
ToiletG
43
7
0
0.38
Tree
53
1
5
19576.57
uclid
30
0
0
27030.11
VonNeumann
56
0
2
103.46
z4ml
61
4
1
0.99
Contact
|
Organization
|
Links
|
Citing QBFLIB
qbflib.org