Pretty sure Mike was stopped/asleep at this point (click the record and the last equivalent update was 3h ago), expect it'll overtake Ben in the next few hours.
It may also be that it doesn't get updated very often. It hasn't been changed for more than eight hours now, so it looks as if Mike's record is still way ahead.
Pretty sure Mike was stopped/asleep at this point (click the record and the last equivalent update was 3h ago), expect it'll overtake Ben in the next few hours.