[loehnsberg]

Check out the Mittelmann benchmarks: https://plato.asu.edu/bench.html