Benchmarks produced in the competitions and challenges (as well as other related events) are collected together in the repositories of this GitHub Organization (currently with the exception of 2014). Below we provide links to key repositories:

• 2014 Competition
• 2015 Competition
• 2016 Competition
• 2017 Dagstuhl Meeting (“A Shared Challenge in Behavioural Specification”)
• 2018 Benchmark Challenge