benchmark file for magma