Fix naming in submissions for parallel track#213

bobot wants to merge 4 commits intoSMT-COMP:2025_final_executionSMT-COMP/smt-comp.github.io:2025_final_executionfrom

bobot:2025_final_execution_rename_parallel_submissionbobot/smt-comp.github.io:2025_final_execution_rename_parallel_submissionCopy head branch name to clipboard