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



Solver Time Result
depqbf-v10.21SAT
aqua-s2v0.33SAT
aqua-s3o0.34SAT
qestos0.35SAT
aqua-f3v0.5SAT
rareqs1.25SAT
depqbf-v31.52SAT
qesto2.12SAT
depqbf-v24.01SAT
caqe-picosat4.64SAT
ghostq-plain4.81SAT
xb-qsts5.05SAT
qsts9.35SAT
AIGSolve16.81SAT
xb-bid-qsts32.06SAT
ghostq-cegar32.49SAT
iprover-QBF-bloqqer120.91SAT
iprover-QBF455.94FAIL
squeezebf+struqs599.71FAIL
caqe-minisat599.71FAIL
hiqqer3599.71FAIL
hiqqer1ldsq599.71FAIL
struqs-10599.71FAIL
hiqqer1599.81FAIL