QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Sorting_networks
QBFEVAL'18 - Hard Instances Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| sortnetsort10.AE.stepl.006 | caqe_hit18 | SAT | 3174.12 |  |
| sortnetsort10.AE.stepl.007 | caqe_hit18 | UNSAT | 2456.49 | |