Это ошибка в Z3 для Linux (версии 3.0 и 3.1). Ошибка не влияет на версию Windows. Исправление будет доступно в следующем выпуске (Z3 3.2). Таймер, используемый для отслеживания time, неверен.
Кстати, total-time - общее время выполнения, а time - только время, затраченное на последнюю команду check-sat Итак, мы должны иметь это total-time >= time.
Примечание: этот ответ был обновлен с использованием отзывов Swen Jacobs.