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



Solver Time Result
rareqs0.8UNSAT
ijtihad_v10.83UNSAT
ijtihad_v20.84UNSAT
heretiq0.84UNSAT
rev_qfun0.15.87UNSAT
caqe_2017_v27.61UNSAT
Qute_default11.66UNSAT
xb-qsts_bqsts2.022.3UNSAT
xb-qsts_xbqsts2.030.12UNSAT
xb-qsts_xbqsts1.030.15UNSAT
iProver-qbf-bloqqer-2017-07-27-v333.19UNSAT
qbfrelay-limited-depqbf99.76UNSAT
iProver-qbf-2017-07-27-v3178.5UNSAT
qbfrelay184.94UNSAT
CUED1919_NNL303.39FAIL
CUED1919_NL443.12FAIL
prefix-opt-depqbf476.27UNSAT
Qute_random900FAIL
Qute_opt500900FAIL
caqe_2017_v1900FAIL
AIGSolve900FAIL
QELL_unit900FAIL
QELL_default900FAIL
HQSpre_solver900FAIL
GhostQ-PG_plain900FAIL
GhostQ-PG_cegar900FAIL
dynQBF-bloqqer-hqspre900FAIL
caqe_2017_v3900FAIL
ghostq-cegar900FAIL
qesto900FAIL