CIN 1 at MIA 0, 2015-07-10

Cincinnati Reds at Miami Marlins, 2015-07-10, final 1-0: the score, both clubs' lines and each player's line where the data keeps them.