如何在Z3 3.2中获取统计信息? [英] How to get statistics in Z3 3.2?

问题描述

在Z3 2.x中，我使用了SMTLib2命令

With Z3 2.x I used the SMTLib2 command

(get-info statistics)

以获取Z3运行的统计信息.使用Z3 3.2我得到

to get statistics of a Z3 run. Using Z3 3.2 I get

(error "line _ column _: invalid command argument, keyword expected")

针对上述情况，并

(get-info :statistics)

Z3回复

unsupported

获取统计信息的新方式是什么(/st命令行选项除外)?

What's the new way of getting statistics (other than the /st command-line option)?

---

而当我们使用它时: INI选项页列表

---

And while we're at it: The INI options page lists

(set-option :STATISTICS true)

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

as a valid option, but Z3 3.2 again replies with

unsupported

推荐答案

(get-info :all-statistics)

应该可以解决问题.

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

这篇关于如何在Z3 3.2中获取统计信息?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！