Live-Ergebnisse James Robertson gegen Baptiste Rolin am 12/11 beim Irish Open, Singles