Upper bounds:
50420: TcT sequential complexity
50523: AProVE sequential complexity
50522: AProVE parallel complexity Sec 3
50521: AProVE parallel complexity Sec 3 + 4

benchmark name	result 50420	time 50420	result 50523	time 50523	result 50522	time 50522	result 50521	time 50521
Runtime_Complexity_Innermost_Rewriting/AG01/#3.1.trs	n^1	2.74672	n^1	6.32706	n^1	9.85334	n^1	7.67624
Runtime_Complexity_Innermost_Rewriting/AG01/#3.10.trs	Unknown	3.72038	n^4	292.46	n^4	295.321	n^4	292.028
Runtime_Complexity_Innermost_Rewriting/AG01/#3.12.trs	n^3	4.78885	n^3	11.0418	n^3	6.18269	n^3	6.13115
Runtime_Complexity_Innermost_Rewriting/AG01/#3.13.trs	Unknown	300.08	Inf	291.913	n^2	34.712	n^2	291.761
Runtime_Complexity_Innermost_Rewriting/AG01/#3.15.trs	n^1	3.37832	n^1	4.5333	n^1	4.40181	n^1	10.5918
Runtime_Complexity_Innermost_Rewriting/AG01/#3.16.trs	Unknown	3.14034	n^3	291.752	n^3	11.0137	n^3	12.1049
Runtime_Complexity_Innermost_Rewriting/AG01/#3.18.trs	Unknown	6.10992	n^1	11.3227	n^1	291.847	n^1	17.1217
Runtime_Complexity_Innermost_Rewriting/AG01/#3.2.trs	n^2	2.39727	n^1	6.11938	n^1	12.1741	n^1	5.96492
Runtime_Complexity_Innermost_Rewriting/AG01/#3.23.trs	n^1	1.01616	n^1	5.06368	n^1	4.61498	n^2	7.40834
Runtime_Complexity_Innermost_Rewriting/AG01/#3.24.trs	n^1	2.68745	n^1	1.94695	n^1	4.79298	n^1	2.75929
Runtime_Complexity_Innermost_Rewriting/AG01/#3.26.trs	Unknown	4.33046	Inf	300.022	Unknown	291.774	Unknown	292.685
Runtime_Complexity_Innermost_Rewriting/AG01/#3.31.trs	Unknown	2.64503	Inf	1.89967	n^1	4.20576	Inf	7.449
Runtime_Complexity_Innermost_Rewriting/AG01/#3.33.trs	n^0	3.00837	n^0	1.93842	n^0	1.9008	n^0	1.87226
Runtime_Complexity_Innermost_Rewriting/AG01/#3.35.trs	n^1	1.73784	n^1	5.15915	n^1	6.15202	n^1	12.5937
Runtime_Complexity_Innermost_Rewriting/AG01/#3.36.trs	Unknown	4.33577	Inf	291.855	Unknown	291.773	Inf	291.786
Runtime_Complexity_Innermost_Rewriting/AG01/#3.37.trs	n^1	2.37723	n^1	3.25652	n^1	13.8699	n^1	8.07094
Runtime_Complexity_Innermost_Rewriting/AG01/#3.38.trs	Inf	294.151	Inf	2.81294	Unknown	291.839	Inf	3.7907
Runtime_Complexity_Innermost_Rewriting/AG01/#3.41.trs	n^2	2.04706	n^1	10.1781	n^1	13.2952	n^1	10.4555
Runtime_Complexity_Innermost_Rewriting/AG01/#3.42.trs	n^1	4.07913	n^1	6.06314	n^1	14.0134	n^1	11.7434
Runtime_Complexity_Innermost_Rewriting/AG01/#3.47.trs	n^2	3.18677	n^2	291.757	n^1	4.98155	n^1	12.2028
Runtime_Complexity_Innermost_Rewriting/AG01/#3.48.trs	n^2	3.57047	n^2	291.744	n^1	13.2738	n^1	11.3645
Runtime_Complexity_Innermost_Rewriting/AG01/#3.49.trs	Inf	294.149	Inf	291.752	Unknown	291.796	Unknown	291.731
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5.trs	Unknown	3.17087	n^1	6.30204	n^1	9.96226	n^1	15.2702
Runtime_Complexity_Innermost_Rewriting/AG01/#3.52.trs	n^1	1.61808	n^1	5.36098	n^1	5.54667	n^1	8.40808
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53.trs	n^3	13.125	n^3	8.68178	n^3	16.3235	n^3	20.4219
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53b.trs	n^1	1.44416	n^1	5.5041	n^1	6.23534	n^1	8.21024
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55.trs	Unknown	19.3615	Inf	291.939	Unknown	295.193	Inf	293.343
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5a.trs	Unknown	3.30383	n^1	13.5843	n^1	13.2517	n^1	10.8624
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5b.trs	n^3	11.2921	n^3	291.789	n^3	9.70511	n^3	17.1722
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6.trs	Unknown	7.60035	n^1	12.2033	n^1	10.6581	n^1	12.4091
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6a.trs	n^2	7.36059	n^1	13.076	n^1	12.2883	n^1	12.2206
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6b.trs	n^3	15.2021	n^3	291.805	n^3	11.2781	n^3	21.3863
Runtime_Complexity_Innermost_Rewriting/AG01/#3.7.trs	n^1	2.96772	n^1	4.89156	n^1	5.13311	n^1	6.73866
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8a.trs	n^3	5.51953	n^1	11.7051	n^1	15.3938	n^1	10.9872
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8b.trs	Unknown	6.37301	n^3	291.915	n^3	291.844	n^3	292.001
Runtime_Complexity_Innermost_Rewriting/AG01/#4.30c.trs	Unknown	11.0754	n^1	22.4724	n^1	291.876	n^1	24.6355
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-ring.trs	Unknown	300.109	Inf	300.058	Unknown	297.062	Inf	294.772
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC.trs	Inf	294.4	n^2	291.878	n^2	291.818	n^2	291.982
Runtime_Complexity_Innermost_Rewriting/AProVE_04/IJCAR_1.trs	n^1	2.9877	n^1	11.9947	n^1	7.0862	n^1	9.31545
Runtime_Complexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.trs	Unknown	11.423	Inf	300.103	Unknown	293.37	Unknown	292.488
Runtime_Complexity_Innermost_Rewriting/AProVE_04/fac.trs	Unknown	2.62595	Inf	291.819	Unknown	291.894	n^2	291.828
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta1.trs	Unknown	300.074	Inf	291.873	Unknown	291.918	Unknown	291.912
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta2.trs	Unknown	3.28361	Inf	291.794	Inf	13.2357	Inf	14.5839
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta3.trs	Unknown	4.28476	Inf	291.816	Unknown	291.931	Unknown	291.805
Runtime_Complexity_Innermost_Rewriting/AProVE_06/div_notCeTermin.trs	Inf	294.522	n^2	291.772	n^2	291.786	n^2	291.774
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial1.trs	Unknown	5.23938	Inf	291.804	Unknown	291.914	Inf	291.861
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial2.trs	Unknown	3.78197	Inf	291.772	Unknown	294.803	Unknown	294.357
Runtime_Complexity_Innermost_Rewriting/AProVE_06/identity.trs	Unknown	6.57002	Inf	291.823	Unknown	291.835	Unknown	291.901
Runtime_Complexity_Innermost_Rewriting/AProVE_06/logarithm.trs	Unknown	11.227	n^2	291.879	n^2	291.912	n^2	291.781
Runtime_Complexity_Innermost_Rewriting/AProVE_06/quicksort.trs	Unknown	17.3798	Inf	292.053	Unknown	292.158	Inf	292.669
Runtime_Complexity_Innermost_Rewriting/AProVE_06/sizeChange.trs	Unknown	8.5675	n^2	291.83	n^2	9.0711	n^2	29.0097
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower.trs	Unknown	7.31382	Inf	291.862	Unknown	291.973	Inf	291.835
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower_sizeChange.trs	Unknown	62.2309	Inf	291.807	Unknown	292.042	Inf	291.797
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci04.trs	Unknown	12.0427	Inf	291.821	Unknown	292.258	Unknown	295.741
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto01.trs	Unknown	7.23616	n^1	54.6108	n^1	295.175	n^1	67.0503
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto02.trs	Unknown	10.905	n^2	291.875	n^2	291.822	n^2	291.841
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto03.trs	Unknown	4.25948	n^2	291.747	n^2	291.74	n^2	291.708
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto04.trs	Unknown	0.0	Inf	1.9369	Unknown	294.047	Inf	294.379
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto05.trs	Unknown	7.49131	n^1	13.1232	n^1	11.1699	n^1	12.9791
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06.trs	Unknown	13.4985	n^2	292.043	n^2	292.139	n^2	293.344
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto07.trs	Unknown	4.37037	n^2	291.76	n^2	291.735	n^2	291.731
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto08.trs	Unknown	5.45546	Inf	291.763	Unknown	291.83	Inf	291.779
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto09.trs	Unknown	3.75468	Inf	291.782	Unknown	291.828	Inf	291.77
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10.trs	Unknown	0.0	Inf	291.858	Unknown	291.893	n^2	291.834
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto11.trs	Unknown	6.92078	Inf	291.906	Unknown	291.832	Unknown	291.836
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto12.trs	Unknown	3.27257	Inf	291.748	Unknown	291.796	Inf	293.012
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto13.trs	Unknown	2.63395	n^2	291.89	n^2	291.899	n^2	292.308
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann01.trs	Unknown	254.113	n^2	291.8	n^2	292.306	n^2	291.761
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann02.trs	Unknown	300.095	Inf	292.105	Unknown	291.977	Inf	292.079
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann03.trs	Unknown	0.0	n^3	16.8638	n^3	291.958	n^3	15.9718
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann04.trs	Unknown	5.45202	Inf	292.935	Unknown	298.022	Inf	296.704
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann05.trs	Unknown	6.04845	n^2	297.098	n^2	291.928	n^2	292.541
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann06.trs	Unknown	6.53137	n^1	38.9254	n^1	291.938	n^1	38.3491
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann07.trs	Unknown	15.9257	Inf	291.894	Unknown	296.179	Inf	292.512
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann08.trs	Unknown	4.8164	Inf	2.51329	Unknown	291.834	Unknown	291.787
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann10.trs	Unknown	8.57843	n^1	11.4814	n^1	148.351	n^1	12.7475
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann11.trs	Unknown	3.21638	n^2	291.904	n^2	292.117	n^2	292.11
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann12.trs	Unknown	4.65221	n^2	291.784	n^2	291.77	n^2	291.77
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann13.trs	Unknown	6.33163	n^2	291.795	n^2	291.863	n^2	291.975
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann14.trs	Inf	294.344	Inf	291.783	Unknown	291.99	Inf	293.713
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann15.trs	Unknown	7.69094	n^2	291.796	n^2	291.759	n^2	291.78
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann16.trs	Unknown	35.6155	Inf	291.838	Unknown	297.294	Unknown	292.78
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann17.trs	Unknown	31.5759	Inf	291.971	Unknown	295.806	Inf	296.764
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann18.trs	Unknown	22.736	n^3	293.398	n^3	292.619	n^3	292.154
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann19.trs	Unknown	3.19717	Inf	291.893	Unknown	291.955	Unknown	291.883
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann20.trs	Unknown	5.68006	n^2	292.805	n^2	291.835	n^2	291.809
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann21.trs	Unknown	4.91646	Inf	295.025	Unknown	296.17	Inf	293.027
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann22.trs	Unknown	11.2452	Inf	291.776	Unknown	291.797	Inf	291.753
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann23.trs	Unknown	6.12351	n^1	13.951	n^1	291.762	n^1	12.0883
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann24.trs	Unknown	0.0	Inf	291.771	Unknown	291.806	Inf	291.755
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann25.trs	Unknown	8.5172	Inf	291.925	Unknown	291.8	Inf	291.761
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann26.trs	Unknown	7.5585	n^1	16.5306	n^1	291.785	n^1	291.784
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann27.trs	Unknown	4.43828	n^2	291.737	n^2	291.75	n^2	291.769
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28.trs	Unknown	4.33628	n^1	14.2628	n^1	291.786	n^1	291.769
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann29.trs	Unknown	19.5006	Inf	291.94	Unknown	291.885	Inf	291.826
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann30.trs	Inf	295.427	Inf	295.816	Unknown	292.343	Inf	294.828
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann31.trs	Unknown	0.0	n^2	291.842	n^2	291.958	n^2	291.75
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32.trs	Unknown	7.56481	Inf	291.819	Unknown	291.993	Inf	291.809
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann33.trs	Unknown	31.8906	Inf	292.464	Unknown	292.1	Inf	292.126
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann34.trs	Unknown	9.97491	n^2	291.99	n^2	291.805	n^2	291.926
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann36.trs	Unknown	5.7399	n^2	291.8	n^2	291.794	n^2	291.752
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann37.trs	Unknown	8.69037	Inf	291.792	Unknown	292.035	Inf	292.101
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann38.trs	Unknown	4.44486	n^2	291.824	n^2	291.817	n^2	291.782
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann40.trs	Unknown	2.62736	n^1	6.21085	n^1	9.96709	n^1	11.4828
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann41.trs	Unknown	5.44577	Inf	291.798	Unknown	293.389	Inf	291.804
Runtime_Complexity_Innermost_Rewriting/AProVE_08/log.trs	Unknown	11.8077	Inf	291.847	Unknown	291.954	Unknown	291.889
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting01_reverse.trs	Inf	299.395	Inf	294.833	Unknown	293.714	Inf	293.34
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting02_doublelist.trs	Unknown	19.8241	Inf	292.175	Unknown	292.011	Inf	291.773
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting03_minsort.trs	Unknown	8.25479	Inf	294.667	Unknown	292.411	Inf	295.024
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting04_maxsort_h.trs	Unknown	5.80965	Inf	291.81	Unknown	291.892	Inf	292.06
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting05_maxsort.trs	Unknown	0.0	Inf	295.64	Unknown	295.204	Inf	291.843
Runtime_Complexity_Innermost_Rewriting/AProVE_08/thiemann40_modified.trs	Inf	294.136	n^2	14.9652	n^2	291.727	n^2	15.9229
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/div.trs	Inf	215.193	n^3	291.81	n^3	291.848	n^3	291.818
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/divhard.trs	Unknown	24.199	n^3	291.816	n^3	291.799	n^3	291.775
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd.trs	Inf	214.491	n^3	291.805	n^3	291.807	n^3	291.807
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd2.trs	Unknown	8.89633	n^3	291.877	n^3	291.817	n^3	291.847
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcdhard.trs	Unknown	5.63636	n^1	13.4741	n^1	291.822	n^1	13.1498
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/log.trs	Unknown	7.28333	n^1	15.3688	n^1	291.786	n^1	17.7378
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort.trs	Inf	294.225	Inf	294.809	Unknown	294.876	Inf	293.783
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsortcondition.trs	Unknown	24.9841	Inf	291.905	Unknown	292.865	Inf	294.04
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort.trs	Inf	294.236	Inf	294.021	Unknown	292.553	Inf	294.143
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/mod.trs	Unknown	11.8626	n^3	291.789	n^3	291.939	n^3	291.788
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsort.trs	Unknown	21.9336	Inf	291.812	Unknown	291.951	Inf	291.78
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortlast.trs	Unknown	31.1661	Inf	291.922	Unknown	296.035	Inf	294.206
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortmiddle.trs	Unknown	26.6477	Inf	292.886	Unknown	298.846	Inf	291.963
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/zerolist.trs	Unknown	19.7491	n^2	291.814	n^2	291.812	n^2	291.783
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/1.trs	Unknown	4.29124	n^2	291.737	n^2	160.908	n^2	177.71
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/10.trs	Inf	287.305	n^2	291.79	n^2	112.622	n^2	115.333
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/11.trs	Unknown	61.1945	n^2	292.737	n^2	291.742	n^2	291.768
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/12.trs	Unknown	5.71329	n^2	291.773	n^2	291.754	n^2	291.745
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/13.trs	Inf	203.955	n^2	291.799	n^2	291.743	n^2	291.772
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/14.trs	Unknown	5.06512	n^2	291.762	n^2	291.756	n^2	291.752
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/15.trs	Inf	294.174	n^2	291.809	n^2	291.876	n^2	291.803
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/16.trs	Unknown	10.3072	n^2	291.889	n^2	291.888	n^2	291.765
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/17.trs	Inf	294.257	n^2	291.947	n^2	291.849	n^2	291.897
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/18.trs	Unknown	5.40673	n^1	23.072	n^1	291.841	n^1	291.854
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/19.trs	Unknown	300.053	n^2	294.266	n^2	292.87	n^2	291.865
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/2.trs	Unknown	3.26723	n^2	291.76	n^2	129.293	n^2	130.816
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/20.trs	Inf	294.181	n^1	15.2325	n^1	291.809	n^1	291.887
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/21.trs	Unknown	4.39982	n^2	291.945	n^2	291.795	n^2	291.866
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/22.trs	Unknown	4.27371	n^1	10.4321	n^1	116.467	n^1	119.121
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/23.trs	Unknown	4.89965	n^2	291.818	n^2	292.999	n^2	292.206
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/24.trs	Unknown	3.32527	n^1	18.8932	n^1	291.851	n^1	291.838
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/3.trs	Unknown	4.40215	n^1	21.9737	n^1	292.48	n^1	22.249
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/4.trs	Inf	118.603	n^1	8.12024	n^1	291.727	n^1	11.1923
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/5.trs	Unknown	5.81326	n^2	293.174	n^2	291.932	n^2	291.915
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/6.trs	Unknown	3.17264	n^2	291.769	n^2	102.377	n^2	108.449
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/7.trs	Unknown	2.6633	n^2	291.766	n^2	219.556	n^2	225.193
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/8.trs	Inf	294.044	n^1	11.9579	n^1	291.857	n^1	291.91
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/9.trs	Unknown	3.8175	n^2	295.469	n^2	291.948	n^2	291.835
Runtime_Complexity_Innermost_Rewriting/CiME_04/ack_prolog.trs	Unknown	3.19435	Inf	296.731	Unknown	295.156	Unknown	291.896
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-hard.trs	Unknown	3.18289	n^1	5.31772	n^1	11.2359	n^1	10.9579
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong.trs	Unknown	3.77772	Inf	1.97647	Inf	9.61047	Inf	11.2909
Runtime_Complexity_Innermost_Rewriting/CiME_04/append.trs	n^1	2.00781	n^1	5.11059	n^1	7.97321	n^1	8.57296
Runtime_Complexity_Innermost_Rewriting/CiME_04/fact-hard.trs	Unknown	191.727	Inf	291.939	Unknown	291.877	Inf	6.14014
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre.trs	Unknown	3.78441	Inf	291.768	Unknown	291.972	Inf	291.822
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre2.trs	Inf	294.19	Inf	291.844	Unknown	292.007	Inf	291.851
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre3.trs	Unknown	3.91802	Inf	291.853	Unknown	291.88	Inf	291.983
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod.trs	Unknown	7.64077	Inf	291.871	Unknown	292.003	Unknown	291.964
Runtime_Complexity_Innermost_Rewriting/Der95/06.trs	n^1	1.22673	n^1	1.92938	n^1	5.31304	n^1	2.82211
Runtime_Complexity_Innermost_Rewriting/Der95/08.trs	n^1	3.79393	n^1	5.44538	n^1	5.67632	n^1	12.9871
Runtime_Complexity_Innermost_Rewriting/Der95/11.trs	Unknown	2.68949	n^1	6.15284	n^1	12.4931	n^1	16.0487
Runtime_Complexity_Innermost_Rewriting/Der95/18.trs	n^1	1.28715	n^1	9.03515	n^1	9.17587	n^1	13.3043
Runtime_Complexity_Innermost_Rewriting/Der95/21.trs	Unknown	3.78082	Inf	291.738	Unknown	291.785	Inf	5.28054
Runtime_Complexity_Innermost_Rewriting/Der95/27.trs	n^1	1.2061	n^1	1.9921	n^1	8.47103	n^1	3.82465
Runtime_Complexity_Innermost_Rewriting/Der95/32.trs	Unknown	3.80796	n^2	291.742	n^2	9.05996	n^2	16.5192
Runtime_Complexity_Innermost_Rewriting/Endrullis_06/direct.trs	n^1	6.50853	n^1	5.51708	n^1	292.127	n^1	298.231
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ack.trs	Unknown	6.33987	Inf	291.881	Unknown	291.798	Unknown	291.785
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/add.trs	n^1	1.50713	n^1	2.00512	n^1	6.5271	n^1	58.4236
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/addlists.trs	n^1	2.70868	n^1	2.00118	n^1	12.4482	n^1	11.2783
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/anchored.trs	n^1	1.38746	n^1	2.54988	n^1	5.89173	n^1	57.7998
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/append.trs	n^1	1.43813	n^1	1.97579	n^1	6.02725	n^1	2.48708
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/assrewrite.trs	Unknown	3.84784	Inf	291.768	Inf	24.5438	Inf	27.6073
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/badd.trs	Unknown	4.28298	Inf	2.05423	Unknown	291.813	Unknown	291.81
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/binom.trs	Unknown	3.32149	Inf	2.02446	Unknown	295.881	Inf	291.811
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/decrease.trs	n^1	3.91228	n^1	2.05681	n^1	8.69839	n^1	11.0023
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/deeprev_typed.trs	n^1	4.21208	n^1	2.58025	n^1	10.5723	n^1	9.39907
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj.trs	Unknown	3.91267	Inf	2.26815	n^1	12.5659	Inf	4.61106
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/duplicate.trs	n^1	1.40721	n^1	4.91075	n^1	6.22919	n^1	6.28525
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/equal.trs	Unknown	300.063	Inf	1.91247	Inf	6.26772	Inf	7.58826
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/evenodd.trs	n^1	2.38813	n^1	5.14127	n^1	7.04654	n^1	13.9954
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold.trs	n^1	3.55954	n^1	9.8353	n^1	9.00467	n^1	9.3872
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/game.trs	n^1	4.37044	n^1	2.24712	n^1	8.24618	n^1	9.00381
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.trs	Inf	294.263	Inf	293.976	Unknown	293.428	n^3	293.14
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.trs	Unknown	0.0	n^3	292.657	n^3	292.366	Unknown	300.054
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/increase.trs	Unknown	300.04	Inf	1.87255	Unknown	291.793	Unknown	291.738
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/int.trs	Unknown	116.858	Inf	300.107	Unknown	300.055	Unknown	295.716
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/intlookup.trs	Unknown	3.78163	Inf	1.93693	Inf	12.6834	Inf	11.3489
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed.trs	Unknown	12.5618	Inf	291.848	Unknown	292.69	Unknown	293.65
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/letexp.trs	Inf	211.414	Inf	1.90024	Unknown	291.76	Unknown	291.73
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/list.trs	n^1	1.40737	n^1	1.9398	n^1	8.28326	n^1	2.40791
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lte.trs	n^1	3.92031	n^1	5.23528	n^1	8.94131	n^1	10.2831
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/map0.trs	n^1	2.24892	n^1	10.1019	n^1	9.79921	n^1	99.7994
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/member.trs	n^1	3.35971	n^1	10.7216	n^1	9.40063	n^1	12.3099
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergelists.trs	n^1	4.04124	n^1	6.35506	n^1	11.8774	n^1	12.3468
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergesort.trs	Unknown	13.4858	Inf	291.772	Unknown	291.994	n^2	200.867
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/minsort.trs	Unknown	2.68257	Inf	291.875	Unknown	292.088	Inf	291.912
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul.trs	n^3	6.33856	n^3	10.8088	n^3	7.30772	n^3	6.33508
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul_better.trs	Unknown	5.32854	n^3	5.90787	n^3	8.29317	n^3	13.8289
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/naiverev.trs	n^2	3.09817	n^2	4.27047	n^2	6.19242	n^2	4.44862
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestdec.trs	n^1	6.0277	n^1	5.39741	n^1	7.94742	n^1	7.93726
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nesteql.trs	Unknown	6.07171	Inf	1.89213	Inf	6.27449	Inf	9.09222
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestimeql.trs	Unknown	6.94601	Inf	2.10737	Unknown	291.766	Inf	291.816
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestinc.trs	Unknown	4.32192	Inf	2.03884	Unknown	291.791	Inf	291.737
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered.trs	n^1	4.07599	n^1	11.8482	n^1	9.4952	n^1	11.6164
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered_better.trs	Unknown	3.17719	n^1	291.736	n^1	9.38991	n^1	11.4504
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/overlap.trs	n^2	6.7818	n^2	291.777	n^2	16.6613	n^2	20.9364
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/parsexp.trs	Inf	294.237	Inf	3.39431	Unknown	292.33	Unknown	296.674
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute.trs	Unknown	300.077	Inf	3.03414	Unknown	292.212	Unknown	292.556
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/power.trs	Unknown	22.3232	Inf	291.743	Unknown	291.772	Inf	291.77
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort.trs	Unknown	7.9433	Inf	294.995	Unknown	291.945	Inf	294.93
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/revapp.trs	n^1	1.4468	n^1	2.01659	n^1	5.97586	n^1	3.60622
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select.trs	n^2	4.02952	n^2	291.807	n^2	11.0319	n^1	8.39202
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/shuffle.trs	n^3	5.74864	n^3	4.8485	n^3	6.19684	n^3	11.4527
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.trs	Unknown	9.43938	Inf	1.92302	Inf	6.05352	Inf	13.8885
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/subsets.trs	Unknown	4.68874	Inf	291.873	Unknown	291.93	Inf	291.934
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/thetrick.trs	Unknown	5.87824	Inf	3.11273	Unknown	291.862	Unknown	291.892
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/turing_typed.trs	Unknown	5.42683	Inf	7.17242	Unknown	292.845	Unknown	300.028
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/vangelder_typed.trs	Unknown	30.1309	Inf	40.8462	n^1	20.0905	n^1	291.877
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/add.trs	n^1	1.46365	n^1	2.19726	n^1	6.21498	n^1	7.67574
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/assrewriteSize.trs	Unknown	4.23478	Inf	291.752	Inf	16.9234	Inf	291.799
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/boolprog.trs	n^1	7.79275	n^1	24.5229	n^1	22.6891	n^1	291.792
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/bubblesort.trs	Unknown	4.22158	n^2	291.766	n^2	14.4023	n^2	291.744
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/deadcodeSize.trs	Unknown	2.62544	Inf	1.86524	Inf	3.95024	Inf	5.73972
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/disj2_typed.trs	n^1	3.21062	n^1	2.19584	n^1	11.7034	n^1	12.4569
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/div2.trs	n^1	1.60853	n^1	2.20771	n^1	6.1376	n^1	10.2499
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup1_typed.trs	n^1	3.39935	n^1	11.9708	n^1	14.316	n^1	8.57057
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup2_typed.trs	n^1	4.23967	n^1	8.6486	n^1	12.3765	n^1	12.9993
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/eq.trs	n^1	1.42681	n^1	1.94843	n^1	5.63697	n^1	2.62967
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ex6.trs	n^1	2.09759	n^1	2.02205	n^1	6.19244	n^1	6.57668
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fgh.trs	Unknown	9.93861	Inf	6.20579	Unknown	291.919	Unknown	291.876
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize.trs	Unknown	7.53814	Inf	2.00121	n^2	14.6584	n^2	31.2352
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd.trs	Unknown	4.86324	n^1	8.35224	n^1	43.5467	n^1	45.106
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd2.trs	Unknown	4.25253	n^2	291.77	n^2	19.008	n^2	33.2278
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour1_typed.trs	Unknown	6.68112	Inf	294.765	Unknown	292.854	Inf	295.117
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2Size_typed.trs	Unknown	56.5359	n^5	292.444	n^5	294.507	Unknown	299.526
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2_typed.trs	Unknown	27.3014	n^5	298.582	n^5	292.615	Unknown	295.842
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour3_typed.trs	Unknown	27.35	n^5	300.023	n^5	294.428	n^5	292.307
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort.trs	n^2	6.01917	n^2	291.756	n^2	9.98577	n^2	16.1963
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort_better.trs	Unknown	5.02252	n^2	291.752	n^2	9.86414	n^2	18.7954
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/match.trs	n^2	5.95064	n^2	291.782	n^2	20.8104	n^2	25.0685
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/minsortSize.trs	Unknown	1.38215	Inf	291.805	Unknown	291.892	Inf	292.072
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-safe.trs	n^1	1.70171	n^1	2.00013	n^1	17.6105	n^1	2.94444
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-unsafe.trs	n^1	1.32726	n^1	2.05735	n^1	5.70959	n^1	2.97811
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/oddeven.trs	n^1	3.23025	n^1	5.22136	n^1	7.84744	n^1	6.48449
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/permut.trs	n^1	0.977703	n^1	5.6813	n^1	5.35305	n^1	24.7639
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/power.trs	Unknown	7.06925	Inf	291.731	Unknown	291.933	Unknown	291.816
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortPtime.trs	n^2	24.4472	n^2	291.758	n^2	19.7264	n^2	47.8915
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortSize.trs	Unknown	9.17388	Inf	292.966	Unknown	293.456	Inf	291.828
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/reach.trs	Unknown	43.3518	Inf	298.738	Unknown	292.871	Inf	294.896
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/rematch.trs	Unknown	300.103	Inf	292.72	Unknown	294.289	Inf	293.549
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/strmatch.trs	Unknown	2.40021	n^2	291.781	n^2	25.6508	n^2	291.847
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/thetrickSize.trs	Unknown	4.84252	n^1	17.5874	n^1	17.2652	n^1	15.5908
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade01.trs	Unknown	4.83268	n^2	291.779	n^2	291.774	n^2	291.732
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade03.trs	Unknown	4.23148	n^2	291.736	n^2	291.74	n^2	291.734
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade05t.trs	Unknown	13.6536	n^2	292.037	n^2	291.996	n^2	291.997
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade06.trs	Unknown	9.61619	n^2	291.824	n^2	291.751	n^2	291.899
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade07.trs	Inf	294.073	n^2	291.752	n^2	291.796	n^2	291.807
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade08.trs	Unknown	300.045	n^2	293.56	n^2	292.192	n^2	291.861
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade09.trs	Inf	294.849	n^2	291.851	n^2	291.776	n^2	291.878
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade10.trs	Unknown	5.54183	n^2	291.765	n^2	291.847	n^2	291.794
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade11.trs	Inf	294.067	n^2	291.748	n^2	291.755	n^2	291.743
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade12t.trs	Inf	294.143	n^2	297.908	n^2	291.804	n^2	291.898
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade13t.trs	Unknown	0.0	Inf	291.77	Unknown	291.777	Inf	291.736
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade14.trs	Unknown	14.1806	n^2	291.81	n^2	291.772	n^2	291.779
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.trs	Unknown	5.55923	Inf	1.9515	Unknown	299.66	Inf	3.56874
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade16.trs	Unknown	35.7413	n^2	291.814	n^2	291.799	n^2	291.766
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17.trs	Unknown	9.6629	Inf	300.066	Unknown	295.078	Inf	295.956
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n002.trs	Inf	9.77274	Inf	1.90745	Inf	4.09554	Inf	5.60688
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n003.trs	Inf	9.36181	Inf	2.29244	Inf	3.85247	Inf	7.12367
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n004.trs	Unknown	1.13578	Inf	1.90595	Inf	3.86428	Inf	5.49038
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n005.trs	Inf	11.8045	Inf	1.92819	Unknown	291.794	Unknown	291.748
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n006.trs	Inf	91.5633	Inf	2.65027	Inf	23.6854	Inf	28.7425
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n007.trs	Unknown	3.19713	Inf	1.9028	Inf	6.83114	Inf	10.1739
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t001.trs	Unknown	8.31077	Inf	291.838	n^2	39.4879	n^2	38.8032
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t002.trs	Unknown	53.4042	n^2	291.748	n^2	9.24809	n^1	10.3874
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t003.trs	Inf	294.056	Inf	291.885	n^3	30.1941	n^3	34.0069
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t004.trs	Unknown	4.9247	Inf	2.94035	Inf	161.193	Inf	2.84081
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t009.trs	Unknown	39.5342	Inf	292.037	Unknown	292.041	Unknown	292.151
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t011.trs	n^1	1.5667	n^1	6.54886	n^1	9.01682	n^1	3.85415
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t013.trs	Unknown	17.1941	Inf	291.768	Unknown	291.811	Inf	291.833
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014.trs	n^2	4.13923	n^1	5.96764	n^1	8.6202	n^1	13.2878
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.trs	Unknown	5.47198	Inf	291.949	Unknown	292.368	Unknown	295.363
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/fossacs.trs	Unknown	7.9994	Inf	291.807	Unknown	291.841	Inf	291.766
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.trs	Unknown	6.92345	n^2	291.89	n^2	296.029	n^2	291.851
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.trs	Unknown	6.05195	n^2	291.862	n^2	291.95	n^2	294.063
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd_triple.trs	Unknown	11.7496	Inf	291.862	Unknown	292.158	Unknown	295.312
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones1.trs	n^1	1.44659	n^1	1.93501	n^1	6.15267	n^1	2.55608
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones2.trs	n^1	2.4578	n^1	10.3408	n^1	6.03329	n^1	9.08203
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones4.trs	n^1	1.62716	n^1	5.35177	n^1	5.80932	n^1	8.51133
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones5.trs	Unknown	4.58824	Inf	291.883	Unknown	291.729	Unknown	291.782
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones6.trs	n^1	2.31749	n^1	2.08109	n^1	17.8854	n^1	7.14656
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/minsort.trs	Unknown	7.92309	Inf	1.88318	Unknown	292.781	Inf	294.698
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect.trs	n^1	4.06063	n^1	11.2789	n^1	9.15381	n^1	291.772
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect2.trs	Unknown	4.85519	Inf	2.64137	n^3	27.1215	n^3	28.4648
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/test1.trs	Unknown	2.67574	Inf	291.876	Inf	14.0169	Inf	20.0871
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/while.trs	Unknown	3.18568	n^2	291.778	n^2	291.777	n^2	291.72
Runtime_Complexity_Innermost_Rewriting/Rubio_04/bintrees.trs	n^1	3.17351	n^1	2.02776	n^1	9.19508	n^1	3.21218
Runtime_Complexity_Innermost_Rewriting/Rubio_04/division.trs	n^3	7.70043	n^3	291.733	n^3	8.72776	n^3	15.3034
Runtime_Complexity_Innermost_Rewriting/Rubio_04/elimdupl.trs	Unknown	2.59955	n^2	291.786	n^2	7.73291	n^2	17.9367
Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno.trs	Unknown	4.32583	n^2	291.786	n^2	23.6575	n^2	45.781
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gcd.trs	Unknown	5.18708	n^1	6.9969	n^1	13.4144	n^1	16.407
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gm.trs	n^1	1.75751	n^1	6.39718	n^1	7.27518	n^1	6.55639
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gmnp.trs	n^1	2.40834	n^1	1.92423	n^1	7.07046	n^1	11.1329
Runtime_Complexity_Innermost_Rewriting/Rubio_04/logarquot.trs	n^3	7.0084	n^1	7.26251	n^1	11.4686	n^1	9.24603
Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96.trs	Unknown	12.678	Inf	300.044	Unknown	300.102	Unknown	295.35
Runtime_Complexity_Innermost_Rewriting/Rubio_04/mfp95.trs	n^0	0.936379	n^0	1.96214	n^0	1.80618	n^0	2.57224
Runtime_Complexity_Innermost_Rewriting/Rubio_04/nestrec.trs	Inf	294.078	Inf	4.56957	Unknown	291.764	Unknown	291.737
Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2.trs	n^1	6.40615	n^1	11.7089	n^1	11.9904	n^1	13.1152
Runtime_Complexity_Innermost_Rewriting/Rubio_04/prov.trs	n^1	2.3178	n^1	5.39407	n^1	10.3577	n^1	7.75373
Runtime_Complexity_Innermost_Rewriting/Rubio_04/quick.trs	Unknown	0.0	Inf	296.132	Unknown	291.95	Inf	298.213
Runtime_Complexity_Innermost_Rewriting/Rubio_04/revlist.trs	Inf	294.138	Inf	300.058	Unknown	292.175	Inf	292.038
Runtime_Complexity_Innermost_Rewriting/Rubio_04/selsort.trs	Unknown	8.37161	n^3	291.881	n^3	291.95	n^3	292.103
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test4.trs	n^1	2.66738	n^1	2.14459	n^1	9.95746	n^1	5.91097
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test829.trs	n^1	2.27929	n^1	1.98433	n^1	6.6976	n^1	12.5723
Runtime_Complexity_Innermost_Rewriting/Rubio_04/wst99.trs	Unknown	3.1727	n^2	291.759	n^2	9.15639	n^2	12.8507
Runtime_Complexity_Innermost_Rewriting/SK90/2.09.trs	n^1	1.38643	n^1	2.66588	n^1	5.50414	n^1	4.47366
Runtime_Complexity_Innermost_Rewriting/SK90/2.11.trs	n^1	1.50623	n^1	1.96908	n^1	6.51843	n^1	12.067
Runtime_Complexity_Innermost_Rewriting/SK90/2.12.trs	Unknown	4.30494	n^3	7.68128	n^3	11.5279	n^3	291.745
Runtime_Complexity_Innermost_Rewriting/SK90/2.13.trs	n^1	2.97787	n^1	5.51574	n^1	6.4683	n^1	11.9617
Runtime_Complexity_Innermost_Rewriting/SK90/2.15.trs	Unknown	3.16895	Inf	1.91034	n^1	7.61133	n^1	291.737
Runtime_Complexity_Innermost_Rewriting/SK90/2.16.trs	Unknown	3.22876	n^2	6.08498	n^2	11.2137	n^2	13.3708
Runtime_Complexity_Innermost_Rewriting/SK90/2.17.trs	n^1	5.5788	n^1	6.20896	n^1	6.30299	n^1	6.89297
Runtime_Complexity_Innermost_Rewriting/SK90/2.18.trs	Unknown	3.19345	n^2	291.829	n^2	6.33194	n^2	11.9925
Runtime_Complexity_Innermost_Rewriting/SK90/2.19.trs	n^2	4.20853	n^2	6.10372	n^2	8.00624	n^2	19.2368
Runtime_Complexity_Innermost_Rewriting/SK90/2.20.trs	n^1	2.49753	n^1	9.37973	n^1	9.6969	n^1	7.15144
Runtime_Complexity_Innermost_Rewriting/SK90/2.21.trs	Inf	294.152	Inf	1.89465	n^1	6.35262	n^1	98.5986
Runtime_Complexity_Innermost_Rewriting/SK90/2.22.trs	n^2	3.29798	n^2	291.783	n^2	8.34483	n^2	13.0759
Runtime_Complexity_Innermost_Rewriting/SK90/2.23.trs	Unknown	12.8063	Inf	291.762	Unknown	291.969	Inf	5.86461
Runtime_Complexity_Innermost_Rewriting/SK90/2.24.trs	Unknown	4.49942	Inf	1.90832	n^1	5.98331	n^1	100.251
Runtime_Complexity_Innermost_Rewriting/SK90/2.25.trs	Inf	294.186	Inf	1.88172	Unknown	294.043	Inf	294.808
Runtime_Complexity_Innermost_Rewriting/SK90/2.26.trs	Unknown	3.7666	Inf	1.90889	Unknown	292.076	Inf	12.8948
Runtime_Complexity_Innermost_Rewriting/SK90/2.27.trs	Unknown	33.2121	Inf	291.787	Unknown	291.804	Unknown	291.832
Runtime_Complexity_Innermost_Rewriting/SK90/2.28.trs	Unknown	3.90217	Inf	291.914	Unknown	300.073	Unknown	300.077
Runtime_Complexity_Innermost_Rewriting/SK90/2.29.trs	n^1	3.0988	n^1	5.53375	n^1	7.20713	n^1	122.062
Runtime_Complexity_Innermost_Rewriting/SK90/2.30.trs	n^0	1.79708	n^0	1.83911	n^0	1.84513	n^0	2.0686
Runtime_Complexity_Innermost_Rewriting/SK90/2.31.trs	n^1	1.87699	n^1	2.09164	n^1	6.98188	n^1	9.10876
Runtime_Complexity_Innermost_Rewriting/SK90/2.36.trs	n^1	2.21841	n^1	2.01575	n^1	9.73375	n^1	10.4122
Runtime_Complexity_Innermost_Rewriting/SK90/2.37.trs	n^0	3.33795	n^0	2.16098	n^0	1.81901	n^0	1.84521
Runtime_Complexity_Innermost_Rewriting/SK90/2.39.trs	n^2	4.96858	n^2	5.2961	n^2	6.95558	n^2	4.86187
Runtime_Complexity_Innermost_Rewriting/SK90/2.40.trs	n^1	1.74806	n^1	5.29372	n^1	7.28458	n^1	8.10038
Runtime_Complexity_Innermost_Rewriting/SK90/2.41.trs	n^1	2.39795	n^1	2.04162	n^1	10.9789	n^1	3.54705
Runtime_Complexity_Innermost_Rewriting/SK90/2.43.trs	Unknown	5.56858	Inf	1.92402	n^1	9.04347	n^1	16.7503
Runtime_Complexity_Innermost_Rewriting/SK90/2.44.trs	Unknown	4.92231	n^1	5.32002	n^1	11.7044	n^1	16.193
Runtime_Complexity_Innermost_Rewriting/SK90/2.45.trs	n^1	4.0505	n^1	5.8777	n^1	6.25891	n^1	291.775
Runtime_Complexity_Innermost_Rewriting/SK90/2.47.trs	n^1	1.14646	n^1	2.87478	n^1	5.33603	n^1	2.89414
Runtime_Complexity_Innermost_Rewriting/SK90/2.48.trs	n^0	1.2377	n^0	1.8657	n^0	1.89961	n^0	2.24772
Runtime_Complexity_Innermost_Rewriting/SK90/2.50.trs	n^1	0.906172	n^1	2.69923	n^1	5.12272	n^1	2.71427
Runtime_Complexity_Innermost_Rewriting/SK90/2.51.trs	Unknown	3.82247	Inf	291.796	Unknown	291.856	Unknown	291.804
Runtime_Complexity_Innermost_Rewriting/SK90/2.52.trs	Unknown	4.30136	Inf	292.02	Unknown	291.934	Unknown	291.915
Runtime_Complexity_Innermost_Rewriting/SK90/2.53.trs	n^1	1.23662	n^1	1.92118	n^1	6.08035	n^1	8.74865
Runtime_Complexity_Innermost_Rewriting/SK90/2.54.trs	n^1	0.966478	n^1	2.38219	n^1	5.2902	n^1	2.61443
Runtime_Complexity_Innermost_Rewriting/SK90/4.05.trs	n^2	2.31942	n^3	291.778	n^1	10.8395	n^1	10.1246
Runtime_Complexity_Innermost_Rewriting/SK90/4.12.trs	n^1	5.66703	n^1	2.08321	n^1	5.73927	n^1	11.4602
Runtime_Complexity_Innermost_Rewriting/SK90/4.13.trs	n^2	2.91812	n^1	5.48145	n^1	6.82151	n^1	47.9058
Runtime_Complexity_Innermost_Rewriting/SK90/4.16.trs	Unknown	2.59557	n^1	1.99774	n^1	5.8568	n^1	8.09616
Runtime_Complexity_Innermost_Rewriting/SK90/4.17.trs	Unknown	2.69323	n^2	7.85153	n^2	291.75	n^2	15.4959
Runtime_Complexity_Innermost_Rewriting/SK90/4.18.trs	n^0	2.69989	n^0	1.85379	n^0	1.86613	n^0	2.62605
Runtime_Complexity_Innermost_Rewriting/SK90/4.24.trs	Unknown	5.90572	Inf	300.035	Unknown	292.054	Inf	292.023
Runtime_Complexity_Innermost_Rewriting/SK90/4.27.trs	Inf	294.178	Inf	291.759	Unknown	291.977	Inf	291.738
Runtime_Complexity_Innermost_Rewriting/SK90/4.29.trs	n^1	1.85787	n^1	2.0664	n^1	6.04124	n^1	7.60622
Runtime_Complexity_Innermost_Rewriting/SK90/4.30.trs	n^1	4.41201	n^1	2.02629	n^1	40.298	n^1	45.6768
Runtime_Complexity_Innermost_Rewriting/SK90/4.31.trs	Unknown	4.33084	Inf	1.91572	n^1	10.3818	Unknown	300.036
Runtime_Complexity_Innermost_Rewriting/SK90/4.34.trs	Unknown	2.63835	Inf	1.94738	Inf	38.6094	Inf	40.1364
Runtime_Complexity_Innermost_Rewriting/SK90/4.35.trs	n^0	0.976276	n^0	1.84597	n^0	3.18887	n^0	1.84368
Runtime_Complexity_Innermost_Rewriting/SK90/4.38.trs	n^1	4.0685	n^1	1.92998	n^1	5.65943	n^1	11.7631
Runtime_Complexity_Innermost_Rewriting/SK90/4.42.trs	Unknown	3.17584	Inf	292.526	Unknown	291.835	Inf	291.795
Runtime_Complexity_Innermost_Rewriting/SK90/4.47.trs	n^0	4.0992	n^0	1.9111	n^0	1.85388	n^0	1.84636
Runtime_Complexity_Innermost_Rewriting/SK90/4.54.trs	Unknown	4.84526	Inf	1.88039	Inf	209.082	Inf	18.7797
Runtime_Complexity_Innermost_Rewriting/SK90/4.57.trs	n^0	1.53771	n^0	5.96861	n^0	6.2672	n^0	3.93402
Runtime_Complexity_Innermost_Rewriting/SK90/4.59.trs	Inf	294.158	Inf	1.90613	n^1	10.6182	n^1	291.771
Runtime_Complexity_Innermost_Rewriting/SK90/4.60.trs	Unknown	9.03331	Inf	1.96943	n^1	11.998	n^1	21.5466
Runtime_Complexity_Innermost_Rewriting/SK90/4.61.trs	Inf	294.229	Inf	1.92256	Unknown	292.94	Inf	174.496
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove2.trs	Unknown	5.03386	n^1	12.127	n^1	45.8935	n^1	11.9941
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove3.trs	Inf	198.225	Inf	291.988	Unknown	292.04	Unknown	291.857
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime4.trs	n^0	1.92742	n^0	1.86465	n^0	2.56579	n^0	1.86657
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa1.trs	Unknown	21.5026	n^2	291.896	n^2	291.818	n^2	291.935
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa2.trs	n^2	4.31921	n^2	291.777	n^2	36.673	n^1	39.8158
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa3.trs	Unknown	7.22202	Inf	291.808	Unknown	291.887	Inf	9.0761
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa4.trs	Unknown	173.355	Inf	291.859	Unknown	292.347	Inf	6.44626
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5.trs	Unknown	6.70543	Inf	291.841	Unknown	292.154	Unknown	295.207
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/ttt2.trs	Unknown	3.25435	Inf	1.94977	Inf	4.82865	Inf	6.2164
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/addList.trs	Unknown	4.99364	Inf	300.081	Unknown	300.077	Inf	295.503
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/division.trs	Unknown	77.8707	n^2	291.81	n^2	292.665	n^2	292.093
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/double.trs	Unknown	6.77956	Inf	291.919	Unknown	294.99	Unknown	292.0
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/logarithm.trs	Unknown	3.85093	n^2	291.867	n^2	291.815	n^2	291.839
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.trs	Unknown	5.587	Inf	291.778	Unknown	292.435	Inf	297.64
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/reverse.trs	Inf	294.175	Inf	295.882	Unknown	294.002	Inf	294.699
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/sumList.trs	Unknown	5.13014	Inf	291.889	Unknown	299.24	Inf	292.085
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/toList.trs	Unknown	0.0	Inf	296.019	Unknown	292.682	Unknown	293.264
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa04.trs	Unknown	3.22908	Inf	298.116	Unknown	294.78	Unknown	294.24
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa05.trs	Unknown	11.2034	Inf	300.072	Unknown	294.086	Inf	10.4304
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa06.trs	Unknown	273.413	n^2	292.002	n^2	299.9	n^2	300.046
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa07.trs	Unknown	5.56622	Inf	294.041	Unknown	292.014	Inf	6.28679
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa08.trs	Unknown	37.1712	Inf	291.895	Unknown	292.047	Inf	11.2008
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa09.trs	Unknown	147.798	Inf	296.334	Unknown	291.985	Unknown	292.145
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa10.trs	Unknown	300.064	Inf	291.806	Unknown	291.941	Unknown	291.949
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove01.trs	Unknown	12.662	Inf	291.939	Unknown	292.1	Inf	292.038
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove02.trs	Unknown	3.32449	n^5	291.782	n^5	291.826	n^5	292.005
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove03.trs	Unknown	11.0415	Inf	291.986	Unknown	293.384	Inf	295.455
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove04.trs	Unknown	11.6995	Inf	291.919	Unknown	293.236	Inf	294.907
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove05.trs	Unknown	5.75759	Inf	291.824	Unknown	291.968	Inf	291.85
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove06.trs	Unknown	3.18608	Inf	295.143	Unknown	296.176	Inf	296.098
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove07.trs	Unknown	6.52826	Inf	291.927	Unknown	292.002	Inf	291.839
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove08.trs	Unknown	10.8291	n^2	292.276	n^2	298.436	n^2	291.912
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove09.trs	Unknown	14.3514	n^3	292.081	n^3	291.94	n^3	291.849
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove10.trs	Unknown	300.071	n^3	293.472	n^3	292.487	n^3	295.854
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/secret3.trs	Unknown	6.27746	Inf	291.805	Unknown	291.844	Unknown	291.818
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.22.trs	n^1	3.01956	n^1	10.2331	n^1	5.92151	n^1	6.28408
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.23.trs	Unknown	3.27329	n^2	291.752	n^2	73.9348	n^2	72.124
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.26.trs	Unknown	10.2546	n^2	291.792	n^2	19.7092	n^2	14.1013
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.27.trs	n^2	3.27904	n^2	291.81	n^2	10.5662	n^1	10.2011
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.28.trs	n^1	3.20674	n^1	8.53881	n^1	5.14263	n^1	5.93594
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29.trs	Unknown	103.925	Inf	291.827	Unknown	292.016	Inf	296.134
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30.trs	Unknown	4.31135	n^1	14.4166	n^1	9.02189	n^1	9.53632
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30a.trs	Inf	186.954	n^1	12.7973	n^1	7.51887	n^1	11.3137
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30b.trs	Inf	294.378	n^1	13.3622	n^1	16.1524	n^1	14.1802
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30c.trs	Unknown	0.0	n^1	11.4265	n^1	19.2942	n^1	21.9524
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.32.trs	n^2	3.61776	n^3	291.763	n^1	16.2777	n^1	7.52796
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.33.trs	Unknown	7.94048	Inf	291.788	Unknown	291.805	Inf	291.814
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.34.trs	n^2	5.27803	n^2	291.785	n^2	61.8948	n^2	61.2188
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36.trs	Unknown	17.0666	n^3	294.279	n^3	291.899	n^3	295.443
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.37.trs	n^1	4.03712	n^1	1.98755	n^1	6.6937	n^1	11.0998
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.trs	Inf	294.144	Inf	1.81825	Inf	39.2289	Inf	42.2437
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.trs	Inf	294.204	Inf	1.95136	Inf	51.2284	Inf	52.3252
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.trs	Unknown	12.3846	Inf	1.88774	Inf	261.722	Inf	291.744
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.trs	Unknown	3.2646	Inf	1.83006	Inf	24.3657	Inf	25.5242
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.trs	Inf	294.224	Inf	2.09373	Inf	58.2283	Inf	59.5677
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.trs	Unknown	3.29899	Inf	1.89424	Inf	10.6449	Inf	10.5501
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.trs	Inf	294.163	Inf	1.90917	Inf	65.1603	Inf	63.9918
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.trs	Unknown	32.9917	Inf	1.96009	Inf	6.13042	Inf	11.9256
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.trs	Unknown	3.98758	Inf	1.90626	Unknown	296.504	Inf	297.538
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.trs	Inf	294.154	Inf	1.87318	Inf	57.5651	Inf	59.2717
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.trs	Unknown	3.82326	Inf	1.9097	Inf	43.3019	Inf	42.7591
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.trs	Inf	294.153	Inf	2.02389	Inf	253.844	Inf	253.57
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_3_25_Bor03.trs	Inf	294.204	Inf	1.89631	Unknown	291.779	Unknown	291.804
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.trs	n^1	3.59952	n^1	5.72225	n^1	8.11707	n^1	15.4817
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.trs	Unknown	2.71424	Inf	1.88719	Unknown	291.844	Unknown	292.07
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_15_Bor03.trs	Inf	294.17	Inf	1.94574	Inf	50.9434	Inf	51.6402
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_37_Bor03.trs	Unknown	2.58703	Inf	1.86295	Unknown	291.79	Unknown	291.788
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_56_Bor03.trs	Inf	294.154	Inf	2.08248	Inf	45.4341	Inf	43.4527
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_77_Bor03.trs	Inf	213.393	Inf	1.94724	Inf	3.84037	Inf	8.81878
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.trs	Unknown	21.327	Inf	1.92199	Inf	13.2879	Inf	39.4652
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.trs	Unknown	3.74333	Inf	1.95416	Inf	11.4977	Inf	5.61164
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.trs	Unknown	4.8009	Inf	1.89863	Inf	24.5019	Inf	25.2952
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.trs	Inf	91.4406	Inf	1.86648	Inf	4.63162	Inf	5.24569
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.trs	Unknown	3.15056	Inf	1.9113	Inf	42.2481	Inf	46.0001
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.trs	Unknown	4.30288	Inf	1.84705	Inf	65.4968	Inf	64.0135
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.trs	Unknown	7.53052	Inf	1.95265	Unknown	291.915	Inf	291.853
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.trs	Unknown	8.97619	Inf	1.90614	Unknown	291.811	Inf	291.784
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExAppendixB_AEL03.trs	Inf	294.129	Inf	2.0392	Unknown	291.798	Inf	291.823
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.trs	Inf	217.442	Inf	1.87446	Inf	5.70249	Inf	14.6119
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM01.trs	Inf	294.215	Inf	1.86852	Unknown	291.792	Inf	291.726
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM04.trs	Unknown	34.2681	Inf	2.26327	Unknown	291.738	Inf	291.716
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM99.trs	Inf	294.19	Inf	2.02617	Unknown	291.877	Unknown	291.906
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_Zan97.trs	Unknown	5.61217	Inf	1.90549	Unknown	291.957	Inf	291.924
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/muladd.trs	Inf	294.032	Inf	1.95035	Inf	17.7501	Inf	19.0465
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test76.trs	Inf	98.7642	n^1	5.68129	n^1	7.16517	n^1	7.76187
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test77.trs	Unknown	3.16836	n^1	12.9938	n^1	10.9827	n^1	11.3173
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test830.trs	Unknown	3.82487	n^1	1.95659	n^1	6.39837	n^1	6.64291
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-10.trs	Unknown	17.1004	Inf	291.87	Unknown	292.121	Unknown	292.152
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-5.trs	Unknown	3.78598	n^5	291.787	n^5	291.763	n^5	291.756
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-10.trs	Unknown	18.0795	n^10	291.88	n^3	17.6243	n^1	23.6977
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-5.trs	Unknown	4.35129	n^5	291.808	n^1	10.2865	n^1	14.2066
Runtime_Complexity_Innermost_Rewriting/TCT_12/sat.trs	n^3	10.6548	n^2	291.808	n^2	17.6197	n^1	12.1651
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.trs	Unknown	4.99349	Inf	3.75383	Unknown	291.944	Unknown	291.993
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.trs	Unknown	6.88696	Inf	291.778	Unknown	292.013	Unknown	292.047
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.trs	Inf	294.145	Inf	1.91497	Inf	8.95275	Inf	5.9195
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.trs	Unknown	7.48925	Inf	2.10476	Unknown	291.782	Unknown	291.774
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.trs	n^1	1.59774	n^1	1.94456	n^1	6.43969	n^1	11.681
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.trs	n^1	1.54755	n^1	4.06784	n^1	10.9726	n^1	8.06901
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.trs	Unknown	3.13502	Inf	1.8883	Inf	3.87325	Inf	5.62496
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.trs	n^0	1.57831	n^0	1.93254	n^0	2.08337	n^0	1.85658
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.trs	n^1	15.1836	n^1	5.81276	n^1	5.19679	n^1	11.7357
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.trs	Inf	9.45256	Inf	1.83688	Inf	3.90833	Inf	5.49774
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.trs	n^1	1.50764	n^1	1.95801	n^1	5.84939	n^1	10.9473
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.trs	Unknown	18.0051	Inf	296.626	Unknown	294.503	Unknown	299.833
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.trs	Inf	294.199	Inf	300.029	Unknown	296.423	Unknown	294.764
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.trs	n^1	4.46177	n^1	5.10968	n^1	45.2918	n^1	46.0546
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.trs	Inf	9.42354	Inf	1.91917	Inf	5.87551	Inf	6.1768
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.trs	Unknown	8.66819	Inf	300.101	Unknown	292.64	Unknown	299.21
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.trs	Unknown	0.0	Inf	291.747	Unknown	291.801	Unknown	291.787
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.trs	Unknown	3.15427	Inf	1.8556	Inf	4.02873	Inf	10.7758
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.trs	Unknown	18.4218	Inf	292.173	Unknown	299.064	Unknown	300.034
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.trs	n^1	4.54142	n^2	291.764	n^2	12.4376	n^2	14.5564
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.trs	Unknown	6.55674	Inf	2.18854	Unknown	291.84	Unknown	291.816
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.trs	Unknown	9.83319	Inf	292.821	Unknown	293.794	Unknown	293.847
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.trs	Unknown	26.7587	Inf	1.91404	Unknown	291.796	Unknown	291.744
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.trs	Inf	294.611	Inf	2.01633	Inf	6.31777	Inf	9.00722
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.trs	n^1	1.75755	n^0	1.85752	n^0	1.88699	n^0	1.87992
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.trs	Inf	14.6632	Inf	1.90002	Inf	5.0697	Inf	6.25569
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.trs	n^1	1.72761	n^1	3.6346	n^1	6.63135	n^1	11.5704
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.trs	n^1	2.39815	n^1	5.19504	n^1	6.68717	n^1	12.4763
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.trs	Inf	9.5823	Inf	1.88486	Inf	3.78266	Inf	6.00774
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.trs	n^1	3.75455	n^1	1.91911	n^1	7.5287	n^1	7.94563
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.trs	Unknown	128.549	Inf	300.104	Unknown	298.262	Unknown	296.581
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.trs	n^0	1.43717	n^0	1.89047	n^0	1.87504	n^0	1.84645
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.trs	Inf	295.67	Inf	300.094	Unknown	296.885	Unknown	300.109
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.trs	n^3	5.17881	n^3	9.64116	n^3	291.844	n^3	10.1056
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.trs	n^3	8.19095	n^3	12.8531	n^3	296.022	n^3	291.863
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.trs	Unknown	3.16474	Inf	300.059	Unknown	300.075	Unknown	292.908
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.trs	n^0	1.03675	n^0	1.88239	n^0	3.69105	n^0	1.88194
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.trs	n^1	5.60197	n^1	5.02481	n^1	11.094	n^1	12.6107
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.trs	Unknown	6.38829	Inf	300.073	Unknown	292.461	Unknown	292.19
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.trs	n^1	2.07781	n^1	12.4318	n^1	6.26406	n^1	10.2488
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.trs	Unknown	10.7714	Inf	300.089	Unknown	294.734	Unknown	300.06
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.trs	Unknown	14.6183	Inf	292.017	Unknown	298.023	Unknown	292.948
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.trs	n^0	0.947062	n^0	1.87246	n^0	1.87207	n^0	1.86166
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.trs	Unknown	5.39088	Inf	295.342	Unknown	292.311	Unknown	295.091
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.trs	Unknown	13.6295	Inf	291.803	Unknown	291.852	Unknown	291.837
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.trs	n^1	0.756143	n^1	1.96275	n^1	7.51388	n^1	2.79334
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.trs	Unknown	3.47803	Inf	2.00176	Inf	184.855	Inf	196.145
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.trs	n^1	4.09062	n^1	2.26736	n^1	7.16207	n^1	14.0084
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.trs	n^1	1.49081	n^0	1.92516	n^0	1.84614	n^0	1.86571
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.trs	n^1	2.00726	n^0	1.86879	n^0	1.84363	n^0	1.87802
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.trs	Unknown	20.8132	Inf	300.067	Unknown	300.028	Unknown	294.204
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.trs	Unknown	7.5223	Inf	296.707	Unknown	291.997	Unknown	295.381
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.trs	Inf	294.176	Inf	300.064	Unknown	292.268	Unknown	294.445
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.trs	n^1	1.86714	n^1	5.28842	n^1	6.28361	n^1	14.5969
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.trs	n^0	1.79657	n^0	2.66716	n^0	1.86713	n^0	1.85601
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.trs	n^1	3.59746	n^1	2.13276	n^1	291.75	n^1	291.799
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.trs	Unknown	32.9439	Inf	300.114	Unknown	298.133	Unknown	295.674
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.trs	Unknown	33.0244	Inf	291.837	Unknown	292.093	Unknown	291.998
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.trs	Unknown	12.0808	Inf	300.124	Unknown	299.291	Unknown	297.272
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.trs	Unknown	10.5382	Inf	291.769	Inf	291.764	Inf	291.743
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.trs	Inf	296.145	Inf	300.111	Unknown	300.08	Unknown	294.985
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.trs	Inf	295.506	Inf	292.165	Unknown	294.405	Unknown	293.578
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.trs	Inf	294.182	Inf	299.857	Unknown	292.128	Unknown	292.108
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.trs	n^1	3.68756	n^0	1.86027	n^0	1.84896	n^0	1.85408
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.trs	Inf	295.531	Inf	293.733	Unknown	297.381	Unknown	293.617
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.trs	n^1	2.5783	n^1	4.81266	n^1	12.0351	n^1	13.0868
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.trs	Inf	294.157	Inf	303.191	Unknown	292.077	Unknown	291.999
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.trs	n^0	1.62823	n^0	2.01136	n^0	1.83582	n^0	1.81538
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.trs	Unknown	2.6637	Inf	7.90995	Inf	8.97753	Inf	7.14853
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.trs	n^0	1.3674	n^0	1.85676	n^0	1.8499	n^0	1.86012
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.trs	Unknown	5.96887	Inf	300.067	Unknown	300.031	Unknown	300.069
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.trs	n^0	0.906741	n^0	1.87411	n^0	1.81941	n^0	1.85438
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.trs	n^1	2.67837	n^1	4.92941	n^1	6.27467	n^1	8.53845
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.trs	Inf	295.84	Inf	299.47	Unknown	299.468	Unknown	300.096
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.trs	n^1	4.72119	n^2	291.781	n^2	8.63933	n^2	19.0836
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.trs	Unknown	5.44938	Inf	291.908	Unknown	292.219	Unknown	292.276
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.trs	Unknown	142.249	Inf	300.055	Unknown	298.493	Unknown	296.282
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.trs	Unknown	13.2684	Inf	291.732	Inf	172.611	Inf	169.977
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.trs	Unknown	9.83416	Inf	291.96	Unknown	293.896	Unknown	296.646
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.trs	n^0	2.26839	n^0	1.85638	n^0	1.89456	n^0	1.8744
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.trs	Unknown	5.95458	Inf	291.843	Unknown	292.023	Unknown	292.046
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.trs	Unknown	0.0	Inf	292.174	Unknown	292.038	Unknown	292.149
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.trs	Unknown	3.73051	Inf	1.87093	Inf	8.42337	Inf	11.6131
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM.trs	Inf	295.753	Inf	300.049	Unknown	296.296	Unknown	299.626
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_Z.trs	Unknown	4.00662	n^2	6.04238	n^2	14.2887	n^2	19.9189
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.trs	n^1	1.48676	n^1	2.8021	n^1	6.06865	n^1	7.66373
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.trs	n^1	1.50732	n^1	1.96235	n^1	6.14137	n^1	8.09117
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.trs	Inf	219.794	Inf	1.90279	Inf	5.10596	Inf	5.88008
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.trs	Inf	294.182	Inf	2.8619	Unknown	300.036	Unknown	300.078
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.trs	Unknown	2.62669	Inf	300.041	Unknown	292.272	Unknown	292.282
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.trs	Unknown	7.14747	Inf	2.35825	Unknown	292.031	Unknown	292.031
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.trs	Inf	294.211	Inf	6.26477	Unknown	292.095	Unknown	291.901
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.trs	Unknown	8.221	Inf	291.889	Unknown	292.019	Unknown	292.139
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.trs	Unknown	3.81209	Inf	3.2339	Unknown	291.943	Unknown	291.839
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.trs	Inf	295.685	Inf	300.037	Unknown	294.582	Unknown	292.777
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.trs	Unknown	12.4569	Inf	293.866	Unknown	295.97	Unknown	293.62
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.trs	Unknown	8.50226	Inf	295.842	Unknown	297.562	Unknown	299.696
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.trs	n^1	2.02782	n^0	1.86098	n^0	1.86528	n^0	1.82454
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.trs	n^1	2.0568	n^0	1.8397	n^0	1.87963	n^0	2.04301
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_GM.trs	Unknown	18.9165	Inf	300.043	Unknown	299.898	Unknown	293.236
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.trs	Unknown	7.59304	Inf	297.429	Unknown	296.592	Unknown	300.071
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.trs	n^1	4.07134	n^1	5.13009	n^1	16.4103	n^1	18.5561
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_GM.trs	Unknown	54.4876	Inf	300.102	Unknown	292.796	Unknown	297.488
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.trs	Inf	294.396	Inf	300.093	Unknown	297.317	Unknown	297.848
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.trs	Inf	295.689	Inf	292.431	Unknown	300.034	Unknown	299.846
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.trs	Unknown	45.0165	Inf	300.127	Unknown	297.394	Unknown	294.163
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.trs	n^1	18.9941	n^1	291.875	n^1	291.828	n^1	291.917
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.trs	Unknown	4.8536	Inf	300.07	Unknown	292.426	Unknown	294.997
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.trs	n^1	5.16966	n^1	5.47714	n^2	56.2048	n^1	57.283
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.trs	Inf	295.828	Inf	298.764	Unknown	292.354	Unknown	295.211
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.trs	Inf	295.921	Inf	300.026	Unknown	295.714	Unknown	294.766
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.trs	Unknown	20.3838	Inf	296.982	Unknown	297.141	Unknown	297.129
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.trs	Unknown	109.731	Inf	300.048	Unknown	292.726	Unknown	293.301
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.trs	Unknown	7.60341	Inf	300.066	Unknown	297.768	Unknown	293.196
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.trs	Unknown	4.29402	Inf	2.17984	Unknown	291.816	Unknown	291.749
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.trs	Inf	294.086	Inf	1.98251	Inf	24.5544	Inf	26.9466
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.trs	Unknown	5.9923	Inf	2.18393	Unknown	292.649	Unknown	292.135
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.trs	Unknown	4.86912	Inf	6.7486	Unknown	295.987	Unknown	292.117
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_GM.trs	Unknown	300.067	Inf	8.02545	Unknown	300.057	Unknown	292.995
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_GM.trs	Unknown	4.88802	Inf	21.4283	Unknown	295.224	Unknown	294.066
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.trs	Unknown	22.1713	Inf	2.76083	Unknown	292.821	Unknown	300.038
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.trs	Inf	295.696	Inf	3.84463	Unknown	292.719	Unknown	294.984
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.trs	Unknown	6.44755	n^2	6.90693	n^2	12.7307	n^2	41.889
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.trs	n^2	1.44683	n^2	9.34533	n^2	12.9293	n^2	12.2217
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.trs	Unknown	4.2953	Inf	297.366	Unknown	292.732	Unknown	298.545
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.trs	Unknown	17.4479	Inf	2.46555	Unknown	296.386	Unknown	293.245
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_GM.trs	Inf	296.068	Inf	296.376	Unknown	295.666	Unknown	296.959
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_GM.trs	Inf	294.2	Inf	292.944	Unknown	297.119	Unknown	297.027
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_GM.trs	Inf	296.386	Inf	294.28	Unknown	299.094	Unknown	296.695
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.trs	Unknown	5.50526	Inf	300.082	Unknown	292.251	Unknown	292.85
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.trs	Unknown	21.5972	Inf	118.997	Unknown	293.543	Unknown	292.245
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.trs	Unknown	5.93265	Inf	10.9444	Unknown	293.028	Unknown	293.597
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_FR.trs	Unknown	5.03433	Inf	2.63979	Unknown	292.129	Unknown	292.134
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_GM.trs	Unknown	2.63505	Inf	2.38074	Unknown	292.195	Unknown	293.333
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.trs	Inf	294.295	Inf	2.13487	Inf	243.72	Inf	246.846
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.trs	Inf	295.812	Inf	39.2483	Unknown	294.846	Unknown	297.447
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_GM.trs	Unknown	6.93822	Inf	299.594	Unknown	295.99	Unknown	296.138
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_noand_GM.trs	Unknown	58.9242	Inf	295.055	Unknown	293.009	Unknown	292.467
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.trs	Unknown	6.14161	Inf	300.077	Unknown	297.423	Unknown	293.324
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_GM.trs	Unknown	3.17124	Inf	292.601	Unknown	298.022	Unknown	296.482
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR.trs	n^1	2.30665	n^1	2.99855	n^1	7.36314	n^1	2.70842
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.trs	n^1	1.06648	n^1	2.01378	n^1	6.73798	n^1	2.52749
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.trs	Unknown	8.35336	Inf	298.991	Unknown	292.078	Unknown	292.205
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM.trs	Inf	294.131	Inf	291.863	Unknown	295.04	Unknown	292.627
Runtime_Complexity_Innermost_Rewriting/Various_04/11.trs	Inf	234.462	n^0	1.81763	n^0	1.85789	n^0	1.8881
Runtime_Complexity_Innermost_Rewriting/Various_04/15.trs	n^1	1.54748	n^1	2.42972	n^1	5.97442	n^1	2.4773
Runtime_Complexity_Innermost_Rewriting/Various_04/22.trs	n^1	2.2472	n^1	5.7299	n^1	6.80679	n^2	12.8774
Runtime_Complexity_Innermost_Rewriting/Various_04/24.trs	n^2	5.43028	n^1	3.54534	n^1	291.933	n^1	3.18788
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb1.trs	n^1	2.75714	n^1	1.97502	n^1	43.8218	n^1	44.1197
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb2.trs	n^1	3.99663	n^1	1.91989	n^1	72.3559	n^1	74.479
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno1.trs	Inf	97.8743	Inf	291.976	Unknown	291.755	Unknown	291.719
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno4.trs	Inf	101.335	Inf	291.752	Inf	5.01983	Inf	11.2777
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno6.trs	Unknown	3.79332	Inf	291.716	Inf	5.05258	Inf	6.44839
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z12.trs	Unknown	159.587	Inf	292.013	Unknown	294.772	Unknown	296.389
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z13.trs	Unknown	6.45614	Inf	296.56	Unknown	300.109	Unknown	292.666
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z14.trs	Unknown	3.91598	Inf	300.083	Unknown	292.299	Unknown	292.617
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z15.trs	Unknown	20.6499	Inf	298.297	Unknown	292.614	Unknown	292.596
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z16.trs	Unknown	13.6589	Inf	291.839	Unknown	292.0	Unknown	292.136
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z17.trs	Inf	294.167	Inf	292.51	Unknown	293.355	Unknown	292.072
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z18.trs	Unknown	4.5016	Inf	294.256	Unknown	292.554	Unknown	292.411
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z23.trs	Unknown	7.97179	n^1	2.93355	n^1	300.08	n^1	300.062
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z24.trs	Inf	294.147	Inf	291.857	Unknown	299.586	Unknown	297.09
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z27.trs	Unknown	2.60359	Inf	292.162	Unknown	292.003	Unknown	292.056
Runtime_Complexity_Innermost_Rewriting/hoca/dfs-flatten.trs	n^1	3.02833	n^1	2.59212	n^1	4.58529	n^1	5.09612
Runtime_Complexity_Innermost_Rewriting/hoca/fib_llist.trs	Unknown	18.8315	Inf	291.949	Unknown	293.153	Unknown	292.135
Runtime_Complexity_Innermost_Rewriting/hoca/flatten.trs	n^1	4.79374	n^1	2.14433	n^1	49.8724	n^1	10.0954
Runtime_Complexity_Innermost_Rewriting/hoca/foldsum.trs	n^1	4.04981	n^1	2.6326	n^1	10.4114	n^1	11.2993
Runtime_Complexity_Innermost_Rewriting/hoca/id.trs	n^1	2.95047	n^1	1.98795	n^1	11.2945	n^1	2.78811
Runtime_Complexity_Innermost_Rewriting/hoca/isort-fold.trs	n^3	6.80149	n^2	291.773	n^2	10.6591	n^2	19.8268
Runtime_Complexity_Innermost_Rewriting/hoca/isort.trs	n^3	5.7199	n^2	291.79	n^2	9.90876	n^2	17.1254
Runtime_Complexity_Innermost_Rewriting/hoca/mappplus.trs	n^2	4.84844	n^2	291.751	n^1	15.7895	n^1	7.73938
Runtime_Complexity_Innermost_Rewriting/hoca/mergesort-dc.trs	Inf	294.221	Inf	293.458	Unknown	293.424	Inf	292.141
Runtime_Complexity_Innermost_Rewriting/hoca/mss.trs	Unknown	15.5137	Inf	291.885	Unknown	291.827	Inf	291.798
Runtime_Complexity_Innermost_Rewriting/hoca/rev-dl.trs	n^1	4.04957	n^1	2.05092	n^1	12.2355	n^1	2.90364
Runtime_Complexity_Innermost_Rewriting/hoca/rev-fletf.trs	n^1	4.03938	n^1	2.13074	n^1	11.8211	n^1	2.63671
Runtime_Complexity_Innermost_Rewriting/hoca/rev-foldl.trs	n^1	1.32697	n^1	1.92577	n^1	10.7245	n^1	2.6632
Runtime_Complexity_Innermost_Rewriting/hoca/sum.trs	n^1	2.74735	n^1	2.03244	n^1	7.01806	n^1	2.81162
Runtime_Complexity_Innermost_Rewriting/hoca/sum_sqs3.trs	Unknown	49.3601	Inf	291.754	Unknown	291.854	Inf	291.773
Runtime_Complexity_Innermost_Rewriting/raML/appendAll.raml.trs	Unknown	5.67448	n^1	8.80159	n^1	13.2261	n^1	10.0299
Runtime_Complexity_Innermost_Rewriting/raML/bfs.raml.trs	Unknown	21.5255	Inf	294.304	Unknown	297.655	Unknown	300.027
Runtime_Complexity_Innermost_Rewriting/raML/bft_mmult.raml.trs	Unknown	6.35683	Inf	291.833	Unknown	292.138	Inf	291.887
Runtime_Complexity_Innermost_Rewriting/raML/bitvectors.raml.trs	Unknown	39.4839	n^5	300.033	n^5	296.884	n^5	296.735
Runtime_Complexity_Innermost_Rewriting/raML/clevermmult.raml.trs	Unknown	27.1701	n^2	291.813	n^1	31.5196	n^1	34.4873
Runtime_Complexity_Innermost_Rewriting/raML/duplicates.raml.trs	Unknown	16.8769	n^2	291.834	n^2	17.8627	n^2	52.6359
Runtime_Complexity_Innermost_Rewriting/raML/dyade.raml.trs	n^2	10.2752	n^2	291.836	n^1	19.0841	n^1	32.8686
Runtime_Complexity_Innermost_Rewriting/raML/eratosthenes.raml.trs	Unknown	20.2572	n^2	300.024	n^2	293.688	n^2	295.292
Runtime_Complexity_Innermost_Rewriting/raML/flatten.raml.trs	Unknown	3.73416	n^2	291.811	n^2	21.4648	n^2	48.5532
Runtime_Complexity_Innermost_Rewriting/raML/insertionsort.raml.trs	n^2	37.3077	n^2	292.03	n^2	292.978	n^2	294.075
Runtime_Complexity_Innermost_Rewriting/raML/listsort.raml.trs	n^3	22.0506	n^2	292.3	n^2	291.87	n^2	292.521
Runtime_Complexity_Innermost_Rewriting/raML/longestCommonSubsequence.raml.trs	n^2	51.7109	n^2	300.036	n^2	292.312	n^2	292.217
Runtime_Complexity_Innermost_Rewriting/raML/matrix.raml.trs	Unknown	46.66	Inf	291.948	Unknown	292.871	Unknown	292.587
Runtime_Complexity_Innermost_Rewriting/raML/mergesort.raml.trs	Unknown	43.1806	Inf	291.799	Unknown	291.926	Inf	291.954
Runtime_Complexity_Innermost_Rewriting/raML/minsort.raml.trs	Unknown	2.65078	n^2	291.84	n^2	14.1145	n^2	26.8206
Runtime_Complexity_Innermost_Rewriting/raML/queue.raml.trs	Unknown	11.5139	Inf	295.948	Unknown	294.327	Unknown	294.165
Runtime_Complexity_Innermost_Rewriting/raML/quicksort.raml.trs	Unknown	50.8933	n^2	59.4584	n^2	293.315	n^2	296.134
Runtime_Complexity_Innermost_Rewriting/raML/rationalPotential.raml.trs	Unknown	0.743995	n^1	2.19916	n^1	14.8951	n^1	21.14
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.trs	Unknown	43.0106	n^3	292.214	n^3	292.223	n^3	292.57
Runtime_Complexity_Innermost_Rewriting/raML/subtrees.raml.trs	n^2	9.23845	n^2	291.767	n^2	5.1754	n^2	8.61026