CIN 1 at MIA 8, 2015-07-12

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