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
Instances of family q2k3k3 solved by
nenofex-qbfeval10
QBFEVAL'10 - Random QBFs Track.
Instance
Result
Time
Qq2k3k3v20v20m80s3
SAT
4.42
Qq2k3k3v20v20m80s7
SAT
22.49
Qq2k3k3v20v20m80s2
SAT
33.94
Qq2k3k3v20v20m80s4
SAT
36.15
Qq2k3k3v20v20m80s1
SAT
37.11
Qq2k3k3v20v20m80s8
SAT
55.87
Qq2k3k3v20v20m80s6
SAT
64.1
Qq2k3k3v20v20m80s10
SAT
64.38
Qq2k3k3v20v20m80s9
SAT
66.94
Qq2k3k3v20v20m80s5
SAT
71.49
Qq2k3k3v20v20m400s6
FAIL
82.71
Qq2k3k3v20v20m400s8
FAIL
83.26
Qq2k3k3v50v50m1000s3
FAIL
84.61
Qq2k3k3v50v50m1000s10
FAIL
85.21
Qq2k3k3v50v50m1000s2
FAIL
87.97
Qq2k3k3v20v20m400s2
FAIL
89.39
Qq2k3k3v20v20m400s4
FAIL
89.65
Qq2k3k3v20v20m400s9
FAIL
90.2
Qq2k3k3v50v50m600s6
FAIL
90.5
Qq2k3k3v50v50m600s10
FAIL
91.82
Qq2k3k3v50v50m600s9
FAIL
92.77
Qq2k3k3v50v50m900s8
FAIL
93.17
Qq2k3k3v20v20m400s5
FAIL
93.18
Qq2k3k3v50v50m700s3
FAIL
96.85
Qq2k3k3v50v50m700s2
FAIL
98.41
Qq2k3k3v20v20m400s7
FAIL
98.48
Qq2k3k3v50v50m700s7
FAIL
98.92
Qq2k3k3v20v20m320s4
FAIL
99.18
Qq2k3k3v50v50m700s8
FAIL
99.54
Qq2k3k3v50v50m700s10
FAIL
100
Qq2k3k3v50v50m700s9
FAIL
100.01
Qq2k3k3v50v50m700s5
FAIL
100.75
Qq2k3k3v50v50m400s4
FAIL
100.93
Qq2k3k3v50v50m400s1
FAIL
101.53
Qq2k3k3v50v50m400s10
FAIL
102.2
Qq2k3k3v50v50m500s5
FAIL
102.25
Qq2k3k3v20v20m360s7
FAIL
102.39
Qq2k3k3v50v50m1000s7
FAIL
103.29
Qq2k3k3v50v50m1000s1
FAIL
103.71
Qq2k3k3v50v50m400s9
FAIL
103.98
Qq2k3k3v50v50m1000s4
FAIL
104.56
Qq2k3k3v50v50m600s1
FAIL
104.61
Qq2k3k3v50v50m1000s5
FAIL
105.9
Qq2k3k3v50v50m600s4
FAIL
106.02
Qq2k3k3v50v50m600s7
FAIL
106.32
Qq2k3k3v20v20m320s9
FAIL
106.57
Qq2k3k3v50v50m600s8
FAIL
106.91
Qq2k3k3v50v50m600s5
FAIL
107.02
Qq2k3k3v50v50m1000s8
FAIL
107.28
Qq2k3k3v50v50m300s4
FAIL
107.33
Qq2k3k3v50v50m900s4
FAIL
107.46
Qq2k3k3v50v50m1000s6
FAIL
108.51
Qq2k3k3v50v50m600s3
FAIL
108.79
Qq2k3k3v50v50m1000s9
FAIL
109.36
Qq2k3k3v20v20m360s2
FAIL
109.59
Qq2k3k3v50v50m600s2
FAIL
110.56
Qq2k3k3v50v50m300s10
FAIL
111.44
Qq2k3k3v50v50m300s8
FAIL
112.06
Qq2k3k3v20v20m320s7
FAIL
112.31
Qq2k3k3v50v50m500s8
FAIL
112.33
Qq2k3k3v50v50m800s2
FAIL
112.46
Qq2k3k3v50v50m800s9
FAIL
112.68
Qq2k3k3v20v20m360s5
FAIL
114.08
Qq2k3k3v50v50m800s10
FAIL
114.36
Qq2k3k3v50v50m300s5
FAIL
114.74
Qq2k3k3v20v20m320s6
FAIL
114.84
Qq2k3k3v50v50m400s7
FAIL
115.1
Qq2k3k3v20v20m280s10
FAIL
115.3
Qq2k3k3v20v20m360s9
FAIL
115.4
Qq2k3k3v50v50m800s8
FAIL
116.2
Qq2k3k3v50v50m300s6
FAIL
116.34
Qq2k3k3v50v50m900s6
FAIL
116.72
Qq2k3k3v50v50m700s4
FAIL
117.48
Qq2k3k3v50v50m900s1
FAIL
117.48
Qq2k3k3v50v50m700s6
FAIL
118.08
Qq2k3k3v50v50m700s1
FAIL
118.42
Qq2k3k3v50v50m400s8
FAIL
118.48
Qq2k3k3v20v20m280s4
FAIL
118.5
Qq2k3k3v20v20m320s8
FAIL
119.19
Qq2k3k3v20v20m120s7
SAT
119.26
Qq2k3k3v50v50m900s5
FAIL
119.75
Qq2k3k3v20v20m280s9
FAIL
120.07
Qq2k3k3v50v50m800s4
FAIL
120.3
Qq2k3k3v50v50m400s6
FAIL
121.13
Qq2k3k3v50v50m400s3
FAIL
121.29
Qq2k3k3v50v50m400s5
FAIL
121.9
Qq2k3k3v50v50m500s3
FAIL
122.95
Qq2k3k3v50v50m500s1
FAIL
123.4
Qq2k3k3v50v50m900s7
FAIL
124.1
Qq2k3k3v50v50m500s7
FAIL
124.78
Qq2k3k3v50v50m900s9
FAIL
125
Qq2k3k3v20v20m360s4
FAIL
125.49
Qq2k3k3v50v50m500s10
FAIL
125.51
Qq2k3k3v50v50m400s2
FAIL
126.66
Qq2k3k3v20v20m360s6
FAIL
126.84
Qq2k3k3v20v20m280s7
FAIL
126.96
Qq2k3k3v20v20m320s1
FAIL
129.28
Qq2k3k3v20v20m400s1
FAIL
129.55
Qq2k3k3v50v50m800s6
FAIL
129.87
Qq2k3k3v20v20m320s10
FAIL
129.87
Qq2k3k3v50v50m500s4
FAIL
129.9
Qq2k3k3v20v20m360s10
FAIL
130.36
Qq2k3k3v50v50m300s1
FAIL
130.8
Qq2k3k3v50v50m800s7
FAIL
131.39
Qq2k3k3v20v20m280s8
FAIL
132.63
Qq2k3k3v50v50m500s2
FAIL
133.96
Qq2k3k3v50v50m200s6
FAIL
134.11
Qq2k3k3v20v20m400s10
FAIL
134.18
Qq2k3k3v50v50m200s4
FAIL
134.19
Qq2k3k3v100v100m1400s2
FAIL
134.8
Qq2k3k3v20v20m240s9
FAIL
134.83
Qq2k3k3v50v50m800s3
FAIL
134.99
Qq2k3k3v100v100m1400s4
FAIL
135.44
Qq2k3k3v50v50m800s5
FAIL
135.46
Qq2k3k3v100v100m1400s8
FAIL
135.52
Qq2k3k3v100v100m1400s5
FAIL
136.3
Qq2k3k3v50v50m300s9
FAIL
136.77
Qq2k3k3v50v50m800s1
FAIL
137.34
Qq2k3k3v100v100m1400s1
FAIL
137.41
Qq2k3k3v20v20m320s2
FAIL
138.75
Qq2k3k3v100v100m1400s6
FAIL
138.93
Qq2k3k3v20v20m400s3
FAIL
139.97
Qq2k3k3v100v100m1600s4
FAIL
140.17
Qq2k3k3v50v50m300s7
FAIL
140.17
Qq2k3k3v100v100m1600s10
FAIL
140.17
Qq2k3k3v50v50m500s9
FAIL
141.09
Qq2k3k3v50v50m900s10
FAIL
141.31
Qq2k3k3v20v20m120s2
SAT
141.64
Qq2k3k3v100v100m1600s9
FAIL
141.91
Qq2k3k3v100v100m1600s6
FAIL
142.39
Qq2k3k3v50v50m300s3
FAIL
142.49
Qq2k3k3v100v100m1600s1
FAIL
142.68
Qq2k3k3v20v20m360s3
FAIL
144
Qq2k3k3v50v50m500s6
FAIL
144.36
Qq2k3k3v50v50m900s3
FAIL
144.41
Qq2k3k3v100v100m800s1
FAIL
145.67
Qq2k3k3v100v100m800s4
FAIL
145.81
Qq2k3k3v100v100m800s10
FAIL
145.92
Qq2k3k3v100v100m800s9
FAIL
146.85
Qq2k3k3v100v100m800s8
FAIL
146.98
Qq2k3k3v50v50m900s2
FAIL
147.39
Qq2k3k3v20v20m360s8
FAIL
148.43
Qq2k3k3v100v100m800s5
FAIL
151.05
Qq2k3k3v50v50m200s8
FAIL
151.29
Qq2k3k3v50v50m200s10
FAIL
151.85
Qq2k3k3v100v100m1400s10
FAIL
152.49
Qq2k3k3v50v50m300s2
FAIL
153.04
Qq2k3k3v20v20m120s3
SAT
153.33
Qq2k3k3v100v100m400s7
FAIL
154.5
Qq2k3k3v20v20m320s5
FAIL
154.5
Qq2k3k3v100v100m1800s10
FAIL
154.52
Qq2k3k3v20v20m280s2
FAIL
155.29
Qq2k3k3v100v100m1400s3
FAIL
155.74
Qq2k3k3v100v100m1400s9
FAIL
155.84
Qq2k3k3v100v100m1400s7
FAIL
157.14
Qq2k3k3v100v100m1800s9
FAIL
158.73
Qq2k3k3v50v50m200s5
FAIL
159.75
Qq2k3k3v100v100m1800s1
FAIL
159.97
Qq2k3k3v20v20m280s1
FAIL
160.17
Qq2k3k3v100v100m1600s2
FAIL
162.68
Qq2k3k3v100v100m1800s2
FAIL
162.97
Qq2k3k3v20v20m120s4
SAT
163.03
Qq2k3k3v100v100m1600s5
FAIL
163.79
Qq2k3k3v100v100m1600s3
FAIL
164.35
Qq2k3k3v100v100m1600s7
FAIL
164.87
Qq2k3k3v100v100m1000s1
FAIL
166.23
Qq2k3k3v50v50m200s1
FAIL
166.32
Qq2k3k3v100v100m1200s4
FAIL
166.65
Qq2k3k3v20v20m320s3
FAIL
166.77
Qq2k3k3v100v100m800s2
FAIL
166.8
Qq2k3k3v100v100m800s6
FAIL
168.82
Qq2k3k3v100v100m1600s8
FAIL
169.25
Qq2k3k3v100v100m1000s4
FAIL
169.49
Qq2k3k3v100v100m800s3
FAIL
170.05
Qq2k3k3v100v100m800s7
FAIL
170.07
Qq2k3k3v100v100m1000s9
FAIL
170.19
Qq2k3k3v100v100m400s8
FAIL
170.28
Qq2k3k3v100v100m1000s2
FAIL
170.33
Qq2k3k3v20v20m280s6
FAIL
171.6
Qq2k3k3v100v100m1200s1
FAIL
174.77
Qq2k3k3v20v20m120s6
SAT
175.75
Qq2k3k3v100v100m2000s3
FAIL
176.9
Qq2k3k3v20v20m360s1
FAIL
178.2
Qq2k3k3v100v100m2000s7
FAIL
178.48
Qq2k3k3v100v100m2000s6
FAIL
178.58
Qq2k3k3v100v100m2000s4
FAIL
178.7
Qq2k3k3v100v100m2000s2
FAIL
179.14
Qq2k3k3v50v50m200s7
FAIL
179.35
Qq2k3k3v20v20m240s2
FAIL
179.95
Qq2k3k3v100v100m1800s4
FAIL
180.64
Qq2k3k3v100v100m1800s7
FAIL
181.04
Qq2k3k3v20v20m240s5
FAIL
182.09
Qq2k3k3v100v100m1800s5
FAIL
182.95
Qq2k3k3v20v20m120s10
SAT
184.08
Qq2k3k3v100v100m1800s3
FAIL
185.47
Qq2k3k3v100v100m1800s6
FAIL
185.6
Qq2k3k3v100v100m400s6
FAIL
186.1
Qq2k3k3v100v100m400s4
FAIL
186.98
Qq2k3k3v20v20m240s7
FAIL
186.98
Qq2k3k3v100v100m1800s8
FAIL
187.78
Qq2k3k3v20v20m120s1
SAT
189.24
Qq2k3k3v100v100m400s9
FAIL
189.24
Qq2k3k3v20v20m280s5
FAIL
190.48
Qq2k3k3v20v20m280s3
FAIL
190.96
Qq2k3k3v100v100m400s3
FAIL
191.9
Qq2k3k3v100v100m1000s6
FAIL
192.1
Qq2k3k3v20v20m120s9
SAT
192.28
Qq2k3k3v100v100m400s2
FAIL
192.28
Qq2k3k3v100v100m1200s2
FAIL
192.67
Qq2k3k3v100v100m1000s7
FAIL
192.74
Qq2k3k3v100v100m1200s3
FAIL
193.85
Qq2k3k3v100v100m400s1
FAIL
194.21
Qq2k3k3v100v100m600s10
FAIL
194.57
Qq2k3k3v100v100m1200s7
FAIL
194.58
Qq2k3k3v100v100m1000s10
FAIL
195.6
Qq2k3k3v100v100m1000s3
FAIL
196.41
Qq2k3k3v100v100m1000s5
FAIL
197.08
Qq2k3k3v100v100m1200s9
FAIL
197.43
Qq2k3k3v100v100m600s5
FAIL
197.72
Qq2k3k3v100v100m1200s5
FAIL
197.73
Qq2k3k3v50v50m200s3
FAIL
197.76
Qq2k3k3v100v100m600s7
FAIL
198.08
Qq2k3k3v100v100m1000s8
FAIL
198.52
Qq2k3k3v100v100m1200s10
FAIL
198.52
Qq2k3k3v100v100m1200s6
FAIL
199
Qq2k3k3v100v100m2000s10
FAIL
200.13
Qq2k3k3v100v100m1200s8
FAIL
200.49
Qq2k3k3v100v100m600s1
FAIL
200.54
Qq2k3k3v100v100m600s6
FAIL
200.72
Qq2k3k3v100v100m2000s9
FAIL
202.45
Qq2k3k3v100v100m2000s5
FAIL
202.53
Qq2k3k3v100v100m2000s1
FAIL
202.63
Qq2k3k3v100v100m2000s8
FAIL
203.14
Qq2k3k3v50v50m200s2
FAIL
209.27
Qq2k3k3v20v20m120s8
SAT
210.78
Qq2k3k3v20v20m240s6
FAIL
216.34
Qq2k3k3v20v20m120s5
SAT
219.85
Qq2k3k3v100v100m600s8
FAIL
221.22
Qq2k3k3v100v100m600s9
FAIL
227.09
Qq2k3k3v100v100m600s3
FAIL
228.43
Qq2k3k3v100v100m600s2
FAIL
229.27
Qq2k3k3v100v100m600s4
FAIL
231.57
Qq2k3k3v50v50m200s9
FAIL
245.24
Qq2k3k3v20v20m240s8
FAIL
246.94
Qq2k3k3v20v20m240s10
FAIL
263.84
Qq2k3k3v100v100m400s5
FAIL
280.14
Qq2k3k3v100v100m400s10
FAIL
282.72
Qq2k3k3v20v20m240s1
FAIL
420.66
Qq2k3k3v20v20m240s4
FAIL
432.95
Qq2k3k3v20v20m160s7
SAT
453.6
Qq2k3k3v20v20m200s9
FAIL
463.74
Qq2k3k3v20v20m200s6
FAIL
489.07
Qq2k3k3v20v20m240s3
FAIL
525.9
Qq2k3k3v20v20m160s3
SAT
526.28
Qq2k3k3v20v20m160s2
SAT
560.11
Qq2k3k3v20v20m160s10
SAT
566.77
Qq2k3k3v20v20m160s4
SAT
572.85
Qq2k3k3v20v20m160s1
SAT
630.86
Qq2k3k3v20v20m160s5
SAT
677.22
Qq2k3k3v20v20m160s8
SAT
744.95
Qq2k3k3v20v20m160s9
SAT
810.85
Qq2k3k3v20v20m160s6
SAT
997.25
Qq2k3k3v20v20m200s5
FAIL
1082.66
Qq2k3k3v20v20m200s7
FAIL
1200.23
Qq2k3k3v20v20m200s8
FAIL
1200.23
Qq2k3k3v20v20m200s2
FAIL
1200.23
Qq2k3k3v20v20m200s3
FAIL
1200.24
Qq2k3k3v20v20m200s4
FAIL
1200.24
Qq2k3k3v20v20m200s1
FAIL
1200.25
Qq2k3k3v20v20m200s10
FAIL
1200.26
Contact
|
Organization
|
Links
|
Citing QBFLIB