Update benchmark numbers