From b6160cefba392517cb6884c00d7fdbfbb8a99a35 Mon Sep 17 00:00:00 2001 From: linxi99 Date: Wed, 27 May 2026 07:19:12 +0000 Subject: [PATCH 1/3] Add Bitwuzla-BV_Parti submission for SMT-COMP 2026 --- .../Bitwuzla-BV_Parti-at-SMT-COMP-2026.json | 33 +++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json diff --git a/submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json b/submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json new file mode 100644 index 000000000..7fa0b5faf --- /dev/null +++ b/submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json @@ -0,0 +1,33 @@ +{ + "name": "Bitwuzla-BV_Parti", + "contributors": [ + "Mengyu Zhao", + "Zhenghang Xu", + "Shaowei Cai" + ], + "contacts": [ + "Mengyu Zhao " + ], + "archive": { + "url": "https://github.com/zmylinxi99/Bitwuzla-BV_Parti-at-SMT-COMP-2026/releases/download/SMT-COMP-2026/Bitwuzla-BV_Parti-at-SMT-COMP-2026-build.zip" + }, + "website": "https://github.com/zmylinxi99/Bitwuzla-BV_Parti-at-SMT-COMP-2026", + "system_description": "https://github.com/zmylinxi99/Bitwuzla-BV_Parti-at-SMT-COMP-2026/blob/master/Bitwuzla-BV_Parti.pdf", + "command": [ + "./Bitwuzla-BV_Parti-at-SMT-COMP-2026-build/solver/run_BV_Parti.py", + "128" + ], + "solver_type": "wrapped", + "seed": 998244353, + "participations": [ + { + "tracks": [ + "Parallel" + ], + "logics": [ + "QF_BV" + ] + } + ], + "final": false +} From b4b8348bbe5a2c426b6757c2086e71685aca2732 Mon Sep 17 00:00:00 2001 From: Mengyu Zhao Date: Thu, 11 Jun 2026 13:54:37 +0800 Subject: [PATCH 2/3] Update archive URL and system description link --- submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json b/submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json index 7fa0b5faf..f492a5ded 100644 --- a/submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json +++ b/submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json @@ -9,10 +9,10 @@ "Mengyu Zhao " ], "archive": { - "url": "https://github.com/zmylinxi99/Bitwuzla-BV_Parti-at-SMT-COMP-2026/releases/download/SMT-COMP-2026/Bitwuzla-BV_Parti-at-SMT-COMP-2026-build.zip" + "url": "https://zenodo.org/records/20636805/files/Bitwuzla-BV_Parti-at-SMT-COMP-2026.zip" }, "website": "https://github.com/zmylinxi99/Bitwuzla-BV_Parti-at-SMT-COMP-2026", - "system_description": "https://github.com/zmylinxi99/Bitwuzla-BV_Parti-at-SMT-COMP-2026/blob/master/Bitwuzla-BV_Parti.pdf", + "system_description": "https://github.com/zmylinxi99/Bitwuzla-BV_Parti-at-SMT-COMP-2026/blob/master/Bitwuzla_BV_Parti.pdf", "command": [ "./Bitwuzla-BV_Parti-at-SMT-COMP-2026-build/solver/run_BV_Parti.py", "128" @@ -29,5 +29,5 @@ ] } ], - "final": false + "final": true } From 27f4721b318bf46d09e2792b98bd9f178ca887d8 Mon Sep 17 00:00:00 2001 From: Mengyu Zhao Date: Sat, 20 Jun 2026 20:22:33 +0800 Subject: [PATCH 3/3] Update command path in Bitwuzla submission JSON --- submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json b/submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json index f492a5ded..2282da44b 100644 --- a/submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json +++ b/submissions/Bitwuzla-BV_Parti-at-SMT-COMP-2026.json @@ -14,7 +14,7 @@ "website": "https://github.com/zmylinxi99/Bitwuzla-BV_Parti-at-SMT-COMP-2026", "system_description": "https://github.com/zmylinxi99/Bitwuzla-BV_Parti-at-SMT-COMP-2026/blob/master/Bitwuzla_BV_Parti.pdf", "command": [ - "./Bitwuzla-BV_Parti-at-SMT-COMP-2026-build/solver/run_BV_Parti.py", + "./Bitwuzla-BV_Parti-at-SMT-COMP-2026/solver/run_BV_Parti.py", "128" ], "solver_type": "wrapped",