This is not correct. Snyder would have had to win by 13 or more points. Here are the rules for tie breaking:
3.15 Breaking Ties in Dual Meets and Team-Advancement Tournaments
When two teams finish in a tie in a dual meet or a team-advancement
tournament, the following criteria shall be applied to determine a winner:
3.15.1 Greater number of victories.
Note: Forfeits, defaults and disqualifications count toward total number of victories. Each team would have had 5 victories so you move to the next tie-breaker.
3.15.2 Combined total number of falls, forfeits, defaults and disqualifications.
There were NO falls, forfeits, defaults, or disqualifications so you move to the next tie-breaker.
3.15.3 Total match points scored only from decisions, major decisions and technical falls. After the first 9 weights, PSU led the total number of points 85 - 73. So in order to win at this point Snyder would have had to score 13 or more points. What if he had scored 12 points? Well, we would then move to the next tie-breaker.
3.15.4 Total near fall points scored only from decisions, major decisions and technical falls. (Example: N-2 + N-2 + N-4 = Total of 8 near fall points scored for one team. Had Snyder scored 12 points the teams would have been tied through 3.15.3 so they would count up near fall points. PSU led near fall points by 14 - 4.