Competition 2011
Derivational Complexity - Full Rewriting
Tool
YES
CaT 2011 (open source) 68
TCT 1.8.02 (open source) 66
matchbox-poly 1.0.3 (open source) 48

Actions

Derivational Complexity - Innermost Rewriting
Tool
YES
TCT 1.8.02 (open source) 85

Actions

Haskell
Tool
YES+NO
AProVE 2011-0.1 55

Actions

Higher-Order Rewriting - Union Beta
Tool
YES+NO
Wanda 1.4 36
THOR 2011 31

Actions

Java Bytecode
Tool
YES+NO
AProVE 2011-0.1 63
Julia-11a 2011-05-25b 58

Actions

Java Bytecode Recursive
Tool
YES+NO
AProVE 2011-0.1 40
Julia-11a 2011-05-25b 33

Actions

Logic Programming
Tool
YES+NO
AProVE 2011-0.1 105
polytool 2.0 99
pTNT 1.0.4 22

Actions

Logic Programming with Cut
Tool
YES+NO
AProVE 2011-0.1 37

Actions

Prolog
Tool
YES+NO
AProVE 2011-0.1 18

Actions

Runtime Complexity – Full Rewriting
Tool
YES
TCT 1.8.02 (open source) 69
TCT 1.8.03 (open source) 45
CaT 2011 (open source) 40

Actions

Runtime Complexity – Innermost Rewriting
Tool
YES
AProVE 2011-0.1 (closed source) 81
TCT 1.8.02 (open source) 75
TCT 1.8.03 (open source) 52

Actions

SRS Relative
Tool
YES+NO
AProVE 2011-0.1 26
TTT2 2011 24
TTT2 2011 fixed 20

Actions

SRS Relative Certifying
Tool
YES+NO
TTT2Cert 2011 (certifiable) 23
AProVE-CeTA 2011-0.1 (certifiable) 21
Certifier
ACCEPT
CeTA 1.19 88 %

Actions

SRS Standard
Tool
YES+NO
AProVE 2011-0.1 159
TTT2 2011 146

Actions

SRS Standard Certifying
Tool
YES+NO
TTT2Cert 2011 (certifiable) 127
AProVE-CeTA 2011-0.1 (certifiable) 121
AProVE-A3PAT 2011-0.1 (certifiable) 40
Certifier
ACCEPT
CeTA 1.19 100 %
cime3verifier 2010_8-2pl1_cpf_2_1 7 %

Actions

TRS Conditional
Tool
YES+NO
AProVE 2011-0.1 7
VMTL 1.4 5

Actions

TRS Contextsensitive
Tool
YES+NO
AProVE 2011-0.1 32
VMTL 1.4 26

Actions

TRS Equational
Tool
YES+NO
AProVE 2011-0.1 29
muterm 5.08 28

Actions

TRS Innermost
Tool
YES+NO
AProVE 2011-0.1 55

Actions

TRS Outermost
Tool
YES+NO
AProVE 2011-0.1 52

Actions

TRS Relative
Tool
YES+NO
AProVE 2011-0.1 16
TTT2 2011 16
TTT2 2011 fixed 9

Actions

TRS Relative Certifying
Tool
YES+NO
AProVE-CeTA 2011-0.1 (certifiable) 13
TTT2Cert 2011 (certifiable) 9
Certifier
ACCEPT
CeTA 1.19 100 %

Actions

TRS Standard
Tool
YES+NO
AProVE 2011-0.1 347
TTT2 2011 273
VMTL 1.4 158

Actions

TRS Standard Certifying
Tool
YES+NO
AProVE-CeTA 2011-0.1 (certifiable) 279
TTT2Cert 2011 (certifiable) 251
AProVE-A3PAT 2011-0.1 (certifiable) 156
AProVE-A3PAT 2011-0.2 (certifiable) 156
Certifier
ACCEPT
CeTA 1.19 97 %
cime3verifier 2010_8-2pl1_cpf_2_1 24 %

Actions

Competition 2011