Results for instance s27_d2_s
QBFEVAL'08



Solver Time Result
ssolve-A0SAT
ssolveC0.01SAT
quantor3.00.01SAT
ssolveB0.01SAT
Nenofex0.02SAT
QuBE6.10.04SAT
AQME-1NN0.84SAT