diff --git a/submissions/cvc5.json b/submissions/cvc5.json
index e913ed09..82d85b2d 100644
--- a/submissions/cvc5.json
+++ b/submissions/cvc5.json
@@ -57,10 +57,6 @@
         }
       },
       "command": [ "bin/smtcomp_run_incremental" ]
-    },
-    {
-      "tracks": [ "Cloud" ],
-      "logics": ".*"
     }
   ]
 }