Resultados ao vivo de Tommy Paul vs Tomas Machac em 12/05 no torneio ATP Rome, Italy Men Singles