QBF Solver Evaluation Portal
qbflib.orgdepqbf results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 42 | 0 | 0 | 50406.55 |
| MutexP | 78 | 3 | 0 | 58028.81 |
| Qshifter | 62 | 2 | 0 | 55613.9 |
| RankingFunctions | 108 | 0 | 0 | 129617.84 |
| Sorting_networks | 110 | 3 | 5 | 84674.42 |
| terminator | 135 | 0 | 0 | 162020.63 |
| wmiforward | 195 | 11 | 0 | 184147.53 |