Примечание: этот ответ был обновлен с использованием отзывов Swen Jacobs.
учаю странные результаты статистики при запуске Z3 3.1 с опцией -st. Если вы нажмете Ctrl-C, Z3 сообщит total_time <время. В противном случае, если вы дождетесь завершения Z3: total_time> time.
Что измеряют «общее время» и «время»?Это ошибка (незначительная, хотя) (разница описана выше)?Спасибо!