QBF Solver Evaluation Portal
qbflib.orgInstances of family Sorting_networks solved by Caqe-bloqqer
QBFEVAL'18 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| sortnetsort8.AE.stepl.004 | SAT | 2.72 | |
| sortnetsort7.AE.stepl.007 | UNSAT | 3.16 | |
| sortnetsort7.AE.stepl.006 | UNSAT | 3.31 | |
| sortnetsort7.AE.stepl.009 | UNSAT | 3.85 | |
| sortnetsort9.AE.stepl.004 | SAT | 4.47 | |
| sortnetsort7.AE.stepl.008 | UNSAT | 4.77 | |
| sortnetsort8.AE.stepl.006 | UNSAT | 10.24 | |
| sortnetsort8.AE.stepl.005 | SAT | 10.62 | |
| sortnetsort10.AE.stepl.004 | SAT | 12.29 | |
| sortnetsort8.AE.stepl.008 | UNSAT | 13.89 | |
| sortnetsort7.AE.stepl.005 | SAT | 13.92 | |
| sortnetsort8.AE.stepl.009 | UNSAT | 18.16 | |
| sortnetsort9.AE.stepl.005 | SAT | 19.66 | |
| sortnetsort9.AE.stepl.011 | UNSAT | 37.52 | |
| sortnetsort10.AE.stepl.005 | SAT | 49.7 | |
| sortnetsort9.AE.stepl.010 | UNSAT | 50.88 | |
| sortnetsort9.AE.stepl.008 | UNSAT | 58.66 | |
| sortnetsort9.AE.stepl.009 | UNSAT | 76.06 | |
| sortnetsort9.AE.stepl.012 | UNSAT | 112.6 | |
| sortnetsort9.AE.stepl.007 | UNSAT | 149.09 | |
| sortnetsort10.AE.stepl.011 | UNSAT | 172.99 | |
| sortnetsort10.AE.stepl.012 | UNSAT | 288.3 | |
| sortnetsort10.AE.stepl.009 | UNSAT | 300.48 | |
| sortnetsort10.AE.stepl.010 | UNSAT | 357.37 | |
| sortnetsort10.AE.stepl.008 | UNSAT | 521.78 |