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



Solver Time Result
aqua-f3v0.11UNSAT
aqua-s2v0.11UNSAT
aqua-s3o0.11UNSAT
depqbf-v10.12UNSAT
rareqs0.15UNSAT
qestos0.17UNSAT
qesto0.31UNSAT
hiqqer1ldsq0.56UNSAT
hiqqer10.57UNSAT
ghostq-plain0.72UNSAT
ghostq-cegar0.74UNSAT
caqe-minisat1.31UNSAT
hiqqer31.31UNSAT
depqbf-v31.36UNSAT
xb-bid-qsts1.37UNSAT
xb-qsts1.38UNSAT
caqe-picosat1.38UNSAT
iprover-QBF-bloqqer1.41FAIL
depqbf-v22.32UNSAT
iprover-QBF2.79UNSAT
squeezebf+struqs36.62UNSAT
struqs-1038.84UNSAT
AIGSolve66.1UNSAT
qsts599.71FAIL