Termination Competition 2022

Termination of Rewriting

TRS Outermost
AProVE552179
AProVE551423

Termination of Programs

Complexity Analysis

Demonstrations

Integer TRS Innermost
AProVE551423
Haskell
AProVE551423
Java Bytecode
AProVE551423
Java Bytecode Recursive
AProVE551423
Logic Programming with Cut
AProVE551423
Prolog
AProVE551423
Complexity: C Integer
AProVE671123
Complexity: ITS
AProVE671224
Runtime Complexity: TRS Parallel Innermost
AProVE671239