Results for instance stmt46_111_163
QBFEVAL'08



Solver Time Result
QuBE6.10.19UNSAT
AQME-1NN5.46UNSAT
quantor3.090.63FAIL
Nenofex428.5FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL