Upper bounds on parallelisable examples:
800050420: TcT sequential complexity
800050523: AProVE sequential complexity
800050522: AProVE parallel complexity Sec 3
800050521: AProVE parallel complexity Sec 3 + 4

benchmark name	result 800050420	time 800050420	result 800050523	time 800050523	result 800050522	time 800050522	result 800050521	time 800050521
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.18.trs	Unknown	6.10992	n^1	11.3227	n^1	291.847	n^1	17.1217
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.38.trs	Inf	294.151	Inf	2.81294	Unknown	291.839	Inf	3.7907
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.48.trs	n^2	3.57047	n^2	291.744	n^1	13.2738	n^1	11.3645
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.55.trs	Unknown	19.3615	Inf	291.939	Unknown	295.193	Inf	293.343
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_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/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/otto04.trs	Unknown	0.0	Inf	1.9369	Unknown	294.047	Inf	294.379
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/otto10.trs	Unknown	0.0	Inf	291.858	Unknown	291.893	n^2	291.834
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/thiemann26.trs	Unknown	7.5585	n^1	16.5306	n^1	291.785	n^1	291.784
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/thiemann32.trs	Unknown	7.56481	Inf	291.819	Unknown	291.993	Inf	291.809
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_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/gcdhard.trs	Unknown	5.63636	n^1	13.4741	n^1	291.822	n^1	13.1498
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/minsort.trs	Inf	294.236	Inf	294.021	Unknown	292.553	Inf	294.143
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/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/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/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/list-sum-prod.trs	Unknown	7.64077	Inf	291.871	Unknown	292.003	Unknown	291.964
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/Frederiksen_Glenstrup/binom.trs	Unknown	3.32149	Inf	2.02446	Unknown	295.881	Inf	291.811
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/fold.trs	n^1	3.55954	n^1	9.8353	n^1	9.00467	n^1	9.3872
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/int.trs	Unknown	116.858	Inf	300.107	Unknown	300.055	Unknown	295.716
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/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/mergesort.trs	Unknown	13.4858	Inf	291.772	Unknown	291.994	n^2	200.867
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/quicksort.trs	Unknown	7.9433	Inf	294.995	Unknown	291.945	Inf	294.93
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/thetrick.trs	Unknown	5.87824	Inf	3.11273	Unknown	291.862	Unknown	291.892
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/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/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/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/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/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/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/cade12t.trs	Inf	294.143	n^2	297.908	n^2	291.804	n^2	291.898
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.trs	Unknown	5.55923	Inf	1.9515	Unknown	299.66	Inf	3.56874
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/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/t009.trs	Unknown	39.5342	Inf	292.037	Unknown	292.041	Unknown	292.151
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/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/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/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/enno.trs	Unknown	4.32583	n^2	291.786	n^2	23.6575	n^2	45.781
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/polo2.trs	n^1	6.40615	n^1	11.7089	n^1	11.9904	n^1	13.1152
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/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.15.trs	Unknown	3.16895	Inf	1.91034	n^1	7.61133	n^1	291.737
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.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.29.trs	n^1	3.0988	n^1	5.53375	n^1	7.20713	n^1	122.062
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.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/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.16.trs	Unknown	2.59557	n^1	1.99774	n^1	5.8568	n^1	8.09616
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.31.trs	Unknown	4.33084	Inf	1.91572	n^1	10.3818	Unknown	300.036
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/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/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_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/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.29.trs	Unknown	103.925	Inf	291.827	Unknown	292.016	Inf	296.134
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_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/Ex26_Luc03b.trs	Unknown	3.98758	Inf	1.90626	Unknown	296.504	Inf	297.538
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_7_37_Bor03.trs	Unknown	2.58703	Inf	1.86295	Unknown	291.79	Unknown	291.788
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/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/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/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_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_GM03_GM.trs	Unknown	8.66819	Inf	300.101	Unknown	292.64	Unknown	299.21
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/Ex26_Luc03b_GM.trs	Unknown	128.549	Inf	300.104	Unknown	298.262	Unknown	296.581
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_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_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/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_DLMMU04_GM.trs	Unknown	32.9439	Inf	300.114	Unknown	298.133	Unknown	295.674
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/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/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_GM.trs	Inf	294.157	Inf	303.191	Unknown	292.077	Unknown	291.999
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/Ex7_BLR02_GM.trs	Inf	295.84	Inf	299.47	Unknown	299.468	Unknown	300.096
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/Ex9_BLR02_GM.trs	Unknown	9.83416	Inf	291.96	Unknown	293.896	Unknown	296.646
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/ExAppendixB_AEL03_GM.trs	Inf	295.753	Inf	300.049	Unknown	296.296	Unknown	299.626
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_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/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/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_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_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_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/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/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/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/quicksort.raml.trs	Unknown	50.8933	n^2	59.4584	n^2	293.315	n^2	296.134
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.trs	Unknown	43.0106	n^3	292.214	n^3	292.223	n^3	292.57