Results for instance stmt21_70_310
QBFEVAL'08



Solver Time Result
QuBE6.10.29UNSAT
AQME-1NN8.87UNSAT
quantor3.049.08FAIL
Nenofex150.07FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL