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-002
QBFEVAL'10 - Competitive Track.



Solver Time Result
AIGSolve0.02UNSAT
qmaiga0.02UNSAT
depqbf-pre0.04UNSAT
QuBE7-c0.05UNSAT
QuBE7-m0.06UNSAT
QuBE70.06UNSAT
struqs-100.17UNSAT
quantor-3.10.28UNSAT
nenofex-qbfeval105.82UNSAT
aqme-1051.02UNSAT
depqbf1200.16FAIL