Live Results of Anders Antonsen vs Christo Popov on 17/12 in the World Tour Finals, Singles tournament