From 2581e9418ca53b9fb15b9950239c9855a338b4cd Mon Sep 17 00:00:00 2001 From: David Ewert <33990711+dewert99@users.noreply.github.com> Date: Mon, 18 May 2026 14:10:40 -0700 Subject: [PATCH 1/6] plat-smt submission --- submissions/plat-smt.json | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 submissions/plat-smt.json diff --git a/submissions/plat-smt.json b/submissions/plat-smt.json new file mode 100644 index 000000000..629f1ebd6 --- /dev/null +++ b/submissions/plat-smt.json @@ -0,0 +1,35 @@ +{ + "name": "plat-smt", + "contributors": [ + "David Ewert", + ], + "contacts": ["David Ewert "], + "archive": { + "url": "https://github.com/dewert99/plat-smt/releases/download/SMT-COMP2026/plat-smt.zip", + "h": { "sha256": "1dc13645aa4932722ff4b7e052144ceea0dfeb93872ba853be23e88390d85770" } + }, + "website": "http://example.com/", + "system_description": "https://github.com/dewert99/plat-smt/releases/download/SMT-COMP2026/smtcomp2026.pdf", + "command": ["./plat-smt"], + "solver_type": "wrapped", + "seed": "6536", + "participations": [ + { + "tracks": ["SingleQuery"], + "logics": ["QF_UF"] + }, + { + "tracks": ["Incremental"], + "logics": ["QF_UF"], + "command": ["./plat-smt", "-i"] + }, + { + "tracks": ["UnsatCore"], + "logics": ["QF_UF"] + }, + { + "tracks": ["ModelValidation"], + "logics": ["QF_UF"] + } + ] +} From b2ceccd337f5f3cd6ea377d4c7395b9fbbf750ba Mon Sep 17 00:00:00 2001 From: David Ewert <33990711+dewert99@users.noreply.github.com> Date: Mon, 18 May 2026 14:14:34 -0700 Subject: [PATCH 2/6] Fix json --- submissions/plat-smt.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/plat-smt.json b/submissions/plat-smt.json index 629f1ebd6..9eecd17ec 100644 --- a/submissions/plat-smt.json +++ b/submissions/plat-smt.json @@ -1,7 +1,7 @@ { "name": "plat-smt", "contributors": [ - "David Ewert", + "David Ewert" ], "contacts": ["David Ewert "], "archive": { From 959eaea5ff7b71e0c2f70bdf8d18824a58382385 Mon Sep 17 00:00:00 2001 From: David Ewert <33990711+dewert99@users.noreply.github.com> Date: Mon, 18 May 2026 14:20:14 -0700 Subject: [PATCH 3/6] Add website --- submissions/plat-smt.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/plat-smt.json b/submissions/plat-smt.json index 9eecd17ec..b5cabea34 100644 --- a/submissions/plat-smt.json +++ b/submissions/plat-smt.json @@ -8,7 +8,7 @@ "url": "https://github.com/dewert99/plat-smt/releases/download/SMT-COMP2026/plat-smt.zip", "h": { "sha256": "1dc13645aa4932722ff4b7e052144ceea0dfeb93872ba853be23e88390d85770" } }, - "website": "http://example.com/", + "website": "https://github.com/dewert99/plat-smt", "system_description": "https://github.com/dewert99/plat-smt/releases/download/SMT-COMP2026/smtcomp2026.pdf", "command": ["./plat-smt"], "solver_type": "wrapped", From 54c157af41ad7ab70ffb6865ae7f6444a0321e6b Mon Sep 17 00:00:00 2001 From: David Ewert <33990711+dewert99@users.noreply.github.com> Date: Mon, 1 Jun 2026 08:11:10 -0700 Subject: [PATCH 4/6] Update plat-smt type to standalone --- submissions/plat-smt.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/plat-smt.json b/submissions/plat-smt.json index b5cabea34..47e1be134 100644 --- a/submissions/plat-smt.json +++ b/submissions/plat-smt.json @@ -11,7 +11,7 @@ "website": "https://github.com/dewert99/plat-smt", "system_description": "https://github.com/dewert99/plat-smt/releases/download/SMT-COMP2026/smtcomp2026.pdf", "command": ["./plat-smt"], - "solver_type": "wrapped", + "solver_type": "standalone", "seed": "6536", "participations": [ { From a2130f832cc0e8469c0d2aee83d4c3f868e872aa Mon Sep 17 00:00:00 2001 From: David Ewert <33990711+dewert99@users.noreply.github.com> Date: Mon, 1 Jun 2026 22:23:13 -0700 Subject: [PATCH 5/6] Platsmt fix Standalone capitalization --- submissions/plat-smt.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/plat-smt.json b/submissions/plat-smt.json index 47e1be134..8c44e7db9 100644 --- a/submissions/plat-smt.json +++ b/submissions/plat-smt.json @@ -11,7 +11,7 @@ "website": "https://github.com/dewert99/plat-smt", "system_description": "https://github.com/dewert99/plat-smt/releases/download/SMT-COMP2026/smtcomp2026.pdf", "command": ["./plat-smt"], - "solver_type": "standalone", + "solver_type": "Standalone", "seed": "6536", "participations": [ { From 70c1138d887a159d15d2f888b37718001f90f8ef Mon Sep 17 00:00:00 2001 From: David Ewert <33990711+dewert99@users.noreply.github.com> Date: Sat, 13 Jun 2026 09:04:01 -0700 Subject: [PATCH 6/6] Switch platsmt to Zenodo --- submissions/plat-smt.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/plat-smt.json b/submissions/plat-smt.json index 8c44e7db9..f924bd0cd 100644 --- a/submissions/plat-smt.json +++ b/submissions/plat-smt.json @@ -5,7 +5,7 @@ ], "contacts": ["David Ewert "], "archive": { - "url": "https://github.com/dewert99/plat-smt/releases/download/SMT-COMP2026/plat-smt.zip", + "url": "https://zenodo.org/records/20681145/files/plat-smt.zip", "h": { "sha256": "1dc13645aa4932722ff4b7e052144ceea0dfeb93872ba853be23e88390d85770" } }, "website": "https://github.com/dewert99/plat-smt",