Results for instance vis.eisenberg.E-d2
QBFEVAL'08



Solver Time Result
ssolveB0SAT
quantor3.00SAT
ssolve-A0.01SAT
ssolveC0.01SAT
QuBE6.10.03SAT
Nenofex0.03SAT
AQME-1NN0.85SAT