Risultati in diretta di Tommy Paul vs Tomas Machac il 12/05 nel torneo ATP Rome, Italy Men Singles