mzn_bench
