parameterise big benchmarks by property