Results for instance biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
aqua-s2v0.3UNSAT
aqua-f3v0.31UNSAT
aqua-s3o0.31UNSAT
rareqs0.45UNSAT
qestos0.52UNSAT
hiqqer1ldsq2.46UNSAT
hiqqer12.49UNSAT
depqbf-v13.01UNSAT
depqbf-v33.88UNSAT
hiqqer35.88UNSAT
depqbf-v27.72UNSAT
caqe-picosat7.85UNSAT
xb-qsts9.02UNSAT
xb-bid-qsts9.37UNSAT
iprover-QBF11.67UNSAT
iprover-QBF-bloqqer12.46UNSAT
ghostq-plain73.88UNSAT
qesto75.55UNSAT
squeezebf+struqs360.69UNSAT
struqs-10398.67UNSAT
caqe-minisat599.7FAIL
qsts599.72FAIL
ghostq-cegar599.81FAIL
AIGSolve599.83FAIL