From 912fdc1cb6beeab46931145b0eea6cbe0fcc65b2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Kol=C3=A1rik?= <tomaqa@gmail.com>
Date: Tue, 10 Jun 2025 16:02:14 +0200
Subject: [PATCH 1/2] OpenSMT submission 2025

---
 submissions/opensmt.json | 42 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 submissions/opensmt.json

diff --git a/submissions/opensmt.json b/submissions/opensmt.json
new file mode 100644
index 00000000..d0a59c2e
--- /dev/null
+++ b/submissions/opensmt.json
@@ -0,0 +1,42 @@
+{
+    "name": "OpenSMT",
+    "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>"
+        ,
+        "Martin Blicha <martin.blicha@usi.ch>"
+    ],
+    "archive": {
+        "url": "https://github.com/usi-verification-and-security/opensmt/releases/download/v2.9.2/opensmt-x64-linux-static.tar.bz2"
+    },
+    "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",
+    "seed": 87,
+    "participations": [
+        {
+            "tracks": ["SingleQuery", "Incremental", "UnsatCore"],
+            "logics": [
+                "QF_UF", "QF_AX",
+                "QF_IDL", "QF_RDL", "QF_LIA", "QF_LRA",
+                "QF_UFIDL", "QF_UFLIA", "QF_UFLRA",
+                "QF_ALIA",
+                "QF_AUFLIA"
+            ]
+        }
+        ,
+        {
+            "tracks": ["ModelValidation"],
+            "logics": [
+                "QF_UF",
+                "QF_IDL", "QF_RDL", "QF_LIA", "QF_LRA",
+                "QF_UFIDL", "QF_UFLIA", "QF_UFLRA"
+            ]
+        }
+    ]
+}

From 5c637b29e50d77a8b8fb621996e4cc455e6c01b6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Kol=C3=A1rik?= <tomaqa@gmail.com>
Date: Mon, 23 Jun 2025 12:53:02 +0200
Subject: [PATCH 2/2] OpenSMT submission 2025 - final

---
 submissions/opensmt.json | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/submissions/opensmt.json b/submissions/opensmt.json
index d0a59c2e..1b8ffba6 100644
--- a/submissions/opensmt.json
+++ b/submissions/opensmt.json
@@ -11,13 +11,14 @@
         "Martin Blicha <martin.blicha@usi.ch>"
     ],
     "archive": {
-        "url": "https://github.com/usi-verification-and-security/opensmt/releases/download/v2.9.2/opensmt-x64-linux-static.tar.bz2"
+        "url": "https://zenodo.org/records/15720348/files/opensmt-x64-linux-static.tar.bz2"
+        ,
+        "h": { "sha256": "be4767bf5d6c08bc7f4f49ae1480f2ae2ac8f38a277d0ec39d56badd974b84bd" }
     },
     "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",
-    "seed": 87,
     "participations": [
         {
             "tracks": ["SingleQuery", "Incremental", "UnsatCore"],
@@ -38,5 +39,7 @@
                 "QF_UFIDL", "QF_UFLIA", "QF_UFLRA"
             ]
         }
-    ]
+    ],
+    "seed": 87,
+    "final": true
 }