At high enough depth the only real evaluations are #N, #-N, and 0. I’ve let stockfish sit on positions for an hour on my computer and it’ll find mate in 40. Of course in practical terms that’s computationally infeasible for your problem.