QBF Solver Evaluation Portal
qbflib.orgInstances of family Sorting_networks solved by CADET_2017
QBFEVAL'18 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| sortnetsort7.AE.stepl.007 | UNSAT | 1.6 | |
| sortnetsort8.AE.stepl.004 | SAT | 1.86 | |
| sortnetsort7.AE.stepl.008 | UNSAT | 1.9 | |
| sortnetsort7.AE.stepl.009 | UNSAT | 2.21 | |
| sortnetsort9.AE.stepl.004 | SAT | 3.91 | |
| sortnetsort10.AE.stepl.004 | SAT | 5.67 | |
| sortnetsort8.AE.stepl.009 | UNSAT | 10.25 | |
| sortnetsort9.AE.stepl.011 | UNSAT | 13.84 | |
| sortnetsort7.AE.stepl.006 | UNSAT | 15.27 | |
| sortnetsort8.AE.stepl.008 | UNSAT | 15.72 | |
| sortnetsort10.AE.stepl.011 | UNSAT | 15.9 | |
| sortnetsort9.AE.stepl.012 | UNSAT | 18.78 | |
| sortnetsort7.AE.stepl.005 | SAT | 21.21 | |
| sortnetsort9.AE.stepl.010 | UNSAT | 34.78 | |
| sortnetsort8.AE.stepl.005 | SAT | 39.8 | |
| sortnetsort9.AE.stepl.005 | SAT | 69.88 | |
| sortnetsort9.AE.stepl.009 | UNSAT | 70.39 | |
| sortnetsort8.AE.stepl.006 | UNSAT | 90.82 | |
| sortnetsort10.AE.stepl.005 | SAT | 152.89 | |
| sortnetsort10.AE.stepl.012 | UNSAT | 271.23 | |
| sortnetsort10.AE.stepl.009 | FAIL | 900.01 | |
| sortnetsort9.AE.stepl.007 | FAIL | 900.01 | |
| sortnetsort10.AE.stepl.010 | FAIL | 900.03 | |
| sortnetsort9.AE.stepl.008 | FAIL | 900.03 | |
| sortnetsort10.AE.stepl.008 | FAIL | 900.03 |