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



Solver Time Result
quantor3.00.02SAT
ssolve-A0.02SAT
ssolveC0.02SAT
ssolveB0.03SAT
QuBE6.10.04SAT
AQME-1NN1.67SAT
Nenofex1.74SAT