QF_NIA script terminates instantly with Z3 4.3.2, but not with 4.4.2
<p>This <a href="http://rise4fun.com/Z3/TkAL" rel="nofollow" title="script">script</a> produces a correct model in almost no time with Z3 4.3.2, but runs seemingly forever with Z3 4.4.2 and timeouts after a few seconds on Rise4fun.  A version of the script for <code>n=5</code> (the one linked has <code>n=4</code>) runs for a long time also on 4.3.2.  I tried changing <code>sat.random_seed</code> and <code>smt.random_seed</code>, but to no avail.  What else can I try?</p>