Results for instance biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
QBFEVAL'10 - Competitive Track.



Solver Time Result
QuBE7-m17.23UNSAT
QuBE7-c18.52UNSAT
quantor-3.126.13FAIL
QuBE738.51UNSAT
aqme-1097.31UNSAT
nenofex-qbfeval10127.83FAIL
AIGSolve386.72FAIL
qmaiga1200FAIL
struqs-101200.12FAIL
depqbf1200.16FAIL
depqbf-pre1200.18FAIL