QBF Solver Evaluation Portal
qbflib.orgInstances of family Sorting_networks solved by QELL_default
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| sortnetsort7.AE.stepl.006 | UNSAT | 7.17 | |
| sortnetsort7.AE.stepl.007 | UNSAT | 8.96 | |
| sortnetsort7.AE.stepl.008 | UNSAT | 11.16 | |
| sortnetsort7.AE.stepl.009 | UNSAT | 14.78 | |
| sortnetsort8.AE.stepl.008 | UNSAT | 24.73 | |
| sortnetsort8.AE.stepl.006 | UNSAT | 26.42 | |
| sortnetsort7.AE.stepl.005 | SAT | 58.87 | |
| sortnetsort8.AE.stepl.004 | SAT | 77.63 | |
| sortnetsort8.AE.stepl.009 | UNSAT | 133.76 | |
| sortnetsort8.AE.stepl.005 | SAT | 160.68 | |
| sortnetsort9.AE.stepl.005 | SAT | 368.34 | |
| sortnetsort9.AE.stepl.004 | SAT | 397.92 | |
| sortnetsort9.AE.stepl.008 | UNSAT | 465.73 | |
| sortnetsort9.AE.stepl.010 | UNSAT | 615.13 | |
| sortnetsort9.AE.stepl.011 | UNSAT | 692.5 | |
| sortnetsort10.AE.stepl.005 | FAIL | 900 | |
| sortnetsort10.AE.stepl.006 | FAIL | 900 | |
| sortnetsort10.AE.stepl.007 | FAIL | 900 | |
| sortnetsort10.AE.stepl.008 | 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 | |
| sortnetsort10.AE.stepl.011 | FAIL | 900 | |
| sortnetsort10.AE.stepl.004 | FAIL | 900 | |
| sortnetsort10.AE.stepl.012 | FAIL | 900 |