QBF Solver Evaluation Portal
qbflib.orgijtihad_v1 results solving families - 2017
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 14 | 1 | 10147.9 | |
| arithmetic | 18 | 4 | 3600.28 | |
| cycle-sched | 20 | 4 | 293.05 | |
| disjunctive_decomposition | 20 | 4 | 3600.88 | |
| driver | 20 | 4 | 1.9 | |
| genbuf | 8 | 7200 | ||
| HardwareFixpoint | 236 | 26 | 20 | 118505.57 |
| hwmcc | 14 | 12600 | ||
| irqlkeapclte | 145 | 130500 | ||
| ltl2aig-comp | 11 | 1 | 8737.35 | |
| LTL2DBA | 11 | 1 | 5402.2 | |
| mult-matrix | 17 | 2 | 7097.25 | |
| RankingFunctions | 73 | 36 | 1811.74 | |
| Reduction-finding | 220 | 1 | 6 | 189921.12 |
| Selection-hard | 48 | 43200 | ||
| sketch | 42 | 37800 | ||
| Sorting_networks | 163 | 5 | 8 | 87154.31 |
| terminator | 145 | 31 | 26940.16 | |
| toy | 22 | 3 | 4501.8 | |
| wgrowing | 21 | 18900 | ||
| wmiforward | 25 | 4 | 0.99 |