From 9406bf5580b7c7ad947929f6a1c626f304716e4f Mon Sep 17 00:00:00 2001 From: Ilana Shapiro Date: Mon, 25 May 2026 21:14:34 -0700 Subject: [PATCH 1/3] z3-parallel submission --- submissions/z3-parallel | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 submissions/z3-parallel diff --git a/submissions/z3-parallel b/submissions/z3-parallel new file mode 100644 index 000000000..3f3788000 --- /dev/null +++ b/submissions/z3-parallel @@ -0,0 +1,39 @@ +{ + "name": "z3-parallel", + "contributors": [ + { "name": "Ilana Shapiro", "website": "https://ilanashapiro.github.io/" }, + { "name": "Nikolaj Bjørner", "website": "https://www.microsoft.com/en-us/research/people/nbjorner/" } + ], + "contacts": [ + "Ilana Shapiro " + ], + "archive": { + "url": "https://zenodo.org/records/20388070/files/z3_smtcomp2026.tar.zst", + "h": { "sha256": "9ec592eb8e1f14cd9b97391dc6d14f1340200262dbd4af02c8cc6b0385dbc3bb" } + }, + "website": "https://z3prover.github.io/", + "system_description": "https://ilanashapiro.github.io/files/smtcomp2026_z3.pdf", + "solver_type": "Standalone", + "seed": 0, + "command": ["smtcomp2026/bin/z3", "smt.threads=125"], + "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", + "QF_NIA", + "QF_NRA" + ] + } + ] + } From e39cc3113559af0b6bf404380e68567e708034c0 Mon Sep 17 00:00:00 2001 From: Ilana Shapiro Date: Sat, 13 Jun 2026 22:49:50 +0000 Subject: [PATCH 2/3] updating filenames --- submissions/{z3-parallel => z3-parallel.json} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename submissions/{z3-parallel => z3-parallel.json} (93%) diff --git a/submissions/z3-parallel b/submissions/z3-parallel.json similarity index 93% rename from submissions/z3-parallel rename to submissions/z3-parallel.json index 3f3788000..5f6b48b3e 100644 --- a/submissions/z3-parallel +++ b/submissions/z3-parallel.json @@ -15,7 +15,7 @@ "system_description": "https://ilanashapiro.github.io/files/smtcomp2026_z3.pdf", "solver_type": "Standalone", "seed": 0, - "command": ["smtcomp2026/bin/z3", "smt.threads=125"], + "command": ["z3_smtcomp2026/smtcomp2026/bin/z3", "smt.threads=125"], "participations": [ { "tracks": ["Parallel"], From d6c98b6ec9d184e8a5e2b118d64ddd51ca629e69 Mon Sep 17 00:00:00 2001 From: Ilana Shapiro Date: Sat, 13 Jun 2026 23:22:36 -0700 Subject: [PATCH 3/3] update zenodo archive filetype --- submissions/z3-parallel.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/submissions/z3-parallel.json b/submissions/z3-parallel.json index 5f6b48b3e..c248d33be 100644 --- a/submissions/z3-parallel.json +++ b/submissions/z3-parallel.json @@ -8,8 +8,8 @@ "Ilana Shapiro " ], "archive": { - "url": "https://zenodo.org/records/20388070/files/z3_smtcomp2026.tar.zst", - "h": { "sha256": "9ec592eb8e1f14cd9b97391dc6d14f1340200262dbd4af02c8cc6b0385dbc3bb" } + "url": "https://zenodo.org/records/20684231/files/z3_smtcomp2026.tar.xz", + "h": { "sha256": "5e34cde0e6e9f66f7a5987945f09c95613c2c45d0e884b089e2d8acca3b2dc9e" } }, "website": "https://z3prover.github.io/", "system_description": "https://ilanashapiro.github.io/files/smtcomp2026_z3.pdf",