Программы для решения шахматных задач

[shahmatiuga]

У меня возникла определенная проблема: сложность проверки задач на обратный мат с большим количеством ходов. В моём распоряжении: ChestUCI, Popeye и... пожалуй, всё. Я их держал максимум по часу, но безрезультатно. Problemiste не тянет больше 5 ходов, да и работает он значительно медленней чем Popeye. Программы наподобие Chess Explorer и MateMaster я всерьёз не воспринимаю. Winchloe в силу некоторой особенности этой программы я в глаза не видел, как и Gustav, Alybadix и MatPlusLibrarian на 64-разрядной платформе не запустились. возникает вопрос - как проверить задачу с заданием,скажем, обратный мат в 9 ходов?
пример:


Cebanov Nicolai, 2009, s#9