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



Solver Time Result
ssolveC0.05SAT
QuBE6.10.06SAT
ssolve-A0.06SAT
ssolveB0.07SAT
quantor3.00.17SAT
AQME-1NN0.84SAT
Nenofex17.07SAT