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



Solver Time Result
Hiqqer2019_30UNSAT
depqbf_prefix_opt_qdo0UNSAT
Hiqqer2019_20UNSAT
Hiqqer2019_10UNSAT
GhostQ___plain_pcnf_20191.12UNSAT
Caqe-bloqqer-qdo1.46UNSAT
caqe-pre3.99UNSAT
Caqe-hqspre4.12UNSAT
Qute_opt5005.51FAIL
Qute_default5.7UNSAT
GhostQ___cegar_pcnf_201910.28UNSAT
depqbf_pre_QxQBH61.38UNSAT
Qute_rrs900.08FAIL