Results for instance stmt21_178_218
QBFEVAL'08



Solver Time Result
QuBE6.10.22UNSAT
AQME-1NN5.72UNSAT
quantor3.056.58FAIL
Nenofex141.47FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL