diff --git a/conf/svcomp23.json b/conf/svcomp23.json
index 1e125745c3..56474fbe2b 100644
--- a/conf/svcomp23.json
+++ b/conf/svcomp23.json
@@ -67,6 +67,7 @@
         "mallocWrappers",
         "noRecursiveIntervals",
         "enums",
+        "congruence",
         "octagon",
         "wideningThresholds",
         "loopUnrollHeuristic"