QBF Solver Evaluation Portal
qbflib.orgQuBE7-c results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 42 | 1 | 46915.05 | |
| MutexP | 78 | 4 | 44510.12 | |
| Qshifter | 62 | 6 | 8423.48 | |
| RankingFunctions | 108 | 59 | 1 | 66.02 |
| Sorting_networks | 110 | 5 | 6 | 62396.23 |
| terminator | 135 | 52 | 35107.51 | |
| wmiforward | 195 | 38 | 57157.97 |