experiment

	TcT_Comp2016			TcTNoAra			TcTAra			AraHeuristics			BestCaseSoundV3			BestCaseSoundV2			BestCaseUnsoundV3			BestCaseUnsoundV2
Problem (all selected)	*	answer		*	answer		*	answer		*	answer		*	answer		*	answer		*	answer		*	answer
#3.42	*	WORST_CASE(?,O(n^2))	2.40	*	WORST_CASE(?,O(n^3))	1.20	*	WORST_CASE(?,O(n^1))	0.58	*	WORST_CASE(?,O(n^1))	0.10	*	BEST_CASE(Omega(1),?)	0.22	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	9.73	*	BEST_CASE(Omega(n^1),?)	8.84
4.61	*	MAYBE	59.15	*	MAYBE	58.12	*	MAYBE	58.15	*	MAYBE	0.23	*	BEST_CASE(Omega(1),?)	0.44	*	BEST_CASE(Omega(1),?)	0.44	*	TIMEOUT	60.06	*	TIMEOUT	60.06
String0_prefix.raml	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	1.17	*	WORST_CASE(?,O(n^1))	0.45	*	MAYBE	0.13	*	BEST_CASE(Omega(1),?)	0.22	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.51	*	BEST_CASE(Omega(1),?)	0.26
String0_string_dec.raml	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.27	*	MAYBE	0.18	*	BEST_CASE(Omega(1),?)	0.21	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	1.02	*	BEST_CASE(Omega(1),?)	0.50
ack	*	MAYBE	7.72	*	MAYBE	58.13	*	MAYBE	58.35	*	MAYBE	0.14	*	BEST_CASE(Omega(n^1),?)	0.76	*	BEST_CASE(Omega(n^1),?)	0.34	*	BEST_CASE(Omega(n^1),?)	0.73	*	BEST_CASE(Omega(n^1),?)	0.34
add	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	1.04	*	WORST_CASE(?,O(n^1))	1.22	*	MAYBE	0.10	*	BEST_CASE(Omega(n^1),?)	0.45	*	BEST_CASE(Omega(n^1),?)	0.21	*	BEST_CASE(Omega(n^1),?)	0.45	*	BEST_CASE(Omega(n^1),?)	0.25
addition	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	0.82	*	WORST_CASE(?,O(n^1))	0.80	*	WORST_CASE(?,O(n^1))	0.10	*	BEST_CASE(Omega(n^1),?)	0.58	*	BEST_CASE(Omega(n^1),?)	0.30	*	BEST_CASE(Omega(n^1),?)	0.34	*	BEST_CASE(Omega(n^1),?)	0.32
addlists	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.57	*	MAYBE	0.35	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(n^1),?)	1.15	*	BEST_CASE(Omega(n^1),?)	0.48
anchored	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.41	*	MAYBE	0.11	*	BEST_CASE(Omega(n^1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.28	*	BEST_CASE(Omega(n^1),?)	0.38
append	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.53	*	WORST_CASE(?,O(n^1))	0.08	*	BEST_CASE(Omega(n^1),?)	0.28	*	BEST_CASE(Omega(n^1),?)	0.17	*	BEST_CASE(Omega(n^1),?)	0.24	*	BEST_CASE(Omega(n^1),?)	0.16
append.fp	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.66	*	MAYBE	0.12	*	BEST_CASE(Omega(n^1),?)	0.29	*	BEST_CASE(Omega(n^1),?)	0.16	*	BEST_CASE(Omega(n^1),?)	0.36	*	BEST_CASE(Omega(n^1),?)	0.15
appendAll.raml	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	0.54	*	WORST_CASE(?,O(n^1))	1.58	*	MAYBE	0.16	*	BEST_CASE(Omega(n^1),?)	2.40	*	BEST_CASE(Omega(n^1),?)	0.95	*	BEST_CASE(Omega(n^1),?)	2.36	*	BEST_CASE(Omega(n^1),?)	0.91
append_hosa	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.37	*	MAYBE	0.18	*	BEST_CASE(Omega(n^1),?)	0.28	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.31	*	BEST_CASE(Omega(n^1),?)	0.16
appendtwice.fp	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.43	*	WORST_CASE(?,O(n^1))	0.94	*	MAYBE	0.13	*	BEST_CASE(Omega(n^1),?)	0.36	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.29	*	BEST_CASE(Omega(n^1),?)	0.16
appendtwice_hosa	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	0.36	*	WORST_CASE(?,O(n^1))	0.43	*	MAYBE	0.10	*	BEST_CASE(Omega(n^1),?)	0.31	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.33	*	BEST_CASE(Omega(n^1),?)	0.23
assrewrite	*	MAYBE	13.94	*	MAYBE	58.10	*	MAYBE	58.12	*	MAYBE	0.97	*	BEST_CASE(Omega(1),?)	0.46	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	4.26	*	BEST_CASE(Omega(1),?)	1.45
badd	*	MAYBE	7.04	*	MAYBE	58.11	*	MAYBE	58.10	*	MAYBE	0.11	*	BEST_CASE(Omega(n^1),?)	0.51	*	BEST_CASE(Omega(n^1),?)	0.21	*	BEST_CASE(Omega(n^1),?)	0.32	*	BEST_CASE(Omega(n^1),?)	0.15
bfs.raml	*	MAYBE	59.18	*	MAYBE	58.30	*	WORST_CASE(?,O(n^3))	21.84	*	MAYBE	0.56	*	BEST_CASE(Omega(1),?)	1.73	*	BEST_CASE(Omega(1),?)	0.90	*	BEST_CASE(Omega(1),?)	50.59	*	BEST_CASE(Omega(1),?)	31.39
bft_mmult.raml	*	WORST_CASE(?,O(n^3))	35.60	*	WORST_CASE(?,O(n^4))	8.30	*	WORST_CASE(?,O(n^4))	14.43	*	MAYBE	0.63	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	57.80
binom	*	MAYBE	24.79	*	MAYBE	58.15	*	MAYBE	58.13	*	MAYBE	0.13	*	BEST_CASE(Omega(1),?)	0.38	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	0.63	*	BEST_CASE(Omega(1),?)	0.25
binomialHeaps.okasaki	*	MAYBE	59.31	*	MAYBE	58.11	*	MAYBE	58.14	*	MAYBE	0.87	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06
binomialHeaps_insTree.okasaki	*	WORST_CASE(?,O(n^1))	0.98	*	WORST_CASE(?,O(n^1))	1.92	*	WORST_CASE(?,O(n^1))	1.99	*	WORST_CASE(?,O(n^2))	0.27	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	32.84	*	BEST_CASE(Omega(1),?)	12.44
binomialHeaps_merge.okasaki	*	MAYBE	59.11	*	MAYBE	58.19	*	MAYBE	58.12	*	MAYBE	0.84	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.04
bitonic.raml	*	MAYBE	59.06	*	MAYBE	58.23	*	TIMEOUT	60.00	*	MAYBE	0.75	*	BEST_CASE(Omega(1),?)	4.63	*	BEST_CASE(Omega(1),?)	3.15	*	TIMEOUT	60.06	*	TIMEOUT	60.06
bits	*	WORST_CASE(?,O(n^1))	0.62	*	WORST_CASE(?,O(n^2))	0.44	*	WORST_CASE(?,O(n^1))	1.07	*	WORST_CASE(?,O(n^1))	0.08	*	BEST_CASE(Omega(1),?)	2.73	*	BEST_CASE(Omega(1),?)	2.21	*	BEST_CASE(Omega(1),?)	2.69	*	BEST_CASE(Omega(1),?)	2.42
bitvectors.raml	*	MAYBE	59.15	*	MAYBE	58.09	*	MAYBE	58.19	*	MAYBE	1.77	*	BEST_CASE(Omega(1),?)	19.67	*	BEST_CASE(Omega(1),?)	14.60	*	TIMEOUT	60.06	*	TIMEOUT	60.06
bottomUpMergeSort.okasaki	*	MAYBE	11.26	*	MAYBE	59.77	*	MAYBE	58.76	*	MAYBE	0.21	*	BEST_CASE(Omega(1),?)	0.60	*	BEST_CASE(Omega(1),?)	0.25	*	BEST_CASE(Omega(n^1),?)	3.64	*	BEST_CASE(Omega(n^1),?)	1.49
bubblesort-nat	*	WORST_CASE(?,O(n^2))	18.90	*	WORST_CASE(?,O(n^3))	1.54	*	WORST_CASE(?,O(n^3))	14.10	*	MAYBE	0.22	*	BEST_CASE(Omega(1),?)	0.37	*	BEST_CASE(Omega(1),?)	0.22	*	TIMEOUT	60.06	*	TIMEOUT	60.06
clevermmult.raml	*	MAYBE	35.53	*	MAYBE	58.13	*	MAYBE	58.10	*	MAYBE	0.55	*	BEST_CASE(Omega(1),?)	1.50	*	BEST_CASE(Omega(1),?)	0.91	*	BEST_CASE(Omega(1),?)	18.93	*	BEST_CASE(Omega(1),?)	13.57
clique	*	WORST_CASE(?,O(n^3))	4.52	*	WORST_CASE(?,O(n^3))	0.38	*	WORST_CASE(?,O(n^3))	0.95	*	TRS is not left-linear	0.03	*	TRS is not left-linear	0.23	*	TRS is not left-linear	0.03	*	TRS is not left-linear	0.23	*	TRS is not left-linear	0.03
cube	*	WORST_CASE(?,O(n^4))	2.71	*	WORST_CASE(?,O(n^4))	3.55	*	WORST_CASE(?,O(n^4))	3.32	*	MAYBE	0.12	*	BEST_CASE(Omega(n^1),?)	0.30	*	BEST_CASE(Omega(n^1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.36	*	BEST_CASE(Omega(n^1),?)	0.17
dcquad	*	WORST_CASE(?,O(n^2))	0.91	*	WORST_CASE(?,O(n^2))	2.17	*	WORST_CASE(?,O(n^2))	9.26	*	MAYBE	0.18	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(n^3),?)	0.60	*	BEST_CASE(Omega(n^2),?)	0.35
decrease	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.67	*	MAYBE	0.21	*	BEST_CASE(Omega(n^1),?)	2.87	*	BEST_CASE(Omega(n^1),?)	1.68	*	BEST_CASE(Omega(n^1),?)	2.87	*	BEST_CASE(Omega(n^1),?)	1.68
dense.okasaki	*	WORST_CASE(?,O(n^1))	0.41	*	WORST_CASE(?,O(n^2))	0.82	*	WORST_CASE(?,O(n^2))	5.89	*	MAYBE	0.21	*	BEST_CASE(Omega(1),?)	0.55	*	BEST_CASE(Omega(1),?)	0.42	*	BEST_CASE(Omega(1),?)	2.73	*	BEST_CASE(Omega(1),?)	1.06
dfs-flatten	*	WORST_CASE(?,O(n^1))	0.90	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.22	*	MAYBE	0.11	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.85	*	BEST_CASE(Omega(1),?)	1.71
dfs-flatten.fp	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(n^1))	0.32	*	MAYBE	0.12	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	1.40	*	BEST_CASE(Omega(1),?)	0.43
dfs-flatten_hosa	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.26	*	MAYBE	0.14	*	BEST_CASE(Omega(1),?)	0.27	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	1.41	*	BEST_CASE(Omega(1),?)	0.39
disjconj	*	MAYBE	3.13	*	MAYBE	58.09	*	MAYBE	58.16	*	MAYBE	0.51	*	BEST_CASE(Omega(1),?)	4.97	*	BEST_CASE(Omega(1),?)	1.79	*	BEST_CASE(Omega(1),?)	14.01	*	BEST_CASE(Omega(1),?)	7.20
duplicates.raml	*	WORST_CASE(?,O(n^2))	6.01	*	WORST_CASE(?,O(n^4))	5.12	*	WORST_CASE(?,O(n^4))	6.80	*	MAYBE	0.51	*	BEST_CASE(Omega(1),?)	1.74	*	BEST_CASE(Omega(1),?)	0.53	*	BEST_CASE(Omega(n^1),?)	13.73	*	BEST_CASE(Omega(n^1),?)	7.74
dyade	*	WORST_CASE(?,O(n^2))	2.07	*	WORST_CASE(?,O(n^4))	0.32	*	WORST_CASE(?,O(n^4))	0.72	*	MAYBE	0.17	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(1),?)	0.36	*	BEST_CASE(Omega(n^1),?)	0.92	*	BEST_CASE(Omega(n^1),?)	0.40
dyade.raml	*	WORST_CASE(?,O(n^2))	3.08	*	WORST_CASE(?,O(n^4))	2.02	*	WORST_CASE(?,O(n^4))	3.83	*	MAYBE	1.23	*	BEST_CASE(Omega(1),?)	1.63	*	BEST_CASE(Omega(1),?)	0.71	*	BEST_CASE(Omega(n^1),?)	21.02	*	BEST_CASE(Omega(n^1),?)	13.93
egypt	*	WORST_CASE(?,O(n^1))	1.70	*	WORST_CASE(?,O(n^2))	0.83	*	WORST_CASE(?,O(n^1))	1.10	*	MAYBE	0.23	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(n^3),?)	2.22	*	BEST_CASE(Omega(n^2),?)	1.46
eq	*	WORST_CASE(?,O(1))	0.05	*	WORST_CASE(?,O(1))	0.03	*	WORST_CASE(?,O(1))	0.03	*	TRS is not left-linear	0.02	*	TRS is not left-linear	0.02	*	TRS is not left-linear	0.02	*	TRS is not left-linear	0.02	*	TRS is not left-linear	0.02
eratosthenes	*	WORST_CASE(?,O(n^4))	57.87	*	WORST_CASE(?,O(n^4))	24.53	*	WORST_CASE(?,O(n^4))	24.32	*	MAYBE	0.82	*	BEST_CASE(Omega(1),?)	2.45	*	BEST_CASE(Omega(1),?)	1.72	*	TIMEOUT	60.05	*	TIMEOUT	60.06
evenodd	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	1.15	*	WORST_CASE(?,O(n^1))	0.95	*	MAYBE	0.33	*	BEST_CASE(Omega(n^1),?)	0.46	*	BEST_CASE(Omega(n^1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.70	*	BEST_CASE(Omega(n^1),?)	0.22
exp	*	MAYBE	59.04	*	MAYBE	58.08	*	MAYBE	58.09	*	MAYBE	0.10	*	BEST_CASE(Omega(n^1),?)	0.28	*	BEST_CASE(Omega(n^1),?)	0.16	*	BEST_CASE(Omega(n^1),?)	0.26	*	BEST_CASE(Omega(n^1),?)	0.16
fib_llist	*	MAYBE	59.13	*	MAYBE	58.10	*	MAYBE	58.11	*	MAYBE	0.35	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(n^1),?)	12.33	*	BEST_CASE(Omega(n^1),?)	7.23
flatten	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.14	*	MAYBE	0.11	*	BEST_CASE(Omega(n^1),?)	0.36	*	BEST_CASE(Omega(n^1),?)	0.24	*	BEST_CASE(Omega(n^1),?)	0.36	*	BEST_CASE(Omega(n^1),?)	0.25
flatten.raml	*	WORST_CASE(?,O(n^2))	16.34	*	WORST_CASE(?,O(n^3))	3.42	*	WORST_CASE(?,O(n^3))	4.49	*	MAYBE	0.24	*	BEST_CASE(Omega(1),?)	1.11	*	BEST_CASE(Omega(1),?)	0.36	*	BEST_CASE(Omega(n^1),?)	11.73	*	BEST_CASE(Omega(n^1),?)	6.76
flatten_hoca	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.39	*	MAYBE	0.26	*	BEST_CASE(Omega(1),?)	0.33	*	BEST_CASE(Omega(1),?)	0.79	*	BEST_CASE(Omega(1),?)	1.10	*	BEST_CASE(Omega(1),?)	0.59
flip	*	WORST_CASE(?,O(n^1))	0.03	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.07	*	BEST_CASE(Omega(n^1),?)	0.20	*	BEST_CASE(Omega(n^1),?)	0.35	*	BEST_CASE(Omega(n^1),?)	0.22	*	BEST_CASE(Omega(n^1),?)	0.15
fmap_tree.fp	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.10	*	MAYBE	0.10	*	BEST_CASE(Omega(1),?)	0.12	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.25	*	BEST_CASE(Omega(1),?)	0.20
fmap_tree_hosa	*	WORST_CASE(?,O(n^1))	1.07	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	1.00	*	MAYBE	0.11	*	BEST_CASE(Omega(1),?)	0.12	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.25	*	BEST_CASE(Omega(1),?)	0.12
foldsum	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	0.81	*	WORST_CASE(?,O(n^1))	0.27	*	MAYBE	0.16	*	BEST_CASE(Omega(1),?)	0.46	*	BEST_CASE(Omega(1),?)	0.37	*	BEST_CASE(Omega(n^1),?)	4.52	*	BEST_CASE(Omega(n^1),?)	1.81
game	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	0.12	*	MAYBE	0.14	*	BEST_CASE(Omega(1),?)	0.32	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(n^3),?)	0.65	*	BEST_CASE(Omega(n^2),?)	0.43
gcd	*	MAYBE	59.08	*	MAYBE	58.48	*	MAYBE	58.05	*	MAYBE	0.26	*	BEST_CASE(Omega(1),?)	0.85	*	BEST_CASE(Omega(1),?)	0.48	*	BEST_CASE(Omega(1),?)	9.92	*	BEST_CASE(Omega(1),?)	3.90
id	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.09	*	BEST_CASE(Omega(n^1),?)	0.18	*	BEST_CASE(Omega(n^1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	0.17	*	BEST_CASE(Omega(n^1),?)	0.11
id_hoca	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.07	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.39	*	BEST_CASE(Omega(n^1),?)	0.31
insertionsort.raml	*	WORST_CASE(?,O(n^2))	31.11	*	WORST_CASE(?,O(n^3))	2.62	*	WORST_CASE(?,O(n^3))	2.86	*	MAYBE	0.36	*	BEST_CASE(Omega(1),?)	0.72	*	BEST_CASE(Omega(1),?)	0.48	*	BEST_CASE(Omega(n^1),?)	15.44	*	BEST_CASE(Omega(n^1),?)	9.58
insertsort.fp	*	WORST_CASE(?,O(n^2))	2.20	*	WORST_CASE(?,O(n^3))	0.49	*	WORST_CASE(?,O(n^3))	4.22	*	MAYBE	0.15	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(1),?)	0.37	*	BEST_CASE(Omega(n^1),?)	0.66	*	BEST_CASE(Omega(n^1),?)	0.37
insertsort_hosa	*	WORST_CASE(?,O(n^2))	2.63	*	WORST_CASE(?,O(n^3))	1.13	*	WORST_CASE(?,O(n^3))	6.00	*	MAYBE	0.13	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	0.69	*	BEST_CASE(Omega(n^1),?)	0.38
intlookup	*	MAYBE	3.48	*	MAYBE	58.10	*	MAYBE	58.13	*	MAYBE	0.13	*	BEST_CASE(Omega(n^3),?)	0.26	*	BEST_CASE(Omega(n^2),?)	0.15	*	BEST_CASE(Omega(n^3),?)	0.42	*	BEST_CASE(Omega(n^2),?)	0.21
isort	*	WORST_CASE(?,O(n^2))	4.82	*	WORST_CASE(?,O(n^3))	1.71	*	WORST_CASE(?,O(n^3))	5.44	*	MAYBE	0.14	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	1.09	*	BEST_CASE(Omega(n^1),?)	0.71
isort-fold	*	WORST_CASE(?,O(n^2))	5.57	*	WORST_CASE(?,O(n^3))	0.68	*	WORST_CASE(?,O(n^3))	3.03	*	MAYBE	0.38	*	BEST_CASE(Omega(1),?)	0.41	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(n^1),?)	1.90	*	BEST_CASE(Omega(n^1),?)	0.86
isort-fold.fp	*	WORST_CASE(?,O(n^2))	2.01	*	WORST_CASE(?,O(n^3))	0.63	*	WORST_CASE(?,O(n^3))	4.99	*	MAYBE	0.45	*	BEST_CASE(Omega(1),?)	0.22	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	0.72	*	BEST_CASE(Omega(n^1),?)	0.40
isort-fold_hosa	*	WORST_CASE(?,O(n^2))	1.94	*	WORST_CASE(?,O(n^3))	0.58	*	WORST_CASE(?,O(n^3))	2.76	*	MAYBE	0.37	*	BEST_CASE(Omega(1),?)	0.42	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	0.64	*	BEST_CASE(Omega(n^1),?)	0.60
isort.fp	*	WORST_CASE(?,O(n^2))	2.17	*	WORST_CASE(?,O(n^3))	0.54	*	WORST_CASE(?,O(n^3))	1.28	*	MAYBE	0.15	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(n^1),?)	0.69	*	BEST_CASE(Omega(n^1),?)	0.43
isort_hoca	*	WORST_CASE(?,O(n^2))	2.39	*	WORST_CASE(?,O(n^3))	0.75	*	WORST_CASE(?,O(n^3))	1.52	*	MAYBE	0.14	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(1),?)	0.33	*	BEST_CASE(Omega(n^1),?)	0.69	*	BEST_CASE(Omega(n^1),?)	0.40
isort_hosa	*	WORST_CASE(?,O(n^2))	2.36	*	WORST_CASE(?,O(n^3))	0.40	*	WORST_CASE(?,O(n^3))	1.47	*	MAYBE	0.13	*	BEST_CASE(Omega(1),?)	0.23	*	BEST_CASE(Omega(1),?)	0.12	*	BEST_CASE(Omega(n^1),?)	0.72	*	BEST_CASE(Omega(n^1),?)	0.36
jones1	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.07	*	BEST_CASE(Omega(n^1),?)	0.24	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.61	*	BEST_CASE(Omega(n^1),?)	0.15
jones2	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.43	*	MAYBE	0.34	*	BEST_CASE(Omega(n^1),?)	0.45	*	BEST_CASE(Omega(n^1),?)	0.21	*	BEST_CASE(Omega(n^1),?)	0.41	*	BEST_CASE(Omega(n^1),?)	0.21
jones4	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	1.12	*	WORST_CASE(?,O(n^1))	0.62	*	WORST_CASE(?,O(n^1))	0.26	*	BEST_CASE(Omega(n^1),?)	0.20	*	BEST_CASE(Omega(n^1),?)	0.18	*	BEST_CASE(Omega(n^1),?)	0.20	*	BEST_CASE(Omega(n^1),?)	0.12
jones5	*	MAYBE	1.46	*	MAYBE	58.33	*	MAYBE	58.91	*	MAYBE	0.10	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(1),?)	0.40	*	BEST_CASE(Omega(1),?)	0.37
jones6	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.11	*	BEST_CASE(Omega(n^1),?)	0.83	*	BEST_CASE(Omega(n^1),?)	0.34	*	BEST_CASE(Omega(n^1),?)	0.81	*	BEST_CASE(Omega(n^1),?)	0.34
kruskal	*	WORST_CASE(?,O(n^2))	48.94	*	WORST_CASE(?,O(n^4))	7.40	*	WORST_CASE(?,O(n^4))	9.23	*	MAYBE	0.40	*	BEST_CASE(Omega(1),?)	0.97	*	BEST_CASE(Omega(1),?)	0.66	*	BEST_CASE(Omega(n^1),?)	53.95	*	BEST_CASE(Omega(n^1),?)	37.71
lcs	*	MAYBE	14.98	*	MAYBE	58.11	*	MAYBE	58.10	*	MAYBE	0.15	*	BEST_CASE(Omega(1),?)	0.21	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.23	*	BEST_CASE(Omega(1),?)	0.15
list	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.42	*	MAYBE	0.10	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(n^1),?)	0.24	*	BEST_CASE(Omega(n^1),?)	0.17
lte	*	WORST_CASE(?,O(n^1))	0.41	*	WORST_CASE(?,O(n^1))	0.70	*	WORST_CASE(?,O(n^1))	0.72	*	MAYBE	0.14	*	BEST_CASE(Omega(1),?)	0.71	*	BEST_CASE(Omega(1),?)	0.29	*	BEST_CASE(Omega(1),?)	1.90	*	BEST_CASE(Omega(1),?)	0.70
map0	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.32	*	MAYBE	0.14	*	BEST_CASE(Omega(1),?)	0.29	*	BEST_CASE(Omega(1),?)	1.00	*	BEST_CASE(Omega(n^1),?)	0.71	*	BEST_CASE(Omega(n^1),?)	0.30
mappplus	*	WORST_CASE(?,O(n^2))	0.44	*	WORST_CASE(?,O(n^2))	0.19	*	WORST_CASE(?,O(n^2))	2.29	*	MAYBE	0.15	*	BEST_CASE(Omega(1),?)	0.26	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(n^1),?)	1.03	*	BEST_CASE(Omega(n^1),?)	0.37
matrix.raml	*	MAYBE	59.12	*	MAYBE	58.12	*	MAYBE	58.14	*	MAYBE	0.73	*	BEST_CASE(Omega(1),?)	3.62	*	BEST_CASE(Omega(1),?)	2.21	*	TIMEOUT	60.06	*	TIMEOUT	60.06
member	*	WORST_CASE(?,O(n^1))	0.60	*	WORST_CASE(?,O(n^1))	0.97	*	WORST_CASE(?,O(n^1))	0.65	*	MAYBE	0.36	*	BEST_CASE(Omega(1),?)	0.28	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	1.14	*	BEST_CASE(Omega(1),?)	0.48
mergelists	*	WORST_CASE(?,O(n^1))	0.36	*	WORST_CASE(?,O(n^1))	1.46	*	WORST_CASE(?,O(n^1))	1.81	*	MAYBE	0.15	*	BEST_CASE(Omega(1),?)	0.65	*	BEST_CASE(Omega(1),?)	0.23	*	BEST_CASE(Omega(1),?)	1.37	*	BEST_CASE(Omega(1),?)	0.50
mergesort-dc	*	MAYBE	59.07	*	MAYBE	58.17	*	MAYBE	58.23	*	MAYBE	0.46	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	BEST_CASE(Omega(1),?)	42.66	*	BEST_CASE(Omega(1),?)	23.99
mergesort.raml	*	WORST_CASE(?,O(n^3))	35.98	*	WORST_CASE(?,O(n^5))	17.60	*	WORST_CASE(?,O(n^5))	18.47	*	MAYBE	0.38	*	BEST_CASE(Omega(1),?)	0.84	*	BEST_CASE(Omega(1),?)	0.66	*	TIMEOUT	60.06	*	BEST_CASE(Omega(n^1),?)	21.98
minsort.raml	*	WORST_CASE(?,O(n^3))	19.51	*	WORST_CASE(?,O(n^3))	2.12	*	WORST_CASE(?,O(n^3))	6.79	*	MAYBE	0.22	*	BEST_CASE(Omega(1),?)	0.65	*	BEST_CASE(Omega(1),?)	0.37	*	BEST_CASE(Omega(n^1),?)	16.62	*	BEST_CASE(Omega(n^1),?)	5.27
minus	*	WORST_CASE(?,O(n^1))	0.03	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	0.06	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.12
mss	*	MAYBE	6.85	*	MAYBE	58.12	*	MAYBE	58.13	*	MAYBE	0.32	*	BEST_CASE(Omega(1),?)	0.99	*	BEST_CASE(Omega(1),?)	0.60	*	BEST_CASE(Omega(n^1),?)	18.98	*	BEST_CASE(Omega(n^1),?)	10.20
mult1	*	WORST_CASE(?,O(n^3))	2.22	*	WORST_CASE(?,O(n^3))	2.22	*	WORST_CASE(?,O(n^3))	2.37	*	MAYBE	0.13	*	BEST_CASE(Omega(n^1),?)	0.21	*	BEST_CASE(Omega(n^1),?)	0.12	*	BEST_CASE(Omega(n^1),?)	0.20	*	BEST_CASE(Omega(n^1),?)	0.13
mult2	*	WORST_CASE(?,O(n^2))	0.32	*	WORST_CASE(?,O(n^2))	0.30	*	WORST_CASE(?,O(n^2))	0.85	*	MAYBE	0.15	*	BEST_CASE(Omega(n^1),?)	0.22	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.21	*	BEST_CASE(Omega(n^1),?)	0.14
mult3	*	WORST_CASE(?,O(n^2))	1.17	*	WORST_CASE(?,O(n^2))	0.77	*	WORST_CASE(?,O(n^2))	0.89	*	WORST_CASE(?,O(n^2))	0.11	*	BEST_CASE(Omega(n^2),?)	0.28	*	BEST_CASE(Omega(n^2),?)	0.18	*	BEST_CASE(Omega(n^2),?)	0.26	*	BEST_CASE(Omega(n^2),?)	0.16
naiverev	*	WORST_CASE(?,O(n^2))	1.93	*	WORST_CASE(?,O(n^2))	0.28	*	WORST_CASE(?,O(n^2))	1.05	*	MAYBE	0.12	*	BEST_CASE(Omega(n^1),?)	1.00	*	BEST_CASE(Omega(n^1),?)	0.43	*	BEST_CASE(Omega(n^1),?)	0.68	*	BEST_CASE(Omega(n^1),?)	0.41
overlap	*	WORST_CASE(?,O(n^2))	1.80	*	WORST_CASE(?,O(n^2))	0.44	*	WORST_CASE(?,O(n^2))	1.66	*	MAYBE	0.16	*	BEST_CASE(Omega(1),?)	0.25	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	1.81	*	BEST_CASE(Omega(1),?)	0.74
pairs	*	WORST_CASE(?,O(n^2))	1.16	*	WORST_CASE(?,O(n^2))	0.79	*	WORST_CASE(?,O(n^2))	0.94	*	WORST_CASE(?,O(n^2))	0.12	*	BEST_CASE(Omega(1),?)	0.42	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(n^2),?)	1.50	*	BEST_CASE(Omega(n^2),?)	0.31
pairsp	*	WORST_CASE(?,O(n^3))	3.69	*	WORST_CASE(?,O(n^3))	4.47	*	WORST_CASE(?,O(n^3))	1.05	*	MAYBE	0.11	*	BEST_CASE(Omega(1),?)	0.41	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(n^2),?)	0.95	*	BEST_CASE(Omega(n^2),?)	0.28
parsexp	*	MAYBE	13.65	*	MAYBE	58.17	*	MAYBE	58.12	*	MAYBE	0.81	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06
permute	*	MAYBE	59.36	*	MAYBE	58.19	*	MAYBE	58.19	*	MAYBE	0.17	*	BEST_CASE(Omega(n^3),?)	2.64	*	BEST_CASE(Omega(n^2),?)	1.40	*	BEST_CASE(Omega(n^3),?)	2.77	*	BEST_CASE(Omega(n^2),?)	1.41
power	*	MAYBE	11.73	*	MAYBE	58.75	*	MAYBE	58.33	*	MAYBE	0.16	*	BEST_CASE(Omega(n^1),?)	0.89	*	BEST_CASE(Omega(n^1),?)	0.35	*	BEST_CASE(Omega(n^1),?)	0.96	*	BEST_CASE(Omega(n^1),?)	0.35
pred	*	WORST_CASE(?,O(1))	0.23	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(n^0))	0.06	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	0.07
prependall.fp	*	WORST_CASE(?,O(n^2))	0.26	*	WORST_CASE(?,O(n^2))	0.57	*	WORST_CASE(?,O(n^2))	5.43	*	MAYBE	0.11	*	BEST_CASE(Omega(1),?)	0.50	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(n^1),?)	0.98	*	BEST_CASE(Omega(n^1),?)	0.40
prependall_hosa	*	WORST_CASE(?,O(n^2))	0.29	*	WORST_CASE(?,O(n^2))	0.21	*	WORST_CASE(?,O(n^2))	5.33	*	MAYBE	0.13	*	BEST_CASE(Omega(1),?)	0.89	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.98	*	BEST_CASE(Omega(n^1),?)	0.51
product.fp	*	WORST_CASE(?,O(n^2))	1.12	*	WORST_CASE(?,O(n^2))	0.64	*	WORST_CASE(?,O(n^2))	3.79	*	MAYBE	0.35	*	BEST_CASE(Omega(1),?)	0.35	*	BEST_CASE(Omega(1),?)	0.19	*	BEST_CASE(Omega(n^1),?)	0.79	*	BEST_CASE(Omega(n^1),?)	0.34
product_hosa	*	WORST_CASE(?,O(n^2))	1.80	*	WORST_CASE(?,O(n^2))	1.12	*	WORST_CASE(?,O(n^2))	3.97	*	MAYBE	0.14	*	BEST_CASE(Omega(1),?)	0.35	*	BEST_CASE(Omega(1),?)	0.43	*	BEST_CASE(Omega(n^1),?)	0.78	*	BEST_CASE(Omega(n^1),?)	0.32
qs	*	MAYBE	59.10	*	MAYBE	58.44	*	MAYBE	58.13	*	MAYBE	0.22	*	BEST_CASE(Omega(1),?)	1.07	*	BEST_CASE(Omega(1),?)	0.28	*	TIMEOUT	60.06	*	TIMEOUT	60.06
queue	*	WORST_CASE(?,O(n^2))	4.23	*	WORST_CASE(?,O(n^2))	1.98	*	WORST_CASE(?,O(n^1))	1.49	*	WORST_CASE(?,O(n^2))	0.13	*	BEST_CASE(Omega(1),?)	0.41	*	BEST_CASE(Omega(1),?)	0.43	*	BEST_CASE(Omega(n^1),?)	7.94	*	BEST_CASE(Omega(n^1),?)	3.20
queue.raml	*	MAYBE	59.11	*	MAYBE	58.12	*	MAYBE	58.11	*	MAYBE	0.39	*	BEST_CASE(Omega(1),?)	1.67	*	BEST_CASE(Omega(1),?)	0.87	*	BEST_CASE(Omega(1),?)	20.39	*	BEST_CASE(Omega(1),?)	10.75
quicksort-nat	*	WORST_CASE(?,O(n^2))	8.36	*	WORST_CASE(?,O(n^3))	0.88	*	WORST_CASE(?,O(n^3))	6.23	*	MAYBE	0.17	*	BEST_CASE(Omega(1),?)	0.38	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(n^1),?)	32.69	*	BEST_CASE(Omega(n^1),?)	3.60
quotient	*	WORST_CASE(?,O(n^1))	0.19	*	WORST_CASE(?,O(n^2))	0.18	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.09	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(n^1),?)	0.36	*	BEST_CASE(Omega(n^1),?)	0.21
rationalPotential.raml	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.13	*	BEST_CASE(Omega(1),?)	0.41	*	BEST_CASE(Omega(1),?)	0.28	*	BEST_CASE(Omega(n^1),?)	3.13	*	BEST_CASE(Omega(n^1),?)	0.86
recscheme.fp	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.36	*	MAYBE	0.09	*	BEST_CASE(Omega(1),?)	0.10	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.52	*	BEST_CASE(Omega(1),?)	0.15
recscheme_hosa	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.44	*	WORST_CASE(?,O(n^1))	0.13	*	MAYBE	0.12	*	BEST_CASE(Omega(1),?)	0.12	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(1),?)	0.55	*	BEST_CASE(Omega(1),?)	0.16
rev	*	WORST_CASE(?,O(n^2))	3.32	*	WORST_CASE(?,O(n^2))	0.83	*	WORST_CASE(?,O(n^2))	1.02	*	MAYBE	0.14	*	BEST_CASE(Omega(n^1),?)	0.83	*	BEST_CASE(Omega(n^1),?)	0.32	*	BEST_CASE(Omega(n^1),?)	4.53	*	BEST_CASE(Omega(n^1),?)	1.02
rev-dl	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.60	*	MAYBE	0.14	*	BEST_CASE(Omega(1),?)	0.21	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(n^1),?)	3.20	*	BEST_CASE(Omega(n^1),?)	0.70
rev-dl-contrived.fp	*	WORST_CASE(?,O(n^1))	0.03	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.31	*	MAYBE	0.39	*	BEST_CASE(Omega(n^1),?)	0.22	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.44	*	BEST_CASE(Omega(n^1),?)	0.15
rev-dl-contrived_hosa	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.30	*	WORST_CASE(?,O(n^1))	0.47	*	MAYBE	0.10	*	BEST_CASE(Omega(n^1),?)	0.63	*	BEST_CASE(Omega(n^1),?)	0.20	*	BEST_CASE(Omega(n^1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.15
rev-dl.fp	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.26	*	MAYBE	0.09	*	BEST_CASE(Omega(1),?)	0.12	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.26	*	BEST_CASE(Omega(n^1),?)	0.13
rev-dl_hosa	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.11	*	MAYBE	0.31	*	BEST_CASE(Omega(1),?)	0.18	*	BEST_CASE(Omega(1),?)	0.08	*	BEST_CASE(Omega(n^1),?)	0.41	*	BEST_CASE(Omega(n^1),?)	0.15
rev-fletf	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.71	*	MAYBE	0.17	*	BEST_CASE(Omega(1),?)	0.23	*	BEST_CASE(Omega(1),?)	0.12	*	BEST_CASE(Omega(n^1),?)	6.12	*	BEST_CASE(Omega(n^1),?)	0.82
rev-foldl	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.50	*	WORST_CASE(?,O(n^1))	0.17	*	MAYBE	0.10	*	BEST_CASE(Omega(n^1),?)	0.25	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.41	*	BEST_CASE(Omega(n^1),?)	0.17
reverse	*	WORST_CASE(?,O(n^2))	1.66	*	WORST_CASE(?,O(n^2))	1.20	*	WORST_CASE(?,O(n^2))	1.27	*	MAYBE	0.11	*	BEST_CASE(Omega(n^1),?)	0.29	*	BEST_CASE(Omega(n^1),?)	0.16	*	BEST_CASE(Omega(n^1),?)	0.56	*	BEST_CASE(Omega(n^1),?)	0.42
reverse.fp	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.09	*	MAYBE	0.12	*	BEST_CASE(Omega(n^1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.16	*	BEST_CASE(Omega(n^1),?)	0.44	*	BEST_CASE(Omega(n^1),?)	0.19
reverse_hosa	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.29	*	MAYBE	0.11	*	BEST_CASE(Omega(n^1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.15	*	BEST_CASE(Omega(n^1),?)	0.23	*	BEST_CASE(Omega(n^1),?)	0.16
rpm-lazy	*	MAYBE	59.71	*	MAYBE	58.12	*	MAYBE	58.31	*	TRS is not left-linear	0.23	*	TRS is not left-linear	0.03	*	TRS is not left-linear	0.03	*	TRS is not left-linear	0.04	*	TRS is not left-linear	0.03
sat	*	WORST_CASE(?,O(n^2))	3.57	*	WORST_CASE(?,O(n^3))	0.69	*	WORST_CASE(?,O(n^3))	2.85	*	MAYBE	0.21	*	BEST_CASE(Omega(1),?)	0.69	*	BEST_CASE(Omega(1),?)	0.32	*	BEST_CASE(Omega(n^1),?)	4.88	*	BEST_CASE(Omega(n^1),?)	2.14
select	*	WORST_CASE(?,O(n^2))	0.99	*	WORST_CASE(?,O(n^2))	0.43	*	WORST_CASE(?,O(n^2))	1.48	*	MAYBE	0.17	*	BEST_CASE(Omega(n^1),?)	2.21	*	BEST_CASE(Omega(n^1),?)	0.92	*	BEST_CASE(Omega(n^1),?)	2.29	*	BEST_CASE(Omega(n^1),?)	0.91
shuffle	*	WORST_CASE(?,O(n^3))	7.83	*	WORST_CASE(?,O(n^3))	0.22	*	WORST_CASE(?,O(n^3))	1.45	*	MAYBE	0.33	*	BEST_CASE(Omega(n^1),?)	18.81	*	BEST_CASE(Omega(n^1),?)	0.97	*	BEST_CASE(Omega(n^1),?)	18.93	*	BEST_CASE(Omega(n^1),?)	0.97
sp1	*	MAYBE	7.05	*	MAYBE	58.72	*	MAYBE	58.14	*	MAYBE	0.16	*	BEST_CASE(Omega(n^3),?)	1.78	*	BEST_CASE(Omega(n^2),?)	0.80	*	BEST_CASE(Omega(n^3),?)	1.56	*	BEST_CASE(Omega(n^2),?)	1.02
sparseByWeight.okasaki	*	MAYBE	22.18	*	MAYBE	58.16	*	MAYBE	58.17	*	MAYBE	0.23	*	BEST_CASE(Omega(1),?)	1.03	*	BEST_CASE(Omega(1),?)	0.26	*	BEST_CASE(Omega(1),?)	5.08	*	BEST_CASE(Omega(1),?)	2.65
sparseByWeight_carry.okasaki	*	MAYBE	6.55	*	MAYBE	59.12	*	MAYBE	58.10	*	MAYBE	0.21	*	BEST_CASE(Omega(1),?)	0.27	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	1.72	*	BEST_CASE(Omega(1),?)	0.81
splayHeap_deleteMin.okasaki	*	WORST_CASE(?,O(n^1))	0.36	*	WORST_CASE(?,O(n^1))	0.83	*	WORST_CASE(?,O(n^1))	0.28	*	MAYBE	0.34	*	BEST_CASE(Omega(1),?)	0.48	*	BEST_CASE(Omega(1),?)	0.16	*	BEST_CASE(Omega(1),?)	3.50	*	BEST_CASE(Omega(1),?)	0.71
splayHeap_findMin.okasaki	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.41	*	MAYBE	0.10	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	0.15	*	BEST_CASE(Omega(1),?)	6.77	*	BEST_CASE(Omega(1),?)	6.39
splayHeap_merge.okasaki	*	WORST_CASE(?,O(n^2))	27.58	*	WORST_CASE(?,O(n^3))	3.46	*	WORST_CASE(?,O(n^3))	10.50	*	MAYBE	0.35	*	BEST_CASE(Omega(1),?)	0.93	*	BEST_CASE(Omega(1),?)	0.87	*	BEST_CASE(Omega(1),?)	18.93	*	BEST_CASE(Omega(1),?)	11.50
splayHeap_partition.okasaki	*	WORST_CASE(?,O(n^1))	1.98	*	WORST_CASE(?,O(n^1))	1.26	*	WORST_CASE(?,O(n^1))	1.69	*	MAYBE	0.55	*	BEST_CASE(Omega(1),?)	0.87	*	BEST_CASE(Omega(1),?)	0.57	*	BEST_CASE(Omega(1),?)	10.68	*	BEST_CASE(Omega(1),?)	5.36
splitandsort.raml	*	MAYBE	59.05	*	MAYBE	58.40	*	TIMEOUT	60.00	*	MAYBE	0.57	*	BEST_CASE(Omega(1),?)	2.43	*	BEST_CASE(Omega(1),?)	1.20	*	TIMEOUT	60.06	*	TIMEOUT	60.06
subsets	*	MAYBE	4.99	*	MAYBE	58.09	*	MAYBE	58.08	*	MAYBE	0.55	*	BEST_CASE(Omega(n^1),?)	1.61	*	BEST_CASE(Omega(n^1),?)	0.64	*	BEST_CASE(Omega(n^1),?)	1.81	*	BEST_CASE(Omega(n^1),?)	0.59
subtrees.raml	*	WORST_CASE(?,O(n^2))	0.99	*	WORST_CASE(?,O(n^2))	0.96	*	WORST_CASE(?,O(n^2))	3.07	*	MAYBE	0.14	*	BEST_CASE(Omega(1),?)	0.24	*	BEST_CASE(Omega(1),?)	0.14	*	BEST_CASE(Omega(n^1),?)	1.50	*	BEST_CASE(Omega(n^1),?)	0.85
sum	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.39	*	MAYBE	0.13	*	BEST_CASE(Omega(1),?)	0.35	*	BEST_CASE(Omega(1),?)	0.11	*	BEST_CASE(Omega(n^1),?)	0.47	*	BEST_CASE(Omega(n^1),?)	0.25
sum_sqs3	*	MAYBE	15.56	*	MAYBE	58.12	*	MAYBE	58.11	*	MAYBE	0.42	*	BEST_CASE(Omega(1),?)	0.20	*	BEST_CASE(Omega(1),?)	0.13	*	BEST_CASE(Omega(n^1),?)	17.78	*	BEST_CASE(Omega(n^1),?)	10.91
tadd	*	WORST_CASE(?,O(n^2))	0.43	*	WORST_CASE(?,O(n^2))	0.35	*	WORST_CASE(?,O(n^2))	0.40	*	MAYBE	0.14	*	BEST_CASE(Omega(1),?)	0.18	*	BEST_CASE(Omega(1),?)	0.31	*	BEST_CASE(Omega(n^1),?)	1.07	*	BEST_CASE(Omega(n^1),?)	0.40
take_lazy	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.03	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.07	*	BEST_CASE(Omega(1),?)	0.29	*	BEST_CASE(Omega(1),?)	0.09	*	BEST_CASE(Omega(n^1),?)	0.18	*	BEST_CASE(Omega(n^1),?)	0.12

Result Summary

Average Times

	TcT_Comp2016	TcTNoAra	TcTAra	AraHeuristics	BestCaseSoundV3	BestCaseSoundV2	BestCaseUnsoundV3	BestCaseUnsoundV2
Success "BEST_CASE(Omega(1),?)"	0	0	0	0	87	87	34	35
Success "BEST_CASE(Omega(n^1),?)"	0	0	0	0	36	36	81	82
Success "BEST_CASE(Omega(n^2),?)"	0	0	0	0	1	4	3	9
Success "BEST_CASE(Omega(n^3),?)"	0	0	0	0	3	0	6	0
Success "MAYBE"	34	34	31	118	0	0	0	0
Success "TRS is not left-linear"	0	0	0	3	3	3	3	3
Success "WORST_CASE(?,O(1))"	2	2	2	0	0	0	0	0
Success "WORST_CASE(?,O(n^0))"	0	0	0	1	0	0	0	0
Success "WORST_CASE(?,O(n^1))"	58	54	59	14	0	0	0	0
Success "WORST_CASE(?,O(n^2))"	37	21	17	4	0	0	0	0
Success "WORST_CASE(?,O(n^3))"	7	21	21	0	0	0	0	0
Success "WORST_CASE(?,O(n^4))"	2	7	7	0	0	0	0	0
Success "WORST_CASE(?,O(n^5))"	0	1	1	0	0	0	0	0
Timeout	0	0	2	0	10	10	13	11

	TcT_Comp2016	TcTNoAra	TcTAra	AraHeuristics	BestCaseSoundV3	BestCaseSoundV2	BestCaseUnsoundV3	BestCaseUnsoundV2
Success "BEST_CASE(Omega(1),?)"	0.00	0.00	0.00	0.00	0.90	0.57	7.68	5.75
Success "BEST_CASE(Omega(n^1),?)"	0.00	0.00	0.00	0.00	1.12	0.32	3.98	2.17
Success "BEST_CASE(Omega(n^2),?)"	0.00	0.00	0.00	0.00	0.28	0.63	0.91	0.63
Success "BEST_CASE(Omega(n^3),?)"	0.00	0.00	0.00	0.00	1.56	0.00	1.37	0.00
Success "MAYBE"	34.08	58.28	58.19	0.28	0.00	0.00	0.00	0.00
Success "TRS is not left-linear"	0.00	0.00	0.00	0.09	0.10	0.03	0.10	0.03
Success "WORST_CASE(?,O(1))"	0.14	0.04	0.05	0.00	0.00	0.00	0.00	0.00
Success "WORST_CASE(?,O(n^0))"	0.00	0.00	0.00	0.06	0.00	0.00	0.00	0.00
Success "WORST_CASE(?,O(n^1))"	0.30	0.37	0.54	0.10	0.00	0.00	0.00	0.00
Success "WORST_CASE(?,O(n^2))"	5.87	0.74	2.86	0.16	0.00	0.00	0.00	0.00
Success "WORST_CASE(?,O(n^3))"	15.62	1.44	5.06	0.00	0.00	0.00	0.00	0.00
Success "WORST_CASE(?,O(n^4))"	30.29	7.32	8.95	0.00	0.00	0.00	0.00	0.00
Success "WORST_CASE(?,O(n^5))"	0.00	17.60	18.47	0.00	0.00	0.00	0.00	0.00
Timeout	0.00	0.00	60.00	0.00	60.06	60.06	60.06	60.06
Overall	11.17	15.12	15.66	0.25	5.18	4.75	9.83	7.47