如何在 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 options page 列表

(set-option :STATISTICS true)

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

unsupported

Answer 1

(get-info :all-statistics)

应该可以解决问题。

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