Termination Competition 2022
Competition-Wide Ranking
AProVE+LoAT
iRankFinder
Matchbox
MU-TERM
MultumNonMulta
NaTT
NTI+cTI
SOL
TTT2+TcT
Ultimate
Wanda
Advancing-the-State-of-the-Art Ranking
AProVE+LoAT
iRankFinder
Matchbox
MU-TERM
MultumNonMulta
NaTT
NTI+cTI
SOL
TTT2+TcT
Ultimate
Wanda
Termination of Rewriting
Termination of Programs
Complexity Analysis
Demonstrations