From bd837f4dcb7d39c17d6f32947b6dc7b71f5e8e18 Mon Sep 17 00:00:00 2001
From: Xingyu Xie <namasikanam@gmail.com>
Date: Wed, 27 May 2026 22:57:59 +0200
Subject: [PATCH 1/3] cvc5-xyz

---
 submissions/cvc5-cvc5-xyz-base.json | 29 ++++++++++++++++++++++++++++
 submissions/cvc5-cvc5-xyz.json      | 30 +++++++++++++++++++++++++++++
 2 files changed, 59 insertions(+)
 create mode 100644 submissions/cvc5-cvc5-xyz-base.json
 create mode 100644 submissions/cvc5-cvc5-xyz.json

diff --git a/submissions/cvc5-cvc5-xyz-base.json b/submissions/cvc5-cvc5-xyz-base.json
new file mode 100644
index 000000000..998f9c2df
--- /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/20630442/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": false
+}
diff --git a/submissions/cvc5-cvc5-xyz.json b/submissions/cvc5-cvc5-xyz.json
new file mode 100644
index 000000000..d4f2ce8d1
--- /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/20630442/files/cvc5-xyz.tar.gz?download=1"
+    },
+    "website": "https://zenodo.org/records/20630442",
+    "system_description": "https://zenodo.org/records/20630442/files/cvc5-xyz.pdf?download=1",
+    "command": [
+        "./bin/starexec_run_sq"
+    ],
+    "solver_type": "derived",
+    "seed": "66",
+    "participations": [
+        {
+            "tracks": [ "SingleQuery" ],
+            "logics": ".*"
+        }
+    ],
+    "final": false
+}

From 35d2df399f881024580eb2fb30bca48b67d75762 Mon Sep 17 00:00:00 2001
From: Xingyu Xie <namasikanam@gmail.com>
Date: Thu, 11 Jun 2026 13:05:46 +0200
Subject: [PATCH 2/3] final udpate

---
 submissions/cvc5-cvc5-xyz-base.json | 2 +-
 submissions/cvc5-cvc5-xyz.json      | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/submissions/cvc5-cvc5-xyz-base.json b/submissions/cvc5-cvc5-xyz-base.json
index 998f9c2df..f5f1a73f1 100644
--- a/submissions/cvc5-cvc5-xyz-base.json
+++ b/submissions/cvc5-cvc5-xyz-base.json
@@ -9,7 +9,7 @@
       "Clark Barrett <barrettc@stanford.edu>"
     ],
     "archive": {
-        "url": "https://zenodo.org/records/20630442/files/cvc5-xyz-base.tar.gz?download=1"
+        "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/",
diff --git a/submissions/cvc5-cvc5-xyz.json b/submissions/cvc5-cvc5-xyz.json
index d4f2ce8d1..906a25c2f 100644
--- a/submissions/cvc5-cvc5-xyz.json
+++ b/submissions/cvc5-cvc5-xyz.json
@@ -11,10 +11,10 @@
         "Zhiyuan Zhang <zhiyuan.zhang@mpi-sp.org>"
     ],
     "archive": {
-        "url": "https://zenodo.org/records/20630442/files/cvc5-xyz.tar.gz?download=1"
+        "url": "https://zenodo.org/records/20642185/files/cvc5-xyz.tar.gz?download=1"
     },
-    "website": "https://zenodo.org/records/20630442",
-    "system_description": "https://zenodo.org/records/20630442/files/cvc5-xyz.pdf?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"
     ],

From a243c6656144610a4d60bbbeb4e60887b3cfab0b Mon Sep 17 00:00:00 2001
From: Xingyu Xie <namasikanam@gmail.com>
Date: Thu, 11 Jun 2026 17:37:37 +0200
Subject: [PATCH 3/3] set final flag as true

---
 submissions/cvc5-cvc5-xyz-base.json | 2 +-
 submissions/cvc5-cvc5-xyz.json      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/submissions/cvc5-cvc5-xyz-base.json b/submissions/cvc5-cvc5-xyz-base.json
index f5f1a73f1..ab28dc70e 100644
--- a/submissions/cvc5-cvc5-xyz-base.json
+++ b/submissions/cvc5-cvc5-xyz-base.json
@@ -25,5 +25,5 @@
         }
     ],
     "competitive": false,
-    "final": false
+    "final": true
 }
diff --git a/submissions/cvc5-cvc5-xyz.json b/submissions/cvc5-cvc5-xyz.json
index 906a25c2f..cc5276236 100644
--- a/submissions/cvc5-cvc5-xyz.json
+++ b/submissions/cvc5-cvc5-xyz.json
@@ -26,5 +26,5 @@
             "logics": ".*"
         }
     ],
-    "final": false
+    "final": true
 }