termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

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