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 654195c06360bd16ee0d274a3d5425bc1723774b..b3fa5f3fcd955d283fede4fef9ef6eea912a1edf 100644 (file)
--- 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;;