Results for instance stmt32_153_378
QBFEVAL'08



Solver Time Result
QuBE6.10.35UNSAT
AQME-1NN25.94UNSAT
quantor3.037.68FAIL
Nenofex159.01FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL