Results for instance stmt21_127_181
QBFEVAL'08



Solver Time Result
QuBE6.10.18UNSAT
AQME-1NN4.75UNSAT
Nenofex105.59FAIL
quantor3.0136.07FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL