Results for instance arbiter-06-comp-error01-qbf-hardness-depth-11
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Hiqqer2019_10UNSAT
Hiqqer2019_20.59UNSAT
Hiqqer2019_30.66UNSAT
Caqe-bloqqer-qdo4.47UNSAT
depqbf_prefix_opt_qdo5.51UNSAT
caqe-pre15.82UNSAT
Caqe-hqspre15.82UNSAT
Qute_opt50021.72FAIL
Qute_default24UNSAT
GhostQ___plain_pcnf_201930.92UNSAT
depqbf_pre_QxQBH68.37UNSAT
GhostQ___cegar_pcnf_2019615.17UNSAT
Qute_rrs900.03FAIL