QBF Solver Evaluation Portal
qbflib.orgInstances of family Sorting_networks solved by caqe_2017_v1
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| sortnetsort7.AE.stepl.007 | UNSAT | 1.42 | |
| sortnetsort7.AE.stepl.006 | UNSAT | 2.11 | |
| sortnetsort7.AE.stepl.009 | UNSAT | 2.14 | |
| sortnetsort8.AE.stepl.004 | SAT | 2.15 | |
| sortnetsort7.AE.stepl.008 | UNSAT | 3.85 | |
| sortnetsort9.AE.stepl.004 | SAT | 4.14 | |
| sortnetsort8.AE.stepl.006 | UNSAT | 6.96 | |
| sortnetsort8.AE.stepl.008 | UNSAT | 10.87 | |
| sortnetsort8.AE.stepl.005 | SAT | 11.44 | |
| sortnetsort10.AE.stepl.004 | SAT | 12.83 | |
| sortnetsort8.AE.stepl.009 | UNSAT | 21.1 | |
| sortnetsort9.AE.stepl.005 | SAT | 31.96 | |
| sortnetsort9.AE.stepl.011 | UNSAT | 35.1 | |
| sortnetsort7.AE.stepl.005 | SAT | 42.36 | |
| sortnetsort9.AE.stepl.008 | UNSAT | 43.57 | |
| sortnetsort9.AE.stepl.007 | UNSAT | 164.66 | |
| sortnetsort10.AE.stepl.009 | UNSAT | 167.1 | |
| sortnetsort10.AE.stepl.011 | UNSAT | 185.68 | |
| sortnetsort9.AE.stepl.010 | UNSAT | 325.66 | |
| sortnetsort10.AE.stepl.008 | UNSAT | 637.16 | |
| sortnetsort10.AE.stepl.005 | SAT | 692.55 | |
| sortnetsort10.AE.stepl.010 | UNSAT | 718.58 | |
| sortnetsort10.AE.stepl.012 | FAIL | 900 | |
| sortnetsort10.AE.stepl.006 | FAIL | 900 | |
| sortnetsort10.AE.stepl.007 | FAIL | 900 | |
| sortnetsort9.AE.stepl.006 | FAIL | 900 |