Results for instance ev-pr-4x4-17-3-0-0-1-lg
QBFEVAL'08



Solver Time Result
AQME-1NN3.19SAT
Nenofex34.43FAIL
ssolve-A75.26SAT
ssolveB138.58SAT
ssolveC182.89SAT
quantor3.0466.16FAIL
QuBE6.1600FAIL