Results for instance sortnetsort7.v.stepl.003
QBFEVAL'08



Solver Time Result
quantor3.00.16UNSAT
Nenofex0.77UNSAT
ssolveC0.85UNSAT
ssolve-A0.92UNSAT
AQME-1NN1.08UNSAT
ssolveB1.12UNSAT
QuBE6.17.82UNSAT