How to get statistics in Z3 3.2?

问题

With Z3 2.x I used the SMTLib2 command

(get-info statistics)

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

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

for the above, and to

(get-info :statistics)

Z3 replies with

unsupported

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

---

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

(set-option :STATISTICS true)

as a valid option, but Z3 3.2 again replies with

unsupported

回答1:

(get-info :all-statistics)

should do the trick.

Official example: http://rise4fun.com/Z3/doc_examples

来源：https://stackoverflow.com/questions/8786081/how-to-get-statistics-in-z3-3-2