QBF Solver Evaluation Portal
qbflib.orgQuBE7-m results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 42 | 1 | 0 | 46958.31 |
| MutexP | 78 | 4 | 0 | 44491.45 |
| Qshifter | 62 | 6 | 0 | 8316.63 |
| RankingFunctions | 108 | 59 | 1 | 67.37 |
| Sorting_networks | 110 | 4 | 6 | 74297.44 |
| terminator | 135 | 0 | 52 | 35044.57 |
| wmiforward | 195 | 38 | 0 | 58046.61 |