В итоге что мы имеем на сегодняшний день:
Ultracode пользоваться нельзя вообще. Простые вещи (30 минут для 5.5 xhigh) он делает по 7-14 часов.
Сложные - я даже не знаю сколько бы он делал, мне пришлось прервать на 40-м часу работы две сессии, которые я думаю уже никогда бы не завершились.