benchmark-challenge-2018 Collection of submissions for the 2018 Runtime Verification Benchmark Challenge See the competition website for further details e.g. the rules.