From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Thu, 23 Mar 2006 10:33:41 +0000 (+0000)
Subject: Best parameter setting for de morgan.
X-Git-Tag: 0.4.95@7852~1571
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=984df0f8feff95dcfdbdcebe6e23ace0b5529fa5;p=helm.git

Best parameter setting for de morgan.
-- This line, and those below, will be ignored--

M    tactics/paramodulation/saturation.ml
---

diff --git a/components/tactics/paramodulation/saturation.ml b/components/tactics/paramodulation/saturation.ml
index 654195c06..b3fa5f3fc 100644
--- a/components/tactics/paramodulation/saturation.ml
+++ b/components/tactics/paramodulation/saturation.ml
@@ -70,7 +70,7 @@ let maximal_retained_equality = ref None;;
 
 (* equality-selection related globals *)
 let use_fullred = ref true;;
-let weight_age_ratio = ref 5 (* 5 *);; (* settable by the user *)
+let weight_age_ratio = ref 4 (* 5 *);; (* settable by the user *)
 let weight_age_counter = ref !weight_age_ratio ;;
 let symbols_ratio = ref 0 (* 3 *);;
 let symbols_counter = ref 0;;