From 6f3be7e01cf4b6e3bd3fda1afc4d5bc92f0222ae Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Wed, 5 Jun 2024 14:04:43 -0500
Subject: [PATCH] Remove cvc5 from the cloud track

---
 submissions/cvc5.json | 4 ----
 1 file changed, 4 deletions(-)

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": ".*"
     }
   ]
 }