Results for instance biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
rareqs1.26UNSAT
rev_qfun0.17.03UNSAT
Qute_default25.61UNSAT
xb-qsts_bqsts2.030.64UNSAT
xb-qsts_xbqsts1.043.9UNSAT
xb-qsts_xbqsts2.044.59UNSAT
iProver-qbf-bloqqer-2017-07-27-v362.39UNSAT
CUED1919_NL427.24FAIL
qbfrelay661.23FAIL
CUED1919_NNL736.01FAIL
qbfrelay-limited-depqbf887.71FAIL
prefix-opt-depqbf900FAIL
QELL_default900FAIL
QELL_unit900FAIL
Qute_opt500900FAIL
Qute_random900FAIL
AIGSolve900FAIL
iProver-qbf-2017-07-27-v3900FAIL
qesto900FAIL
ghostq-cegar900FAIL
caqe_2017_v2900FAIL
caqe_2017_v3900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
heretiq900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
caqe_2017_v1900FAIL