Competition 2012
Derivational Complexity - Full Rewriting
Tool
YES
CaT 2011 (open source) 64
TcT 1.9.2 (open source) 57
CaTCert 2012alpha (open source) (certifiable) 47
TcT-certify 1.9.2 (open source) (certifiable) 46
Certifier
ACCEPT
CeTA 2.7 100 %

Actions

Derivational Complexity - Innermost Rewriting
Tool
YES
TcT 1.9.2 (open source) 73
TcT-certify 1.9.2 (open source) (certifiable) 32
Certifier
ACCEPT
CeTA 2.7 100 %

Actions

Haskell
Tool
YES+NO
AProVE TC 2012 57

Actions

Higher-Order Rewriting - Union Beta
Tool
YES+NO
HOT tc12d 51
Wanda 2.0 48
THOR 1.01 41

Actions

Java Bytecode
Tool
YES+NO
AProVE TC 2012 112
Julia-12a 20120618a 75

Actions

Java Bytecode Recursive
Tool
YES+NO
AProVE TC 2012 56
Julia-12a 20120618a 41

Actions

Logic Programming
Tool
YES+NO
AProVE TC 2012 108
polytool 2.0 104
pTNT 1.0.4 20

Actions

Logic Programming with Cut
Tool
YES+NO
AProVE TC 2012 38

Actions

Prolog
Tool
YES+NO
AProVE TC 2012 19

Actions

Runtime Complexity – Full Rewriting
Tool
YES
TcT 1.9.2 (open source) 53
CaT 2011 (open source) 32
TcT-certify 1.9.2 (open source) (certifiable) 23
Certifier
ACCEPT
CeTA 2.7 100 %

Actions

Runtime Complexity – Innermost Rewriting
Tool
YES
AProVE TC 2012 (closed source) 102
TcT 1.9.2 (open source) 92
TcT-certify 1.9.2 (open source) (certifiable) 27
Certifier
ACCEPT
CeTA 2.7 100 %

Actions

SRS Relative
Tool
YES+NO
AProVE TC 2012 39
AProVE-CeTA TC 2012 (certifiable) 32
TTT2Cert 2011a (certifiable) 21
Certifier
ACCEPT
CeTA 2.7 100 %

Actions

SRS Standard
Tool
YES+NO
AProVE TC 2012 168
AProVE-CeTA TC 2012 (certifiable) 151
TTT2Cert 2011a (certifiable) 133
matchbox-cert 0.1.2 (certifiable) 108
matchbox-nocert 0.6.0 103
Certifier
ACCEPT
CeTA 2.7 100 %

Actions

TRS Conditional
Tool
YES+NO
AProVE TC 2012 7
VMTL 1.4 5

Actions

TRS Contextsensitive
Tool
YES+NO
AProVE TC 2012 37
VMTL 1.4 29

Actions

TRS Equational
Tool
YES+NO
AProVE TC 2012 28
muterm 5.08 27

Actions

TRS Innermost
Tool
YES+NO
AProVE TC 2012 58
AProVE-CeTA TC 2012 (certifiable) 53
Certifier
ACCEPT
CeTA 2.7 100 %

Actions

TRS Outermost
Tool
YES+NO
AProVE TC 2012 56

Actions

TRS Relative
Tool
YES+NO
AProVE TC 2012 17
AProVE-CeTA TC 2012 (certifiable) 15
TTT2Cert 2011a (certifiable) 12
Certifier
ACCEPT
CeTA 2.7 100 %

Actions

TRS Standard
Tool
YES+NO
AProVE TC 2012 376
AProVE-CeTA TC 2012 (certifiable) 307
TTT2Cert 2011a (certifiable) 257
VMTL 1.4 168
Certifier
ACCEPT
CeTA 2.7 100 %

Actions

 

Competition 2012