diff --git a/conf/svcomp.json b/conf/svcomp.json
index d6c07387a8..16c4ef338e 100644
--- a/conf/svcomp.json
+++ b/conf/svcomp.json
@@ -61,6 +61,9 @@
         "domain": "partitioned"
       }
     },
+    "race": {
+      "free": false
+    },
     "autotune": {
       "enabled": true,
       "activated": [