Dear participants, We're about to start the competition jobs soon, and we'd ask you to have one final look at the participants page https://smt-comp.github.io/2020/participants.html to see that everything is ok. Please let us know about any problems as soon as possible! Best Regards, Antti, Haniel & Jochen