Isabelle-EY

Results 2 comments of Isabelle-EY

Hi! I have the same issue. BatchrunnerMP works fine for one processor, but not for multiple. I am using mesa 0.9.0 and multiprocessing 2.6.2.1. Any suggestions?