Results for instance biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
depqbf-v10.11SAT
aqua-s2v0.18SAT
aqua-s3o0.18SAT
aqua-f3v0.22SAT
rareqs0.29SAT
depqbf-v30.99SAT
ghostq-plain1.01SAT
ghostq-cegar1.12SAT
caqe-picosat2.25SAT
depqbf-v22.41SAT
xb-qsts2.52SAT
xb-bid-qsts2.73SAT
qsts3.13SAT
AIGSolve4.4SAT
caqe-minisat41.48SAT
iprover-QBF-bloqqer119.69SAT
iprover-QBF523.05FAIL
qesto599.71FAIL
hiqqer1599.71FAIL
hiqqer3599.71FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
qestos599.81FAIL
hiqqer1ldsq599.81FAIL