CIN 3 at SD 9, 2017-06-12

Cincinnati Reds at San Diego Padres, 2017-06-12, final 3-9: the score, both clubs' lines and each player's line where the data keeps them.