This release supports all 10 tools (with various configurations) included in our SOSYM paper, along with enhancements and bug fixes that were committed in the last 10 months.
Thanks to all contributors who submitted issues and pull requests. I'm looking forward to continuing the development of the benchmark.