QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
QBFEVAL'16 - 2QBF Track.
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| irqlkeapclte | 46 | 46 | 46 | 0 | 675.34 | areqs |
| k_ph_n | 1 | 1 | 1 | 0 | 0 | areqs |
| MutexP | 7 | 7 | 7 | 0 | 0.21 | qsts |
| Qshifter | 6 | 6 | 6 | 0 | 1.61 | struqs-10 |
| RankingFunctions | 50 | 50 | 49 | 1 | 1.74 | rareqs |
| Reduction-finding | 48 | 37 | 24 | 13 | 2268.96 | rareqs |
| Sorting_networks | 42 | 41 | 15 | 26 | 3307.98 | xb-bid-qsts |
| terminator | 50 | 49 | 1 | 48 | 750.33 | cadet |
| Tree | 5 | 5 | 5 | 0 | 0 | areqs |
| wmiforward | 50 | 50 | 50 | 0 | 2.82 | rareqs |