This page is for listing all techniques applied by the participants of the complexity competitions.

Be aware: the lists are still preliminary.

Derivational Complexity

next year or prev year

Method	2013	2012	2011	2010	2009
Arctic Interpretation	CaT	CaT	CaT	CaT, TcT	CaT, TcT
Match Bounds	CaT, TcT	CaT, TcT	CaT, TcT	CaT, TcT	CaT, TcT
Matrix Interpretation Triangular	---	---	TcT (N)	TcT (N)	CaT (N), Matchbox (N), TcT (N)
Matrix Interpretation Non-Triangular	CaT (N,R,Q), TcT (N)	CaT (N,R,Q), TcT (N)	CaT (N,R,Q), Matchbox (N)	CaT (N,R,Q), Matchbox (N)	---
Modular (Relative) Complexity Analysis	CaT, TcT	CaT, TcT	CaT	CaT	CaT
Rewriting Right Hand Sides	---	---	---	---	TcT
Root Labeling	CaT	CaT	CaT	CaT	CaT, TcT
Weight Gap Principle	CaT, TcT	CaT, TcT	CaT, TcT	CaT, TcT	CaT

Runtime Complexity

next year or prev year

Method	2016	2015	2014	2013	2012
Arctic Interpretation	CaT	CaT	CaT
Match Bounds	AProVE, CaT, TcT	AProVE, CaT, TcT	AProVE, CaT, TcT
Matrix Interpretation Triangular	AProVE (N)	AProVE (N)	AProVE (N)
Matrix Interpretation Non-Triangular	CaT (N,R,Q), TcT (N)	CaT (N,R,Q), TcT (N)	CaT (N,R,Q), TcT (N)
Modular (Relative) Complexity Analysis	AProVE, CaT, TcT	AProVE, CaT, TcT	AProVE, CaT, TcT
Polynomial Interpretations	AProVE (N), TcT (N)	AProVE (N), TcT (N)	AProVE (N), TcT (N)
Polynomial Path Orders	TcT (sPOP*)	TcT (sPOP*)	TcT (sPOP*)
Rewriting Right Hand Sides	AProVE	AProVE	AProVE
Root Labeling	---	---	---
Weak Dependency Pairs	TcT	TcT	TcT
Dependency Tuples	AProVE, TcT	AProVE, TcT	AProVE, TcT
Path Analysis	TcT	TcT	TcT
Weight Gap Principle	CaT, TcT	CaT, TcT	CaT, TcT
DG Decomposition	TcT	TcT	TcT