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



Solver Time Result
quantor3.00.04SAT
ssolveB0.16SAT
ssolveC0.23SAT
ssolve-A0.26SAT
Nenofex0.26SAT
QuBE6.10.58SAT
AQME-1NN0.95SAT