diff --git a/submissions/cvc5-cvc5-xyz-base.json b/submissions/cvc5-cvc5-xyz-base.json
new file mode 100644
index 000000000..ab28dc70e
--- /dev/null
+++ b/submissions/cvc5-cvc5-xyz-base.json
@@ -0,0 +1,29 @@
+{
+    "name": "cvc5-cvc5-xyz-base",
+    "contributors": [
+        "All cvc5 Contributors"
+    ],
+    "contacts": [
+      "Hans-Jörg Schurr <hansjoerg-schurr@uiowa.edu>",
+      "Daniel Larraz <daniel-larraz@uiowa.edu>",
+      "Clark Barrett <barrettc@stanford.edu>"
+    ],
+    "archive": {
+        "url": "https://zenodo.org/records/20642185/files/cvc5-xyz-base.tar.gz?download=1"
+    },
+    "website": "https://github.com/cvc5/cvc5",
+    "system_description": "https://cvc5.github.io/docs/cvc5-1.3.4/",
+    "command": [
+        "./bin/starexec_run_sq"
+    ],
+    "solver_type": "Standalone",
+    "seed": "66",
+    "participations": [
+        {
+            "tracks": [ "SingleQuery" ],
+            "logics": ".*"
+        }
+    ],
+    "competitive": false,
+    "final": true
+}
diff --git a/submissions/cvc5-cvc5-xyz.json b/submissions/cvc5-cvc5-xyz.json
new file mode 100644
index 000000000..cc5276236
--- /dev/null
+++ b/submissions/cvc5-cvc5-xyz.json
@@ -0,0 +1,30 @@
+{
+    "name": "cvc5-cvc5-xyz",
+    "contributors": [
+        "Xingyu Xie",
+        "Yingte Xu",
+        "Zhiyuan Zhang"
+    ],
+    "contacts": [
+        "Xingyu Xie <xingyu.xie@mpi-sp.org>",
+        "Yingte Xu <yingte.xu@mpi-sp.org>",
+        "Zhiyuan Zhang <zhiyuan.zhang@mpi-sp.org>"
+    ],
+    "archive": {
+        "url": "https://zenodo.org/records/20642185/files/cvc5-xyz.tar.gz?download=1"
+    },
+    "website": "https://zenodo.org/records/20642185",
+    "system_description": "https://zenodo.org/records/20642185/files/cvc5-xyz.pdf?download=1",
+    "command": [
+        "./bin/starexec_run_sq"
+    ],
+    "solver_type": "derived",
+    "seed": "66",
+    "participations": [
+        {
+            "tracks": [ "SingleQuery" ],
+            "logics": ".*"
+        }
+    ],
+    "final": true
+}