termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

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