Reduce default benchmark programs.