update a benchmark counter