Results for instance s05378_PR_4_90
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Qute_default0UNSAT
Hiqqer2019_30UNSAT
Hiqqer2019_20UNSAT
Hiqqer2019_10UNSAT
caqe-pre0UNSAT
depqbf_prefix_opt_qdo0UNSAT
depqbf_pre_QxQBH0UNSAT
Caqe-hqspre0UNSAT
Caqe-bloqqer-qdo0UNSAT
Qute_opt5000UNSAT
Qute_rrs0UNSAT
GhostQ___plain_pcnf_20191.45UNSAT
GhostQ___cegar_pcnf_20191.5UNSAT