Wyniki na żywo Tomas Machac vs Adrian Mannarino w dniu 09/08 w turnieju ATP Cincinnati, USA Men Singles