Results for instance sortnetsort9.v.stepl.007
QBFEVAL'08



Solver Time Result
Nenofex12.01SAT
quantor3.019.3SAT
AQME-1NN266.67SAT
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
QuBE6.1600FAIL