Resultados ao vivo de Damir Dzumhur vs Pedro Martinez em 17/02 no torneio ATP Rio de Janeiro, Brazil Men Singles