Upper bounds:
59278: TcT sequential complexity
59273: AProVE sequential complexity
59359: AProVE parallel complexity Sec 3
59275: AProVE parallel complexity Sec 3 + 4, non-overlapping
59277: AProVE parallel complexity Sec 3 + 4, no non-trivial innermost critical overlay

benchmark name	result 59278	time 59278	result 59273	time 59273	result 59359	time 59359	result 59275	time 59275	result 59277	time 59277
Runtime_Complexity_Innermost_Rewriting/AG01/#3.13.trs	Inf	294.256	Inf	291.753	n^2	34.4775	n^2	291.825	n^2	291.673
Runtime_Complexity_Innermost_Rewriting/AG01/#3.18.trs	Inf	294.137	n^1	9.59266	n^1	291.731	n^1	291.748	n^1	291.764
Runtime_Complexity_Innermost_Rewriting/AG01/#3.31.trs	Inf	294.144	Inf	1.81963	n^1	4.93445	Inf	3.82975	Inf	4.51232
Runtime_Complexity_Innermost_Rewriting/AG01/#3.38.trs	Inf	294.162	Inf	2.89445	Unknown	291.788	Inf	4.3034	Inf	4.54403
Runtime_Complexity_Innermost_Rewriting/AG01/#3.42.trs	n^1	4.08187	n^1	6.33146	n^1	14.0666	n^1	8.67037	n^1	8.26026
Runtime_Complexity_Innermost_Rewriting/AG01/#3.48.trs	n^2	3.45865	n^2	291.735	n^1	4.95247	n^1	8.6915	n^1	13.9079
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53.trs	n^3	13.545	n^3	8.77656	n^3	12.7554	n^3	19.8204	n^3	9.27989
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55.trs	Inf	294.215	Inf	291.952	Unknown	294.293	Inf	291.866	Inf	294.515
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-ring.trs	Unknown	36.8836	Inf	295.762	Unknown	292.227	Unknown	299.836	Unknown	299.807
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC.trs	Inf	294.313	n^2	292.037	n^2	291.815	n^2	291.805	n^2	291.963
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial1.trs	Inf	294.115	Inf	291.801	Unknown	291.915	Inf	292.304	Inf	291.91
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial2.trs	Inf	294.327	Inf	291.844	Unknown	296.982	Unknown	292.879	Unknown	293.544
Runtime_Complexity_Innermost_Rewriting/AProVE_06/identity.trs	Inf	295.194	Inf	291.699	Unknown	291.737	Unknown	291.927	Unknown	291.792
Runtime_Complexity_Innermost_Rewriting/AProVE_06/logarithm.trs	Inf	294.189	n^2	291.815	n^2	291.953	n^2	291.978	n^2	291.899
Runtime_Complexity_Innermost_Rewriting/AProVE_06/quicksort.trs	Inf	294.383	Inf	295.437	Unknown	292.163	Inf	294.833	Inf	292.729
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower.trs	Unknown	3.91912	Inf	291.84	Unknown	291.879	Inf	291.798	Inf	291.828
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower_sizeChange.trs	Inf	294.809	Inf	291.85	Unknown	291.949	Inf	291.72	Inf	291.919
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci04.trs	Unknown	10.7492	Inf	291.828	Unknown	294.764	Unknown	291.934	Unknown	292.121
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto01.trs	Inf	294.484	n^1	57.3868	n^1	298.025	n^1	59.3677	n^1	70.6728
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto02.trs	Unknown	182.315	n^2	291.803	n^2	291.769	n^2	291.807	n^2	291.815
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto04.trs	Inf	294.302	Inf	1.85878	Unknown	293.322	Inf	296.831	Inf	295.43
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06.trs	Inf	294.269	n^2	291.918	n^2	294.996	n^2	292.049	n^2	291.871
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10.trs	Inf	294.18	Inf	291.827	Unknown	291.811	n^2	292.0	n^2	291.862
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann01.trs	Inf	294.119	n^2	291.721	n^2	291.679	n^2	291.984	n^2	291.743
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann02.trs	Inf	294.767	Inf	293.072	Unknown	297.374	Inf	296.889	Inf	296.162
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann03.trs	Inf	295.709	n^3	19.9207	n^3	291.743	n^3	16.1493	n^3	15.2103
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann04.trs	Unknown	241.112	Inf	298.059	Unknown	291.962	Inf	294.768	Inf	292.035
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann05.trs	Inf	294.243	n^2	294.404	n^2	291.894	n^2	292.307	n^2	294.832
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann06.trs	Inf	225.154	n^1	37.5225	n^1	299.862	n^1	39.8424	n^1	41.052
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann07.trs	Inf	294.303	Inf	291.758	Unknown	291.953	Inf	294.027	Inf	292.617
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann08.trs	Inf	294.143	Inf	2.67265	Unknown	299.546	Unknown	291.793	Unknown	291.752
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann10.trs	Inf	294.264	n^1	14.0467	n^1	122.414	n^1	12.0162	n^1	14.7089
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann11.trs	Inf	294.138	n^2	292.069	n^2	291.813	n^2	291.838	n^2	291.854
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann12.trs	Inf	294.089	n^2	291.733	n^2	291.695	n^2	291.755	n^2	291.729
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann13.trs	Inf	294.055	n^2	292.028	n^2	291.747	n^2	291.847	n^2	291.737
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann14.trs	Inf	294.338	Inf	292.088	Unknown	292.179	Inf	296.743	Inf	291.826
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann15.trs	Inf	294.148	n^2	291.714	n^2	291.692	n^2	291.822	n^2	291.73
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann16.trs	Unknown	2.64282	Inf	292.374	Unknown	296.94	Unknown	293.566	Unknown	292.826
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann17.trs	Inf	294.366	Inf	294.918	Unknown	291.899	Inf	294.685	Inf	293.338
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann18.trs	Inf	294.272	n^3	292.422	n^3	291.784	n^3	292.143	n^3	296.327
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann26.trs	Inf	294.163	n^1	17.2795	n^1	291.733	n^1	291.655	n^1	291.713
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28.trs	Inf	294.145	n^1	12.8031	n^1	291.688	n^1	291.7	n^1	291.709
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32.trs	Unknown	18.7648	Inf	291.772	Unknown	291.838	Inf	291.823	Inf	291.773
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann37.trs	Inf	294.317	Inf	291.824	Unknown	291.939	Inf	291.722	Inf	291.762
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann38.trs	Inf	294.164	n^2	291.784	n^2	291.78	n^2	291.78	n^2	291.856
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann40.trs	Inf	183.653	n^1	6.61827	n^1	14.1952	n^1	12.3514	n^1	14.1061
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting01_reverse.trs	Inf	294.205	Inf	295.86	Unknown	294.367	Inf	292.342	Inf	293.408
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting02_doublelist.trs	Unknown	0.0	Inf	291.726	Unknown	291.83	Inf	291.782	Inf	292.372
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting03_minsort.trs	Inf	294.104	Inf	294.171	Unknown	292.597	Inf	293.824	Inf	295.24
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting04_maxsort_h.trs	Unknown	22.147	Inf	291.871	Unknown	295.074	Inf	291.848	Inf	292.125
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting05_maxsort.trs	Inf	294.266	Inf	291.945	Unknown	293.376	Inf	291.784	Inf	294.782
Runtime_Complexity_Innermost_Rewriting/AProVE_08/thiemann40_modified.trs	Inf	294.118	n^2	14.3293	n^2	291.659	n^2	291.653	n^2	291.679
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcdhard.trs	Inf	294.116	n^1	14.8075	n^1	291.717	n^1	13.7503	n^1	15.7485
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort.trs	Inf	294.246	Inf	294.461	Unknown	292.629	Inf	293.891	Inf	293.788
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort.trs	Inf	294.277	Inf	292.291	Unknown	291.848	Inf	293.46	Inf	293.738
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsort.trs	Inf	294.183	Inf	291.753	Unknown	291.877	Inf	291.744	Inf	293.432
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortlast.trs	Inf	294.242	Inf	293.624	Unknown	295.443	Inf	293.161	Inf	294.838
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortmiddle.trs	Inf	294.272	Inf	292.548	Unknown	299.071	Inf	291.847	Inf	291.988
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/zerolist.trs	Inf	294.203	n^2	291.757	n^2	291.67	n^2	291.796	n^2	291.698
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/1.trs	Inf	98.5812	n^2	291.83	n^2	177.686	n^2	176.63	n^2	178.451
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/10.trs	Inf	282.172	n^2	291.735	n^2	116.202	n^2	114.255	n^2	114.937
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/11.trs	Inf	273.553	n^2	291.711	n^2	291.675	n^2	291.691	n^2	291.712
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/12.trs	Inf	173.327	n^2	291.7	n^2	291.66	n^2	291.696	n^2	291.696
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/13.trs	Inf	205.103	n^2	291.727	n^2	291.71	n^2	291.696	n^2	291.694
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/15.trs	Inf	294.116	n^2	291.702	n^2	291.792	n^2	291.887	n^2	291.745
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/16.trs	Inf	294.172	n^2	292.097	n^2	291.782	n^2	291.79	n^2	291.789
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/17.trs	Inf	294.273	n^2	294.415	n^2	291.896	n^2	291.787	n^2	293.634
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/18.trs	Inf	294.095	n^1	21.8376	n^1	291.872	n^1	292.021	n^1	29.8669
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/19.trs	Unknown	300.023	n^2	292.155	n^2	291.812	n^2	291.924	n^2	293.143
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/2.trs	Inf	234.154	n^2	291.729	n^2	124.754	n^2	129.306	n^2	131.875
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/20.trs	Inf	294.091	n^1	16.4994	n^1	292.976	n^1	291.88	n^1	291.793
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/21.trs	Unknown	9.23868	n^2	291.817	n^2	291.97	n^2	291.965	n^2	291.809
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/22.trs	Inf	294.096	n^1	10.1643	n^1	117.767	n^1	119.32	n^1	117.053
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/23.trs	Inf	294.275	n^2	291.757	n^2	291.835	n^2	291.709	n^2	291.964
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/24.trs	Inf	294.083	n^1	20.1532	n^1	291.946	n^1	291.836	n^1	291.745
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/3.trs	Inf	104.436	n^1	23.2972	n^1	291.732	n^1	21.4379	n^1	22.1228
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/5.trs	Inf	121.177	n^2	296.656	n^2	291.789	n^2	291.93	n^2	294.782
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/6.trs	Inf	112.113	n^2	291.734	n^2	99.038	n^2	105.478	n^2	105.325
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/7.trs	Inf	294.328	n^2	291.728	n^2	226.734	n^2	225.727	n^2	225.869
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/8.trs	Inf	294.044	n^1	14.8895	n^1	291.75	n^1	291.821	n^1	14.7577
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/9.trs	Unknown	300.021	n^2	294.194	n^2	299.722	n^2	293.181	n^2	292.714
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-hard.trs	Inf	294.067	n^1	5.60493	n^1	16.5953	n^1	9.82808	n^1	9.47472
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong.trs	Inf	294.127	Inf	1.93175	Inf	16.2441	Inf	11.5888	Inf	14.4063
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod.trs	Inf	294.184	Inf	291.789	Unknown	291.912	Unknown	291.839	Inf	25.7739
Runtime_Complexity_Innermost_Rewriting/Der95/08.trs	n^1	4.65149	n^1	5.89875	n^1	5.90696	n^1	8.09358	n^1	8.48445
Runtime_Complexity_Innermost_Rewriting/Der95/11.trs	n^2	11.8543	n^1	6.11142	n^1	15.2111	n^1	10.5047	n^1	15.049
Runtime_Complexity_Innermost_Rewriting/Der95/18.trs	n^1	1.45104	n^1	5.42534	n^1	5.49908	n^1	7.72642	n^1	7.86517
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/binom.trs	Inf	294.198	Inf	1.86404	Unknown	291.969	Inf	291.845	Inf	291.74
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj.trs	Inf	294.165	Inf	2.15921	n^1	14.4498	Inf	4.72284	Inf	4.45341
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold.trs	n^1	3.39953	n^1	4.91206	n^1	14.8944	n^1	12.5008	n^1	8.82326
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.trs	Inf	294.184	Inf	292.453	Unknown	293.258	n^3	291.836	n^3	293.188
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.trs	Inf	294.234	n^3	292.16	n^3	293.044	n^3	291.935	n^3	296.017
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/int.trs	Inf	296.269	Inf	292.173	Unknown	293.971	Unknown	293.887	Unknown	293.837
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed.trs	Inf	294.757	Inf	291.856	Unknown	292.004	Unknown	293.387	Unknown	292.619
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lte.trs	n^1	3.82053	n^1	5.06152	n^1	15.9565	n^1	9.61829	n^1	12.0243
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/map0.trs	n^1	2.40069	n^1	6.65404	n^1	9.72865	n^1	104.536	n^1	103.838
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergesort.trs	Inf	294.199	Inf	291.924	Unknown	291.823	Unknown	292.203	Unknown	292.057
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute.trs	Unknown	3.19235	Inf	3.12495	Unknown	296.681	Unknown	292.34	Unknown	292.025
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort.trs	Inf	294.156	Inf	291.868	Unknown	292.037	Inf	294.346	Inf	293.194
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select.trs	n^2	4.08897	n^2	291.703	n^1	8.07782	n^1	9.22273	n^1	11.8437
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/thetrick.trs	Inf	294.438	Inf	3.16546	Unknown	291.847	Unknown	291.971	Unknown	291.846
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/vangelder_typed.trs	Inf	294.129	Inf	48.0535	n^1	20.2526	n^1	291.745	n^1	291.866
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/disj2_typed.trs	n^1	3.08855	n^1	2.3719	n^1	11.9323	n^1	12.7807	n^1	14.3047
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup1_typed.trs	n^1	3.24968	n^1	19.9649	n^1	13.9074	n^1	14.1326	n^1	8.75132
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup2_typed.trs	n^1	3.39847	n^1	5.24127	n^1	14.0218	n^1	15.3754	n^1	14.3175
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fgh.trs	Inf	109.595	Inf	1.95064	Unknown	292.099	Unknown	292.126	Unknown	291.941
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize.trs	Inf	105.996	Inf	1.97844	Unknown	291.789	Unknown	291.932	n^2	29.5218
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortSize.trs	Inf	294.244	Inf	294.742	Unknown	294.458	Inf	295.933	Inf	295.868
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/reach.trs	Inf	294.618	Inf	291.813	Unknown	297.087	Inf	291.82	Inf	296.223
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/strmatch.trs	n^2	23.7973	n^2	291.736	n^2	26.6053	n^2	291.773	n^2	291.796
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/thetrickSize.trs	n^1	8.04482	n^1	11.8941	n^1	16.2539	n^1	15.9385	n^1	16.5941
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade08.trs	Unknown	300.042	n^2	291.872	n^2	291.748	n^2	291.736	n^2	291.998
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade09.trs	Inf	294.128	n^2	291.786	n^2	291.766	n^2	291.728	n^2	291.914
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade10.trs	Inf	294.148	n^2	291.752	n^2	291.707	n^2	291.751	n^2	291.709
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade12t.trs	Inf	294.258	n^2	293.53	n^2	295.148	n^2	293.13	n^2	295.791
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.trs	Inf	294.203	Inf	1.8842	Unknown	298.189	Inf	3.34622	Inf	3.32196
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17.trs	Inf	294.094	Inf	295.176	Unknown	293.079	Inf	291.806	Inf	295.359
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t001.trs	Unknown	5.43023	Inf	291.694	n^2	34.8393	n^2	38.3133	n^2	37.4858
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t002.trs	Inf	243.172	n^2	291.702	n^2	12.8492	n^1	10.7191	n^1	14.1569
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t003.trs	Inf	294.135	Inf	291.722	n^3	30.2433	n^3	32.7815	n^3	32.3055
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t009.trs	Inf	294.213	Inf	291.848	Unknown	291.942	Unknown	291.962	Unknown	292.06
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014.trs	n^2	3.40051	n^1	6.01501	n^1	14.3587	n^1	11.6684	n^1	17.2489
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.trs	Inf	294.276	n^2	291.796	n^2	291.747	n^2	291.777	n^2	291.991
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.trs	Inf	294.286	n^2	291.866	n^2	291.791	n^2	291.993	n^2	291.986
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd_triple.trs	Unknown	300.045	Inf	291.793	Unknown	292.031	Unknown	293.758	Unknown	292.462
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/minsort.trs	Inf	294.55	Inf	1.83153	Unknown	296.258	Inf	294.273	Inf	295.225
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect.trs	n^1	4.05034	n^1	6.50623	n^1	9.30855	n^1	291.756	n^1	291.726
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect2.trs	Inf	294.051	Inf	2.42898	n^3	25.021	n^3	26.2145	n^3	25.5521
Runtime_Complexity_Innermost_Rewriting/Rubio_04/bintrees.trs	n^1	2.23904	n^1	1.98271	n^1	6.59597	n^1	3.07363	n^1	2.94839
Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno.trs	n^3	12.9467	n^2	291.762	n^2	22.9868	n^2	46.0125	n^2	43.8462
Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96.trs	Unknown	22.7642	Inf	292.595	Unknown	300.047	Unknown	295.36	Unknown	299.417
Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2.trs	n^1	7.96846	n^1	10.9146	n^1	15.9268	n^1	10.4062	n^1	14.0689
Runtime_Complexity_Innermost_Rewriting/Rubio_04/quick.trs	Inf	294.31	Inf	295.598	Unknown	295.86	Inf	296.722	Inf	292.053
Runtime_Complexity_Innermost_Rewriting/Rubio_04/revlist.trs	Inf	294.128	Inf	292.088	Unknown	292.124	Inf	291.942	Inf	291.989
Runtime_Complexity_Innermost_Rewriting/Rubio_04/selsort.trs	n^3	36.1287	n^3	292.006	n^3	291.847	n^3	292.067	n^3	291.909
Runtime_Complexity_Innermost_Rewriting/SK90/2.12.trs	n^3	15.0889	n^3	7.80756	n^3	8.33598	n^3	291.679	n^3	291.659
Runtime_Complexity_Innermost_Rewriting/SK90/2.15.trs	Inf	294.224	Inf	1.8462	n^1	12.1199	n^1	22.7536	n^1	22.5461
Runtime_Complexity_Innermost_Rewriting/SK90/2.19.trs	n^2	4.09825	n^2	6.25654	n^2	8.05487	n^2	19.2416	n^2	21.7862
Runtime_Complexity_Innermost_Rewriting/SK90/2.20.trs	n^1	2.69803	n^1	5.75	n^1	6.88763	n^1	17.7052	n^1	17.9944
Runtime_Complexity_Innermost_Rewriting/SK90/2.21.trs	Inf	294.164	Inf	1.81519	n^1	7.13	n^1	100.874	n^1	100.065
Runtime_Complexity_Innermost_Rewriting/SK90/2.24.trs	Inf	294.134	Inf	1.7941	n^1	5.65141	n^1	104.638	n^1	104.196
Runtime_Complexity_Innermost_Rewriting/SK90/2.25.trs	Inf	294.194	Inf	1.84521	Unknown	293.952	Inf	297.231	Inf	295.326
Runtime_Complexity_Innermost_Rewriting/SK90/2.26.trs	Inf	294.308	Inf	1.84319	Unknown	298.021	Unknown	294.98	Unknown	292.162
Runtime_Complexity_Innermost_Rewriting/SK90/2.29.trs	n^1	4.07053	n^1	5.67108	n^1	7.6322	n^1	124.999	n^1	123.511
Runtime_Complexity_Innermost_Rewriting/SK90/2.40.trs	n^1	1.27821	n^1	5.26941	n^1	8.24232	n^1	8.0952	n^1	8.03903
Runtime_Complexity_Innermost_Rewriting/SK90/2.43.trs	Inf	294.171	Inf	2.55159	n^1	14.8437	n^1	17.2066	n^1	17.3382
Runtime_Complexity_Innermost_Rewriting/SK90/2.44.trs	n^1	8.82982	n^1	5.4577	n^1	7.82923	n^1	10.6657	n^1	10.3738
Runtime_Complexity_Innermost_Rewriting/SK90/4.05.trs	n^2	2.3691	n^2	291.751	n^1	7.65467	n^1	8.41122	n^1	8.60745
Runtime_Complexity_Innermost_Rewriting/SK90/4.16.trs	n^1	3.55101	n^1	1.96225	n^1	5.67959	n^1	10.4741	n^1	7.77797
Runtime_Complexity_Innermost_Rewriting/SK90/4.18.trs	n^0	3.69182	n^0	1.73209	n^0	1.77081	n^0	1.76914	n^0	1.79765
Runtime_Complexity_Innermost_Rewriting/SK90/4.24.trs	Inf	294.048	Inf	291.964	Unknown	292.036	Inf	292.009	Inf	292.019
Runtime_Complexity_Innermost_Rewriting/SK90/4.31.trs	Inf	294.191	Inf	1.8751	n^1	8.10462	n^1	298.069	n^1	292.038
Runtime_Complexity_Innermost_Rewriting/SK90/4.47.trs	n^0	4.03904	n^0	1.8786	n^0	1.73107	n^0	1.79468	n^0	1.74491
Runtime_Complexity_Innermost_Rewriting/SK90/4.54.trs	Inf	249.295	Inf	1.81157	Inf	211.744	Inf	19.9641	Inf	19.7264
Runtime_Complexity_Innermost_Rewriting/SK90/4.57.trs	n^0	1.38791	n^0	4.132	n^0	3.97363	n^0	3.93069	n^0	4.33723
Runtime_Complexity_Innermost_Rewriting/SK90/4.59.trs	Inf	294.143	Inf	1.82905	n^1	14.4445	n^1	299.089	n^1	296.592
Runtime_Complexity_Innermost_Rewriting/SK90/4.60.trs	Inf	294.039	Inf	1.84258	n^1	14.1815	n^1	25.9007	n^1	22.2828
Runtime_Complexity_Innermost_Rewriting/SK90/4.61.trs	Inf	294.225	Inf	1.85426	Unknown	295.013	Inf	179.968	Inf	186.711
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove3.trs	Inf	195.446	Inf	291.871	Unknown	291.95	Unknown	292.034	Unknown	291.84
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime4.trs	n^0	1.44825	n^0	1.80652	n^0	1.73575	n^0	1.78293	n^0	1.79959
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa1.trs	Inf	294.162	n^2	291.916	n^2	291.843	n^2	292.678	n^2	293.625
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa2.trs	n^2	4.53015	n^2	291.692	n^2	211.687	n^1	188.102	n^1	16.2172
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa4.trs	Unknown	0.0	Inf	291.905	Unknown	292.018	Inf	6.50352	Inf	6.51289
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5.trs	Unknown	300.07	Inf	291.879	Unknown	293.134	Unknown	295.8	Unknown	295.275
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/addList.trs	Unknown	0.0	Inf	294.611	Unknown	293.154	Inf	296.209	Inf	299.382
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/division.trs	Inf	294.158	n^2	291.76	n^2	291.714	n^2	291.785	n^2	291.785
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/double.trs	Inf	294.163	Inf	291.85	Unknown	298.892	Unknown	293.964	Unknown	291.831
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/logarithm.trs	Inf	294.242	n^2	291.782	n^2	291.752	n^2	295.395	n^2	291.799
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.trs	Inf	294.24	Inf	291.772	Unknown	298.396	Inf	293.154	Inf	296.217
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/reverse.trs	Inf	294.105	Inf	294.894	Unknown	295.233	Inf	293.326	Inf	295.211
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/sumList.trs	Inf	294.211	Inf	294.993	Unknown	292.5	Inf	292.122	Inf	299.016
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/toList.trs	Unknown	17.6724	Inf	292.503	Unknown	293.489	Unknown	295.974	Unknown	297.312
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa04.trs	Inf	294.264	Inf	291.854	Unknown	294.111	Unknown	292.042	Inf	291.853
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa05.trs	Unknown	165.083	Inf	297.299	Unknown	291.933	Inf	12.8919	Inf	10.7392
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa06.trs	Unknown	0.0	n^2	291.98	n^2	300.038	n^2	300.092	n^2	300.087
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa07.trs	Unknown	0.0	Inf	293.729	Unknown	292.042	Inf	5.65303	Inf	5.85483
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa08.trs	Unknown	278.259	Inf	295.524	Unknown	292.018	Inf	6.48366	Inf	6.58537
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa09.trs	Unknown	144.843	Inf	291.818	Unknown	292.134	Unknown	291.926	Inf	14.4867
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa10.trs	Unknown	300.059	Inf	291.757	Unknown	292.335	Unknown	292.878	Inf	14.9606
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove01.trs	Inf	294.289	Inf	291.825	Unknown	291.824	Unknown	292.203	Unknown	292.113
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove02.trs	Unknown	15.5625	n^5	291.856	n^5	291.827	n^5	291.793	n^5	291.799
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove03.trs	Inf	294.902	Inf	291.918	Unknown	294.616	Unknown	296.632	Unknown	292.876
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove04.trs	Unknown	11.5685	Inf	291.856	Unknown	296.602	Unknown	294.557	Unknown	295.463
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove05.trs	Inf	294.308	Inf	291.857	Unknown	291.776	Unknown	292.134	Unknown	292.345
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove06.trs	Unknown	6.09312	Inf	296.922	Unknown	293.302	Unknown	296.025	Unknown	294.486
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove07.trs	Inf	294.192	Inf	291.733	Unknown	291.934	Unknown	291.864	Unknown	292.115
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove08.trs	Inf	294.253	n^2	291.935	n^2	292.683	n^2	298.146	n^2	295.156
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove09.trs	Inf	294.139	n^3	291.996	n^3	291.741	n^3	292.059	n^3	291.843
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove10.trs	Unknown	2.6837	n^3	299.415	n^3	291.788	n^3	292.459	n^3	296.121
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.27.trs	n^2	2.41922	n^2	291.721	n^1	12.5751	n^1	8.67114	n^1	12.1172
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29.trs	Inf	294.242	Inf	292.12	Unknown	292.322	Inf	291.905	Inf	295.612
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36.trs	n^3	20.32	n^3	294.054	n^3	293.051	n^3	295.948	n^3	293.621
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.trs	Inf	97.5655	Inf	2.00617	Inf	7.91863	Inf	10.5507	Inf	10.4347
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.trs	Inf	294.223	Inf	1.79475	Unknown	292.689	Inf	299.808	Inf	291.847
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.trs	Inf	294.162	Inf	1.91569	Inf	258.296	Inf	253.413	Inf	252.795
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_3_25_Bor03.trs	Inf	294.176	Inf	1.79796	Unknown	298.487	Unknown	291.735	Inf	291.902
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.trs	n^1	2.96912	n^1	5.93009	n^1	8.32833	n^1	13.7575	n^1	9.52037
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_37_Bor03.trs	Inf	294.144	Inf	1.8211	Unknown	291.688	Unknown	291.789	Inf	291.716
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM99.trs	Inf	294.218	Inf	1.89211	Unknown	291.848	Unknown	291.848	Unknown	291.931
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_Zan97.trs	Inf	294.164	Inf	1.90773	Unknown	294.709	Inf	291.933	Inf	291.88
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-10.trs	n^10	20.0266	n^10	291.734	n^1	15.9774	n^1	16.6746	n^1	17.7368
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-5.trs	n^5	8.28173	n^5	291.724	n^1	14.3194	n^1	11.474	n^1	17.9334
Runtime_Complexity_Innermost_Rewriting/TCT_12/sat.trs	n^3	13.1363	n^2	291.729	n^1	19.1929	n^1	18.7216	n^1	22.9429
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.trs	n^1	10.3129	n^1	5.90513	n^1	5.08272	n^1	12.754	n^1	8.21741
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.trs	Inf	295.613	Inf	294.435	Unknown	299.746	Unknown	298.469	Unknown	294.893
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.trs	n^1	4.18316	n^1	5.08444	n^1	45.4741	n^1	46.3659	n^1	46.0064
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.trs	Unknown	277.511	Inf	293.495	Unknown	296.374	Unknown	292.476	Unknown	296.035
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.trs	Inf	294.08	Inf	299.202	Unknown	297.216	Unknown	298.37	Unknown	297.647
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.trs	Inf	294.23	Inf	291.927	Unknown	294.486	Unknown	292.876	Unknown	298.119
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.trs	Inf	295.631	Inf	292.197	Unknown	300.022	Unknown	299.37	Unknown	292.758
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.trs	n^3	5.60928	n^3	9.62268	n^3	291.754	n^3	14.728	n^3	16.1905
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.trs	n^3	9.23109	n^3	12.3271	n^3	296.242	n^3	296.203	n^3	296.217
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.trs	Inf	294.074	Inf	298.306	Unknown	294.426	Unknown	292.704	Unknown	294.816
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.trs	n^1	6.57936	n^1	5.63096	n^1	20.5357	n^1	11.8841	n^1	13.0376
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.trs	Inf	294.061	Inf	300.062	Unknown	292.267	Unknown	292.03	Unknown	292.102
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.trs	Inf	294.152	Inf	295.243	Unknown	294.154	Unknown	293.211	Unknown	293.806
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.trs	Inf	294.183	Inf	291.908	Unknown	292.639	Unknown	293.434	Unknown	292.856
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.trs	Inf	299.176	Inf	300.088	Unknown	295.588	Unknown	293.896	Unknown	296.049
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.trs	Inf	294.19	Inf	300.052	Unknown	294.321	Unknown	299.403	Unknown	297.093
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.trs	Inf	294.197	Inf	300.046	Unknown	292.27	Unknown	294.952	Unknown	294.72
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.trs	Inf	295.614	Inf	292.054	Unknown	292.34	Unknown	292.648	Unknown	292.511
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.trs	Inf	294.053	Inf	291.881	Unknown	298.579	Unknown	299.982	Unknown	292.107
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.trs	Inf	295.374	Inf	296.455	Unknown	299.24	Unknown	292.732	Unknown	294.207
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.trs	Inf	295.892	Inf	297.576	Unknown	299.682	Unknown	292.958	Unknown	298.587
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.trs	Inf	294.19	Inf	291.805	Unknown	295.73	Unknown	293.529	Unknown	294.262
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.trs	Inf	295.623	Inf	299.329	Unknown	298.413	Unknown	297.59	Unknown	293.953
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.trs	Inf	294.152	Inf	297.561	Unknown	292.098	Unknown	291.957	Unknown	291.979
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.trs	Inf	294.131	Inf	297.508	Unknown	291.999	Unknown	294.007	Unknown	292.152
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.trs	Inf	295.614	Inf	298.551	Unknown	293.4	Unknown	293.973	Unknown	299.424
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.trs	Inf	294.139	Inf	291.857	Unknown	292.068	Unknown	292.186	Unknown	292.291
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.trs	Unknown	15.6727	Inf	297.663	Unknown	295.087	Unknown	296.731	Unknown	296.797
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.trs	Inf	294.055	Inf	292.171	Unknown	297.893	Unknown	299.774	Unknown	299.722
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.trs	Inf	294.174	Inf	291.934	Unknown	292.145	Unknown	292.25	Unknown	291.968
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM.trs	Inf	295.611	Inf	297.125	Unknown	292.63	Unknown	296.845	Unknown	297.574
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.trs	Inf	294.212	Inf	6.04064	Unknown	291.88	Unknown	291.899	Unknown	291.941
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.trs	Inf	294.194	Inf	3.17282	Unknown	291.797	Unknown	291.845	Unknown	291.828
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.trs	Inf	295.975	Inf	297.211	Unknown	300.051	Unknown	295.178	Unknown	296.708
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.trs	Inf	295.745	Inf	297.281	Unknown	297.226	Unknown	298.898	Unknown	292.388
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_GM.trs	Inf	295.665	Inf	291.824	Unknown	292.657	Unknown	298.005	Unknown	298.053
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.trs	Inf	295.409	Inf	298.365	Unknown	297.026	Unknown	295.724	Unknown	294.91
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.trs	n^1	4.11133	n^1	5.05467	n^1	18.0484	n^1	17.5878	n^1	17.788
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_GM.trs	Inf	296.417	Inf	296.994	Unknown	297.812	Unknown	297.626	Unknown	297.458
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.trs	Inf	294.383	Inf	298.4	Unknown	296.33	Unknown	299.506	Unknown	297.859
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.trs	Inf	295.615	Inf	293.008	Unknown	294.611	Unknown	296.126	Unknown	292.585
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.trs	Inf	294.211	Inf	298.531	Unknown	296.433	Unknown	293.918	Unknown	297.352
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.trs	n^1	13.6851	n^1	291.777	n^1	291.741	n^1	291.807	n^1	291.81
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.trs	Inf	295.387	Inf	294.92	Unknown	295.737	Unknown	293.152	Unknown	293.269
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.trs	n^1	6.67785	n^1	5.21948	n^1	55.9333	n^1	56.9909	n^1	56.7753
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.trs	Inf	295.74	Inf	293.822	Unknown	295.502	Unknown	296.086	Unknown	296.649
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_GM.trs	Unknown	300.049	Inf	4.93776	Unknown	297.397	Unknown	299.313	Unknown	293.985
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_GM.trs	Inf	294.193	Inf	19.6286	Unknown	292.847	Unknown	295.516	Unknown	295.52
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.trs	Inf	295.771	Inf	2.55946	Unknown	293.589	Unknown	292.055	Unknown	295.816
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.trs	Inf	295.72	Inf	4.05064	Unknown	298.756	Unknown	295.606	Unknown	294.037
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.trs	n^2	5.8608	n^2	7.11113	n^2	14.13	n^2	42.0707	n^2	41.2457
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.trs	Unknown	231.932	Inf	293.171	Unknown	292.103	Unknown	298.907	Unknown	298.234
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.trs	Inf	297.718	Inf	2.47929	Unknown	295.03	Unknown	292.561	Unknown	292.215
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_GM.trs	Inf	295.842	Inf	298.495	Unknown	295.398	Unknown	299.988	Unknown	298.218
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_GM.trs	Inf	294.217	Inf	297.859	Unknown	297.056	Unknown	296.326	Unknown	296.186
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_GM.trs	Inf	295.766	Inf	291.902	Unknown	292.909	Unknown	298.721	Unknown	296.838
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.trs	Inf	296.232	Inf	299.397	Unknown	292.248	Unknown	292.359	Unknown	292.682
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.trs	Inf	294.357	Inf	126.319	Unknown	293.341	Unknown	297.425	Unknown	292.531
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.trs	Inf	294.287	Inf	13.4072	Unknown	292.341	Unknown	292.282	Unknown	292.27
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_FR.trs	Inf	294.115	Inf	2.06216	Unknown	292.254	Unknown	292.314	Unknown	292.186
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_GM.trs	Inf	294.161	Inf	2.2993	Unknown	292.233	Unknown	292.354	Unknown	297.634
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.trs	Inf	295.941	Inf	41.0707	Unknown	298.207	Unknown	298.474	Unknown	298.295
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_GM.trs	Inf	296.067	Inf	292.082	Unknown	296.044	Unknown	293.88	Unknown	292.6
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_noand_GM.trs	Inf	296.683	Inf	296.312	Unknown	292.041	Unknown	294.456	Unknown	296.45
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.trs	Inf	294.216	Inf	291.939	Unknown	293.408	Unknown	295.612	Unknown	295.659
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_GM.trs	Inf	295.969	Inf	294.23	Unknown	298.107	Unknown	299.988	Unknown	292.669
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR.trs	n^1	3.06711	n^1	2.18973	n^1	7.47409	n^1	2.64758	n^1	2.70382
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.trs	Inf	294.192	Inf	291.819	Unknown	292.208	Unknown	292.288	Unknown	292.376
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM.trs	Inf	294.1	Inf	299.691	Unknown	292.177	Unknown	296.909	Unknown	293.403
Runtime_Complexity_Innermost_Rewriting/Various_04/11.trs	Inf	216.394	n^0	1.86968	n^0	1.76059	n^0	1.80079	n^0	1.76944
Runtime_Complexity_Innermost_Rewriting/hoca/fib_llist.trs	Inf	294.178	Inf	293.986	Unknown	294.332	Unknown	292.649	Unknown	292.497
Runtime_Complexity_Innermost_Rewriting/hoca/flatten.trs	n^1	4.14546	n^1	2.09446	n^1	50.8592	n^1	14.5463	n^1	13.6065
Runtime_Complexity_Innermost_Rewriting/hoca/mappplus.trs	n^2	4.81849	n^2	291.68	n^1	7.39349	n^1	9.00739	n^1	7.69337
Runtime_Complexity_Innermost_Rewriting/hoca/mergesort-dc.trs	Inf	294.147	Inf	292.229	Unknown	292.261	Inf	292.593	Inf	291.943
Runtime_Complexity_Innermost_Rewriting/hoca/sum_sqs3.trs	Inf	294.142	Inf	291.709	Unknown	291.767	Inf	291.836	Inf	291.746
Runtime_Complexity_Innermost_Rewriting/raML/appendAll.raml.trs	n^1	6.87409	n^1	5.3914	n^1	13.967	n^1	10.7326	n^1	15.5044
Runtime_Complexity_Innermost_Rewriting/raML/bfs.raml.trs	n^2	73.5621	Inf	297.172	Unknown	298.408	Unknown	296.936	Unknown	296.821
Runtime_Complexity_Innermost_Rewriting/raML/bft_mmult.raml.trs	n^4	80.3735	Inf	291.934	Unknown	292.006	Inf	292.033	Inf	291.825
Runtime_Complexity_Innermost_Rewriting/raML/bitvectors.raml.trs	n^2	185.7	n^5	294.379	n^5	296.55	n^5	294.244	n^5	294.171
Runtime_Complexity_Innermost_Rewriting/raML/clevermmult.raml.trs	n^3	29.8104	n^2	291.819	n^1	30.907	n^1	36.9763	n^1	33.0672
Runtime_Complexity_Innermost_Rewriting/raML/duplicates.raml.trs	n^3	25.3284	n^2	291.738	n^2	18.4873	n^2	55.5444	n^2	54.3454
Runtime_Complexity_Innermost_Rewriting/raML/dyade.raml.trs	n^2	8.62711	n^2	291.708	n^1	22.1221	n^1	21.6876	n^1	22.4469
Runtime_Complexity_Innermost_Rewriting/raML/eratosthenes.raml.trs	n^2	67.0604	n^2	292.581	n^2	291.806	n^2	292.007	n^2	295.245
Runtime_Complexity_Innermost_Rewriting/raML/flatten.raml.trs	n^2	22.7664	n^2	291.757	n^2	21.4664	n^2	49.5029	n^2	49.109
Runtime_Complexity_Innermost_Rewriting/raML/insertionsort.raml.trs	n^2	35.9912	n^2	292.233	n^2	293.978	n^2	294.583	n^2	295.181
Runtime_Complexity_Innermost_Rewriting/raML/listsort.raml.trs	n^3	27.6829	n^2	292.223	n^2	291.996	n^2	292.028	n^2	291.955
Runtime_Complexity_Innermost_Rewriting/raML/longestCommonSubsequence.raml.trs	n^2	49.5707	n^2	295.625	n^2	292.401	n^2	294.9	n^2	292.528
Runtime_Complexity_Innermost_Rewriting/raML/matrix.raml.trs	n^4	137.195	Inf	292.699	Unknown	293.05	Unknown	293.277	Unknown	294.317
Runtime_Complexity_Innermost_Rewriting/raML/mergesort.raml.trs	n^2	93.2917	Inf	291.898	Unknown	291.844	Inf	291.822	Inf	291.794
Runtime_Complexity_Innermost_Rewriting/raML/quicksort.raml.trs	Inf	294.172	n^2	61.7105	n^2	293.892	n^2	291.947	n^2	292.002
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.trs	n^5	138.326	n^3	292.401	n^3	292.224	n^3	294.384	n^3	295.792