Commit 813d7e95 by Clark Barrett

Added lost benchmarks from 2015.

1 parent 9ee96a17
Pipeline #173 for 813d7e95 skipped in 0 seconds