QBF Solver Evaluation Portal
qbflib.orgInstances of family Sorting_networks solved by ASPQ_2018
QBFEVAL'18 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| sortnetsort7.AE.stepl.007 | UNSAT | 3.44 | |
| sortnetsort8.AE.stepl.004 | SAT | 3.6 | |
| sortnetsort7.AE.stepl.006 | UNSAT | 3.86 | |
| sortnetsort7.AE.stepl.008 | UNSAT | 4.72 | |
| sortnetsort7.AE.stepl.009 | UNSAT | 4.84 | |
| sortnetsort8.AE.stepl.006 | UNSAT | 7.89 | |
| sortnetsort9.AE.stepl.004 | SAT | 8.49 | |
| sortnetsort10.AE.stepl.004 | SAT | 14.47 | |
| sortnetsort8.AE.stepl.008 | UNSAT | 15.85 | |
| sortnetsort8.AE.stepl.005 | SAT | 21.89 | |
| sortnetsort8.AE.stepl.009 | UNSAT | 28.64 | |
| sortnetsort9.AE.stepl.005 | SAT | 36.81 | |
| sortnetsort9.AE.stepl.007 | UNSAT | 48.67 | |
| sortnetsort9.AE.stepl.008 | UNSAT | 61.95 | |
| sortnetsort9.AE.stepl.009 | UNSAT | 78.6 | |
| sortnetsort9.AE.stepl.011 | UNSAT | 124.25 | |
| sortnetsort9.AE.stepl.012 | UNSAT | 131.3 | |
| sortnetsort9.AE.stepl.010 | UNSAT | 166.57 | |
| sortnetsort10.AE.stepl.010 | UNSAT | 174.24 | |
| sortnetsort10.AE.stepl.011 | UNSAT | 271.75 | |
| sortnetsort10.AE.stepl.009 | UNSAT | 301.1 | |
| sortnetsort7.AE.stepl.005 | SAT | 331.86 | |
| sortnetsort10.AE.stepl.008 | UNSAT | 423.06 | |
| sortnetsort10.AE.stepl.012 | UNSAT | 442.75 | |
| sortnetsort10.AE.stepl.005 | FAIL | 900.01 |