Results for instance ev-pr-6x6-5-5-0-1-2-s
QBFEVAL'10 - Competitive Track.



Solver Time Result
aqme-10109.98UNSAT
AIGSolve883.27FAIL
quantor-3.11200FAIL
qmaiga1200FAIL
QuBE7-c1200.11FAIL
QuBE71200.11FAIL
QuBE7-m1200.11FAIL
struqs-101200.13FAIL
depqbf1200.18FAIL
nenofex-qbfeval101200.18FAIL
depqbf-pre1200.22FAIL