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



Solver Time Result
AQME-1NN3.04SAT
ssolve-A27.84SAT
Nenofex31.03FAIL
ssolveB51.05SAT
ssolveC71.9SAT
quantor3.0528.73FAIL
QuBE6.1599SAT