20</span>d), <span class="cmt">// the desired accuracy (lower = more accurate but sampling requires more time)</span>
  assureMSE = <span class="kw">true</span>, <span class="cmt">// true = the loss function (which in this example is automatically generated from the probabilistic facts)</span>
  <span class="cmt">// is assured to be of type MSE</span>
  showauxInSATmode = <span class="kw">false</span>,
  advancedSolverArgs = mutable.HashMap[(<span class="std">String</span>, <span class="std">Int</span>), <s