Report ties as half-points

[csj]

The present score presentation ignores ties. Example, over 100 games, peetee might win 20, auto wins 60, and there are 20 ties. The score is thus presented as:

peetee 20 : 60 auto

This gives a skewed view of the actual number of points collected for ELO ranking purposes: auto did not defeat peetee by a 3-1 ratio. The tied games' points should be split between the two participants, thus:

peetee 30 : 70 auto

[Kylar]

I would prefer to explicitly show the number of draws instead of giving each player 0.5 points. How about something like this?

p1 wins / draws / p2 wins   -   84 / 6 / 10

or

robot_stupid2.6.1.py wins / draws / robot_stupid.2.6.py wins   -   84 / 6 / 10

[csj]

The reason I ask for the 0.5 point split is because that is what the ELO ranking system would do. In my earlier example, the ELO system would adjust the players by the same amount whether they went 60-20-20 or 70-30. I'm more interested in the number of match points accumulated over 100 games, not the number of ties.