I am not sure that they stick to a strict departure / arrival schedule, they just tend to run trains every 10 minutes or so during peak rushour and every 20 minutes or so during offpeak - sometimes less on the weekends, but they should have frequent trains leaving RFK on a game day.

Good advice posted earlier to just jump on the first train that comes and let that decide your route.