Results for instance klieber2017q-082-20-t1
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Caqe-bloqqer-qdo1.46UNSAT
Qute_opt5002.88FAIL
Caqe-hqspre5.95UNSAT
caqe-pre5.99UNSAT
GhostQ___cegar_pcnf_20196.59UNSAT
Hiqqer2019_3233.04UNSAT
Hiqqer2019_1234.24UNSAT
depqbf_prefix_opt_qdo386.98UNSAT
Hiqqer2019_2801.01UNSAT
Qute_default900.03FAIL
depqbf_pre_QxQBH900.04FAIL
GhostQ___plain_pcnf_2019900.05FAIL
Qute_rrs900.06FAIL