It is currently done by the engine by drawing the remaining table cards randomly 1000 times, it then counts how many times each player wins. The odds are therefore not exact, but it provides a good indication of the real win chances per player.