Results for instance s27_d5_u
QBFEVAL'08



Solver Time Result
QuBE6.10.05UNSAT
Nenofex0.35UNSAT
AQME-1NN0.87UNSAT
quantor3.01.94UNSAT
ssolveC269.39UNSAT
ssolve-A280.87UNSAT
ssolveB513.84UNSAT