QBF Solver Evaluation Portal
qbflib.orgxb-bid-qsts results solving families - 2016
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 269 | 37 | 2 | 34566.04 |
| k_ph_n | 7 | 1 | 0 | 0.07 |
| MutexP | 78 | 7 | 0 | 103.75 |
| Qshifter | 62 | 6 | 0 | 143.96 |
| RankingFunctions | 78 | 49 | 1 | 55.25 |
| Reduction-finding | 160 | 22 | 8 | 59930.13 |
| Sorting_networks | 258 | 15 | 26 | 23700.31 |
| terminator | 210 | 9 | 15 | 77993.93 |
| Tree | 26 | 5 | 0 | 0.26 |
| wmiforward | 179 | 49 | 1 | 106.12 |