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



Solver Time Result
struqs-100UNSAT
squeezebf+struqs0SAT
qsts0UNSAT
depqbf-v30UNSAT
caqe-picosat0UNSAT
rareqs0UNSAT
qestos0UNSAT
qesto0UNSAT
AIGSolve0UNSAT
aqua-f3v0UNSAT
xb-qsts0UNSAT
aqua-s2v0UNSAT
aqua-s3o0UNSAT
xb-bid-qsts0.01UNSAT
caqe-minisat0.01UNSAT
depqbf-v20.02UNSAT
hiqqer1ldsq0.02UNSAT
hiqqer10.03UNSAT
hiqqer30.03UNSAT
depqbf-v10.03UNSAT
iprover-QBF-bloqqer0.04FAIL
iprover-QBF0.09UNSAT
ghostq-plain0.1UNSAT
ghostq-cegar0.1UNSAT