Comment obtenir des statistiques dans Z3 3.2?

Question

Avec Z3 2.x j'ai utilisé la commande SMTLib2

(get-info statistics) 

pour obtenir des statistiques d'une course Z3. En utilisant Z3 3.2 Je reçois

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

pour ce qui précède, et

(get-info :statistics) 

Z3 répond avec

unsupported 

Quelle est la nouvelle façon d'obtenir des statistiques (autres que le/st Commande- option de ligne)?

---

Et pendant que nous y sommes: Les INI options page listes

(set-option :STATISTICS true) 

comme une option valable, mais Z3 3.2 répond à nouveau avec

unsupported 

Answer 1

(get-info :all-statistics) 

devrait faire l'affaire.

Exemple officiel: http://rise4fun.com/Z3/doc_examples