From: Andrea Asperti Date: Thu, 23 Mar 2006 10:33:41 +0000 (+0000) Subject: Best parameter setting for de morgan. X-Git-Tag: make_still_working~7473 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ccc866c4af954761773a92b91704a8ad70984eb4;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/helm/software/components/tactics/paramodulation/saturation.ml b/helm/software/components/tactics/paramodulation/saturation.ml index 654195c06..b3fa5f3fc 100644 --- a/helm/software/components/tactics/paramodulation/saturation.ml +++ b/helm/software/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;;