I suppose every layoff is different, but they are not completely random. There are many factors involved, performance can be one of them. My assumption is that leaders craft some query on the employees list and tweak parameters until they get the right number of people to lay off.