QBF Solver Evaluation Portal
qbflib.orgInstances of family Sorting_networks solved by caqe_2017_v3
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| sortnetsort7.AE.stepl.006 | UNSAT | 3.38 | |
| sortnetsort7.AE.stepl.007 | UNSAT | 3.98 | |
| sortnetsort8.AE.stepl.004 | SAT | 4.14 | |
| sortnetsort7.AE.stepl.008 | UNSAT | 5.96 | |
| sortnetsort7.AE.stepl.009 | UNSAT | 6.88 | |
| sortnetsort7.AE.stepl.005 | SAT | 7.92 | |
| sortnetsort9.AE.stepl.004 | SAT | 10.02 | |
| sortnetsort8.AE.stepl.008 | UNSAT | 15.75 | |
| sortnetsort8.AE.stepl.009 | UNSAT | 19.66 | |
| sortnetsort8.AE.stepl.005 | SAT | 22.26 | |
| sortnetsort10.AE.stepl.004 | SAT | 22.65 | |
| sortnetsort8.AE.stepl.006 | UNSAT | 24.73 | |
| sortnetsort9.AE.stepl.010 | UNSAT | 28.39 | |
| sortnetsort9.AE.stepl.005 | SAT | 36.54 | |
| sortnetsort9.AE.stepl.011 | UNSAT | 62.41 | |
| sortnetsort10.AE.stepl.005 | SAT | 74.84 | |
| sortnetsort10.AE.stepl.012 | UNSAT | 80.35 | |
| sortnetsort9.AE.stepl.008 | UNSAT | 138.42 | |
| sortnetsort9.AE.stepl.007 | UNSAT | 174.59 | |
| sortnetsort10.AE.stepl.011 | UNSAT | 337.47 | |
| sortnetsort10.AE.stepl.010 | UNSAT | 553.85 | |
| sortnetsort10.AE.stepl.009 | UNSAT | 589.34 | |
| sortnetsort9.AE.stepl.006 | FAIL | 900 | |
| sortnetsort10.AE.stepl.006 | FAIL | 900 | |
| sortnetsort10.AE.stepl.007 | FAIL | 900 | |
| sortnetsort10.AE.stepl.008 | FAIL | 900 |