statistics - 如何在 Z3 3.2 中获取统计信息？

Question

对于 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 命令行选项）？

---

当我们在这里时：INI 选项页面列表

(set-option :STATISTICS true)

作为一个有效的选项，但 Z3 3.2 再次回复

unsupported

Answer 1

(get-info :all-statistics)

应该做的伎俩。

官方示例：http ://rise4fun.com/Z3/doc_examples