Results for instance ev-pr-4x4-17-3-0-0-1-lg
QBFEVAL'10 - Competitive Track.



Solver Time Result
QuBE7423.91FAIL
QuBE7-c431.11FAIL
QuBE7-m496.87FAIL
AIGSolve508.95FAIL
qmaiga960.58FAIL
aqme-101143.79FAIL
quantor-3.11200FAIL
struqs-101200.08FAIL
nenofex-qbfeval101200.17FAIL
depqbf1200.18FAIL
depqbf-pre1200.18FAIL