Как получить статистику в Z3 3.2?

С Z3 2.x я использовал команду SMTLib2

(get-info statistics)

чтобы получить статистику запуска Z3. Используя Z3 3.2 я получаю

(error "line _ column _: invalid command argument, keyword expected")

для вышеизложенного и для

(get-info :statistics)

Z3 отвечает

unsupported

Каков новый способ получения статистики (кроме параметра командной строки /st)?

(set-option :STATISTICS true)

как допустимый вариант, но Z3 3.2 снова отвечает

unsupported