QBF Solver Evaluation Portal
qbflib.orgquantor-3.1 results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 42 | 1 | 3575.25 | |
| MutexP | 78 | 3 | 1497.38 | |
| Qshifter | 62 | 6 | 213.61 | |
| RankingFunctions | 108 | 1 | 1 | 3161.11 |
| Sorting_networks | 110 | 8046.9 | ||
| terminator | 135 | 14 | 29493.07 | |
| wmiforward | 195 | 22 | 21681.15 |