AProVE Lower
AProVE & TcT	rc(n)	Ω(1)	Ω(n)	Ω(n2)	Ω(n3)	Ω(n>3)	> poly
	Ο(1)	47	--	--	--	--	--
	Ο(n)	10	212	--	--	--	--
	Ο(n2)	--	21	7	--	--	--
	Ο(n3)	--	1	2	7	--	--
	Ο(n>3)	--	1	--	--	--	--
	> poly	6	298	47	4	1	235