Results for instance ev-pr-6x6-5-5-0-1-2-lg
QBFEVAL'08



Solver Time Result
ssolveC0.31UNSAT
ssolve-A0.34UNSAT
ssolveB0.37UNSAT
AQME-1NN3.59UNSAT
QuBE6.18.11UNSAT
quantor3.0425.86FAIL
Nenofex600FAIL