tweaked E, SPASS, Vampire setup based on latest Judgment Day results
tweaked E, SPASS, Vampire setup based on latest Judgment Day results

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