Keputusan langsung Tomas Machac menentang Adrian Mannarino pada 09/08 dalam kejohanan ATP Cincinnati, USA Men Singles