QBF Solver Evaluation Portal
qbflib.orgiProver-qbf-bloqqer-2017-07-27-v3 results solving families - 2017
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 14 | 12600 | ||
| arithmetic | 18 | 4 | 3602.94 | |
| cycle-sched | 20 | 1 | 13503.85 | |
| disjunctive_decomposition | 20 | 3 | 7201.32 | |
| driver | 20 | 4 | 22.8 | |
| genbuf | 8 | 7200 | ||
| HardwareFixpoint | 236 | 27 | 23 | 103223.23 |
| hwmcc | 14 | 12600 | ||
| irqlkeapclte | 145 | 3 | 118860.06 | |
| ltl2aig-comp | 11 | 9900 | ||
| LTL2DBA | 11 | 1 | 5413.3 | |
| mult-matrix | 17 | 2 | 6483.45 | |
| RankingFunctions | 73 | 37 | 850.5 | |
| Reduction-finding | 220 | 6 | 192600.45 | |
| Selection-hard | 48 | 1 | 37913.04 | |
| sketch | 42 | 37800 | ||
| Sorting_networks | 163 | 145794 | ||
| terminator | 145 | 2 | 3 | 114355.91 |
| toy | 22 | 3 | 4529.23 | |
| wgrowing | 21 | 1 | 17139.88 | |
| wmiforward | 25 | 4 | 8.54 |