Results for instance biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
rareqs0.86UNSAT
caqe_2017_v22.32UNSAT
rev_qfun0.15.16UNSAT
prefix-opt-depqbf8.07UNSAT
qbfrelay-limited-depqbf8.33UNSAT
Qute_default13.02UNSAT
xb-qsts_bqsts2.019.02UNSAT
xb-qsts_xbqsts2.024.83UNSAT
xb-qsts_xbqsts1.025.12UNSAT
heretiq37.46UNSAT
CUED1919_NNL176.12FAIL
CUED1919_NL530.09FAIL
QELL_default587.99UNSAT
qbfrelay877.98FAIL
QELL_unit900FAIL
Qute_opt500900FAIL
Qute_random900FAIL
AIGSolve900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
qesto900FAIL
ghostq-cegar900FAIL
caqe_2017_v3900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
iProver-qbf-2017-07-27-v3900FAIL
caqe_2017_v1900FAIL