This server reports 9 of 12 players and we cannot verify that number (player count mirrored by bot count). Some servers inflate their population to rank higher in in-game browsers, so we keep counts like this one out of our totals and rankings rather than repeat them.