Results for instance eijk.S208.S-f2
QBFEVAL'08



Solver Time Result
QuBE6.10.94SAT
AQME-1NN9.37SAT
ssolve-A49.41SAT
ssolveB64.97SAT
ssolveC78.03SAT
quantor3.0600FAIL
Nenofex600FAIL