There are more tools that performed well in [HWMCC'20](https://fmv.jku.at/hwmcc20/), including Pono and nuXmv. We should try to incorporate them as well. Steps: - Write a [tool-info module](https://github.com/sosy-lab/benchexec/blob/main/doc/tool-integration.md) for the tool - Upload a precompiled tool archive to this repository