Board Game Arena

For other tournaments I have seen the time spent be the tie breaker. Maybe this was also the case here. That means the player that spent less time during the game would win the tie break.