diff --git a/conf/svcomp.json b/conf/svcomp.json
index 73f99500b9..107c59994c 100644
--- a/conf/svcomp.json
+++ b/conf/svcomp.json
@@ -71,7 +71,8 @@
         "octagon",
         "wideningThresholds",
         "loopUnrollHeuristic",
-        "memsafetySpecification"
+        "memsafetySpecification",
+        "termination"
       ]
     }
   },
diff --git a/conf/svcomp23.json b/conf/svcomp23.json
index f46ae13e86..af584f1593 100644
--- a/conf/svcomp23.json
+++ b/conf/svcomp23.json
@@ -70,8 +70,7 @@
         "congruence",
         "octagon",
         "wideningThresholds",
-        "loopUnrollHeuristic",
-        "termination"
+        "loopUnrollHeuristic"
       ]
     }
   },