I have a doubt concerning the ranking mechanism in LUNCHTIMES (in particular the tie-breaker). I don’t have much of a preference but it would be nice to know. Lunchtime rules say
Those who achieve the score first will be placed higher in the ranklist in case of a tie.
Phrased in another way this seems to mean that a tie is broken by the latest submission time of a solution that increases the score.
On the other hand During the contest I witnessed people increasing their score and being placed before someone who had already reached the same score. While this might be due to lags in updating the ranklist, there is more. The scoring data includes a filed named “total_time”, and tie-breaking is consistent with the value of this field. This would be fine if “total_time” meant time of last score-increasing submission, but it is above 3h for most participants. In fact it is (at least for me) more like the sum of of last (score-increasing) submissions for all problems.