Live uitslagen van James Robertson tegen Baptiste Rolin op 12/11 in het Irish Open, Singles-toernooi