diff --git a/submissions/cvc5-cloud b/submissions/cvc5-cloud
index 1f0aac59..7450a593 100644
--- a/submissions/cvc5-cloud
+++ b/submissions/cvc5-cloud
@@ -7,13 +7,13 @@
     "contacts": ["Amalee Wilson <amalee@cs.stanford.edu>"],
     "website": "https://cvc5.github.io/",
     "system_description": "https://github.com/amaleewilson/smtcomp24/blob/main/system_description.pdf",
-    "solver_type": "cloud",
+    "solver_type": "Standalone",
     "seed": "42",
     "participations": [
-        { "tracks": ["cloud"] },
         {
-            "tracks": ["cloud"],
-            "logics": "QF_.*LRA.*", "QF_.*LIA.*", "QF_.*NIA.*", "QF_.*NRA.*", "QF_.*DL.*",
+            "tracks": ["Cloud"],
+            "logics": ["QF_LIA", "QF_LRA", "QF_IDL", "QF_RDL", "QF_SLIA", "QF_NIA", "QF_NRA"],
+            "aws_repository": "https://github.com/amaleewilson/smtcomp24"
         }
     ]
 }