Results for instance biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-003
QBFEVAL'10 - Competitive Track.



Solver Time Result
QuBE7-c0.35UNSAT
QuBE7-m0.38UNSAT
QuBE70.38UNSAT
quantor-3.125.17FAIL
depqbf37.69UNSAT
aqme-1046.52UNSAT
qmaiga62.92UNSAT
AIGSolve83.57UNSAT
nenofex-qbfeval10117.02FAIL
struqs-10313.54UNSAT
depqbf-pre1200.17FAIL