Full run December 2011
Derivational Complexity - Full Rewriting
Tool
YES
TCT 1.8.02 (open source) 501
CaT 2011 (open source) 365
matchbox-poly 1.0.3 (open source) 206

Actions

Derivational Complexity - Innermost Rewriting
Tool
YES
TCT 1.8.02 (open source) 763
CaT 2010 (open source) 367

Actions

Haskell
Tool
YES+NO
AProVE 2011-0.1 1323

Actions

Higher-Order Rewriting - Union Beta
Tool
YES+NO
Wanda 1.4 120
THOR 2011 91

Actions

Java Bytecode
Tool
YES+NO
AProVE 2011-0.1 125
Julia-11a 2011-05-25b 124
COSTA 14/7/2010-1 97

Actions

Java Bytecode Recursive
Tool
YES+NO
AProVE 2011-0.1 77
Julia-11a 2011-05-25b 60
COSTA 14/7/2010-1 51

Actions

Logic Programming
Tool
YES+NO
AProVE 2011-0.1 237
polytool 2.0 227
pTNT 1.0.4 55

Actions

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

Actions

LP EMPTY
Tool
YES+NO
AProVE 1.8 2

Actions

Prolog
Tool
YES+NO
AProVE 2011-0.1 34

Actions

Runtime Complexity – Full Rewriting
Tool
YES
TCT 1.8.03 (open source) 382
CaT 2011 (open source) 328

Actions

Runtime Complexity – Innermost Rewriting
Tool
YES
AProVE 2011-0.1 (closed source) 604
TCT 1.8.03 (open source) 435
CaT 2010 (open source) 233

Actions

SRS Relative
Tool
YES+NO
AProVE 2011-0.1 63
TTT2 2011 fixed 49
matchbox-srs-rel-nocert 0.5.6 25

Actions

SRS Relative Certifying
Tool
YES+NO
AProVE-CeTA 2011-0.1 (certifiable) 55
TTT2Cert 2011 (certifiable) 49
Certifier
ACCEPT
CeTA 1.19 91 %

Actions

SRS Standard
Tool
YES+NO
AProVE 2011-0.1 789
TTT2 2011 678
matchbox-srs-std-nocert 0.5.2 289
muterm 5.07 135
matchbox-srs-std-rfc 0.0.1 128
cime3finder 13jul201011h44 (certifiable) 125

Actions

SRS Standard Certifying
Tool
YES+NO
AProVE-CeTA 2011-0.1 (certifiable) 636
TTT2Cert 2011 (certifiable) 558
AProVE-A3PAT 2010-0.2 (certifiable) 163
cime3finder 13jul201011h44 (certifiable) 126
cime3beta 13jul201017h40 (certifiable) 67
Certifier
ACCEPT
CeTA 1.19 98 %
cime3verifier 2010_8-2pl1_cpf_2_1 8 %

Actions

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

Actions

TRS Contextsensitive
Tool
YES+NO
muterm 5.07 99
AProVE 2011-0.1 98
VMTL 1.4 79

Actions

TRS Equational
Tool
YES+NO
AProVE 2011-0.1 59
muterm 5.08 56

Actions

TRS Innermost
Tool
YES+NO
AProVE 2011-0.1 261
muterm 5.07 196

Actions

TRS Outermost
Tool
YES+NO
AProVE 2011-0.1 249

Actions

TRS Relative
Tool
YES+NO
AProVE 2011-0.1 35
TTT2 2011 fixed 24

Actions

TRS Relative Certifying
Tool
YES+NO
AProVE-CeTA 2011-0.1 (certifiable) 31
TTT2Cert 2011 (certifiable) 24
Certifier
ACCEPT
CeTA 1.19 98 %

Actions

TRS Standard
Tool
YES+NO
AProVE 2011-0.1 1231
TTT2 2011 976
muterm 5.07 830
cime3finder 13jul201011h44 (certifiable) 644
VMTL 1.4 629

Actions

TRS Standard Certifying
Tool
YES+NO
AProVE-CeTA 2011-0.1 (certifiable) 1032
TTT2Cert 2011 (certifiable) 933
cime3finder 13jul201011h44 (certifiable) 641
AProVE-A3PAT 2011-0.2 (certifiable) 570
cime3beta 13jul201017h40 (certifiable) 528
Certifier
ACCEPT
CeTA 1.19 85 %
cime3verifier 2010_8-2pl1_cpf_2_1 38 %

Actions

  

Full run December 2011