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/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 """ 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 +} 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 } 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