Results for instance k_branch_p-14
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
depqbf_prefix_opt_qdo0.06UNSAT
Hiqqer2019_33.97UNSAT
Caqe-bloqqer-qdo8.57UNSAT
caqe-pre44.91UNSAT
Caqe-hqspre45.48UNSAT
Qute_rrs50.77UNSAT
Qute_opt50052.19UNSAT
Qute_default52.46UNSAT
depqbf_pre_QxQBH58.83UNSAT
Hiqqer2019_2191.16UNSAT
GhostQ___plain_pcnf_2019900FAIL
GhostQ___cegar_pcnf_2019900.06FAIL
Hiqqer2019_1900.08FAIL