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



Solver Time Result
ssolve-A0.01SAT
ssolveB0.02SAT
ssolveC0.02SAT
quantor3.00.02SAT
QuBE6.10.04SAT
Nenofex0.89SAT
AQME-1NN0.9SAT