reverted parallel map idea -- appears to make success rate of ATPs less stable (might even lead to bias in favor of MePo)
reverted parallel map idea -- appears to make success rate of ATPs less stable (might even lead to bias in favor of MePo)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle