2025 final submissions#200

Merged

martinjonas merged 21 commits intomasterfrom

2025_final_submissions

Jul 4, 2025

Commits on Jul 4, 2025

Rename z3siri-base.
Martin Jonáš
committed
Mark all submissions as final.
Martin Jonáš
committed
Mark base solvers as noncompetitive.
Martin Jonáš
committed
Always generate participant data.
Martin Jonáš
committed
Remove extra commas.
Martin Jonáš
committed
Shorten names of some tools.
Martin Jonáš
committed
Rename base solver of Z3-Owl and make it noncompetitive.
Martin Jonáš
committed
Export noncompetitive flag into the submission summary.
Martin Jonáš
committed
Mark noncompetitive participants.
Martin Jonáš
committed
Fix Z3-Noodler-Mocha-base submission.
Martin Jonáš
committed
Separate non-competing participants.
Martin Jonáš
committed
Add participants menu page.
Martin Jonáš
committed
Add 2025 NYSE seed.
Martin Jonáš
committed
Skip non-competitive participants in seed computation.
Martin Jonáš
committed
Remove seeds from base solvers.
Martin Jonáš
committed
Also display seeds of participants.
Martin Jonáš
committed
Fix formatting.
Martin Jonáš
committed
Add Participants page.
Martin Jonáš
committed
Add news about final list of participants.
Martin Jonáš
committed
Fix formatting.
Martin Jonáš
committed
Fix path to the base solver of Z3-Noodler-Mocha.
Martin Jonáš
committed