QBF Solver Evaluation Portal
qbflib.orgdepqbf-v2 results solving families - 2016
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 269 | 7 | 0 | 136686.48 |
| k_ph_n | 7 | 1 | 0 | 0.21 |
| MutexP | 78 | 7 | 0 | 503.15 |
| Qshifter | 62 | 6 | 0 | 161.19 |
| RankingFunctions | 78 | 49 | 1 | 245.16 |
| Reduction-finding | 160 | 4 | 9 | 84106.59 |
| Sorting_networks | 258 | 13 | 23 | 48631.33 |
| terminator | 210 | 0 | 48 | 10610.15 |
| Tree | 26 | 5 | 0 | 0.52 |
| wmiforward | 179 | 50 | 0 | 143.07 |