fix benchmark script for setminus example