QBF Solver Evaluation Portal
qbflib.orghiqqer1 results solving families - 2016
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| irqlkeapclte | 269 | 5 | 144607.72 | |
| k_ph_n | 7 | 1 | 0.28 | |
| MutexP | 78 | 7 | 7.84 | |
| Qshifter | 62 | 6 | 76.65 | |
| RankingFunctions | 78 | 47 | 1 | 1205.99 |
| Reduction-finding | 160 | 12 | 10 | 73091.97 |
| Sorting_networks | 258 | 14 | 24 | 21616.61 |
| terminator | 210 | 1 | 121751.65 | |
| Tree | 26 | 5 | 0.78 | |
| wmiforward | 179 | 50 | 76.66 |