使用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