QBF Solver Evaluation Portal
qbflib.orgcaqe_2017_v1 results solving families - 2017
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 14 | 2 | 0 | 5500.95 |
| arithmetic | 18 | 4 | 0 | 3600.14 |
| cycle-sched | 20 | 4 | 0 | 112.95 |
| disjunctive_decomposition | 20 | 4 | 0 | 3600.84 |
| driver | 20 | 4 | 0 | 1.85 |
| genbuf | 8 | 0 | 0 | 7200 |
| HardwareFixpoint | 236 | 27 | 20 | 114633.59 |
| hwmcc | 14 | 0 | 0 | 12600 |
| irqlkeapclte | 145 | 0 | 0 | 130500 |
| ltl2aig-comp | 11 | 1 | 0 | 5503.5 |
| LTL2DBA | 11 | 1 | 0 | 5402.15 |
| mult-matrix | 17 | 3 | 0 | 1821.1 |
| RankingFunctions | 73 | 36 | 0 | 1810.99 |
| Reduction-finding | 220 | 34 | 26 | 81090.33 |
| Selection-hard | 48 | 4 | 0 | 23862.24 |
| sketch | 42 | 0 | 2 | 31262.1 |
| Sorting_networks | 163 | 7 | 15 | 40267.39 |
| terminator | 145 | 0 | 24 | 58061.29 |
| toy | 22 | 4 | 0 | 1705.55 |
| wgrowing | 21 | 2 | 0 | 16258.56 |
| wmiforward | 25 | 4 | 0 | 0.85 |