Results for instance biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008
QBFEVAL'10 - Competitive Track.



Solver Time Result
quantor-3.124.18FAIL
aqme-1031.93UNSAT
depqbf62.91UNSAT
nenofex-qbfeval10185.96FAIL
QuBE7323.16UNSAT
AIGSolve1200FAIL
qmaiga1200FAIL
QuBE7-c1200.09FAIL
QuBE7-m1200.09FAIL
struqs-101200.11FAIL
depqbf-pre1200.18FAIL