Нет никакой формулы, все банально просто. Условно кидается кубик 0-100. Какое число выпадает, от этого движок решает заточилось или нет. Что-то типа 0-60 заточилось, 61-100 нет.
В оригинале, псевдо случайные числа генерировались при запуске сервера. Сидом было время запуска, после рестарта заново генерировалось. Что-то в этом роде, точно уже не помню.