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
Sota solver results for family Planning-CTE
QBFEVAL'18 - Prenex CNF Track
Instance
Solver
Result
Time
depots03_9
Heretiq-cube
UNSAT
2.95
depots07_8
ijtihad
UNSAT
4.42
depots08_6
ijtihad
UNSAT
30.46
depots09_11
Iprover-HQSpre-Bloqqer
UNSAT
172.14
depots09_12
Iprover-HQSpre-Bloqqer
UNSAT
171.96
depots09_13
Iprover-HQSpre-Bloqqer
UNSAT
148.62
depots13_9
ijtihad
SAT
41.16
depots16_5
Iprover-HQSpre-Bloqqer
UNSAT
28.31
driverlog10_6
Heretiq-cube
UNSAT
0.33
freecell02_4
Iprover-HQSpre-Bloqqer
UNSAT
36.49
freecell02_6
Caqe-hqspre
UNSAT
61.88
freecell03_5
Caqe-hqspre
UNSAT
107.77
freecell03_6
Caqe-hqspre
UNSAT
108.02
freecell03_7
Iprover-HQSpre-Bloqqer
SAT
166.61
pipesnotankage11_8
Iprover-HQSpre-Bloqqer
UNSAT
21.49
pipesnotankage13_5
Iprover-HQSpre-Bloqqer
UNSAT
21.47
pipesnotankage14_10
Iprover-HQSpre-Bloqqer
UNSAT
50.25
pipesnotankage15_10
Iprover-HQSpre-Bloqqer
UNSAT
50.49
pipesnotankage16_10
Iprover-HQSpre-Bloqqer
UNSAT
46.78
pipesnotankage17_5
Iprover-HQSpre-Bloqqer
UNSAT
62.41
pipesnotankage17_6
Caqe-hqspre
UNSAT
65.59
pipesnotankage17_7
Iprover-HQSpre-Bloqqer
UNSAT
67.77
pipesnotankage18_7
Iprover-HQSpre-Bloqqer
UNSAT
133.48
pipesnotankage18_8
Iprover-HQSpre-Bloqqer
UNSAT
133.53
pipesnotankage19_7
Caqe-hqspre
UNSAT
166.99
pipesnotankage19_9
Iprover-HQSpre-Bloqqer
UNSAT
213.9
Contact
|
Organization
|
Links
|
Citing QBFLIB