QBF Solver Evaluation Portal
qbflib.orgGhostQ-PG_cegar results solving families - 2017
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 14 | 12600 | ||
| arithmetic | 18 | 16200 | ||
| cycle-sched | 20 | 18000 | ||
| disjunctive_decomposition | 20 | 18000 | ||
| driver | 20 | 18000 | ||
| genbuf | 8 | 7200 | ||
| HardwareFixpoint | 236 | 24 | 38 | 59227.43 |
| hwmcc | 14 | 12600 | ||
| irqlkeapclte | 145 | 35 | 14641 | |
| ltl2aig-comp | 11 | 9900 | ||
| LTL2DBA | 11 | 9900 | ||
| mult-matrix | 17 | 15300 | ||
| RankingFunctions | 73 | 37 | 206.1 | |
| Reduction-finding | 220 | 40 | 28 | 44022.49 |
| Selection-hard | 48 | 1 | 43069.02 | |
| sketch | 42 | 37800 | ||
| Sorting_networks | 163 | 5 | 130627.01 | |
| terminator | 145 | 34 | 15790.21 | |
| toy | 22 | 19800 | ||
| wgrowing | 21 | 18900 | ||
| wmiforward | 25 | 4 | 11.51 |