From d1106313a5013c32acef132b2fef6bd3dd3adaa0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Jon=C3=A1=C5=A1?= Date: Thu, 25 Jun 2026 09:56:21 +0200 Subject: [PATCH 1/4] chore: Set 2026 seed. --- smtcomp/defs.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/smtcomp/defs.py b/smtcomp/defs.py index a529e08b..6f804589 100644 --- a/smtcomp/defs.py +++ b/smtcomp/defs.py @@ -1475,9 +1475,9 @@ class Config: """Prioritize triviality as much as possible for testing purpose. Look for simple problems instead of hard one""" - nyse_seed = 20_338_41 + nyse_seed = 23_412_89 """The integer part of one hundred times the opening value of the New York Stock Exchange Composite Index on the first day the exchange is open on or after the date specified in nyse_date""" - nyse_date = date(year=2025, month=6, day=30) + nyse_date = date(year=2026, month=6, day=12) aws_timelimit_hard = 180 """ From cb64d3c66f866d61a93fd6e4d471b4f66ac29d10 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Jon=C3=A1=C5=A1?= Date: Wed, 24 Jun 2026 10:14:47 +0200 Subject: [PATCH 2/4] fix: Set missing seeds to 0. --- submissions/QiuQi.json | 5 +++-- submissions/QiuQi_parallel.json | 5 +++-- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/submissions/QiuQi.json b/submissions/QiuQi.json index 14ffe510..020d4361 100644 --- a/submissions/QiuQi.json +++ b/submissions/QiuQi.json @@ -26,5 +26,6 @@ "logics": ["QF_LIA", "QF_IDL"] } ], - "final": true -} \ No newline at end of file + "final": true, + "seed": 0 +} diff --git a/submissions/QiuQi_parallel.json b/submissions/QiuQi_parallel.json index 0679ab3b..9fcd484b 100644 --- a/submissions/QiuQi_parallel.json +++ b/submissions/QiuQi_parallel.json @@ -26,5 +26,6 @@ "logics": ["QF_LIA", "QF_IDL"] } ], - "final": true -} \ No newline at end of file + "final": true, + "seed": 0 +} From 499deac0b63772b644d8b318c935827401ca6b09 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Jon=C3=A1=C5=A1?= Date: Wed, 24 Jun 2026 11:29:07 +0200 Subject: [PATCH 3/4] chore: Mark bitwuzla-dandelion as non-competing. See https://github.com/SMT-COMP/smt-comp.github.io/pull/280#issuecomment-4661008590 --- submissions/bitwuzla-dandelion.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/submissions/bitwuzla-dandelion.json b/submissions/bitwuzla-dandelion.json index 7ea05ec0..ca354bde 100644 --- a/submissions/bitwuzla-dandelion.json +++ b/submissions/bitwuzla-dandelion.json @@ -27,5 +27,6 @@ "./run-bitwuzla-dandelion" ] } - ] + ], + "competitive": false } From e22b226223effc5d6b4854390e927bebd225ee13 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Jon=C3=A1=C5=A1?= Date: Thu, 25 Jun 2026 09:47:14 +0200 Subject: [PATCH 4/4] chore: Publish list of participants. --- Makefile | 3 +-- web/content/participants/_index.md | 6 ++++-- web/hugo.toml | 8 ++++---- 3 files changed, 9 insertions(+), 8 deletions(-) diff --git a/Makefile b/Makefile index 6b4cb923..4986fc84 100644 --- a/Makefile +++ b/Makefile @@ -19,8 +19,7 @@ test: generation ## Test the code with pytest @echo "🚀 Testing code: Running pytest" @poetry run pytest -generation: - # submission-generation participant-data track-data division-track-data results-generation charts-generation ## Files generation for the website +generation: submission-generation participant-data track-data division-track-data # results-generation charts-generation ## Files generation for the website .PHONY: build build: clean-build ## Build wheel file using poetry diff --git a/web/content/participants/_index.md b/web/content/participants/_index.md index ba4b8420..30f9fd3a 100644 --- a/web/content/participants/_index.md +++ b/web/content/participants/_index.md @@ -3,8 +3,10 @@ layout = 'single' title = 'Participants' +++ -The following solvers have been submitted to SMT-COMP 2025 or were entered as non-competing solvers by the organizers for comparison. +The following solvers have been submitted to SMT-COMP 2026 or were entered as non-competing solvers by the organizers for comparison. + +{{< participants >}} n Non-competing. -The opening value of the NYSE Composite Index on 2025-06-30 was 20338.41, resulting in a competition seed of 2033841 + 755033430 = **757067271**. +The opening value of the NYSE Composite Index on 2026-06-12 was 23412.89, resulting in a competition seed of 2341289 + 20389785 = **22731074**. diff --git a/web/hugo.toml b/web/hugo.toml index e02cd91f..8899a5e7 100644 --- a/web/hugo.toml +++ b/web/hugo.toml @@ -70,7 +70,7 @@ theme = 'smtcomp' pageRef = 'parallel_track' weight = 30 -# [[menu.year]] -# name = 'Participants' -# pageRef = 'participants' -# weight = 50 +[[menu.year]] + name = 'Participants' + pageRef = 'participants' + weight = 50