diff --git a/conf/svcomp-validate.json b/conf/svcomp-validate.json
index 40642e6248..df5b6d6649 100644
--- a/conf/svcomp-validate.json
+++ b/conf/svcomp-validate.json
@@ -93,9 +93,6 @@
     }
   },
   "witness": {
-    "graphml": {
-      "enabled": false
-    },
     "yaml": {
       "enabled": false,
       "strict": true,
diff --git a/conf/svcomp.json b/conf/svcomp.json
index 27203164fe..9d4081cbe0 100644
--- a/conf/svcomp.json
+++ b/conf/svcomp.json
@@ -89,11 +89,6 @@
     }
   },
   "witness": {
-    "graphml": {
-      "enabled": true,
-      "id": "enumerate",
-      "unknown": false
-    },
     "yaml": {
       "enabled": true,
       "format-version": "2.0",