src/HOL/Tools/ATP/atp_systems.ML

   remotify_atp satallax "Satallax" ["2.1", "2.0", "2"]
       (K (100, satallax_thf0, "mono_native_higher", keep_lamsN, false)
          (* FUDGE *))
 val remote_vampire =
   remotify_atp vampire "Vampire" ["1.8"]
-      (K (250, FOF, "mono_guards??", combs_or_liftingN, false) (* FUDGE *))
+      (K (250, vampire_tff0, "mono_native", combs_or_liftingN, false) (* FUDGE *))
 val remote_z3_tptp =
   remotify_atp z3_tptp "Z3" ["3.0"]
       (K (250, z3_tff0, "mono_native", combsN, false) (* FUDGE *))
 val remote_e_sine =
   remote_atp e_sineN "SInE" ["0.4"] [] (#known_failures e_config) Axiom