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



Solver Time Result
depqbf-v10.1SAT
aqua-s2v0.12SAT
aqua-s3o0.12SAT
aqua-f3v0.13SAT
rareqs0.29SAT
ghostq-plain0.59SAT
depqbf-v30.59SAT
ghostq-cegar0.81SAT
xb-qsts1.23SAT
caqe-minisat1.28SAT
depqbf-v21.31SAT
caqe-picosat1.32SAT
qsts1.6SAT
AIGSolve1.64SAT
xb-bid-qsts27.88SAT
iprover-QBF-bloqqer38.12SAT
iprover-QBF346.24FAIL
qestos599.71FAIL
qesto599.71FAIL
hiqqer1599.71FAIL
hiqqer3599.71FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
hiqqer1ldsq599.81FAIL