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



Solver Time Result
rareqs1.53UNSAT
ijtihad_v21.62UNSAT
heretiq1.62UNSAT
ijtihad_v11.63UNSAT
caqe_2017_v23.07UNSAT
rev_qfun0.18.72UNSAT
Qute_default15.72UNSAT
xb-qsts_bqsts2.046.61UNSAT
qbfrelay-limited-depqbf53.99UNSAT
prefix-opt-depqbf54.43UNSAT
xb-qsts_xbqsts1.062.04UNSAT
xb-qsts_xbqsts2.062.57UNSAT
qbfrelay181.94UNSAT
iProver-qbf-bloqqer-2017-07-27-v3196.55UNSAT
iProver-qbf-2017-07-27-v3298.5UNSAT
CUED1919_NNL471.11FAIL
CUED1919_NL472.08FAIL
QELL_unit900FAIL
Qute_random900FAIL
Qute_opt500900FAIL
QELL_default900FAIL
AIGSolve900FAIL
HQSpre_solver900FAIL
GhostQ-PG_plain900FAIL
GhostQ-PG_cegar900FAIL
dynQBF-bloqqer-hqspre900FAIL
caqe_2017_v3900FAIL
ghostq-cegar900FAIL
qesto900FAIL
caqe_2017_v1900FAIL