Resultados ao vivo de Pedro Martinez vs David Jorda Sanchis em 18/07 no torneio ATP Estoril, Portugal Men Singles