Results for instance biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qsts0.49UNSAT
rareqs1.5UNSAT
aqua-s3o15.01UNSAT
aqua-f3v34.86UNSAT
xb-qsts56.62UNSAT
xb-bid-qsts58.8UNSAT
caqe-picosat108.65UNSAT
depqbf-v1239.61UNSAT
iprover-QBF-bloqqer359.14FAIL
iprover-QBF370.13FAIL
depqbf-v2561.41UNSAT
hiqqer1ldsq599.71FAIL
depqbf-v3599.71FAIL
struqs-10599.71FAIL
qesto599.71FAIL
qestos599.71FAIL
caqe-minisat599.72FAIL
hiqqer3599.81FAIL
hiqqer1599.81FAIL
ghostq-plain599.81FAIL
ghostq-cegar599.81FAIL
squeezebf+struqs599.82FAIL
aqua-s2v599.84FAIL
AIGSolve599.84FAIL