Results for instance ev-pr-8x8-11-7-0-1-2-lg
QBFEVAL'10 - Competitive Track.



Solver Time Result
aqme-106.38UNSAT
nenofex-qbfeval10508.58FAIL
depqbf557.7UNSAT
AIGSolve567.27FAIL
QuBE7-c717.12FAIL
QuBE7837.06FAIL
QuBE7-m884.93FAIL
qmaiga1200FAIL
quantor-3.11200FAIL
struqs-101200.11FAIL
depqbf-pre1200.19FAIL