Results for instance dungeon_i25-m12-u3-v0.pddl_planlen=165
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
HQSpre_solver23.84UNSAT
caqe_2017_v225.95UNSAT
caqe_2017_v326.33UNSAT
Qute_default26.69UNSAT
Qute_opt50026.77UNSAT
Qute_random26.93UNSAT
AIGSolve27.58UNSAT
qbfrelay96.89UNSAT
dynQBF-bloqqer-hqspre108.7UNSAT
rev_qfun0.1896.81FAIL
xb-qsts_bqsts2.0900FAIL
QELL_unit900FAIL
QELL_default900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_xbqsts2.0900FAIL
qbfrelay-limited-depqbf900FAIL
prefix-opt-depqbf900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
qesto900FAIL
rareqs900FAIL
ghostq-cegar900FAIL
CUED1919_NL900FAIL
CUED1919_NNL900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
heretiq900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
iProver-qbf-2017-07-27-v3900FAIL
caqe_2017_v1900FAIL