[VDM19] How to not do benchmarking by Francesco Nigro