Results for instance eijk.S1423.S-d2
QBFEVAL'08



Solver Time Result
ssolveC0.04SAT
ssolve-A0.07SAT
ssolveB0.07SAT
QuBE6.10.08SAT
AQME-1NN1.01SAT
quantor3.01.16SAT
Nenofex26.85SAT