Benchmarks

Large examples from mutual exclusion protocols.