Results for instance eijk.S526.S-d4
QBFEVAL'08



Solver Time Result
ssolveB0.06SAT
ssolve-A0.06SAT
ssolveC0.06SAT
QuBE6.10.11SAT
quantor3.00.36SAT
AQME-1NN0.97SAT
Nenofex17.56SAT