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



Solver Time Result
quantor3.00.1UNSAT
Nenofex0.23UNSAT
AQME-1NN1.12UNSAT
ssolveC11.1UNSAT
ssolve-A12.16UNSAT
ssolveB15.18UNSAT
QuBE6.1128.71UNSAT