WSH 12 at MIA 3, 2017-06-20

Washington Nationals at Miami Marlins, 2017-06-20, final 12-3: the score, both clubs' lines and each player's line where the data keeps them.