QBF Solver Evaluation Portal
qbflib.orgqbfrelay-limited-depqbf results solving families - 2017
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 14 | 2 | 5973.49 | |
| arithmetic | 18 | 4 | 3853 | |
| cycle-sched | 20 | 3 | 6060.55 | |
| disjunctive_decomposition | 20 | 4 | 4162.16 | |
| driver | 20 | 4 | 1492.8 | |
| genbuf | 8 | 7125.9 | ||
| HardwareFixpoint | 236 | 27 | 30 | 92855.62 |
| hwmcc | 14 | 4 | 2194.29 | |
| irqlkeapclte | 145 | 6 | 107190.42 | |
| ltl2aig-comp | 11 | 1 | 5844.76 | |
| LTL2DBA | 11 | 1 | 5741.35 | |
| mult-matrix | 17 | 3 | 3417.48 | |
| RankingFunctions | 73 | 37 | 4878.88 | |
| Reduction-finding | 220 | 3 | 18 | 157876.85 |
| Selection-hard | 48 | 2 | 33546.52 | |
| sketch | 42 | 37306 | ||
| Sorting_networks | 163 | 7 | 10 | 80604.37 |
| terminator | 145 | 5 | 27 | 25362.21 |
| toy | 22 | 4 | 1996.7 | |
| wgrowing | 21 | 1 | 17043.86 | |
| wmiforward | 25 | 4 | 1820.42 |