PIT 12 at CIN 1, 2018-07-20

Pittsburgh Pirates at Cincinnati Reds, 2018-07-20, final 12-1: the score, both clubs' lines and each player's line where the data keeps them.