termcomp

Navigation

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Full run December 2013

Derivational Complexity - Full Rewriting

Tool	YES
CaT 2011 (open source)	148
CaTCert 2012alpha (open source) (certifiable)	108
TcT-certify 1.9.2 (open source) (certifiable)	104
TcT 2.0.2 (open source)	62

Certifier	ACCEPT
CeTA 2.10	100 %

Actions

Derivational Complexity - Innermost Rewriting

Tool	YES
TcT-certify 1.9.2 (open source) (certifiable)	103
TcT 2.0.2 (open source)	89

Certifier	ACCEPT
CeTA 2.10	100 %

Actions

Haskell

Tool	YES+NO
AProVE TC 2013	1319

Actions

Higher-Order Rewriting - Union Beta

Tool	YES+NO
Wanda wanda2.1.fixed	151
Wanda 2.1f	151
THOR 1.01	121

Actions

Java Bytecode

Tool	YES+NO
AProVE TC 2013	277
Julia13 2013-06-07a	179
Julia13 2013-06-07a-fixed	178

Actions

Java Bytecode Recursive

Tool	YES+NO
AProVE TC 2013	128
Julia13 2013-06-07a-fixed	94
Julia13 2013-06-07a	94

Actions

Logic Programming

Tool	YES+NO
AProVE TC 2013	237
polytool 2.0	227
pTNT 1.0.4	55

Actions

Logic Programming with Cut

Tool	YES+NO
AProVE TC 2013	87

Actions

Prolog

Tool	YES+NO
AProVE TC 2013	34

Actions

Runtime Complexity – Full Rewriting

Tool	YES
TcT 2.0.2 (open source)	188
CaT 2011 (open source)	133
TcT-certify 1.9.2 (open source) (certifiable)	105

Certifier	ACCEPT
CeTA 2.10	100 %

Actions

Runtime Complexity – Innermost Rewriting

Tool	YES
TcT 2.0.2 (open source)	289
AProVE TC 2013 (closed source)	288
TcT-certify 1.9.2 (open source) (certifiable)	107

Certifier	ACCEPT
CeTA 2.10	100 %

Actions

SRS Relative

Tool	YES+NO
AProVE TC 2013	80
AProVE-CeTA TC 2013 (certifiable)	69
TTT2Cert 2013_2 (certifiable)	30
TTT2 2013_1	28

Certifier	ACCEPT
CeTA 2.10	100 %

Actions

SRS Standard

Tool	YES+NO
AProVE TC 2013	807
AProVE-CeTA TC 2013 (certifiable)	726
TTT2 2013_1	664
TTT2Cert 2013_2 (certifiable)	547
NaTT 2013	189
muterm 5.08	133

Certifier	ACCEPT
CeTA 2.10	100 %

Actions

TRS Conditional

Tool	YES+NO
AProVE TC 2013	7

Actions

TRS Contextsensitive

Tool	YES+NO
muterm 5.08	99
AProVE TC 2013	99

Actions

TRS Equational

Tool	YES+NO
AProVE TC 2013	60
muterm 5.08	56

Actions

TRS Innermost

Tool	YES+NO
AProVE TC 2013	266
AProVE-CeTA TC 2013 (certifiable)	255
muterm 5.08	216

Certifier	ACCEPT
CeTA 2.10	99 %

Actions

TRS Outermost

Tool	YES+NO
AProVE TC 2013	254

Actions

TRS Relative

Tool	YES+NO
AProVE TC 2013	35
AProVE-CeTA TC 2013 (certifiable)	31
TTT2Cert 2013_2 (certifiable)	25
TTT2 2013_1	25

Certifier	ACCEPT
CeTA 2.10	100 %

Actions

TRS Standard

Tool	YES+NO
AProVE TC 2013	1289
AProVE-CeTA TC 2013 (certifiable)	1128
NaTT 2013	982
TTT2 2013_1	975
TTT2Cert 2013_2 (certifiable)	918
muterm 5.08	834
Wanda 2.1f	624
Wanda wanda2.1.fixed	618

Certifier	ACCEPT
CeTA 2.10	99 %

Actions

Full run December 2013