diff --git a/submissions/yices2.json b/submissions/yices2.json
new file mode 100644
index 000000000..9feb4472e
--- /dev/null
+++ b/submissions/yices2.json
@@ -0,0 +1,187 @@
+{
+    "name": "Yices2",
+    "contributors": [
+        "Bruno Dutertre",
+        "Aman Goel",
+        "Stéphane Graham-Lengrand",
+        "Thomas Hader",
+        "Ahmed Irfan",
+        "Dejan Jovanovic",
+        "Enrico Lipparini",
+        "Ian A Mason",
+        "Karthik Nukala",
+        "Harald Ruess"
+    ],
+    "contacts": [
+        "Ahmed Irfan <ahmed.irfan@sri.com>",
+        "Stéphane Graham-Lengrand <stephane.graham-lengrand@sri.com>"
+    ],
+    "archive": {
+        "url": "https://zenodo.org/records/20639538/files/yices2-smtcomp-2026.zip",
+        "h": { "sha256": "0d9ee518d59613d28172a85a7f056e829255e1b1b1e15ee5d2e02f4f392e4777" }
+    },
+    "website": "https://yices.csl.sri.com",
+    "system_description": "https://ahmed-irfan.github.io/smtcomp/yices2-smtcomp-2026.pdf",
+    "solver_type": "Standalone",
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "logics": ["QF_ABV",
+                       "QF_ALIA",
+                       "QF_ANIA",
+                       "QF_AUFBV",
+                       "QF_AUFBVLIA",
+                       "QF_AUFBVNIA",
+                       "QF_AUFLIA",
+                       "QF_AUFNIA",
+                       "QF_AX",
+                       "QF_BVLRA",
+                       "QF_IDL",
+                       "QF_LIA",
+                       "QF_LIRA",
+                       "QF_LRA",
+                       "QF_NIRA",
+                       "QF_NRA",
+                       "QF_RDL",
+                       "QF_UF",
+                       "QF_UFBV",
+                       "QF_UFBVLIA",
+                       "QF_UFIDL",
+                       "QF_UFLIA",
+                       "QF_UFLRA",
+                       "QF_UFNIA",
+                       "QF_UFNRA",
+                       "UF"],
+            "command": ["./yices_smt2"]
+        },
+        {
+            "tracks": ["SingleQuery"],
+            "logics": ["QF_BV"],
+            "command": ["./yices_smt2", "--delegate=cadical"]
+        },
+        {
+            "tracks": ["SingleQuery"],
+            "logics": ["QF_NIA"],
+            "command": ["./yices_smt2", "--mcsat-l2o"]
+        },
+        {
+            "tracks": ["Incremental"],
+            "logics": ["QF_BV"],
+            "command": ["./yices_smt2", "--incremental", "--delegate=cadical"]
+        },
+        {
+            "tracks": ["Incremental"],
+            "logics": ["QF_ABV",
+                       "QF_ALIA",
+                       "QF_ANIA",
+                       "QF_AUFBV",
+                       "QF_AUFBVLIA",
+                       "QF_AUFBVNIA",
+                       "QF_AUFLIA",
+                       "QF_AUFNIA",
+                       "QF_AX",
+                       "QF_BVLRA",
+                       "QF_IDL",
+                       "QF_LIA",
+                       "QF_LIRA",
+                       "QF_LRA",
+                       "QF_NIA",
+                       "QF_NIRA",
+                       "QF_NRA",
+                       "QF_RDL",
+                       "QF_UF",
+                       "QF_UFBV",
+                       "QF_UFBVLIA",
+                       "QF_UFIDL",
+                       "QF_UFLIA",
+                       "QF_UFLRA",
+                       "QF_UFNIA",
+                       "QF_UFNRA"],
+            "command": ["./yices_smt2", "--incremental"]
+        },
+        {
+            "tracks": ["UnsatCore"],
+            "logics": ["QF_ABV",
+                       "QF_ALIA",
+                       "QF_ANIA",
+                       "QF_AUFBV",
+                       "QF_AUFBVLIA",
+                       "QF_AUFBVNIA",
+                       "QF_AUFLIA",
+                       "QF_AUFNIA",
+                       "QF_AX",
+                       "QF_BV",
+                       "QF_BVLRA",
+                       "QF_IDL",
+                       "QF_LIA",
+                       "QF_LIRA",
+                       "QF_LRA",
+                       "QF_NIA",
+                       "QF_NIRA",
+                       "QF_NRA",
+                       "QF_RDL",
+                       "QF_UF",
+                       "QF_UFBV",
+                       "QF_UFBVLIA",
+                       "QF_UFIDL",
+                       "QF_UFLIA",
+                       "QF_UFLRA",
+                       "QF_UFNIA",
+                       "QF_UFNRA"],
+            "command": ["./yices_smt2"]
+        },
+        {
+            "tracks": ["ModelValidation"],
+            "logics": ["QF_ABV",
+                       "QF_ALIA",
+                       "QF_ANIA",
+                       "QF_AUFBV",
+                       "QF_AUFBVLIA",
+                       "QF_AUFBVNIA",
+                       "QF_AUFLIA",
+                       "QF_AUFNIA",
+                       "QF_AX",
+                       "QF_BV",
+                       "QF_BVLRA",
+                       "QF_IDL",
+                       "QF_LIA",
+                       "QF_LIRA",
+                       "QF_LRA",
+                       "QF_NIRA",
+                       "QF_NRA",
+                       "QF_RDL",
+                       "QF_UF",
+                       "QF_UFBV",
+                       "QF_UFBVLIA",
+                       "QF_UFIDL",
+                       "QF_UFLIA",
+                       "QF_UFLRA",
+                       "QF_UFNIA",
+                       "QF_UFNRA"],
+            "command": ["./yices_smt2"]
+        },
+        {
+            "tracks": ["ModelValidation"],
+            "logics": ["QF_NIA"],
+            "command": ["./yices_smt2", "--mcsat-l2o"]
+        },
+        {
+            "tracks": ["Parallel"],
+            "logics": ["QF_NIA"],
+            "command": ["./yices2_parallel.py", "--yices", "./yices_smt2", "-n", "64", "--mcsat-l2o"]
+        },
+        {
+            "tracks": ["Parallel"],
+            "logics": ["QF_ANIA",
+                       "QF_AUFBVNIA",
+                       "QF_AUFNIA",
+                       "QF_NIRA",
+                       "QF_NRA",
+                       "QF_UFNIA",
+                       "QF_UFNRA"],
+            "command": ["./yices2_parallel.py", "--yices", "./yices_smt2", "-n", "64"]
+        }
+    ],
+    "seed": 37,
+    "final": true
+}