QBF Solver Evaluation Portal
qbflib.orgInstances of family Sorting_networks solved by CUED1919_NNL
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| sortnetsort8.AE.stepl.004 | SAT | 6.04 | |
| sortnetsort7.AE.stepl.007 | UNSAT | 7.35 | |
| sortnetsort9.AE.stepl.004 | SAT | 10.25 | |
| sortnetsort7.AE.stepl.009 | UNSAT | 11.2 | |
| sortnetsort7.AE.stepl.008 | UNSAT | 11.56 | |
| sortnetsort10.AE.stepl.004 | SAT | 17.8 | |
| sortnetsort7.AE.stepl.006 | UNSAT | 21.55 | |
| sortnetsort8.AE.stepl.008 | UNSAT | 23.97 | |
| sortnetsort8.AE.stepl.009 | UNSAT | 29.58 | |
| sortnetsort8.AE.stepl.006 | UNSAT | 60.68 | |
| sortnetsort9.AE.stepl.011 | UNSAT | 109.86 | |
| sortnetsort10.AE.stepl.012 | UNSAT | 180.72 | |
| sortnetsort7.AE.stepl.005 | SAT | 306.22 | |
| sortnetsort8.AE.stepl.005 | SAT | 394.05 | |
| sortnetsort9.AE.stepl.010 | UNSAT | 546.97 | |
| sortnetsort10.AE.stepl.011 | UNSAT | 849.5 | |
| sortnetsort10.AE.stepl.006 | FAIL | 900 | |
| sortnetsort10.AE.stepl.007 | FAIL | 900 | |
| sortnetsort10.AE.stepl.008 | FAIL | 900 | |
| sortnetsort9.AE.stepl.005 | FAIL | 900 | |
| sortnetsort10.AE.stepl.009 | FAIL | 900 | |
| sortnetsort9.AE.stepl.006 | FAIL | 900 | |
| sortnetsort10.AE.stepl.010 | FAIL | 900 | |
| sortnetsort9.AE.stepl.007 | FAIL | 900 | |
| sortnetsort9.AE.stepl.008 | FAIL | 900 | |
| sortnetsort10.AE.stepl.005 | FAIL | 900 |