Results for instance szymanski-12-s
QBFEVAL'08



Solver Time Result
QuBE6.11.28UNSAT
ssolveC2.86UNSAT
ssolve-A3.22UNSAT
AQME-1NN4.81UNSAT
quantor3.026.27FAIL
ssolveB92.7UNSAT
Nenofex600FAIL