Results for instance stmt22_73_179
QBFEVAL'08



Solver Time Result
QuBE6.10.14UNSAT
AQME-1NN4.05UNSAT
quantor3.0106.36FAIL
Nenofex113.24FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL