The results have been presented during the 20th International Workshop on Termination (WST) and the 14th International Workshop on Confluence (IWC) in Leipzig.
In the Termination Competition 2025 various analysis tools tried to classify as many programs as possible, whether these are terminating or non-terminating, including a justification. Since the analysis tools themselves might be buggy, also fully verified tools can participate in the competition, whose task is to validate as many justifications as possible. In this latter category, the tool CeTA of René Thiemann could achieve the first place.
The second competition is the Confluence Competition 2025, where again analysis and validation tools compete against each other. Here, the major task is to detect confluence, a property which is related to the question whether results of non-deterministic programs are unique. In this competition, the analysis tool CSI of Fabian Mitterwallner and Aart Middeldorp achieved two first places in the TRS and the Reliability categories, crest of Jonas Schöpf and Aart Middeldorp won the LCTRS category, and CeTA of Christina Kirk and René Thiemann and Fortify of Fabian Mitterwallner and Aart Middeldorp received the first and second place as the best validation tools, respectively.
Tools of the CL-Group are successful at International Competitions
At the beginning of September, several tools of the Computational Logic group participated at two international competitions and could demonstrate their strength.