src/HOL/Tools/ATP_Manager/atp_systems.ML

    max_axiom_clauses = max_axiom_clauses,
    prefers_theory_relevant = prefers_theory_relevant}
 
 val remote_vampire =
   tptp_prover (remotify (fst vampire))
-              (remote_prover_config "Vampire---11" "" vampire_config)
+              (remote_prover_config "Vampire---9" "" vampire_config)
 
 val remote_e =
   tptp_prover (remotify (fst e))
               (remote_prover_config "EP---" "" e_config)