Update: We believe that the scoring bug mentioned above has been fixed (09:55 UTC, Aug 5).
Update: The bug has caused some valid solutions to be rejected. In case of any doubt please just re-submit those solutions. Sorry for the inconvenience.
Update: We have fixed the scores and the leaderboards (11:04 UTC, Aug 5). Also the leaderboards at 11:00 UTC are correct. The scores for the following solutions have been modified:
- Team 21 (Standard ML/Yeah!), Problem IDs: 24 29 52 59 60 61 63 65 66 75 82 89 91 94 100
- Team 92 (gzoluble), Problem ID: 67
- Team 103 (Hydralisk eats taco), Problem ID: 8
Sorry for the inconvenience.