Results for instance stmt22_182_263
QBFEVAL'08



Solver Time Result
QuBE6.10.26UNSAT
AQME-1NN5.78UNSAT
quantor3.041.9FAIL
Nenofex166.28FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL