slightly better setup for SPASS and Vampire as more results have come in
slightly better setup for SPASS and Vampire as more results have come in

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