SD 7 at MIA 12, 2019-07-16

San Diego Padres at Miami Marlins, 2019-07-16, final 7-12: the score, both clubs' lines and each player's line where the data keeps them.