disable TFF for Vampire 1.8 until they've fixed the soundness issues and it's back on SystemOnTPTP
disable TFF for Vampire 1.8 until they've fixed the soundness issues and it's back on SystemOnTPTP

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