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_3 solved by
CUED1919_NL
QBFEVAL'17 - Random QBFs Track
Instance
Result
Time
Q_3-3-3_v-100-100-100_r-30.6
FAIL
288.8
Q_3-3-3_v-100-100-100_r-30.1
FAIL
318.31
Q_3-3-3_v-100-100-100_r-40.6
FAIL
330.24
Q_3-3-3_v-100-100-100_r-30.4
FAIL
332.05
Q_3-3-3_v-100-100-100_r-30.0
FAIL
332.81
Q_3-3-3_v-100-100-100_r-30.9
FAIL
332.9
Q_3-3-3_v-100-100-100_r-70.9
FAIL
334.23
Q_3-3-3_v-100-100-100_r-40.0
FAIL
334.73
Q_3-3-3_v-100-100-100_r-70.8
FAIL
335.75
Q_3-3-3_v-100-100-100_r-50.8
FAIL
336.27
Q_3-3-3_v-100-100-100_r-50.5
FAIL
338.62
Q_3-3-3_v-100-100-100_r-40.8
FAIL
338.64
Q_3-3-3_v-100-100-100_r-40.7
FAIL
340.3
Q_3-3-3_v-100-100-100_r-50.9
FAIL
341.94
Q_3-3-3_v-100-100-100_r-50.2
FAIL
343.56
Q_3-3-3_v-100-100-100_r-30.5
FAIL
347.77
Q_3-3-3_v-100-100-100_r-50.3
FAIL
348.52
Q_3-3-3_v-100-100-100_r-40.3
FAIL
349.34
Q_3-3-3_v-100-100-100_r-50.6
FAIL
349.8
Q_3-3-3_v-100-100-100_r-50.7
FAIL
351.52
Q_3-3-3_v-100-100-100_r-40.1
FAIL
354.8
Q_3-3-3_v-100-100-100_r-50.0
FAIL
355.08
Q_3-3-3_v-100-100-100_r-40.9
FAIL
357.85
Q_3-3-3_v-100-100-100_r-30.2
FAIL
359.04
Q_3-3-3_v-100-100-100_r-40.4
FAIL
360.2
Q_3-3-3_v-100-100-100_r-60.7
FAIL
360.24
Q_3-3-3_v-100-100-100_r-60.8
FAIL
362.5
Q_3-3-3_v-100-100-100_r-60.3
FAIL
364.81
Q_3-3-3_v-100-100-100_r-60.1
FAIL
365.36
Q_3-3-3_v-100-100-100_r-30.7
FAIL
365.93
Q_3-3-3_v-100-100-100_r-70.1
FAIL
367.66
Q_3-3-3_v-100-100-100_r-70.0
FAIL
368.12
Q_3-3-3_v-100-100-100_r-50.1
FAIL
368.83
Q_3-3-3_v-100-100-100_r-60.2
FAIL
370.63
Q_3-3-3_v-100-100-100_r-70.7
FAIL
377.35
Q_3-3-3_v-100-100-100_r-60.0
FAIL
381.49
Q_3-3-3_v-100-100-100_r-30.3
FAIL
382.57
Q_3-3-3_v-100-100-100_r-70.3
FAIL
384.51
Q_3-3-3_v-100-100-100_r-60.4
FAIL
387.95
Q_3-3-3_v-100-100-100_r-70.2
FAIL
389.15
Q_3-3-3_v-100-100-100_r-70.6
FAIL
391.09
Q_3-3-3_v-100-100-100_r-40.5
FAIL
395.12
Q_3-3-3_v-100-100-100_r-70.4
FAIL
396.19
Q_3-3-3_v-100-100-100_r-30.8
FAIL
412.64
Q_3-3-3_v-100-100-100_r-50.4
FAIL
418.97
Q_3-3-3_v-100-100-100_r-60.6
FAIL
421.2
Q_3-3-3_v-100-100-100_r-40.2
FAIL
424.99
Q_3-3-3_v-100-100-100_r-60.9
FAIL
426.4
Q_3-3-3_v-100-100-100_r-70.5
FAIL
428.94
Q_3-3-3_v-100-100-100_r-60.5
FAIL
484.01
Contact
|
Organization
|
Links
|
Citing QBFLIB