Live Results of Anders Antonsen vs Jonatan Christie on 18/12 in the World Tour Finals, Singles tournament