CIN 6 at MIA 5, 2023-05-13

Cincinnati Reds at Miami Marlins, 2023-05-13, final 6-5: the score, both clubs' lines and each player's line where the data keeps them.