1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Thu Jun 23 11:19:41 2011 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu Jun 23 11:19:41 2011 +0200
     1.3 @@ -406,7 +406,7 @@
     1.4                 (K (750, ["mangled_tags?"]) (* FUDGE *))
     1.5  val remote_vampire =
     1.6    remotify_atp vampire "Vampire" ["0.6", "9.0", "1.0"]
     1.7 -               (K (150, ["mangled_preds?"]) (* FUDGE *))
     1.8 +               (K (200, ["mangled_preds?"]) (* FUDGE *))
     1.9  val remote_z3_atp =
    1.10    remotify_atp z3_atp "Z3" ["2.18"] (K (250, ["mangled_preds?"]) (* FUDGE *))
    1.11  val remote_leo2 =
    1.12 @@ -418,7 +418,7 @@
    1.13  val remote_sine_e =
    1.14    remote_atp sine_eN "SInE" ["0.4"] [] (#known_failures e_config)
    1.15               Axiom Conjecture [FOF]
    1.16 -             (K (500, ["poly_tags_heavy"]) (* FUDGE *))
    1.17 +             (K (500, ["mangled_preds?"]) (* FUDGE *))
    1.18  val remote_snark =
    1.19    remote_atp snarkN "SNARK" ["20080805r029", "20080805r024"]
    1.20               [("refutation.", "end_refutation.")] [] Hypothesis Hypothesis