Update configuration to the one used for server runs

Author: karoliineh

conf/svcomp25.json

@@ -65,16 +65,19 @@
         "congruence",
         "octagon",
         "wideningThresholds",
-        "loopUnrollHeuristic",
         "memsafetySpecification",
         "noOverflows",
         "termination",
         "tmpSpecialAnalysis"
       ]
-    }
+    },
+    "wp": true
   },
   "exp": {
-    "region-offsets": true
+    "region-offsets": true,
+    "arg": {
+      "enabled": true
+    }
   },
   "solver": "td3",
   "sem": {
@@ -90,10 +93,11 @@
   },
   "witness": {
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
-        "invariant_set"
+        "invariant_set",
+        "violation_sequence"
       ],
       "invariant-types": [
         "loop_invariant"
@@ -102,7 +106,7 @@
     "invariant": {
       "loop-head": true,
       "after-lock": false,
-      "other": false,
+      "other": true,
       "accessed": false,
       "exact": true
     }