Results for instance klieber2017q-088-22-t1
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Qute_opt5000.72FAIL
Qute_default0.86UNSAT
Caqe-bloqqer-qdo1.78UNSAT
Caqe-hqspre2.07UNSAT
caqe-pre2.08UNSAT
GhostQ___cegar_pcnf_201918.5UNSAT
Hiqqer2019_267.14UNSAT
depqbf_prefix_opt_qdo128.36UNSAT
Hiqqer2019_1219.74UNSAT
Hiqqer2019_3220.42UNSAT
GhostQ___plain_pcnf_2019900.01FAIL
depqbf_pre_QxQBH900.03FAIL
Qute_rrs900.07FAIL