From f6179265b196575011054a06eccc9e8e0ad09409 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Kol=C3=A1rik?= Date: Thu, 12 Jun 2025 11:09:09 +0200 Subject: [PATCH 1/3] SMTS submission 2025 --- submissions/smts.json | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 submissions/smts.json diff --git a/submissions/smts.json b/submissions/smts.json new file mode 100644 index 00000000..da6976e2 --- /dev/null +++ b/submissions/smts.json @@ -0,0 +1,33 @@ +{ + "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 " + ], + "archive": { + "url": "https://github.com/usi-verification-and-security/SMTS/raw/refs/heads/data/data/smtcomp/smtcomp25-smts.tar.bz2" + }, + "command": ["python3 ./server/smts.py -l -p -o 256", "-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", + "seed": 89, + "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" + ] + } + ] +} From a7bf54427924e455ab0079706d03f34ad53e2156 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Kol=C3=A1rik?= Date: Wed, 25 Jun 2025 10:58:13 +0200 Subject: [PATCH 2/3] SMTS submission 2025 - final --- submissions/smts.json | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/submissions/smts.json b/submissions/smts.json index da6976e2..77725a00 100644 --- a/submissions/smts.json +++ b/submissions/smts.json @@ -11,13 +11,14 @@ "Tomáš Kolárik " ], "archive": { - "url": "https://github.com/usi-verification-and-security/SMTS/raw/refs/heads/data/data/smtcomp/smtcomp25-smts.tar.bz2" + "url": "https://zenodo.org/records/15736298/files/smts.tar.bz2" + , + "h": { "sha256": "863a5a455abace19c74c0cd13e123194633a948fbacead6877ed0361df89b6fe" } }, "command": ["python3 ./server/smts.py -l -p -o 256", "-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", - "seed": 89, "participations": [ { "tracks": ["Parallel"], @@ -29,5 +30,7 @@ "QF_AUFLIA" ] } - ] + ], + "seed": 89, + "final": true } From 08d741f4bd121b58caea8889302b764ba54a127b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Kol=C3=A1rik?= Date: Fri, 27 Jun 2025 16:26:29 +0200 Subject: [PATCH 3/3] SMTS submission 2025 - final (corrected version) --- submissions/smts.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/submissions/smts.json b/submissions/smts.json index 77725a00..b3ccb33f 100644 --- a/submissions/smts.json +++ b/submissions/smts.json @@ -11,11 +11,11 @@ "Tomáš Kolárik " ], "archive": { - "url": "https://zenodo.org/records/15736298/files/smts.tar.bz2" + "url": "https://zenodo.org/records/15756050/files/smts.tar.bz2" , - "h": { "sha256": "863a5a455abace19c74c0cd13e123194633a948fbacead6877ed0361df89b6fe" } + "h": { "sha256": "9de09b0fd757b904ef0c0e8bc515bdf1a9a615e3b140279bd41783c24638e2b8" } }, - "command": ["python3 ./server/smts.py -l -p -o 256", "-fp "], + "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",