QBF Solver Evaluation Portal
qbflib.orgInstances of family Sorting_networks solved by rev_qfun0.1
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| sortnetsort7.AE.stepl.006 | UNSAT | 2.3 | |
| sortnetsort7.AE.stepl.008 | UNSAT | 3.56 | |
| sortnetsort7.AE.stepl.009 | UNSAT | 4.64 | |
| sortnetsort7.AE.stepl.007 | UNSAT | 5.28 | |
| sortnetsort8.AE.stepl.004 | SAT | 7.56 | |
| sortnetsort8.AE.stepl.009 | UNSAT | 10.68 | |
| sortnetsort8.AE.stepl.008 | UNSAT | 14.59 | |
| sortnetsort9.AE.stepl.011 | UNSAT | 21.94 | |
| sortnetsort10.AE.stepl.011 | UNSAT | 34.32 | |
| sortnetsort9.AE.stepl.004 | SAT | 34.42 | |
| sortnetsort10.AE.stepl.012 | UNSAT | 44.3 | |
| sortnetsort9.AE.stepl.010 | UNSAT | 48.21 | |
| sortnetsort10.AE.stepl.010 | UNSAT | 99.96 | |
| sortnetsort8.AE.stepl.006 | UNSAT | 104.37 | |
| sortnetsort7.AE.stepl.005 | SAT | 144.13 | |
| sortnetsort9.AE.stepl.008 | UNSAT | 313.29 | |
| sortnetsort10.AE.stepl.004 | SAT | 330.74 | |
| 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 | |
| sortnetsort9.AE.stepl.007 | FAIL | 900 | |
| sortnetsort8.AE.stepl.005 | FAIL | 900 | |
| sortnetsort10.AE.stepl.005 | FAIL | 900 | |
| sortnetsort10.AE.stepl.006 | FAIL | 900 |