benchmarks for magma