Termination Competition 2018

Termination of Rewriting

categoryranking
TRS Standard 30034 AProVE 1283; NaTT 1018; ttt2-1.17+nonreach 998; muterm 5.18 832; Wanda 619;
TRS Standard Certified 30038 AProVE 1200; ttt2-1.17+nonreach 925;
SRS Standard 30035 MultumNonMulta3.12_29June2018A 976; AProVE 971; ttt2-1.17+nonreach 744; NaTT 203; muterm 5.18 136;
SRS Standard Certified 30039 AProVE 838; ttt2-1.17+nonreach 592;
TRS Relative 30036 NaTT 62; AProVE 56; ttt2-1.17+nonreach 39;
TRS Relative Certified 30040 AProVE 50; ttt2-1.17+nonreach 42;
SRS Relative 30037 MultumNonMulta3.12_29June2018A 142; AProVE 90; ttt2-1.17+nonreach 24; NaTT 7;
SRS Relative Certified 30041 AProVE 90; ttt2-1.17+nonreach 28;
TRS Equational 30042 AProVE 64; muterm 5.18 63; NaTT 46;
TRS Equational Certified 30043 AProVE 63; NaTT 25;
TRS Conditional 30044 muterm 5.18 101; AProVE 84;
TRS Context Sensitive 30045 muterm 5.18 101; AProVE 97;
TRS Innermost 30046 AProVE 296; muterm 5.18 208;
HRS (union beta) 30047 sol 37957 219; Wanda 165; SizeChangeTool 93;

Termination of Programs

categoryranking
C 30048 AProVE 292; UltimateAutomizer 0;
C Integer 30049 AProVE 316; VeryMax-termCOMP17 315; UltimateAutomizer 0;
Integer Transition Systems 30050 VeryMax-termCOMP17 1025; irankfinder v1 524; Ctrl 450;
Integer TRS Innermost 30051 AProVE 102; Ctrl 85;

Complexity Analysis

categoryranking
Complexity: ITS 30054 AProVE 1688; CoFloCo 2018 648;
Complexity: C Integer 30055 CoFloCo 2018 518; AProVE 476;
Runtime Complexity: TRS 30091 AProVE 2209; tct 2018-07-13 1303;
Runtime Complexity: TRS Innermost 30092 AProVE 1787; tct 2018-07-13 998;
Runtime Complexity: TRS Innermost Certified 30094 tct 2018-07-13 407; AProVE 388;

Demonstration

categoryranking
TRS Outermost 30096 AProVE 203;
TRS Outermost Certified 30098 AProVE 169;
TRS Innermost Certified 30097 AProVE 261;
HRS 30099 sol 37957 175;
Java Bytecode 30100 AProVE 383;
Prolog 30101 AProVE 443;
Haskell 30102 AProVE 640;
Derivational Complexity: TRS 30103 tct 2018-07-13 229;
Derivational Complexity: TRS Certified 30104 tct 2018-07-13 228;
Runtime Complexity: TRS Certified 30105 tct 2018-07-13 126;