QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Sorting_networks
QBFEVAL'10 - Small Hard Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| sortnetsort10.v.stepl.006 | aqme-10 | UNSAT | 7439.42 |  |
| sortnetsort10.v.stepl.007 | aqme-10 | SAT | 118.1 | |
| sortnetsort7.AE.stepl.005 | depqbf-pre | SAT | 5.42 | |
| sortnetsort9.v.stepl.006 | quantor-3.1 | UNSAT | 5009.75 | |