如何在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