QBF Solver Evaluation Portal
qbflib.orgInstances of family Sorting_networks solved by ASPQ2
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| sortnetsort8.AE.stepl.004 | SAT | 2.12 | |
| sortnetsort7.AE.stepl.007 | UNSAT | 2.53 | |
| sortnetsort7.AE.stepl.006 | UNSAT | 2.71 | |
| sortnetsort7.AE.stepl.009 | UNSAT | 2.95 | |
| sortnetsort7.AE.stepl.008 | UNSAT | 3.01 | |
| sortnetsort8.AE.stepl.006 | UNSAT | 5.48 | |
| sortnetsort9.AE.stepl.004 | SAT | 6.71 | |
| sortnetsort8.AE.stepl.008 | UNSAT | 10.87 | |
| sortnetsort10.AE.stepl.004 | SAT | 14.33 | |
| sortnetsort8.AE.stepl.005 | SAT | 15.82 | |
| sortnetsort9.AE.stepl.005 | SAT | 33.77 | |
| sortnetsort8.AE.stepl.009 | UNSAT | 35.36 | |
| sortnetsort9.AE.stepl.007 | UNSAT | 39.97 | |
| sortnetsort9.AE.stepl.011 | UNSAT | 56.37 | |
| sortnetsort9.AE.stepl.008 | UNSAT | 57.58 | |
| sortnetsort9.AE.stepl.010 | UNSAT | 189.45 | |
| sortnetsort10.AE.stepl.011 | UNSAT | 255.75 | |
| sortnetsort10.AE.stepl.008 | UNSAT | 291.56 | |
| sortnetsort7.AE.stepl.005 | SAT | 361.64 | |
| sortnetsort10.AE.stepl.009 | UNSAT | 386.48 | |
| sortnetsort10.AE.stepl.012 | UNSAT | 541.6 | |
| sortnetsort10.AE.stepl.006 | FAIL | 702.04 | |
| sortnetsort10.AE.stepl.005 | FAIL | 704.02 | |
| sortnetsort9.AE.stepl.006 | FAIL | 705.53 | |
| sortnetsort10.AE.stepl.010 | FAIL | 709.47 | |
| sortnetsort10.AE.stepl.007 | FAIL | 710.5 |