diff --git a/submissions/smts-base.json b/submissions/smts-base.json
new file mode 100644
index 000000000..ba63737f6
--- /dev/null
+++ b/submissions/smts-base.json
@@ -0,0 +1,35 @@
+{
+    "name": "OpenSMT-SMTS-base",
+    "contributors": [
+        { "name": "Tomáš Kolárik", "website": "https://github.com/Tomaqa" }
+        ,
+        { "name": "Martin Blicha", "website": "https://github.com/blishko" }
+    ],
+    "contacts": [
+        "Tomáš Kolárik <tomas.kolarik@usi.ch>"
+    ],
+    "archive": {
+        "url": "https://zenodo.org/records/20625983/files/opensmt-smts-base.tar.bz2"
+        ,
+        "h": { "sha256": "4c1e2e08031524a1c4baf3085ef18d986b2103c7575bdb79ce5a47855da4383d" }
+    },
+    "command": ["./opensmt"],
+    "website": "https://github.com/usi-verification-and-security/opensmt",
+    "system_description": "https://github.com/usi-verification-and-security/opensmt-doc/blob/master/smt-comp/abstract-2025.pdf",
+    "solver_type": "Standalone",
+    "participations": [
+        {
+            "tracks": ["Parallel"],
+            "logics": [
+                "QF_UF", "QF_AX",
+                "QF_IDL", "QF_RDL", "QF_LIA", "QF_LRA",
+                "QF_UFIDL", "QF_UFLIA", "QF_UFLRA",
+                "QF_ALIA",
+                "QF_AUFLIA"
+            ]
+        }
+    ],
+    "seed": 67893,
+    "competitive": false,
+    "final": true
+}
diff --git a/submissions/smts.json b/submissions/smts.json
new file mode 100644
index 000000000..b297fa2d1
--- /dev/null
+++ b/submissions/smts.json
@@ -0,0 +1,36 @@
+{
+    "name": "OpenSMT-SMTS",
+    "contributors": [
+        { "name": "Tomáš Kolárik", "website": "https://github.com/Tomaqa" }
+        ,
+        { "name": "Antti E. J. Hyvärinen", "website": "https://github.com/aehyvari" }
+        ,
+        { "name": "Seyedmasoud Asadzadeh", "website": "https://masoudasadzade.github.io" }
+    ],
+    "contacts": [
+        "Tomáš Kolárik <tomas.kolarik@usi.ch>"
+    ],
+    "archive": {
+        "url": "https://zenodo.org/records/20625983/files/opensmt-smts.tar.bz2"
+        ,
+        "h": { "sha256": "8ccfa04fca0f603c0f3aea0500c73c02b1a3397a070b9f8d21ad604074ae9b11" }
+    },
+    "command": ["./SMTS/server/smts.py", "-l", "-p", "-nt", "32", "-o", "128", "-fp"],
+    "website": "https://github.com/usi-verification-and-security/SMTS",
+    "system_description": "https://github.com/usi-verification-and-security/opensmt-doc/blob/master/smt-comp/smts-abstract-2026.pdf",
+    "solver_type": "derived",
+    "participations": [
+        {
+            "tracks": ["Parallel"],
+            "logics": [
+                "QF_UF", "QF_AX",
+                "QF_IDL", "QF_RDL", "QF_LIA", "QF_LRA",
+                "QF_UFIDL", "QF_UFLIA", "QF_UFLRA",
+                "QF_ALIA",
+                "QF_AUFLIA"
+            ]
+        }
+    ],
+    "seed": 6789,
+    "final": true
+}