QBF Solver Evaluation Portal
qbflib.orgQuBE7 results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 42 | 1 | 46854.03 | |
| MutexP | 78 | 4 | 44421.1 | |
| Qshifter | 62 | 6 | 8422.78 | |
| RankingFunctions | 108 | 59 | 1 | 56.75 |
| Sorting_networks | 110 | 4 | 8 | 59584.16 |
| terminator | 135 | 54 | 18066.86 | |
| wmiforward | 195 | 36 | 59222.41 |