Will the Miami Marlins make the 2025 MLB playoffs?

This is a market to predict which MLB teams qualify for the 2025 playoffs. This market will resolve to "Yes" if the listed team qualifies for the 2025 MLB playoffs, as defined by Major League Baseball's official playoff format. Otherwise, this market will resolve to "No". This includes all teams that qualify for the playoffs via division title or wild card, in either the American League or National League. The total number of playoff teams will be 12 (6 from each league: 3 division winners and 3 wild cards). The primary resolution source for this market will be information from MLB (mlb.com), however a consensus of credible reporting may also be used.