QBF Solver Evaluation Portal
qbflib.orgaqme-10 results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 42 | 1 | 46808.12 | |
| MutexP | 78 | 7 | 159.54 | |
| Qshifter | 62 | 6 | 230.28 | |
| RankingFunctions | 108 | 43 | 1 | 30208.3 |
| Sorting_networks | 110 | 4 | 7 | 64096.91 |
| terminator | 135 | 34 | 80881.24 | |
| wmiforward | 195 | 25 | 123827.14 |