Update cvc5-cloud

SMT-COMP · Jun 5, 2024 · 9efff68 · 9efff68
1 parent a36ddaa
commit 9efff68
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/submissions/cvc5-cloud b/submissions/cvc5-cloud
@@ -7,13 +7,13 @@
     "contacts": ["Amalee Wilson <[email protected]>"],
     "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"
         }
     ]
 }