From 916d1dbb137cb5192ec9099f1e5487c68844fbed Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Tue, 23 Aug 2022 15:26:29 +0100 Subject: [PATCH] fix default parameter regression bug introduced in commit 63f48f8fd447eb3a45b1d1e060d513da5a2f26a2 --- src/smt/params/smt_params.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/smt/params/smt_params.h b/src/smt/params/smt_params.h index 29a5f94b4..64c9b4829 100644 --- a/src/smt/params/smt_params.h +++ b/src/smt/params/smt_params.h @@ -91,9 +91,9 @@ struct smt_params : public preprocessor_params, unsigned m_relevancy_lvl = 2; bool m_relevancy_lemma = false; unsigned m_random_seed = 0; - double m_random_var_freq = 1.052; - double m_inv_decay = 1; - unsigned m_clause_decay; + double m_random_var_freq = 0.01; + double m_inv_decay = 1.052; + unsigned m_clause_decay = 1; initial_activity m_random_initial_activity = initial_activity::IA_RANDOM_WHEN_SEARCHING; phase_selection m_phase_selection = phase_selection::PS_CACHING_CONSERVATIVE; unsigned m_phase_caching_on = 700;