Hi mate. I would like to help you with contribute results for Leibniz but unfortunately is he crushing my systems (linux/mac) frequently. No offense, could you have a look at this bot? To me it looks like some thread issue but not quite sure about this.
take care
