When re-running local benchmarks, the following error pops up:
docker: Error response from daemon: driver failed programming external connectivity on endpoint funny_shamir (cd4f2c17d628267d5e84b4b5f05ee7dbe3edddc4c049b43b7908490de6c3d165): Bind for 0.0.0.0:8082 failed: port is already allocated.
Perhaps use https://github.com/softprops/shiplift if killall-ing or docker rm containers is problematic.