split timeout among ATPs in and add Metis to the mix as backup
split timeout among ATPs in and add Metis to the mix as backup

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