Results for instance k_branch_p-17
QBFEVAL'10 - Competitive Track.



Solver Time Result
quantor-3.138.45FAIL
qmaiga279.92UNSAT
nenofex-qbfeval10281.32FAIL
aqme-10609.82UNSAT
QuBE7-c618.99FAIL
QuBE7-m680.42FAIL
AIGSolve1200FAIL
struqs-101200.1FAIL
QuBE71200.14FAIL
depqbf1200.17FAIL
depqbf-pre1200.19FAIL