SMTS submission 2025 update (bug fix + 2 more versions)#203

martinjonas merged 1 commit intoSMT-COMP:masterSMT-COMP/smt-comp.github.io:masterfrom

Tomaqa:smts25-updateTomaqa/smt-comp.github.io:smts25-updateCopy head branch name to clipboard