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 dungeon
QBFEVAL'19 - Prenex CNF Track
Instance
Solver
Result
Time
dungeon_i15-m7-u4-v0.pddl_planlen=168
caqe-pre
UNSAT
17.18
dungeon_i15-m7-u4-v0.pddl_planlen=81
Hiqqer2019_3
UNSAT
6.34
dungeon_i25-m12-u3-v0.pddl_planlen=125
caqe-pre
UNSAT
16.89
dungeon_i25-m12-u3-v0.pddl_planlen=130
caqe-pre
UNSAT
14.97
dungeon_i25-m12-u3-v0.pddl_planlen=146
Caqe-hqspre
UNSAT
15.66
dungeon_i25-m12-u3-v0.pddl_planlen=165
caqe-pre
UNSAT
15.68
dungeon_i25-m12-u3-v0.pddl_planlen=190
Caqe-hqspre
UNSAT
25.41
dungeon_i25-m12-u3-v0.pddl_planlen=72
Caqe-hqspre
UNSAT
10.6
dungeon_i25-m12-u5-v0.pddl_planlen=128
Caqe-hqspre
UNSAT
26.6
dungeon_i25-m12-u5-v0.pddl_planlen=143
caqe-pre
UNSAT
28.98
dungeon_i25-m12-u5-v0.pddl_planlen=170
Caqe-hqspre
UNSAT
33.08
dungeon_i25-m12-u5-v0.pddl_planlen=197
Caqe-hqspre
UNSAT
36.97
dungeon_i25-m12-u5-v0.pddl_planlen=198
caqe-pre
UNSAT
37.38
dungeon_i25-m12-u5-v0.pddl_planlen=199
Caqe-hqspre
UNSAT
37.57
dungeon_i25-m12-u5-v0.pddl_planlen=200
caqe-pre
UNSAT
37.88
dungeon_i25-m12-u5-v0.pddl_planlen=59
Qute_default
UNSAT
15.34
dungeon_i25-m12-u5-v0.pddl_planlen=65
Qute_default
UNSAT
16.68
dungeon_i25-m12-u5-v0.pddl_planlen=81
caqe-pre
UNSAT
19.91
dungeon_i25-m12-u5-v0.pddl_planlen=86
caqe-pre
UNSAT
20.45
dungeon_i25-m12-u5-v0.pddl_planlen=92
caqe-pre
UNSAT
21.22
dungeon_i25-m12-u5-v0.pddl_planlen=98
caqe-pre
UNSAT
22.07
Contact
|
Organization
|
Links
|
Citing QBFLIB