Results for instance biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Qute_opt50027.69FAIL
Qute_rrs48.26UNSAT
Caqe-bloqqer-qdo82.86UNSAT
depqbf_pre_QxQBH127.2UNSAT
caqe-pre140.1UNSAT
Caqe-hqspre141.57UNSAT
depqbf_prefix_opt_qdo900.01FAIL
GhostQ___cegar_pcnf_2019900.01FAIL
Qute_default900.03FAIL
GhostQ___plain_pcnf_2019900.04FAIL
Hiqqer2019_3900.04FAIL
Hiqqer2019_1900.07FAIL
Hiqqer2019_2900.07FAIL