QBF Solver Evaluation Portal
qbflib.orgghostq-cegar results solving families - 2016
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 269 | 45 | 0 | 34110.93 |
| k_ph_n | 7 | 1 | 0 | 0.42 |
| MutexP | 78 | 1 | 0 | 40787.38 |
| Qshifter | 62 | 4 | 0 | 11453.54 |
| RankingFunctions | 78 | 0 | 1 | 46184.29 |
| Reduction-finding | 160 | 0 | 2 | 95207.75 |
| Sorting_networks | 258 | 4 | 5 | 132741.71 |
| terminator | 210 | 0 | 39 | 46199.36 |
| Tree | 26 | 3 | 0 | 7265.07 |
| wmiforward | 179 | 50 | 0 | 106.51 |