QBF Solver Evaluation Portal
qbflib.orgdepqbf-pre results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 42 | 1 | 0 | 47581.6 |
| MutexP | 78 | 6 | 0 | 19620.59 |
| Qshifter | 62 | 2 | 0 | 54007.66 |
| RankingFunctions | 108 | 0 | 0 | 129617.65 |
| Sorting_networks | 110 | 7 | 10 | 817.43 |
| terminator | 135 | 0 | 0 | 162019.63 |
| wmiforward | 195 | 25 | 0 | 123675.14 |