let decay_clause_utility_ratio = 2