[FIXED] How to get statistics in Z3 3.2?

Issue

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

Solution

(get-info :all-statistics)

should do the trick.

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

Answered By - pad

Answer Checked By - Willingham (PHPFixing Volunteer)