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



Solver Time Result
qsts1.12UNSAT
rareqs3.26UNSAT
qestos20.75UNSAT
iprover-QBF192.03FAIL
xb-qsts422.23UNSAT
xb-bid-qsts459.15UNSAT
iprover-QBF-bloqqer493.73FAIL
depqbf-v1592.02FAIL
depqbf-v2592.32FAIL
caqe-picosat599.58FAIL
qesto599.61FAIL
caqe-minisat599.65FAIL
struqs-10599.72FAIL
AIGSolve599.72FAIL
depqbf-v3599.81FAIL
hiqqer1599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer3599.81FAIL
squeezebf+struqs599.81FAIL
aqua-f3v599.85FAIL
aqua-s3o599.85FAIL
aqua-s2v599.9FAIL
ghostq-plain599.91FAIL
ghostq-cegar599.92FAIL