Risultati in diretta di Anders Antonsen vs Jonatan Christie il 28/09 nel torneo Korea Open, Singles