Есть ли какая-либо связь между параметром конфигурации smt.arith.nl.rounds
и значением статистики final-checks
(или это просто совпадение, что в описании первого упоминаются "окончательные проверки")?
Я запускал 64-разрядные сборки Windows Z3 4.3.2 (официальная загрузка) и Z3 4.4 0ab54b9e0c33 в программе SMTLIB, и в обоих случаях сообщаемое число final-checks
(около 10 000), по-видимому, не зависит от того, какое значение я выберу для smt.arith.nl.rounds
(я пробовал 1, 64, 128, ..., 1024 и 4096).