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



Solver Time Result
qsts0.72UNSAT
rareqs2.25UNSAT
depqbf-v246.01UNSAT
xb-qsts124.13UNSAT
xb-bid-qsts127.66UNSAT
qestos260.61UNSAT
iprover-QBF296.24FAIL
iprover-QBF-bloqqer315.63FAIL
depqbf-v1592.02FAIL
caqe-minisat599.69FAIL
squeezebf+struqs599.71FAIL
hiqqer1599.71FAIL
depqbf-v3599.71FAIL
struqs-10599.71FAIL
qesto599.71FAIL
caqe-picosat599.71FAIL
aqua-s2v599.76FAIL
hiqqer1ldsq599.81FAIL
hiqqer3599.81FAIL
ghostq-cegar599.81FAIL
aqua-s3o599.84FAIL
AIGSolve599.84FAIL
aqua-f3v599.85FAIL
ghostq-plain599.91FAIL