AProVE '16
AProVE RNTS	irc(n)	O(1)	O(n)	O(n2)	O(n3)	O(n>3)	EXP	INF
	O(1)	38	4	--	--	--	--	1
	O(n)	--	154	42	--	--	--	15
	O(n2)	--	1	41	4	--	--	66
	O(n3)	--	--	2	10	--	--	24
	O(n>3)	--	--	--	--	--	--	10
	EXP	--	1	4	--	--	--	5
	INF	10	112	16	--	--	--	362