Hi jcl. Please advise. Did your result come from a beta after 1.83.2? Which one?

And if the Z3 version was the same (means Z3 was the same?), and History, etc., are the same, which bug fix or other change is it that produces the different result?

Thanks.