Results for instance stmt21_127_218
QBFEVAL'08



Solver Time Result
QuBE6.10.19UNSAT
AQME-1NN5.67UNSAT
quantor3.054.1FAIL
Nenofex125.04FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL