Results for instance sortnetsort5.v.stepl.004
QBFEVAL'08



Solver Time Result
quantor3.00.03UNSAT
Nenofex0.22UNSAT
ssolveC0.64UNSAT
ssolve-A0.71UNSAT
ssolveB0.86UNSAT
AQME-1NN0.88UNSAT
QuBE6.15.61UNSAT