From b54bedc43985d6ffcb7a7494616c23456fba6641 Mon Sep 17 00:00:00 2001
From: zy <1419296201@qq.com>
Date: Wed, 27 May 2026 21:22:43 +0800
Subject: [PATCH 1/3] QiuQi submissions

---
 submissions/QiuQi.json          | 29 +++++++++++++++++++++++++++++
 submissions/QiuQi_parallel.json | 29 +++++++++++++++++++++++++++++
 2 files changed, 58 insertions(+)
 create mode 100644 submissions/QiuQi.json
 create mode 100644 submissions/QiuQi_parallel.json

diff --git a/submissions/QiuQi.json b/submissions/QiuQi.json
new file mode 100644
index 000000000..b671928a9
--- /dev/null
+++ b/submissions/QiuQi.json
@@ -0,0 +1,29 @@
+{
+  "name": "QiuQi",
+  "archive": {
+    "url": "https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026/releases/download/version_0.0.1/MIXSolver.zip"
+  },
+  "contributors": [
+    "Zhendong Lei",
+    "Jianrong Yuan",
+    "Yue Zhang",
+    "Qiuchen Qian",
+    "Pinyan Lu"
+  ],
+  "contacts": [
+    "Zhendong Lei <leizhendong3@huawei.com>"
+  ],
+  "website": "https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026",
+  "system_description": "https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026/blob/main/Qiuqi_at_SMT_COMP_2026.pdf",
+  "command": [
+    "./MIXSolver"
+  ],
+  "solver_type": "Standalone",
+  "participations": [
+    {
+      "tracks": ["SingleQuery"],
+      "logics": ["QF_LIA", "QF_IDL"]
+    }
+  ],
+  "final": false
+}
\ No newline at end of file
diff --git a/submissions/QiuQi_parallel.json b/submissions/QiuQi_parallel.json
new file mode 100644
index 000000000..1dc6017f5
--- /dev/null
+++ b/submissions/QiuQi_parallel.json
@@ -0,0 +1,29 @@
+{
+  "name": "QiuQi",
+  "archive": {
+    "url": "https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026/releases/download/version_0.0.1/MIXSolver.zip"
+  },
+  "contributors": [
+    "Zhendong Lei",
+    "Jianrong Yuan",
+    "Yue Zhang",
+    "Qiuchen Qian",
+    "Pinyan Lu"
+  ],
+  "contacts": [
+    "Zhendong Lei <leizhendong3@huawei.com>"
+  ],
+  "website": "https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026",
+  "system_description": "https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026/blob/main/Qiuqi_at_SMT_COMP_2026.pdf",
+  "command": [
+    "./MIXSolver  -Threads=32"
+  ],
+  "solver_type": "Standalone",
+  "participations": [
+    {
+      "tracks": ["Parallel"],
+      "logics": ["QF_LIA", "QF_IDL"]
+    }
+  ],
+  "final": false
+}
\ No newline at end of file

From ac4999e66dc43402ee572ed5e3f4c4abdff79449 Mon Sep 17 00:00:00 2001
From: zy <1419296201@qq.com>
Date: Thu, 28 May 2026 14:34:33 +0800
Subject: [PATCH 2/3] fix

---
 submissions/QiuQi_parallel.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/submissions/QiuQi_parallel.json b/submissions/QiuQi_parallel.json
index 1dc6017f5..ca97be463 100644
--- a/submissions/QiuQi_parallel.json
+++ b/submissions/QiuQi_parallel.json
@@ -16,7 +16,7 @@
   "website": "https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026",
   "system_description": "https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026/blob/main/Qiuqi_at_SMT_COMP_2026.pdf",
   "command": [
-    "./MIXSolver  -Threads=32"
+    "./MIXSolver", "-Threads=32"
   ],
   "solver_type": "Standalone",
   "participations": [

From 160fd68591942461c8f33c26b5720deef8961aa4 Mon Sep 17 00:00:00 2001
From: zy <1419296201@qq.com>
Date: Thu, 11 Jun 2026 18:25:52 +0800
Subject: [PATCH 3/3] final

---
 submissions/QiuQi.json          | 5 +++--
 submissions/QiuQi_parallel.json | 7 ++++---
 2 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/submissions/QiuQi.json b/submissions/QiuQi.json
index b671928a9..14ffe5103 100644
--- a/submissions/QiuQi.json
+++ b/submissions/QiuQi.json
@@ -1,7 +1,8 @@
 {
   "name": "QiuQi",
   "archive": {
-    "url": "https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026/releases/download/version_0.0.1/MIXSolver.zip"
+    "url": "https://zenodo.org/records/20640834/files/MIXSolver.tar.gz?download=1",
+    "h": {"sha256": "a62ae98888f5c1b12c421783fc1f6373aae5858ea0800ebf62de888cc5f93952"}
   },
   "contributors": [
     "Zhendong Lei",
@@ -25,5 +26,5 @@
       "logics": ["QF_LIA", "QF_IDL"]
     }
   ],
-  "final": false
+  "final": true
 }
\ No newline at end of file
diff --git a/submissions/QiuQi_parallel.json b/submissions/QiuQi_parallel.json
index ca97be463..0679ab3b2 100644
--- a/submissions/QiuQi_parallel.json
+++ b/submissions/QiuQi_parallel.json
@@ -1,7 +1,8 @@
 {
   "name": "QiuQi",
   "archive": {
-    "url": "https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026/releases/download/version_0.0.1/MIXSolver.zip"
+    "url": "https://zenodo.org/records/20640834/files/MIXSolver.tar.gz?download=1",
+    "h": {"sha256": "a62ae98888f5c1b12c421783fc1f6373aae5858ea0800ebf62de888cc5f93952"}
   },
   "contributors": [
     "Zhendong Lei",
@@ -16,7 +17,7 @@
   "website": "https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026",
   "system_description": "https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026/blob/main/Qiuqi_at_SMT_COMP_2026.pdf",
   "command": [
-    "./MIXSolver", "-Threads=32"
+    "./MIXSolver", "-Threads=16"
   ],
   "solver_type": "Standalone",
   "participations": [
@@ -25,5 +26,5 @@
       "logics": ["QF_LIA", "QF_IDL"]
     }
   ],
-  "final": false
+  "final": true
 }
\ No newline at end of file