Results for instance stmt27_149_224
QBFEVAL'08



Solver Time Result
AQME-1NN6.78UNSAT
QuBE6.138.27UNSAT
quantor3.060.24FAIL
Nenofex126.17FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL