MSE</span>
  showauxInSATmode = <span class="kw">false</span>,
  advancedSolverArgs = mutable.HashMap[(<span class="std">String</span>, <span class="std">Int</span>), <span class="std">String</span>]( <span class="cmt">// advanced settings, see sharedDefs</span>
    (<span class="lit">"seedRngGlobalR"</span>, <span class="num">0</span>) -&gt; <span class="lit">"-1"</span> <span class="cmt">// uses a random PRNG seed seed for each run. Otherwise, we would get the same set of models at each call.</span>
    ,