Live Results of James Robertson vs Baptiste Rolin on 12/11 in the Irish Open, Singles tournament