I have assumed that Hallett scored 13-9. Reichhelm gives 13.5-9.5 but this is inconsistent with the number of games of other players. If Hallett had played an extra game, some other player would have to have played an extra game too, but all others played 22 games (11 opponents, 2 rounds).