# HG changeset patch
# User blanchet
# Date 1306188093 -7200
# Node ID a4b654185613108d5dfa4395b936f922d389ffbf
# Parent  26111aafab123e929ba0b59b643eb29eb1407292
give fewer equations to Waldmeister

diff -r 26111aafab12 -r a4b654185613 src/HOL/Tools/ATP/atp_systems.ML
--- 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 *)