Привет, Леонардо: похоже, z3 (v3.2) принимает параметр командной строки "-T: 10" для указания времени ожидания в Mac и Linux, но игнорирует его. (Не пробовал на windows.) Было бы здорово, если бы тайм-ауты поддерживались и в релизах linux / mac.
Да, переключатель -T установлен только для Windows в Z3 3.2. Это будет исправлено в следующем выпуске.
-T