Resultados ao vivo de Anthony Sinisuka Ginting vs Anders Antonsen em 15/10 no torneio Denmark Open, Singles