QBF Solver Evaluation Portal
qbflib.orgInstances of family Sorting_networks solved by Qute_default
QBFEVAL'18 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| sortnetsort7.AE.stepl.005 | SAT | 2.41 | |
| sortnetsort8.AE.stepl.004 | SAT | 3.19 | |
| sortnetsort7.AE.stepl.006 | SAT | 3.47 | |
| sortnetsort7.AE.stepl.007 | SAT | 4.69 | |
| sortnetsort8.AE.stepl.005 | SAT | 4.73 | |
| sortnetsort9.AE.stepl.004 | SAT | 5.56 | |
| sortnetsort7.AE.stepl.008 | SAT | 5.97 | |
| sortnetsort8.AE.stepl.006 | SAT | 6.68 | |
| sortnetsort7.AE.stepl.009 | SAT | 7.45 | |
| sortnetsort9.AE.stepl.005 | SAT | 8.39 | |
| sortnetsort10.AE.stepl.004 | SAT | 8.95 | |
| sortnetsort8.AE.stepl.008 | SAT | 11.93 | |
| sortnetsort10.AE.stepl.005 | SAT | 13.93 | |
| sortnetsort8.AE.stepl.009 | SAT | 14.89 | |
| sortnetsort9.AE.stepl.007 | SAT | 16.37 | |
| sortnetsort9.AE.stepl.008 | SAT | 21.08 | |
| sortnetsort9.AE.stepl.009 | SAT | 26.37 | |
| sortnetsort9.AE.stepl.010 | SAT | 32.14 | |
| sortnetsort10.AE.stepl.008 | SAT | 34.63 | |
| sortnetsort9.AE.stepl.011 | SAT | 37.9 | |
| sortnetsort10.AE.stepl.009 | SAT | 42.45 | |
| sortnetsort10.AE.stepl.010 | SAT | 49.74 | |
| sortnetsort9.AE.stepl.012 | SAT | 53.39 | |
| sortnetsort10.AE.stepl.011 | SAT | 67.48 | |
| sortnetsort10.AE.stepl.012 | SAT | 88.96 |