QBF Solver Evaluation Portal
qbflib.orgsqueezebf+struqs results solving families - 2016
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 269 | 1 | 160599.74 | |
| k_ph_n | 7 | 1 | 0 | |
| MutexP | 78 | 7 | 53.64 | |
| Qshifter | 62 | 6 | 2903.33 | |
| RankingFunctions | 78 | 46 | 1 | 2020.77 |
| Reduction-finding | 160 | 4 | 93801.64 | |
| Sorting_networks | 258 | 154732.53 | ||
| terminator | 210 | 22 | 85179.12 | |
| Tree | 26 | 5 | 0.07 | |
| wmiforward | 179 | 7 | 91785.82 |