Results for instance biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Qute_opt50021.52FAIL
Qute_rrs24.4UNSAT
depqbf_pre_QxQBH27.29UNSAT
Qute_default35.99UNSAT
Caqe-hqspre61.89UNSAT
caqe-pre61.98UNSAT
Caqe-bloqqer-qdo116.27UNSAT
depqbf_prefix_opt_qdo900.01FAIL
GhostQ___plain_pcnf_2019900.02FAIL
Hiqqer2019_3900.04FAIL
Hiqqer2019_1900.05FAIL
GhostQ___cegar_pcnf_2019900.08FAIL
Hiqqer2019_2900.1FAIL