Results for instance sortnetsort7.AE.stepl.006
QBFEVAL'08



Solver Time Result
quantor3.095.92FAIL
QuBE6.1136.41UNSAT
AQME-1NN596.83FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
Nenofex600FAIL