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 Q_3_3 solved by
iprover-QBF-bloqqer
QBFEVAL'16 - Random QBFs Track.
Instance
Result
Time
Q_3-3_v-100-100_r-17.0
FAIL
240.54
Q_3-3_v-100-100_r-19.7
FAIL
243.84
Q_3-3_v-100-100_r-19.3
FAIL
244.64
Q_3-3_v-100-100_r-15.0
FAIL
249.24
Q_3-3_v-100-100_r-19.5
FAIL
250.85
Q_3-3_v-100-100_r-19.9
FAIL
251.64
Q_3-3_v-100-100_r-19.6
FAIL
252.14
Q_3-3_v-100-100_r-15.8
FAIL
252.34
Q_3-3_v-100-100_r-19.2
FAIL
255.54
Q_3-3_v-100-100_r-19.4
FAIL
258.24
Q_3-3_v-100-100_r-15.1
FAIL
262.74
Q_3-3_v-100-100_r-17.5
FAIL
264.54
Q_3-3_v-100-100_r-17.2
FAIL
266.74
Q_3-3_v-100-100_r-15.7
FAIL
271.35
Q_3-3_v-100-100_r-15.9
FAIL
271.44
Q_3-3_v-100-100_r-19.1
FAIL
272.04
Q_3-3_v-100-100_r-17.6
FAIL
273.54
Q_3-3_v-100-100_r-15.4
FAIL
276.16
Q_3-3_v-100-100_r-13.5
FAIL
277.25
Q_3-3_v-100-100_r-17.8
FAIL
277.84
Q_3-3_v-100-100_r-17.3
FAIL
277.84
Q_3-3_v-100-100_r-15.2
FAIL
279.14
Q_3-3_v-100-100_r-13.9
FAIL
279.46
Q_3-3_v-100-100_r-15.6
FAIL
279.55
Q_3-3_v-100-100_r-19.0
FAIL
281.25
Q_3-3_v-100-100_r-17.7
FAIL
282.14
Q_3-3_v-100-100_r-13.8
FAIL
285.34
Q_3-3_v-100-100_r-17.1
FAIL
286.05
Q_3-3_v-100-100_r-17.4
FAIL
286.44
Q_3-3_v-100-100_r-13.3
FAIL
289.35
Q_3-3_v-100-100_r-19.8
FAIL
290.75
Q_3-3_v-100-100_r-15.3
FAIL
295.24
Q_3-3_v-100-100_r-15.5
FAIL
297.05
Q_3-3_v-100-100_r-13.0
FAIL
301.04
Q_3-3_v-100-100_r-11.9
FAIL
302.94
Q_3-3_v-100-100_r-13.1
FAIL
304.94
Q_3-3_v-100-100_r-11.8
FAIL
307.24
Q_3-3_v-100-100_r-13.7
FAIL
310.14
Q_3-3_v-100-100_r-11.7
FAIL
311.14
Q_3-3_v-100-100_r-13.4
FAIL
311.94
Q_3-3_v-100-100_r-11.2
FAIL
312.64
Q_3-3_v-100-100_r-13.6
FAIL
313.04
Q_3-3_v-100-100_r-11.5
FAIL
319.44
Q_3-3_v-100-100_r-17.9
FAIL
320.15
Q_3-3_v-100-100_r-11.3
FAIL
324.14
Q_3-3_v-100-100_r-13.2
FAIL
324.15
Q_3-3_v-100-100_r-11.6
FAIL
325.14
Q_3-3_v-100-100_r-11.1
FAIL
328.84
Q_3-3_v-100-100_r-11.0
FAIL
348.24
Q_3-3_v-100-100_r-11.4
FAIL
388.84
Contact
|
Organization
|
Links
|
Citing QBFLIB