QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Sorting_networks
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| sortnetsort9.AE.stepl.012 | qfun0.1 | UNSAT | 6.19 |  |
| sortnetsort9.v.stepl.007 | qfun0.1 | SAT | 26.97 | |