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



Solver Time Result
caqe-pre15.68UNSAT
Caqe-hqspre15.87UNSAT
Qute_default30.13UNSAT
Qute_rrs30.2UNSAT
Qute_opt50030.22UNSAT
depqbf_pre_QxQBH30.77UNSAT
Hiqqer2019_3900.02FAIL
GhostQ___plain_pcnf_2019900.02FAIL
Caqe-bloqqer-qdo900.02FAIL
GhostQ___cegar_pcnf_2019900.03FAIL
Hiqqer2019_1900.03FAIL
Hiqqer2019_2900.05FAIL
depqbf_prefix_opt_qdo900.09FAIL