SMTS (sequential) submission 2026: final

Author: Tomaqa

submissions/smts-base.json

@@ -9,7 +9,9 @@
         "Tomáš Kolárik <tomas.kolarik@usi.ch>"
     ],
     "archive": {
-        "url": "https://github.com/usi-verification-and-security/opensmt/releases/download/v2.9.1/opensmt-x64-linux-static.tar.bz2"
+        "url": "https://zenodo.org/records/20625983/files/opensmt-smts-base.tar.bz2?download=1"
+        ,
+        "h": { "sha256": "4c1e2e08031524a1c4baf3085ef18d986b2103c7575bdb79ce5a47855da4383d" }
     },
     "command": ["./opensmt"],
     "website": "https://github.com/usi-verification-and-security/opensmt",
@@ -29,5 +31,5 @@
     ],
     "seed": 67893,
     "competitive": false,
-    "final": false
+    "final": true
 }

submissions/smts-seq.json

@@ -11,7 +11,9 @@
         "Tomáš Kolárik <tomas.kolarik@usi.ch>"
     ],
     "archive": {
-        "url": "https://github.com/usi-verification-and-security/SMTS/raw/refs/heads/data/data/smtcomp/smtcomp26-smts.tar.bz2"
+        "url": "https://zenodo.org/records/20625983/files/opensmt-smts.tar.bz2?download=1"
+        ,
+        "h": { "sha256": "8ccfa04fca0f603c0f3aea0500c73c02b1a3397a070b9f8d21ad604074ae9b11" }
     },
     "command": ["./SMTS/server/smts.py", "-l", "-p", "-nt", "32", "-o", "1", "-fp"],
     "website": "https://github.com/usi-verification-and-security/SMTS",
@@ -30,5 +32,5 @@
         }
     ],
     "seed": 67891,
-    "final": false
+    "final": true
 }