Competition 2013
Derivational Complexity - Full Rewriting
Tool
YES
CaT 2011 (open source) 60
TcT 2.0.1 (open source) 57
CaTCert 2012alpha (open source) (certifiable) 45
TcT-certify 1.9.2 (open source) (certifiable) 44
Certifier
ACCEPT
CeTA 2.10 100 %

Actions

Higher-Order Rewriting - Union Beta
Tool
YES+NO
Wanda 2.1e 40
THOR 1.01 31

Actions

Java Bytecode
Tool
YES+NO
AProVE TC 2013 86
Julia13 2013-06-07a 36

Actions

Java Bytecode Recursive
Tool
YES+NO
AProVE TC 2013 43
Julia13 2013-06-07a 18

Actions

Logic Programming
Tool
YES+NO
AProVE TC 2013 71
polytool 2.0 67
pTNT 1.0.4 21

Actions

Runtime Complexity – Full Rewriting
Tool
YES
TcT 2.0.1 (open source) 45
CaT 2011 (open source) 27
TcT-certify 1.9.2 (open source) (certifiable) 18
Certifier
ACCEPT
CeTA 2.10 100 %

Actions

Runtime Complexity – Innermost Rewriting
Tool
YES
AProVE TC 2013 (closed source) 74
TcT 2.0.1 (open source) 70
TcT-certify 1.9.2 (open source) (certifiable) 20
Certifier
ACCEPT
CeTA 2.10 100 %

Actions

SRS Relative
Tool
YES+NO
AProVE TC 2013 23
AProVE-CeTA TC 2013 (certifiable) 18
TTT2 2013_1 16
TTT2Cert 2013_1 (certifiable) 15
Certifier
ACCEPT
CeTA 2.10 100 %

Actions

SRS Standard
Tool
YES+NO
AProVE TC 2013 115
TTT2 2013_1 107
AProVE-CeTA TC 2013 (certifiable) 95
TTT2Cert 2013_1 (certifiable) 85
TTT2Cert 2013_2 (certifiable) 84
Certifier
ACCEPT
CeTA 2.10 99 %

Actions

TRS Equational
Tool
YES+NO
AProVE TC 2013 25
muterm 5.08 23

Actions

TRS Relative
Tool
YES+NO
AProVE TC 2013 12
AProVE-CeTA TC 2013 (certifiable) 11
TTT2Cert 2013_1 (certifiable) 8
TTT2 2013_1 8
Certifier
ACCEPT
CeTA 2.10 100 %

Actions

TRS Standard
Tool
YES+NO
AProVE TC 2013 268
AProVE-CeTA TC 2013 (certifiable) 225
TTT2 2013_1 201
TTT2Cert 2013_1 (certifiable) 192
TTT2Cert 2013_2 (certifiable) 187
Certifier
ACCEPT
CeTA 2.10 98 %

Actions

Competition 2013