Results for instance stmt21_5_138
QBFEVAL'08



Solver Time Result
QuBE6.10.1UNSAT
AQME-1NN2.25UNSAT
quantor3.067.69FAIL
Nenofex254.27FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL