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



Solver Time Result
qsts0.46UNSAT
rareqs1.54UNSAT
aqua-s3o2.22UNSAT
aqua-f3v2.47UNSAT
qestos2.78UNSAT
aqua-s2v3.21UNSAT
depqbf-v231.31UNSAT
depqbf-v148.71UNSAT
depqbf-v350.02UNSAT
xb-qsts65.45UNSAT
xb-bid-qsts67.75UNSAT
iprover-QBF-bloqqer100.77UNSAT
hiqqer1ldsq324.01FAIL
iprover-QBF599.22FAIL
caqe-picosat599.71FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
ghostq-plain599.71FAIL
qesto599.71FAIL
caqe-minisat599.71FAIL
AIGSolve599.74FAIL
hiqqer1599.81FAIL
ghostq-cegar599.81FAIL
hiqqer3599.81FAIL