QBF Solver Evaluation Portal
qbflib.orgnenofex-qbfeval10 results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 42 | 20134.38 | ||
| MutexP | 78 | 4 | 34710.57 | |
| Qshifter | 62 | 6 | 7189.58 | |
| RankingFunctions | 108 | 13 | 1 | 47096.74 |
| Sorting_networks | 110 | 96946.6 | ||
| terminator | 135 | 62141.02 | ||
| wmiforward | 195 | 26 | 111797.16 |