Soundness sampling for Theorem 2 enclosures (seed 11)
  lp   : 100 boxes, 1200 points; end-to-end chain checks done 792 (skipped 408)
  ms   : 100 boxes, 1200 points; end-to-end chain checks done 2392 (skipped 8)
  ncA  : 100 boxes, 1200 points; end-to-end chain checks done 0 (skipped 0)
  ncB  : 100 boxes, 1200 points; end-to-end chain checks done 0 (skipped 0)
  violations: 0
exit 0 elapsed 5 s
