Pre-Stage Deadline Extension

Hi Everyone,

As some of you need a bit more time, we extend the deadline for the Pre-Stage
until this Friday, 25. June, 14:00 UTC.

Teams that already submitted their results can of course make another
submission, if they want to use the additional time. We will use the newer
submission in this case.

The organising team