Colon still had the no-hitter intact, but lost it on the next batter when Josh Reddick doubled down the right field line.
At 44 years and 326 days old, Big Sexy would have been the oldest pitcher in history to record a flawless game or a no-hitter.
Two outs later, he was removed with the score tied at 1. Martinez (2-1) allowed two hits and four walks while helping send the Reds to their eighth consecutive loss, one short of matching their longest losing streak of last season. A fan favorite all around the majors, he is on his ninth team in the last 11 seasons.
Verlander allowed just one run on a solo shot from Robinson Chirinos in the third inning. That was the lone hit in the game until Reddick doubled.
He struck out 11 batters, but 44-year-old Colon was better.
Prior to Sunday, Colon's longest no-hit bid throughout his 21-year career came with the Indians on September 18, 2000, when he held the Yankees hitless for 7.1 innings.
In the dugout, Colon's teammates left him all alone on the bench - adhering to traditional superstition - as he grinned and tossed a ball to himself. Colon ended up with a one-hitter in a 2-0 win at Yankee Stadium.
Kenny Rogers threw Texas' most recent no-hitter, in July 1994.
Wilmer Flores hit a game-winning home run with two outs in the bottom of the ninth inning and NY beat Milwaukee to improve the best start in team history to 12-2. But the Dodgers swept Arizona 3-0 previous year in the NL Division Series.
Texas scored eight of its 11 runs in the series on seven homers.