Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
give fewer equations to Waldmeister
authorblanchet
Tue, 24 May 2011 00:01:33 +0200
changeset 42954 a4b654185613
parent 42953 26111aafab12
child 42955 576bd30cc4ea
give fewer equations to Waldmeister
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Tue May 24 00:01:33 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue May 24 00:01:33 2011 +0200
@@ -424,7 +424,7 @@
              [(OutOfResources, "Too many function symbols"),
               (Crashed, "Unrecoverable Segmentation Fault")]
              Hypothesis Hypothesis [CNF_UEQ]
-             (K (100, ["poly_args"]) (* FUDGE *))
+             (K (50, ["poly_args"]) (* FUDGE *))
 
 (* Setup *)
isabelle