Results for instance stmt22_73_182
QBFEVAL'08



Solver Time Result
QuBE6.10.15UNSAT
AQME-1NN4.91UNSAT
quantor3.0106.45FAIL
Nenofex120.98FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL