Previously, the score values in the learderboard at HH:00 included the problem scores
of those published at HH:00. We are now working on the change, so that
the score values at HH:00 include the problem scores
of those published before HH:00 but not of those published at HH:00.
Consequently, the result of the lightning round might differ from the leaderboard
published at 00:00 UTC, 6 Aug. Also note that all the submissions are subject to investigation and re-evaluation after the contest, and any evaluation published during the contest are just for your reference, and are not final.
(01:35 UTC, 6 Aug) Update: The mentioned change on the leaderboard have been implemented. The leaderboard at 02:00 UTC and thereafter will not include the scores from those problems just have been published.
