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



Solver Time Result
quantor3.00.8UNSAT
Nenofex1.24UNSAT
AQME-1NN2.43UNSAT
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
QuBE6.1600FAIL