Disable exp.widen-context in svcomp21

sim642 · sim642 · commit 8ebcb00f4099 · 2020-11-27T15:49:27.000+02:00
Testing shows it slows us down instead.
diff --git a/conf/svcomp21.json b/conf/svcomp21.json
@@ -24,7 +24,7 @@
     ]
   },
   "exp": {
-    "widen-context": true,
+    "widen-context": false,
     "partition-arrays": {
       "enabled": true
     },
