diff --git a/config/config_files/codechecker.json b/config/config_files/codechecker.json
index bdee50feb4..45541cda75 100644
--- a/config/config_files/codechecker.json
+++ b/config/config_files/codechecker.json
@@ -4,6 +4,10 @@
     "--enable=core.CallAndMessage",
     "--analyzer-config",
     "clangsa:unroll-loops=true",
+    "--analyzer-config",
+    "clangsa:crosscheck-with-z3-eqclass-timeout-threshold=0",
+    "--analyzer-config",
+    "clangsa:crosscheck-with-z3-timeout-threshold=0",
     "--checker-config",
     "clang-tidy:google-readability-function-size.StatementThreshold=100",
     "--report-hash", "context-free-v2",