Soundness sampling for Theorem 3 enclosures (seed 11)
  lp   : 100 boxes, 1200 points; end-to-end chain checks done 744 (skipped 456)
  ms   : 100 boxes, 1200 points; end-to-end chain checks done 2391 (skipped 9)
  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
