Each position is searched to a fixed depth and the reported mate distance and best move are checked. Positive is mate for the side to move, negative is being mated.