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_2_2_3 solved by
iprover-QBF-bloqqer
QBFEVAL'16 - Random QBFs Track.
Instance
Result
Time
Q_2-2-3_v-100-100-100_r-75.4
FAIL
55.44
Q_2-2-3_v-100-100-100_r-75.9
FAIL
55.54
Q_2-2-3_v-100-100-100_r-75.2
FAIL
55.54
Q_2-2-3_v-100-100-100_r-75.8
FAIL
55.64
Q_2-2-3_v-100-100-100_r-75.3
FAIL
55.73
Q_2-2-3_v-100-100-100_r-75.0
FAIL
55.76
Q_2-2-3_v-100-100-100_r-75.5
FAIL
55.84
Q_2-2-3_v-100-100-100_r-75.7
FAIL
55.85
Q_2-2-3_v-100-100-100_r-75.1
FAIL
55.94
Q_2-2-3_v-100-100-100_r-75.6
FAIL
55.94
Q_2-2-3_v-100-100-100_r-65.2
FAIL
90.63
Q_2-2-3_v-100-100-100_r-55.0
FAIL
289.84
Q_2-2-3_v-100-100-100_r-55.6
FAIL
294.74
Q_2-2-3_v-100-100-100_r-55.3
FAIL
309.34
Q_2-2-3_v-100-100-100_r-55.9
FAIL
310.54
Q_2-2-3_v-100-100-100_r-55.5
FAIL
312.55
Q_2-2-3_v-100-100-100_r-35.9
FAIL
317.95
Q_2-2-3_v-100-100-100_r-45.7
FAIL
319.93
Q_2-2-3_v-100-100-100_r-55.7
FAIL
323.04
Q_2-2-3_v-100-100-100_r-35.4
FAIL
329.84
Q_2-2-3_v-100-100-100_r-45.1
FAIL
348.14
Q_2-2-3_v-100-100-100_r-35.6
FAIL
351.84
Q_2-2-3_v-100-100-100_r-45.8
FAIL
357.04
Q_2-2-3_v-100-100-100_r-55.8
FAIL
359.34
Q_2-2-3_v-100-100-100_r-45.6
FAIL
364.64
Q_2-2-3_v-100-100-100_r-55.4
FAIL
365.13
Q_2-2-3_v-100-100-100_r-55.2
FAIL
373.84
Q_2-2-3_v-100-100-100_r-35.2
FAIL
374.44
Q_2-2-3_v-100-100-100_r-45.5
FAIL
384.44
Q_2-2-3_v-100-100-100_r-45.9
FAIL
384.83
Q_2-2-3_v-100-100-100_r-55.1
FAIL
388.74
Q_2-2-3_v-100-100-100_r-45.4
FAIL
393.85
Q_2-2-3_v-100-100-100_r-35.8
FAIL
404.84
Q_2-2-3_v-100-100-100_r-35.0
FAIL
410.14
Q_2-2-3_v-100-100-100_r-45.0
FAIL
415.04
Q_2-2-3_v-100-100-100_r-35.5
FAIL
417.05
Q_2-2-3_v-100-100-100_r-45.3
FAIL
438.84
Q_2-2-3_v-100-100-100_r-45.2
FAIL
446.14
Q_2-2-3_v-100-100-100_r-35.1
FAIL
457.65
Q_2-2-3_v-100-100-100_r-35.7
FAIL
459.44
Q_2-2-3_v-100-100-100_r-35.3
FAIL
465.23
Q_2-2-3_v-100-100-100_r-65.5
FAIL
517.54
Q_2-2-3_v-100-100-100_r-65.7
FAIL
599.22
Q_2-2-3_v-100-100-100_r-65.8
FAIL
599.22
Q_2-2-3_v-100-100-100_r-65.1
FAIL
599.22
Q_2-2-3_v-100-100-100_r-65.9
FAIL
599.22
Q_2-2-3_v-100-100-100_r-65.3
FAIL
599.23
Q_2-2-3_v-100-100-100_r-65.4
FAIL
599.23
Q_2-2-3_v-100-100-100_r-65.6
FAIL
599.23
Q_2-2-3_v-100-100-100_r-65.0
FAIL
599.23
Contact
|
Organization
|
Links
|
Citing QBFLIB