Competition 2009
Derivational Complexity - Full Rewriting
Tool
YES
CaT_dc 2009 (open source) 137
matchbox-poly 0.2.2 (open source) 127
TCT alpha DC 1.07.2 (open source) 109

Actions

Derivational Complexity - Innermost Rewriting
Tool
YES
CaT_dc 2009 (open source) 92
TCT alpha iDC 1.07.2 (open source) 44

Actions

Haskell
Tool
YES+NO
AProVE 1.8 127

Actions

Java Bytecode
Tool
YES+NO
AProVE 1.8 23
Julia-09 20091208a 18
COSTA 1 16

Actions

Java Bytecode Recursive
Tool
YES+NO
Julia-09 20091208a 9
COSTA 1 7
AProVE 1.8 6

Actions

Logic Programming
Tool
YES+NO
AProVE 1.8 100
polytool 2.0 94

Actions

Logic Programming with Cut
Tool
YES+NO
AProVE 1.8 30

Actions

LP EMPTY
Tool
YES+NO
AProVE 1.8 2

Actions

Prolog
Tool
YES+NO
AProVE 1.8 6

Actions

Runtime Complexity – Full Rewriting
Tool
YES
CaT_rc 2009 (open source) 96
TCT RC 0.3.3 (open source) 61

Actions

Runtime Complexity – Innermost Rewriting
Tool
YES
CaT_rc 2009 (open source) 96
TCT iRC 0.3.3 (open source) 60

Actions

SRS Relative
Tool
YES+NO
AProVE 1.8 21
Jambox 2009_b 15

Actions

SRS Standard
Tool
YES+NO
AProVE 1.8 185
TTT2 0.9 165
Jambox 2009_b 77
muterm 5.05 26

Actions

SRS Standard Certifying
Tool
YES+NO
AProVE-CeTA 1.8.1 (certifiable) 148
TTT2Cert 2009z (certifiable) 115
AProVE-COLOR 1.8 (certifiable) 96
AProVE-A3PAT 1.8 (certifiable) 45
Certifier
ACCEPT
CeTA 1.08 92 %
rainbow-coq 20091215final 47 %
cime3verifier 15dec16h52 5 %

Actions

TRS Conditional
Tool
YES+NO
AProVE 1.8 7
VMTL 1.4 5

Actions

TRS Contextsensitive
Tool
YES+NO
muterm 5.05 34
AProVE 1.8 34
VMTL 1.4 29
Jambox 2009_b 28

Actions

TRS Equational
Tool
YES+NO
AProVE 1.8 27

Actions

TRS Innermost
Tool
YES+NO
AProVE 1.8 71
muterm 5.05 56

Actions

TRS Outermost
Tool
YES+NO
AProVE 1.8 64

Actions

TRS Relative
Tool
YES+NO
AProVE 1.8 14
Jambox 2009_b 9

Actions

TRS Standard
Tool
YES+NO
AProVE 1.8 364
TTT2 0.9 271
muterm 5.05 225
Jambox 2009_b 219
VMTL 1.4 165

Actions

TRS Standard Certifying
Tool
YES+NO
TTT2Cert 2009z (certifiable) 264
AProVE-CeTA 1.8.1 (certifiable) 259
AProVE-COLOR 1.8 (certifiable) 220
AProVE-A3PAT 1.8 (certifiable) 165
cime3finder 14dec16h26 (certifiable) 56
Certifier
ACCEPT
CeTA 1.08 80 %
rainbow-coq 20091215final 41 %
cime3verifier 15dec16h52 21 %

Actions

  

Competition 2009