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



Solver Time Result
Qute_opt5002.43FAIL
Caqe-bloqqer-qdo5.08UNSAT
GhostQ___cegar_pcnf_201919.77UNSAT
caqe-pre22.18UNSAT
Caqe-hqspre22.19UNSAT
Hiqqer2019_2205.54UNSAT
depqbf_pre_QxQBH295.58UNSAT
Hiqqer2019_3367.23UNSAT
Hiqqer2019_1368.96UNSAT
depqbf_prefix_opt_qdo407.78UNSAT
Qute_default900.02FAIL
Qute_rrs900.04FAIL
GhostQ___plain_pcnf_2019900.1FAIL