experiment

	TcT WorstCase			AraTRS-Cor14-CD			AraTRS-Cor18-CD			AraTRS-Cor18-CD-CF			AraTRS-Cor18-CD-Heur			AraTRS-Cor18-CD-CF-Heur			AraTRS-Cor14			AraTRS-Cor18			AraTRS-Cor18-CF			AraTRS-Cor18-Heur			AraTRS-Cor18-CF-Heur
Problem (all selected)	*	answer		*	answer		*	answer		*	answer		*	answer		*	answer		*	answer		*	answer		*	answer		*	answer		*	answer
#3.42	*	WORST_CASE(?,O(n^1))	0.44	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	2.24	*	BEST_CASE(Omega(1),?)	0.36	*	BEST_CASE(Omega(1),?)	1.09	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.15
4.61	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.26	*	BEST_CASE(Omega(1),?)	1.09	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.44	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.90	*	BEST_CASE(Omega(1),?)	5.12	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	0.62
String0_prefix.raml	*	WORST_CASE(?,O(n^1))	0.21	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.27	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.31	*	BEST_CASE(Omega(1),?)	0.54	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.13
String0_string_dec.raml	*	WORST_CASE(?,O(n^1))	0.37	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.26	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.59	*	BEST_CASE(Omega(1),?)	0.71	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.15
ack	*	MAYBE	1.86	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.31	*	BEST_CASE(Omega(n^1),?)	0.73	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.20	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.25	*	BEST_CASE(Omega(n^1),?)	0.73	*	BEST_CASE(Omega(n^1),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.21
add	*	WORST_CASE(?,O(n^1))	0.23	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.32	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.24	*	BEST_CASE(Omega(n^1),?)	0.33	*	BEST_CASE(Omega(n^1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.13
addition	*	WORST_CASE(?,O(n^1))	0.10	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.12	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.04
addlists	*	WORST_CASE(?,O(n^1))	0.37	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	59.73	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.26	*	BEST_CASE(Omega(n^1),?)	0.53	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.17
anchored	*	WORST_CASE(?,O(n^1))	0.20	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.20	*	BEST_CASE(Omega(n^1),?)	0.26	*	BEST_CASE(Omega(n^1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.09	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.20	*	BEST_CASE(Omega(n^1),?)	0.25	*	BEST_CASE(Omega(n^1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.06
append	*	WORST_CASE(?,O(n^1))	0.14	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.18	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.16	*	BEST_CASE(Omega(n^1),?)	0.26	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.07
appendAll.raml	*	WORST_CASE(?,O(n^1))	0.33	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.67	*	BEST_CASE(Omega(n^1),?)	3.55	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.36	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.65	*	BEST_CASE(Omega(n^1),?)	3.44	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.44
assrewrite	*	MAYBE	4.18	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.45	*	BEST_CASE(Omega(1),?)	5.51	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	1.93	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.55	*	BEST_CASE(Omega(1),?)	12.37	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	2.05
badd	*	MAYBE	7.03	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.17	*	BEST_CASE(Omega(1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.17	*	BEST_CASE(Omega(1),?)	0.25	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.08
bfs.raml	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	0.26	*	BEST_CASE(Omega(1),?)	0.94	*	TIMEOUT	60.00	*	BEST_CASE(Omega(1),?)	0.62	*	BEST_CASE(Omega(1),?)	38.01	*	BEST_CASE(Omega(1),?)	1.30	*	BEST_CASE(Omega(1),?)	15.45	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	0.59	*	BEST_CASE(Omega(1),?)	40.42
bft_mmult.raml	*	WORST_CASE(?,O(n^5))	38.20	*	BEST_CASE(Omega(1),?)	57.86	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	58.20	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	8.88	*	BEST_CASE(Omega(1),?)	34.82	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	0.76	*	TIMEOUT	60.06
binom	*	MAYBE	3.52	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.29	*	BEST_CASE(Omega(1),?)	0.60	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.25	*	BEST_CASE(Omega(1),?)	0.56	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.15
binomialHeaps.okasaki	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	36.86	*	BEST_CASE(Omega(n^1),?)	47.37	*	TIMEOUT	60.06	*	BEST_CASE(Omega(n^1),?)	2.33	*	BEST_CASE(Omega(n^1),?)	45.13
binomialHeaps_insTree.okasaki	*	WORST_CASE(?,O(n^1))	1.58	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	0.73	*	BEST_CASE(Omega(1),?)	5.56	*	BEST_CASE(Omega(1),?)	5.67	*	BEST_CASE(Omega(1),?)	0.27	*	BEST_CASE(Omega(1),?)	0.26
binomialHeaps_merge.okasaki	*	MAYBE	58.12	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	20.06	*	BEST_CASE(Omega(1),?)	45.38	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	2.19	*	BEST_CASE(Omega(1),?)	51.13
bitonic.raml	*	MAYBE	59.00	*	BEST_CASE(Omega(1),?)	0.93	*	BEST_CASE(Omega(1),?)	1.96	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	1.11	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	15.97	*	BEST_CASE(Omega(1),?)	30.61	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	0.55	*	TIMEOUT	60.06
bits	*	WORST_CASE(?,O(n^1))	0.52	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.27	*	BEST_CASE(Omega(1),?)	0.45	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.23	*	BEST_CASE(Omega(1),?)	0.35	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.10
bitvectors.raml	*	MAYBE	58.06	*	BEST_CASE(Omega(1),?)	4.92	*	BEST_CASE(Omega(1),?)	8.27	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	4.84	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	30.59	*	BEST_CASE(Omega(n^1),?)	32.11	*	TIMEOUT	60.06	*	BEST_CASE(Omega(n^1),?)	1.94	*	TIMEOUT	60.06
bottomUpMergeSort.okasaki	*	MAYBE	7.03	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(1),?)	0.84	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.48	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	1.22	*	BEST_CASE(Omega(n^1),?)	6.70	*	BEST_CASE(Omega(n^1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	0.78
btree_lookup	*	WORST_CASE(?,O(n^1))	0.89	*	BEST_CASE(Omega(1),?)	0.62	*	BEST_CASE(Omega(1),?)	0.76	*	BEST_CASE(Omega(1),?)	1.44	*	BEST_CASE(Omega(1),?)	0.64	*	BEST_CASE(Omega(1),?)	1.05	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	1.24	*	BEST_CASE(Omega(1),?)	3.91	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.46
btree_takeWhile	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	54.65	*	BEST_CASE(Omega(1),?)	56.36	*	BEST_CASE(Omega(1),?)	56.68	*	BEST_CASE(Omega(1),?)	55.95	*	BEST_CASE(Omega(1),?)	57.78	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	0.84	*	BEST_CASE(Omega(1),?)	7.97	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	1.25
bubblesort-nat	*	WORST_CASE(?,O(n^3))	9.72	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.18	*	BEST_CASE(Omega(1),?)	1.11	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.73	*	BEST_CASE(Omega(1),?)	0.26	*	BEST_CASE(Omega(n^1),?)	53.23	*	BEST_CASE(Omega(n^2),?)	49.09	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.71
clevermmult.raml	*	MAYBE	32.82	*	BEST_CASE(Omega(1),?)	0.32	*	BEST_CASE(Omega(1),?)	1.18	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	0.59	*	BEST_CASE(Omega(1),?)	41.75	*	BEST_CASE(Omega(1),?)	3.02	*	BEST_CASE(Omega(1),?)	7.63	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	0.46	*	BEST_CASE(Omega(1),?)	36.94
clique	*	WORST_CASE(?,O(n^3))	7.25	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.07	*	TIMEOUT	60.06	*	TIMEOUT	60.06
cube	*	MAYBE	1.66	*	BEST_CASE(Omega(n^1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.33	*	BEST_CASE(Omega(n^1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.34	*	BEST_CASE(Omega(n^1),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.09
dcquad	*	MAYBE	3.13	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	57.23	*	BEST_CASE(Omega(n^2),?)	22.75	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(n^2),?)	0.18	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^3),?)	0.37	*	BEST_CASE(Omega(n^3),?)	2.32	*	BEST_CASE(Omega(n^3),?)	0.11	*	BEST_CASE(Omega(n^3),?)	0.31
decrease	*	WORST_CASE(?,O(n^1))	0.67	*	BEST_CASE(Omega(1),?)	0.57	*	BEST_CASE(Omega(n^1),?)	1.43	*	BEST_CASE(Omega(n^1),?)	2.21	*	BEST_CASE(Omega(n^1),?)	0.38	*	BEST_CASE(Omega(n^1),?)	0.82	*	BEST_CASE(Omega(1),?)	0.58	*	BEST_CASE(Omega(n^1),?)	1.57	*	BEST_CASE(Omega(n^1),?)	2.10	*	BEST_CASE(Omega(n^1),?)	0.37	*	BEST_CASE(Omega(n^1),?)	0.99
dense.okasaki	*	WORST_CASE(?,O(n^2))	1.11	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.21	*	BEST_CASE(Omega(1),?)	0.60	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(1),?)	0.37	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	0.51	*	BEST_CASE(Omega(1),?)	1.73	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.45
dfs-flatten	*	WORST_CASE(?,O(n^1))	0.24	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	0.28	*	BEST_CASE(Omega(1),?)	0.12	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	2.06	*	BEST_CASE(Omega(1),?)	0.27	*	BEST_CASE(Omega(1),?)	0.70	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.14
disjconj	*	MAYBE	2.22	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.96	*	BEST_CASE(Omega(1),?)	3.92	*	BEST_CASE(Omega(1),?)	0.23	*	BEST_CASE(Omega(1),?)	0.64	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	4.84	*	BEST_CASE(Omega(1),?)	7.12	*	BEST_CASE(Omega(1),?)	0.21	*	BEST_CASE(Omega(1),?)	0.63
duplicates.raml	*	WORST_CASE(?,O(n^4))	6.51	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.44	*	BEST_CASE(Omega(1),?)	13.04	*	BEST_CASE(Omega(1),?)	0.45	*	BEST_CASE(Omega(1),?)	8.80	*	BEST_CASE(Omega(1),?)	0.31	*	BEST_CASE(Omega(n^1),?)	4.68	*	BEST_CASE(Omega(n^1),?)	39.18	*	BEST_CASE(Omega(n^1),?)	0.21	*	BEST_CASE(Omega(n^1),?)	8.48
dyade	*	WORST_CASE(?,O(n^4))	0.65	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.18	*	BEST_CASE(Omega(1),?)	0.26	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.31	*	BEST_CASE(Omega(n^1),?)	0.94	*	BEST_CASE(Omega(n^1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.17
dyade.raml	*	WORST_CASE(?,O(n^4))	2.75	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(1),?)	0.69	*	BEST_CASE(Omega(1),?)	7.85	*	BEST_CASE(Omega(1),?)	0.31	*	BEST_CASE(Omega(1),?)	2.93	*	BEST_CASE(Omega(1),?)	1.48	*	BEST_CASE(Omega(n^1),?)	7.40	*	BEST_CASE(Omega(n^1),?)	22.64	*	BEST_CASE(Omega(n^1),?)	0.37	*	BEST_CASE(Omega(n^1),?)	3.15
egypt	*	WORST_CASE(?,O(n^1))	1.86	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(n^3),?)	1.48	*	BEST_CASE(Omega(n^3),?)	3.79	*	BEST_CASE(Omega(1),?)	0.12	*	BEST_CASE(Omega(1),?)	0.33
eq	*	WORST_CASE(?,O(1))	0.05	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.07
eratosthenes	*	MAYBE	58.08	*	BEST_CASE(Omega(1),?)	0.47	*	BEST_CASE(Omega(1),?)	1.20	*	BEST_CASE(Omega(1),?)	21.09	*	BEST_CASE(Omega(1),?)	1.06	*	BEST_CASE(Omega(1),?)	20.57	*	BEST_CASE(Omega(1),?)	8.44	*	BEST_CASE(Omega(n^1),?)	31.79	*	BEST_CASE(Omega(n^1),?)	56.14	*	BEST_CASE(Omega(n^1),?)	0.71	*	BEST_CASE(Omega(n^1),?)	17.83
evenodd	*	WORST_CASE(?,O(n^1))	0.17	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.29	*	BEST_CASE(Omega(n^1),?)	0.31	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.25	*	BEST_CASE(Omega(n^1),?)	0.35	*	BEST_CASE(Omega(n^1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.14
exp	*	MAYBE	7.04	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.41	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.20	*	BEST_CASE(Omega(n^1),?)	0.38	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.08
fib_llist	*	MAYBE	33.43	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(n^1),?)	1.34	*	BEST_CASE(Omega(n^1),?)	3.78	*	BEST_CASE(Omega(n^1),?)	57.81	*	BEST_CASE(Omega(n^1),?)	0.21	*	BEST_CASE(Omega(n^1),?)	7.27
flatten	*	WORST_CASE(?,O(n^1))	0.32	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.25	*	BEST_CASE(Omega(n^1),?)	0.37	*	BEST_CASE(Omega(n^1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.09	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.18	*	BEST_CASE(Omega(n^1),?)	0.37	*	BEST_CASE(Omega(n^1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.14
flatten.raml	*	WORST_CASE(?,O(n^3))	4.83	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.43	*	BEST_CASE(Omega(1),?)	3.54	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	1.64	*	BEST_CASE(Omega(1),?)	0.27	*	BEST_CASE(Omega(n^1),?)	3.09	*	BEST_CASE(Omega(1),?)	13.85	*	BEST_CASE(Omega(n^1),?)	0.17	*	BEST_CASE(Omega(1),?)	1.47
flatten_hoca	*	WORST_CASE(?,O(n^1))	0.30	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.21	*	BEST_CASE(Omega(1),?)	0.48	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.28	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.55	*	BEST_CASE(Omega(1),?)	1.56	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.34
flip	*	WORST_CASE(?,O(n^1))	0.17	*	BEST_CASE(Omega(n^1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.17	*	BEST_CASE(Omega(n^1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.02	*	BEST_CASE(Omega(n^1),?)	0.16	*	BEST_CASE(Omega(n^1),?)	0.24	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.07
foldsum	*	WORST_CASE(?,O(n^1))	0.45	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	0.30	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.30	*	BEST_CASE(Omega(n^1),?)	1.16	*	BEST_CASE(Omega(n^1),?)	11.85	*	BEST_CASE(Omega(n^1),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.17
game	*	WORST_CASE(?,O(n^1))	0.30	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.23	*	BEST_CASE(Omega(1),?)	0.45	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^3),?)	0.35	*	BEST_CASE(Omega(n^1),?)	0.99	*	BEST_CASE(Omega(n^1),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.20
gcd	*	MAYBE	21.50	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.51	*	BEST_CASE(Omega(1),?)	10.48	*	BEST_CASE(Omega(1),?)	0.17	*	BEST_CASE(Omega(1),?)	4.01	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	3.13	*	BEST_CASE(Omega(1),?)	25.77	*	BEST_CASE(Omega(1),?)	0.17	*	BEST_CASE(Omega(1),?)	4.19
id	*	WORST_CASE(?,O(n^1))	0.12	*	BEST_CASE(Omega(n^1),?)	0.02	*	BEST_CASE(Omega(n^1),?)	0.12	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	0.17	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.04
id_hoca	*	WORST_CASE(?,O(n^1))	0.36	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.18	*	BEST_CASE(Omega(n^1),?)	0.40	*	BEST_CASE(Omega(n^1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.06
insertionsort.raml	*	WORST_CASE(?,O(n^3))	6.16	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.55	*	BEST_CASE(Omega(1),?)	6.74	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(1),?)	2.72	*	BEST_CASE(Omega(1),?)	0.56	*	BEST_CASE(Omega(n^1),?)	5.92	*	BEST_CASE(Omega(n^1),?)	32.74	*	BEST_CASE(Omega(n^1),?)	0.31	*	BEST_CASE(Omega(n^1),?)	3.05
intlookup	*	MAYBE	1.18	*	BEST_CASE(Omega(n^1),?)	0.09	*	BEST_CASE(Omega(n^3),?)	0.22	*	BEST_CASE(Omega(n^3),?)	0.26	*	BEST_CASE(Omega(n^3),?)	0.04	*	BEST_CASE(Omega(n^3),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^3),?)	0.20	*	BEST_CASE(Omega(n^3),?)	0.37	*	BEST_CASE(Omega(n^3),?)	0.05	*	BEST_CASE(Omega(n^3),?)	0.11
isort	*	WORST_CASE(?,O(n^3))	1.33	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.17	*	BEST_CASE(Omega(1),?)	0.33	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.17	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.35	*	BEST_CASE(Omega(n^1),?)	1.49	*	BEST_CASE(Omega(n^1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.25
isort-fold	*	WORST_CASE(?,O(n^3))	1.34	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.23	*	BEST_CASE(Omega(1),?)	0.54	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.76	*	BEST_CASE(Omega(n^1),?)	2.51	*	BEST_CASE(Omega(n^1),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.26
isort_hoca	*	WORST_CASE(?,O(n^3))	1.52	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	0.37	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.34	*	BEST_CASE(Omega(n^1),?)	1.43	*	BEST_CASE(Omega(n^1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.22
jones1	*	WORST_CASE(?,O(n^1))	0.13	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.22	*	BEST_CASE(Omega(n^1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.20	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.06
jones2	*	WORST_CASE(?,O(n^1))	0.57	*	BEST_CASE(Omega(1),?)	2.12	*	BEST_CASE(Omega(n^1),?)	0.21	*	BEST_CASE(Omega(n^1),?)	0.63	*	BEST_CASE(Omega(n^1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.09	*	BEST_CASE(Omega(1),?)	2.10	*	BEST_CASE(Omega(n^1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.69	*	BEST_CASE(Omega(n^1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.11
jones4	*	WORST_CASE(?,O(n^1))	0.14	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	0.26	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.06
jones5	*	MAYBE	0.96	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.21	*	BEST_CASE(Omega(1),?)	0.25	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.47	*	BEST_CASE(Omega(1),?)	0.48	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.10
jones6	*	WORST_CASE(?,O(n^1))	0.23	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.22	*	BEST_CASE(Omega(n^1),?)	0.66	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.65	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.09
kruskal	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.48	*	BEST_CASE(Omega(1),?)	6.48	*	BEST_CASE(Omega(1),?)	0.21	*	BEST_CASE(Omega(1),?)	5.24	*	BEST_CASE(Omega(1),?)	2.04	*	BEST_CASE(Omega(n^1),?)	19.35	*	BEST_CASE(Omega(n^1),?)	48.42	*	BEST_CASE(Omega(1),?)	0.23	*	BEST_CASE(Omega(1),?)	5.12
lcs	*	MAYBE	4.18	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	0.77	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(1),?)	0.43	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.17	*	BEST_CASE(Omega(1),?)	0.81	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.42
list	*	WORST_CASE(?,O(n^1))	0.14	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.05
lte	*	WORST_CASE(?,O(n^1))	0.54	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	0.31	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.35	*	BEST_CASE(Omega(1),?)	0.54	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(1),?)	0.16
map0	*	WORST_CASE(?,O(n^1))	0.55	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.25	*	BEST_CASE(Omega(1),?)	0.36	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.35	*	BEST_CASE(Omega(n^1),?)	0.63	*	BEST_CASE(Omega(n^1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.17
mappplus	*	WORST_CASE(?,O(n^2))	0.30	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	0.33	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.12	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.26	*	BEST_CASE(Omega(n^1),?)	0.57	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.10
matrix.raml	*	MAYBE	59.20	*	BEST_CASE(Omega(1),?)	0.62	*	BEST_CASE(Omega(1),?)	1.85	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	1.59	*	BEST_CASE(Omega(1),?)	47.29	*	BEST_CASE(Omega(1),?)	8.69	*	BEST_CASE(Omega(n^1),?)	30.93	*	TIMEOUT	60.06	*	BEST_CASE(Omega(n^1),?)	2.20	*	BEST_CASE(Omega(n^1),?)	48.78
member	*	WORST_CASE(?,O(n^1))	0.82	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.21	*	BEST_CASE(Omega(1),?)	0.41	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.17	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.36	*	BEST_CASE(Omega(1),?)	0.54	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.15
mergelists	*	WORST_CASE(?,O(n^1))	0.85	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.25	*	BEST_CASE(Omega(1),?)	0.97	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.36	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.63	*	BEST_CASE(Omega(1),?)	1.65	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.33
mergesort-dc	*	MAYBE	58.17	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	BEST_CASE(Omega(1),?)	2.02	*	BEST_CASE(Omega(1),?)	9.06	*	BEST_CASE(Omega(1),?)	23.56	*	BEST_CASE(Omega(1),?)	0.31	*	BEST_CASE(Omega(1),?)	3.59
mergesort.raml	*	MAYBE	42.67	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	0.63	*	BEST_CASE(Omega(1),?)	18.96	*	BEST_CASE(Omega(1),?)	0.21	*	BEST_CASE(Omega(1),?)	7.26	*	BEST_CASE(Omega(1),?)	0.77	*	BEST_CASE(Omega(n^1),?)	6.56	*	BEST_CASE(Omega(1),?)	48.40	*	BEST_CASE(Omega(n^1),?)	0.24	*	BEST_CASE(Omega(1),?)	6.25
minsort.raml	*	WORST_CASE(?,O(n^3))	4.11	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.41	*	BEST_CASE(Omega(1),?)	2.80	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	1.06	*	BEST_CASE(Omega(1),?)	0.25	*	BEST_CASE(Omega(n^1),?)	4.97	*	BEST_CASE(Omega(n^2),?)	50.18	*	BEST_CASE(Omega(n^1),?)	0.17	*	BEST_CASE(Omega(n^2),?)	1.06
minus	*	WORST_CASE(?,O(n^1))	0.10	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	0.12	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.16	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.11
mss	*	MAYBE	16.42	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	0.57	*	BEST_CASE(Omega(1),?)	1.15	*	BEST_CASE(Omega(1),?)	0.36	*	BEST_CASE(Omega(1),?)	0.70	*	BEST_CASE(Omega(1),?)	1.23	*	BEST_CASE(Omega(n^1),?)	5.13	*	BEST_CASE(Omega(n^1),?)	12.32	*	BEST_CASE(Omega(n^1),?)	0.29	*	BEST_CASE(Omega(n^1),?)	0.68
mult1	*	MAYBE	1.22	*	BEST_CASE(Omega(n^1),?)	0.02	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.22	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.06
mult2	*	WORST_CASE(?,O(n^2))	0.29	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.18	*	BEST_CASE(Omega(n^1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.26	*	BEST_CASE(Omega(n^1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.06
mult3	*	WORST_CASE(?,O(n^2))	0.42	*	BEST_CASE(Omega(n^1),?)	0.02	*	BEST_CASE(Omega(n^2),?)	0.18	*	BEST_CASE(Omega(n^2),?)	0.35	*	BEST_CASE(Omega(n^2),?)	0.04	*	BEST_CASE(Omega(n^2),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^2),?)	0.17	*	BEST_CASE(Omega(n^2),?)	0.33	*	BEST_CASE(Omega(n^2),?)	0.06	*	BEST_CASE(Omega(n^2),?)	0.06
naiverev	*	WORST_CASE(?,O(n^2))	0.52	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.30	*	BEST_CASE(Omega(n^2),?)	0.81	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.25	*	BEST_CASE(Omega(n^2),?)	0.81	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.09
overlap	*	WORST_CASE(?,O(n^2))	1.50	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.17	*	BEST_CASE(Omega(1),?)	0.46	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.27	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.40	*	BEST_CASE(Omega(1),?)	1.18	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(1),?)	0.38
pairs	*	WORST_CASE(?,O(n^2))	1.02	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.18	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^2),?)	0.46	*	BEST_CASE(Omega(n^2),?)	1.28	*	BEST_CASE(Omega(n^2),?)	0.07	*	BEST_CASE(Omega(n^2),?)	0.16
pairsp	*	WORST_CASE(?,O(n^3))	1.05	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	0.25	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(n^2),?)	0.31	*	BEST_CASE(Omega(n^3),?)	0.83	*	BEST_CASE(Omega(n^2),?)	0.07	*	BEST_CASE(Omega(n^3),?)	0.12
parsexp	*	MAYBE	12.68	*	BEST_CASE(Omega(1),?)	27.75	*	BEST_CASE(Omega(1),?)	41.90	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	30.87	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	4.88	*	BEST_CASE(Omega(1),?)	31.08	*	BEST_CASE(Omega(1),?)	41.10	*	BEST_CASE(Omega(1),?)	0.67	*	BEST_CASE(Omega(1),?)	11.69
permute	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(n^3),?)	0.88	*	BEST_CASE(Omega(n^3),?)	8.77	*	BEST_CASE(Omega(n^1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	0.69	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(n^3),?)	0.83	*	BEST_CASE(Omega(n^3),?)	8.78	*	BEST_CASE(Omega(n^1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.77
power	*	MAYBE	3.08	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(n^1),?)	0.30	*	BEST_CASE(Omega(n^1),?)	1.04	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.17	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.28	*	BEST_CASE(Omega(n^1),?)	1.06	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.18
pred	*	WORST_CASE(?,O(1))	0.08	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(1),?)	0.08
qs	*	MAYBE	58.09	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.35	*	BEST_CASE(Omega(1),?)	2.60	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.85	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	38.29	*	BEST_CASE(Omega(n^1),?)	49.75	*	BEST_CASE(Omega(n^1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	0.94
queue	*	WORST_CASE(?,O(n^1))	1.39	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.26	*	BEST_CASE(Omega(1),?)	0.34	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(n^1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	1.63	*	BEST_CASE(Omega(n^1),?)	3.24	*	BEST_CASE(Omega(n^1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.21
queue.raml	*	MAYBE	36.03	*	BEST_CASE(Omega(1),?)	0.25	*	BEST_CASE(Omega(1),?)	0.86	*	BEST_CASE(Omega(1),?)	11.78	*	BEST_CASE(Omega(1),?)	0.29	*	BEST_CASE(Omega(1),?)	4.76	*	BEST_CASE(Omega(1),?)	2.54	*	BEST_CASE(Omega(1),?)	7.51	*	BEST_CASE(Omega(1),?)	50.67	*	BEST_CASE(Omega(1),?)	0.27	*	BEST_CASE(Omega(1),?)	4.62
quicksort-nat	*	WORST_CASE(?,O(n^3))	1.87	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.27	*	BEST_CASE(Omega(1),?)	0.93	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.57	*	BEST_CASE(Omega(1),?)	0.22	*	BEST_CASE(Omega(n^1),?)	5.47	*	BEST_CASE(Omega(1),?)	48.87	*	BEST_CASE(Omega(n^1),?)	0.16	*	BEST_CASE(Omega(1),?)	0.93
quotient	*	WORST_CASE(?,O(n^1))	0.31	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.27	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.18
rationalPotential.raml	*	WORST_CASE(?,O(n^1))	0.58	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.26	*	BEST_CASE(Omega(1),?)	1.10	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.35	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.88	*	BEST_CASE(Omega(n^1),?)	3.05	*	BEST_CASE(Omega(n^1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.61
rev	*	WORST_CASE(?,O(n^2))	0.72	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.28	*	BEST_CASE(Omega(n^2),?)	1.72	*	BEST_CASE(Omega(n^1),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.17	*	BEST_CASE(Omega(1),?)	0.17	*	BEST_CASE(Omega(n^1),?)	0.64	*	BEST_CASE(Omega(n^2),?)	8.67	*	BEST_CASE(Omega(n^1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.15
rev-dl	*	WORST_CASE(?,O(n^1))	0.37	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.30	*	BEST_CASE(Omega(n^1),?)	0.64	*	BEST_CASE(Omega(n^1),?)	1.27	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.14
rev-fletf	*	WORST_CASE(?,O(n^1))	0.40	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.21	*	BEST_CASE(Omega(1),?)	0.18	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.84	*	BEST_CASE(Omega(n^1),?)	48.28	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.11
rev-foldl	*	WORST_CASE(?,O(n^1))	0.13	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.22	*	BEST_CASE(Omega(n^1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.09	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.16	*	BEST_CASE(Omega(n^1),?)	0.21	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.09
reverse	*	WORST_CASE(?,O(n^2))	0.47	*	BEST_CASE(Omega(1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.18	*	BEST_CASE(Omega(n^2),?)	0.64	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^2),?)	0.10	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.20	*	BEST_CASE(Omega(n^2),?)	0.65	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^2),?)	0.14
rpm-lazy	*	ERROR	42.49	*	TIMEOUT	60.06	*	TIMEOUT	60.07	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06
sat	*	WORST_CASE(?,O(n^3))	1.75	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.34	*	BEST_CASE(Omega(1),?)	0.81	*	BEST_CASE(Omega(1),?)	0.12	*	BEST_CASE(Omega(1),?)	0.29	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(n^1),?)	1.21	*	BEST_CASE(Omega(n^2),?)	3.61	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.39
select	*	WORST_CASE(?,O(n^2))	0.80	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.72	*	BEST_CASE(Omega(n^1),?)	1.39	*	BEST_CASE(Omega(n^1),?)	0.11	*	BEST_CASE(Omega(n^1),?)	0.25	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	0.64	*	BEST_CASE(Omega(n^1),?)	1.31	*	BEST_CASE(Omega(n^1),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.23
shuffle	*	WORST_CASE(?,O(n^3))	0.67	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(n^1),?)	0.56	*	BEST_CASE(Omega(n^2),?)	2.00	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^2),?)	0.16	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.54	*	BEST_CASE(Omega(n^2),?)	2.01	*	BEST_CASE(Omega(n^1),?)	0.05	*	BEST_CASE(Omega(n^2),?)	0.15
sp1	*	MAYBE	7.03	*	BEST_CASE(Omega(n^1),?)	0.11	*	BEST_CASE(Omega(n^3),?)	0.61	*	BEST_CASE(Omega(n^3),?)	4.00	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.30	*	BEST_CASE(Omega(n^1),?)	0.10	*	BEST_CASE(Omega(n^3),?)	0.56	*	BEST_CASE(Omega(n^3),?)	4.36	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.28
sparseByWeight.okasaki	*	MAYBE	21.44	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.33	*	BEST_CASE(Omega(1),?)	4.01	*	BEST_CASE(Omega(1),?)	0.17	*	BEST_CASE(Omega(1),?)	2.57	*	BEST_CASE(Omega(1),?)	0.43	*	BEST_CASE(Omega(1),?)	1.52	*	BEST_CASE(Omega(1),?)	22.96	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	2.55
sparseByWeight_carry.okasaki	*	MAYBE	4.27	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.23	*	BEST_CASE(Omega(1),?)	0.39	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.54	*	BEST_CASE(Omega(1),?)	1.10	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.25
splayHeap_deleteMin.okasaki	*	WORST_CASE(?,O(n^1))	0.64	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.22	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.39	*	BEST_CASE(Omega(1),?)	1.32	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.14
splayHeap_findMin.okasaki	*	WORST_CASE(?,O(n^1))	0.24	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.17	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.23	*	BEST_CASE(Omega(1),?)	0.42	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.15
splayHeap_merge.okasaki	*	WORST_CASE(?,O(n^3))	6.29	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.42	*	BEST_CASE(Omega(1),?)	14.31	*	BEST_CASE(Omega(1),?)	0.18	*	BEST_CASE(Omega(1),?)	10.42	*	BEST_CASE(Omega(1),?)	1.98	*	BEST_CASE(Omega(1),?)	6.30	*	TIMEOUT	60.00	*	BEST_CASE(Omega(1),?)	0.42	*	BEST_CASE(Omega(1),?)	13.46
splayHeap_partition.okasaki	*	WORST_CASE(?,O(n^1))	2.46	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.36	*	BEST_CASE(Omega(1),?)	7.09	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(1),?)	5.36	*	BEST_CASE(Omega(1),?)	1.67	*	BEST_CASE(Omega(1),?)	3.31	*	BEST_CASE(Omega(1),?)	55.01	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	5.88
splitandsort.raml	*	MAYBE	58.46	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	1.12	*	BEST_CASE(Omega(1),?)	59.17	*	BEST_CASE(Omega(1),?)	0.53	*	BEST_CASE(Omega(1),?)	30.44	*	BEST_CASE(Omega(1),?)	3.22	*	BEST_CASE(Omega(n^1),?)	30.83	*	TIMEOUT	60.03	*	BEST_CASE(Omega(n^1),?)	0.76	*	BEST_CASE(Omega(n^1),?)	28.21
subsets	*	MAYBE	3.59	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.35	*	BEST_CASE(Omega(n^1),?)	0.94	*	BEST_CASE(Omega(n^1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.55	*	BEST_CASE(Omega(n^1),?)	1.02	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.12
subtrees.raml	*	WORST_CASE(?,O(n^2))	1.48	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	0.78	*	BEST_CASE(Omega(1),?)	0.06	*	BEST_CASE(Omega(1),?)	0.28	*	BEST_CASE(Omega(1),?)	1.76	*	BEST_CASE(Omega(n^1),?)	0.51	*	BEST_CASE(Omega(n^2),?)	11.54	*	BEST_CASE(Omega(n^1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.26
sum	*	WORST_CASE(?,O(n^1))	0.47	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(n^1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.33	*	BEST_CASE(Omega(n^1),?)	0.07	*	BEST_CASE(Omega(n^1),?)	0.11
sum_sqs3	*	MAYBE	6.37	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	0.22	*	BEST_CASE(Omega(1),?)	0.07	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(n^1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	24.07	*	BEST_CASE(Omega(n^1),?)	48.27	*	BEST_CASE(Omega(n^1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.22
tadd	*	WORST_CASE(?,O(n^2))	0.50	*	BEST_CASE(Omega(1),?)	0.02	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	0.05	*	BEST_CASE(Omega(1),?)	0.12	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.36	*	BEST_CASE(Omega(1),?)	1.04	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.14
take_lazy	*	WORST_CASE(?,O(n^1))	0.13	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(1),?)	0.03	*	BEST_CASE(Omega(n^1),?)	0.02	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.04	*	BEST_CASE(Omega(n^1),?)	0.03

Result Summary

Average Times

	TcT WorstCase	AraTRS-Cor14-CD	AraTRS-Cor18-CD	AraTRS-Cor18-CD-CF	AraTRS-Cor18-CD-Heur	AraTRS-Cor18-CD-CF-Heur	AraTRS-Cor14	AraTRS-Cor18	AraTRS-Cor18-CF	AraTRS-Cor18-Heur	AraTRS-Cor18-CF-Heur
BEST_CASE(Omega(1),?)	0.00	1.65	2.60	4.09	2.21	4.32	1.87	5.98	10.81	0.24	4.62
BEST_CASE(Omega(n^1),?)	0.00	0.05	2.26	0.65	0.08	0.17	0.13	5.47	8.99	0.22	2.89
BEST_CASE(Omega(n^2),?)	0.00	0.00	0.18	4.72	0.04	0.14	0.00	0.32	12.82	0.07	0.32
BEST_CASE(Omega(n^3),?)	0.00	0.00	0.57	4.34	0.04	0.10	0.00	0.63	3.41	0.08	0.18
Error	42.49	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00
MAYBE	22.17	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00
Timeout	60.05	60.06	60.06	60.05	60.06	60.06	60.06	60.06	60.05	60.06	60.06
WORST_CASE(?,O(1))	0.07	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00
WORST_CASE(?,O(n^1))	0.49	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00
WORST_CASE(?,O(n^2))	0.76	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00
WORST_CASE(?,O(n^3))	3.68	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00
WORST_CASE(?,O(n^4))	3.30	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00
WORST_CASE(?,O(n^5))	38.20	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00
Overall	11.06	6.02	6.90	11.17	6.09	9.42	2.55	6.18	14.88	1.25	5.81