QBF Solver Evaluation Portal
qbflib.orgInstances of family Sorting_networks solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| sortnetsort9.AE.stepl.004 | SAT | 103.39 | |
| sortnetsort8.AE.stepl.004 | SAT | 104.01 | |
| sortnetsort8.AE.stepl.006 | UNSAT | 137.93 | |
| sortnetsort10.AE.stepl.004 | SAT | 143.13 | |
| sortnetsort7.AE.stepl.006 | UNSAT | 181.05 | |
| sortnetsort7.AE.stepl.005 | SAT | 207.06 | |
| sortnetsort9.AE.stepl.008 | UNSAT | 210.52 | |
| sortnetsort8.AE.stepl.009 | UNSAT | 229.88 | |
| sortnetsort8.AE.stepl.008 | UNSAT | 249 | |
| sortnetsort10.AE.stepl.009 | UNSAT | 249.09 | |
| sortnetsort9.AE.stepl.011 | UNSAT | 266.63 | |
| sortnetsort9.AE.stepl.005 | SAT | 302.22 | |
| sortnetsort10.AE.stepl.010 | UNSAT | 432.02 | |
| sortnetsort8.AE.stepl.005 | SAT | 438.05 | |
| sortnetsort10.AE.stepl.005 | SAT | 495.11 | |
| sortnetsort10.AE.stepl.011 | UNSAT | 550.41 | |
| sortnetsort10.AE.stepl.012 | UNSAT | 641.28 | |
| sortnetsort7.AE.stepl.007 | FAIL | 887.96 | |
| sortnetsort7.AE.stepl.009 | FAIL | 888.78 | |
| sortnetsort7.AE.stepl.008 | FAIL | 888.81 | |
| sortnetsort10.AE.stepl.006 | FAIL | 890.13 | |
| sortnetsort9.AE.stepl.007 | FAIL | 890.6 | |
| sortnetsort9.AE.stepl.006 | FAIL | 891.23 | |
| sortnetsort10.AE.stepl.007 | FAIL | 891.62 | |
| sortnetsort9.AE.stepl.010 | FAIL | 892.84 | |
| sortnetsort10.AE.stepl.008 | FAIL | 895.13 |