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



Solver Time Result
QuBE6.10.08SAT
AQME-1NN1.11SAT
quantor3.037.79FAIL
Nenofex391.72FAIL
ssolve-A492.28SAT
ssolveB600FAIL
ssolveC600FAIL