SMT-COMP · martinjonas · Jun 25, 2026 · Jun 25, 2026 · Jun 24, 2026 · Jun 24, 2026
diff --git 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
@@ -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
@@ -26,5 +26,6 @@
       "logics": ["QF_LIA", "QF_IDL"]
     }
   ],
-  "final": true
-}
+  "final": true,
+  "seed": 0
+}
diff --git a/submissions/QiuQi_parallel.json b/submissions/QiuQi_parallel.json
@@ -26,5 +26,6 @@
       "logics": ["QF_LIA", "QF_IDL"]
     }
   ],
-  "final": true
-}
+  "final": true,
+  "seed": 0
+}
diff --git 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
@@ -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
@@ -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
-Original file line number
+Diff line change
@@ Expand Up / @@ -27,5 +27,6 @@ @@
                     "./run-bitwuzla-dandelion"
                 ]
             }
-        ]
+        ],
+        "competitive": false
     }