termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

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