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



Solver Time Result
ssolveC0.02SAT
ssolve-A0.04SAT
ssolveB0.04SAT
QuBE6.10.08SAT
quantor3.00.32SAT
AQME-1NN0.99SAT
Nenofex25.67SAT