diff --git a/submissions/smts.json b/submissions/smts.json
new file mode 100644
index 00000000..b3ccb33f
--- /dev/null
+++ b/submissions/smts.json
@@ -0,0 +1,36 @@
+{
+    "name": "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/15756050/files/smts.tar.bz2"
+        ,
+        "h": { "sha256": "9de09b0fd757b904ef0c0e8bc515bdf1a9a615e3b140279bd41783c24638e2b8" }
+    },
+    "command": ["./SMTS/server/smts.py", "-l", "-p", "-pt", "2", "-nt", "30", "-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/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": 89,
+    "final": true
+}