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



Solver Time Result
aqme-105.1UNSAT
quantor-3.128.63FAIL
AIGSolve33.32UNSAT
qmaiga42.39UNSAT
nenofex-qbfeval10297.71FAIL
QuBE7-c740.38FAIL
QuBE7-m903.8FAIL
struqs-101200.08FAIL
QuBE71200.09FAIL
depqbf-pre1200.14FAIL
depqbf1200.17FAIL