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



Solver Time Result
rareqs1UNSAT
qestos1.13UNSAT
aqua-s2v3.72UNSAT
aqua-s3o3.97UNSAT
aqua-f3v5.43UNSAT
depqbf-v123.41UNSAT
xb-qsts32.17UNSAT
xb-bid-qsts33.15UNSAT
iprover-QBF-bloqqer34.15UNSAT
depqbf-v334.58UNSAT
caqe-picosat45.08UNSAT
hiqqer1ldsq71.59UNSAT
hiqqer172.44UNSAT
hiqqer388.36UNSAT
qesto211.8UNSAT
iprover-QBF363.27UNSAT
depqbf-v2534.52UNSAT
struqs-10599.71FAIL
ghostq-cegar599.71FAIL
qsts599.72FAIL
AIGSolve599.75FAIL
caqe-minisat599.8FAIL
squeezebf+struqs599.81FAIL
ghostq-plain599.91FAIL