From 984df0f8feff95dcfdbdcebe6e23ace0b5529fa5 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Thu, 23 Mar 2006 10:33:41 +0000 Subject: [PATCH] Best parameter setting for de morgan. -- This line, and those below, will be ignored-- M tactics/paramodulation/saturation.ml --- components/tactics/paramodulation/saturation.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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;; -- 2.39.2