Results for instance stmt19_177_352
QBFEVAL'08



Solver Time Result
QuBE6.10.35UNSAT
AQME-1NN19.52UNSAT
quantor3.037.26FAIL
Nenofex139.16FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL