QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
QBFEVAL'10 - 2QBF Track.
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| irqlkeapclte | 7 | 1 | 1 | 0 | 0.46 | quantor-3.1 |
| MutexP | 7 | 7 | 7 | 0 | 8.84 | struqs-10 |
| Qshifter | 6 | 6 | 6 | 0 | 2.51 | struqs-10 |
| RankingFunctions | 60 | 60 | 59 | 1 | 22.07 | QuBE7 |
| Sorting_networks | 17 | 17 | 7 | 10 | 107.19 | depqbf-pre |
| terminator | 57 | 54 | 0 | 54 | 22.02 | QuBE7 |
| wmiforward | 46 | 38 | 38 | 0 | 1795.03 | QuBE7-c |