Restricted Matrix Interpretations

Overview

	RMI(-) RC	RMI(+) RC	RMI(-) IRC	RMI(+) IRC
O(n^1)	103	134	104	140
O(n^2)	71	75	70	86
O(n^3)	9	16	9	21
Total YES	183	225	183	247
Total MAYBE	953	915	953	885
Total TIMEOUT	113	109	113	117
Strict Wins	-	1	-	28

Average Execution Time (in seconds)

	RMI(-) RC	RMI(+) RC	RMI(-) IRC	RMI(+) IRC
O(n^1)	0.153 0.225 0.663	0.107 0.178 0.385	0.136 0.217 0.435	0.112 0.176 0.346
O(n^2)	0.187 2.828 47.615	0.211 2.184 33.099	0.254 2.736 40.238	0.194 3.173 56.917
O(n^3)	1.941 9.611 26.659	1.571 11.976 59.692	1.995 10.165 26.032	1.431 11.070 42.547
Total YES	0.153 1.697 47.615	0.107 1.686 59.692	0.136 1.670 40.238	0.112 2.146 56.917
Total MAYBE	0.185 11.703 60.383	0.145 9.564 57.550	0.179 11.849 60.921	0.146 10.270 59.488

Details

	RMI(-) RC		RMI(+) RC		RMI(-) IRC		RMI(+) IRC
Problem (all selected)	answer	time	answer	time	answer	time	answer	time
AG01 3.1	MAYBE	3.098	O(n^1)	0.190	MAYBE	3.991	O(n^1)	0.173
AG01 3.10	MAYBE	17.584	MAYBE	12.800	MAYBE	18.664	MAYBE	12.524
AG01 3.12	MAYBE	3.402	MAYBE	2.711	MAYBE	3.699	MAYBE	3.356
AG01 3.13	MAYBE	9.983	MAYBE	6.271	MAYBE	11.483	MAYBE	6.398
AG01 3.15	O(n^1)	0.275	O(n^1)	0.207	O(n^1)	0.233	O(n^1)	0.208
AG01 3.16	MAYBE	1.234	MAYBE	0.966	MAYBE	1.688	MAYBE	0.943
AG01 3.17	MAYBE	7.066	MAYBE	7.078	MAYBE	6.744	MAYBE	5.852
AG01 3.17a	MAYBE	11.002	MAYBE	7.890	MAYBE	9.515	MAYBE	8.637
AG01 3.18	MAYBE	5.563	MAYBE	3.665	MAYBE	3.874	MAYBE	4.092
AG01 3.19	MAYBE	10.311	MAYBE	5.697	MAYBE	7.854	MAYBE	7.945
AG01 3.2	MAYBE	3.746	MAYBE	3.587	MAYBE	3.588	MAYBE	3.559
AG01 3.21	MAYBE	12.325	MAYBE	9.665	MAYBE	12.350	MAYBE	9.651
AG01 3.22	MAYBE	5.145	MAYBE	5.254	MAYBE	5.191	MAYBE	5.098
AG01 3.23	MAYBE	0.611	O(n^1)	0.133	MAYBE	0.661	O(n^1)	0.132
AG01 3.24	O(n^2)	0.807	O(n^2)	0.851	O(n^2)	0.796	O(n^2)	0.584
AG01 3.26	MAYBE	18.722	MAYBE	18.037	MAYBE	18.238	MAYBE	17.765
AG01 3.29	O(n^1)	0.222	O(n^1)	0.151	O(n^1)	0.166	O(n^1)	0.139
AG01 3.31	MAYBE	10.562	MAYBE	10.104	MAYBE	10.982	MAYBE	9.053
AG01 3.33	O(n^2)	1.881	O(n^2)	1.652	O(n^2)	1.876	O(n^2)	1.651
AG01 3.35	O(n^1)	0.187	O(n^1)	0.151	O(n^1)	0.383	O(n^1)	0.140
AG01 3.36	MAYBE	5.156	MAYBE	3.394	MAYBE	6.519	MAYBE	3.911
AG01 3.37	O(n^2)	1.004	O(n^2)	0.804	O(n^2)	1.018	O(n^2)	0.839
AG01 3.38	MAYBE	3.802	MAYBE	2.634	MAYBE	3.925	MAYBE	12.531
AG01 3.39	MAYBE	9.247	TIMEOUT	60.070	MAYBE	12.727	TIMEOUT	60.069
AG01 3.4	MAYBE	10.458	MAYBE	4.077	MAYBE	5.788	MAYBE	4.197
AG01 3.40	MAYBE	15.908	TIMEOUT	60.075	MAYBE	18.504	TIMEOUT	60.072
AG01 3.41	MAYBE	8.219	O(n^3)	6.104	MAYBE	6.809	O(n^3)	6.678
AG01 3.42	MAYBE	10.358	MAYBE	10.013	MAYBE	12.606	O(n^3)	42.547
AG01 3.47	O(n^2)	0.800	O(n^2)	0.693	O(n^2)	0.964	O(n^2)	0.683
AG01 3.48	MAYBE	22.080	MAYBE	14.199	MAYBE	21.400	MAYBE	16.406
AG01 3.49	TIMEOUT	60.105	TIMEOUT	60.070	TIMEOUT	60.125	TIMEOUT	60.068
AG01 3.5	MAYBE	2.725	O(n^2)	1.023	MAYBE	2.869	O(n^2)	1.018
AG01 3.51	O(n^2)	1.614	O(n^2)	1.251	O(n^2)	1.662	O(n^2)	1.361
AG01 3.52	MAYBE	1.420	O(n^2)	0.381	MAYBE	1.382	O(n^2)	0.442
AG01 3.53	MAYBE	8.832	MAYBE	6.383	MAYBE	8.166	MAYBE	8.753
AG01 3.53a	O(n^1)	0.172	O(n^1)	0.145	O(n^1)	0.163	O(n^1)	0.147
AG01 3.53b	MAYBE	1.197	O(n^2)	0.428	MAYBE	1.411	O(n^2)	0.475
AG01 3.54	MAYBE	3.414	MAYBE	3.378	MAYBE	3.499	MAYBE	3.196
AG01 3.55	MAYBE	14.127	MAYBE	10.086	MAYBE	10.427	MAYBE	9.608
AG01 3.56	O(n^2)	1.296	O(n^2)	1.054	O(n^2)	1.274	O(n^2)	1.015
AG01 3.57	MAYBE	7.703	MAYBE	7.446	MAYBE	9.024	MAYBE	7.186
AG01 3.5a	MAYBE	3.248	MAYBE	4.010	MAYBE	3.352	MAYBE	2.980
AG01 3.5b	MAYBE	5.031	MAYBE	4.400	MAYBE	8.113	MAYBE	4.388
AG01 3.6	MAYBE	3.740	MAYBE	3.312	MAYBE	3.009	MAYBE	2.967
AG01 3.6a	MAYBE	4.024	O(n^2)	1.153	MAYBE	2.735	O(n^2)	0.960
AG01 3.6b	MAYBE	5.128	MAYBE	4.925	MAYBE	5.573	MAYBE	4.101
AG01 3.7	O(n^1)	0.224	O(n^1)	0.181	O(n^1)	0.231	O(n^1)	0.192
AG01 3.8a	MAYBE	24.740	MAYBE	21.617	MAYBE	25.963	MAYBE	22.604
AG01 3.8b	MAYBE	27.990	MAYBE	20.771	MAYBE	27.938	MAYBE	22.142
AG01 4.30c	MAYBE	3.522	MAYBE	2.507	MAYBE	2.938	MAYBE	2.494
AProVE 04 AAECC	MAYBE	21.374	MAYBE	14.827	MAYBE	16.747	MAYBE	15.169
AProVE 04 AAECC-ring	TIMEOUT	62.984	TIMEOUT	60.122	TIMEOUT	60.185	TIMEOUT	60.121
AProVE 04 IJCAR 1	MAYBE	1.528	MAYBE	1.918	MAYBE	1.705	MAYBE	2.112
AProVE 04 IJCAR 12	MAYBE	3.481	MAYBE	2.569	MAYBE	4.323	MAYBE	2.983
AProVE 04 IJCAR 18	MAYBE	19.847	MAYBE	13.468	MAYBE	18.545	MAYBE	14.743
AProVE 04 IJCAR 26	MAYBE	16.140	MAYBE	11.962	MAYBE	15.529	MAYBE	12.230
AProVE 04 IJCAR 26a	MAYBE	14.161	MAYBE	11.952	MAYBE	15.412	MAYBE	11.824
AProVE 04 JFP Ex31	MAYBE	58.509	MAYBE	30.282	MAYBE	56.349	MAYBE	42.937
AProVE 04 JFP Ex51	MAYBE	23.000	MAYBE	13.281	MAYBE	15.731	O(n^2)	4.208
AProVE 04 LPAR intlist	TIMEOUT	60.107	TIMEOUT	60.070	TIMEOUT	60.102	TIMEOUT	60.069
AProVE 04 Liveness6.1	MAYBE	43.692	MAYBE	42.555	MAYBE	42.907	MAYBE	41.768
AProVE 04 Liveness6.2	TIMEOUT	60.112	TIMEOUT	60.075	TIMEOUT	60.115	TIMEOUT	60.070
AProVE 04 Liveness6.3	TIMEOUT	60.119	TIMEOUT	60.074	TIMEOUT	60.124	TIMEOUT	60.074
AProVE 04 Liveness6.4	MAYBE	36.458	MAYBE	29.494	MAYBE	35.283	MAYBE	30.580
AProVE 04 Liveness8	TIMEOUT	60.115	TIMEOUT	60.078	TIMEOUT	60.122	TIMEOUT	60.074
AProVE 04 Liveness WRS	TIMEOUT	60.124	TIMEOUT	60.087	TIMEOUT	60.393	TIMEOUT	60.079
AProVE 04 fac	MAYBE	9.168	MAYBE	7.434	MAYBE	16.078	MAYBE	9.496
AProVE 04 forward instantiation	MAYBE	0.350	MAYBE	0.247	MAYBE	0.417	MAYBE	0.314
AProVE 04 forward instantiation2	MAYBE	0.524	MAYBE	0.252	MAYBE	0.397	MAYBE	0.270
AProVE 04 improved usable	MAYBE	1.017	MAYBE	0.867	MAYBE	1.092	MAYBE	0.935
AProVE 04 improved usable2	MAYBE	1.034	MAYBE	0.646	MAYBE	0.916	MAYBE	0.646
AProVE 04 rta1	MAYBE	16.643	MAYBE	9.662	MAYBE	13.690	MAYBE	11.662
AProVE 04 rta2	MAYBE	0.463	MAYBE	0.361	MAYBE	0.432	MAYBE	0.340
AProVE 04 rta3	MAYBE	2.925	MAYBE	1.942	MAYBE	2.755	MAYBE	2.079
AProVE 06 div notCeTermin	MAYBE	9.251	MAYBE	6.040	MAYBE	11.388	MAYBE	6.630
AProVE 06 div notTermin	MAYBE	13.994	MAYBE	8.902	MAYBE	13.630	MAYBE	7.824
AProVE 06 factorial1	MAYBE	12.579	MAYBE	8.675	MAYBE	9.982	MAYBE	7.714
AProVE 06 factorial2	MAYBE	4.503	MAYBE	4.058	MAYBE	5.741	MAYBE	4.519
AProVE 06 identity	MAYBE	16.917	MAYBE	7.589	MAYBE	16.254	MAYBE	11.297
AProVE 06 logarithm	MAYBE	15.708	MAYBE	10.476	MAYBE	14.218	MAYBE	10.663
AProVE 06 mapHard	MAYBE	13.674	MAYBE	9.648	MAYBE	13.285	MAYBE	9.771
AProVE 06 modulo	MAYBE	2.745	MAYBE	2.082	MAYBE	2.659	MAYBE	2.111
AProVE 06 nonterm	TIMEOUT	60.107	TIMEOUT	60.069	TIMEOUT	60.070	TIMEOUT	60.067
AProVE 06 quicksort	MAYBE	20.715	MAYBE	11.721	MAYBE	16.782	MAYBE	10.537
AProVE 06 quot	MAYBE	3.520	MAYBE	2.257	MAYBE	3.446	MAYBE	2.113
AProVE 06 sizeChange	MAYBE	5.591	MAYBE	4.810	MAYBE	6.074	MAYBE	5.107
AProVE 06 tower	MAYBE	11.036	MAYBE	6.988	MAYBE	10.220	MAYBE	7.270
AProVE 06 tower sizeChange	MAYBE	6.605	MAYBE	5.668	MAYBE	7.742	MAYBE	5.567
AProVE 07 kabasci01	MAYBE	25.024	MAYBE	18.146	MAYBE	26.181	MAYBE	15.983
AProVE 07 kabasci02	MAYBE	25.567	MAYBE	21.304	MAYBE	28.854	MAYBE	18.039
AProVE 07 kabasci03	MAYBE	20.439	MAYBE	16.457	MAYBE	20.634	MAYBE	17.428
AProVE 07 kabasci04	MAYBE	15.753	MAYBE	9.429	MAYBE	12.870	MAYBE	9.687
AProVE 07 kabasci05	MAYBE	11.209	MAYBE	7.942	MAYBE	10.879	MAYBE	7.806
AProVE 07 kabasci06	MAYBE	19.192	MAYBE	15.967	MAYBE	18.711	MAYBE	16.622
AProVE 07 otto01	MAYBE	25.388	MAYBE	19.205	MAYBE	26.108	MAYBE	18.384
AProVE 07 otto02	MAYBE	8.784	MAYBE	5.819	MAYBE	11.788	MAYBE	8.353
AProVE 07 otto03	MAYBE	2.285	MAYBE	1.705	MAYBE	2.131	MAYBE	1.836
AProVE 07 otto04	MAYBE	15.276	MAYBE	11.249	MAYBE	15.736	MAYBE	12.423
AProVE 07 otto05	MAYBE	3.457	MAYBE	2.485	MAYBE	3.161	MAYBE	3.683
AProVE 07 otto06	MAYBE	9.951	MAYBE	10.020	MAYBE	15.551	MAYBE	9.683
AProVE 07 otto07	MAYBE	2.288	MAYBE	1.333	MAYBE	2.263	MAYBE	1.679
AProVE 07 otto08	MAYBE	6.664	MAYBE	5.272	MAYBE	6.944	MAYBE	5.662
AProVE 07 otto09	MAYBE	9.989	MAYBE	7.417	MAYBE	12.709	MAYBE	8.236
AProVE 07 otto10	MAYBE	7.925	MAYBE	6.442	MAYBE	7.445	MAYBE	6.540
AProVE 07 otto11	MAYBE	3.203	MAYBE	2.622	MAYBE	3.850	MAYBE	2.571
AProVE 07 otto12	MAYBE	4.097	MAYBE	2.624	MAYBE	3.384	MAYBE	2.785
AProVE 07 otto13	MAYBE	9.907	MAYBE	8.372	MAYBE	10.133	MAYBE	7.761
AProVE 07 thiemann01	MAYBE	6.318	MAYBE	4.520	MAYBE	6.268	MAYBE	4.715
AProVE 07 thiemann02	MAYBE	22.157	MAYBE	18.311	MAYBE	22.814	MAYBE	15.219
AProVE 07 thiemann03	MAYBE	16.772	MAYBE	11.528	MAYBE	11.333	MAYBE	9.687
AProVE 07 thiemann04	MAYBE	15.941	MAYBE	10.648	MAYBE	12.752	MAYBE	9.599
AProVE 07 thiemann05	MAYBE	9.133	MAYBE	6.967	MAYBE	9.011	MAYBE	7.219
AProVE 07 thiemann06	MAYBE	21.683	MAYBE	13.774	MAYBE	20.694	MAYBE	13.855
AProVE 07 thiemann07	MAYBE	12.364	MAYBE	9.200	MAYBE	13.609	MAYBE	11.263
AProVE 07 thiemann08	MAYBE	4.122	MAYBE	2.883	MAYBE	4.257	MAYBE	2.680
AProVE 07 thiemann09	MAYBE	10.275	MAYBE	9.198	MAYBE	11.592	MAYBE	9.112
AProVE 07 thiemann10	MAYBE	6.618	MAYBE	4.368	MAYBE	8.536	MAYBE	5.653
AProVE 07 thiemann11	MAYBE	3.431	MAYBE	2.965	MAYBE	3.138	MAYBE	3.239
AProVE 07 thiemann12	MAYBE	4.560	MAYBE	3.965	MAYBE	6.445	MAYBE	6.109
AProVE 07 thiemann13	MAYBE	20.649	MAYBE	12.888	MAYBE	19.927	MAYBE	14.662
AProVE 07 thiemann14	MAYBE	13.269	MAYBE	7.861	MAYBE	16.026	MAYBE	8.841
AProVE 07 thiemann15	MAYBE	3.011	MAYBE	2.038	MAYBE	3.104	MAYBE	2.422
AProVE 07 thiemann16	MAYBE	13.590	MAYBE	8.821	MAYBE	12.862	MAYBE	9.856
AProVE 07 thiemann17	MAYBE	16.581	MAYBE	13.546	MAYBE	16.709	MAYBE	14.352
AProVE 07 thiemann18	MAYBE	11.456	MAYBE	7.776	MAYBE	10.559	MAYBE	9.213
AProVE 07 thiemann19	MAYBE	15.414	MAYBE	13.934	MAYBE	18.787	MAYBE	13.114
AProVE 07 thiemann20	MAYBE	4.888	MAYBE	3.403	MAYBE	5.647	MAYBE	3.747
AProVE 07 thiemann21	MAYBE	24.551	MAYBE	14.883	MAYBE	18.957	MAYBE	16.494
AProVE 07 thiemann22	MAYBE	4.839	MAYBE	3.988	MAYBE	4.259	MAYBE	5.294
AProVE 07 thiemann23	TIMEOUT	60.248	TIMEOUT	60.073	TIMEOUT	60.101	TIMEOUT	60.071
AProVE 07 thiemann24	MAYBE	4.448	MAYBE	3.285	MAYBE	4.614	MAYBE	3.116
AProVE 07 thiemann25	MAYBE	2.836	MAYBE	2.126	MAYBE	2.747	MAYBE	2.204
AProVE 07 thiemann26	MAYBE	5.009	MAYBE	3.713	MAYBE	5.251	MAYBE	3.983
AProVE 07 thiemann27	MAYBE	2.207	MAYBE	1.622	MAYBE	2.118	MAYBE	1.723
AProVE 07 thiemann28	MAYBE	7.663	MAYBE	6.095	MAYBE	7.997	MAYBE	4.257
AProVE 07 thiemann29	MAYBE	10.106	MAYBE	6.689	MAYBE	9.587	MAYBE	6.885
AProVE 07 thiemann30	MAYBE	17.674	MAYBE	13.038	MAYBE	15.411	MAYBE	11.585
AProVE 07 thiemann31	MAYBE	3.599	MAYBE	3.034	MAYBE	3.800	MAYBE	2.864
AProVE 07 thiemann32	TIMEOUT	60.537	TIMEOUT	60.081	TIMEOUT	61.980	TIMEOUT	60.989
AProVE 07 thiemann33	TIMEOUT	60.389	TIMEOUT	60.077	TIMEOUT	61.399	TIMEOUT	60.367
AProVE 07 thiemann34	MAYBE	4.231	MAYBE	3.332	MAYBE	10.939	MAYBE	6.220
AProVE 07 thiemann35	TIMEOUT	60.120	TIMEOUT	60.425	TIMEOUT	60.583	TIMEOUT	60.152
AProVE 07 thiemann36	MAYBE	4.641	MAYBE	3.027	MAYBE	5.560	MAYBE	3.820
AProVE 07 thiemann37	MAYBE	10.656	MAYBE	8.991	MAYBE	14.299	MAYBE	11.295
AProVE 07 thiemann38	MAYBE	5.878	MAYBE	4.224	MAYBE	8.146	MAYBE	7.307
AProVE 07 thiemann39	TIMEOUT	60.150	TIMEOUT	60.087	TIMEOUT	64.455	MAYBE	59.488
AProVE 07 thiemann40	MAYBE	1.149	MAYBE	0.970	MAYBE	3.440	MAYBE	5.089
AProVE 07 thiemann41	MAYBE	4.709	MAYBE	3.595	MAYBE	8.263	MAYBE	5.332
AProVE 07 wiehe01	MAYBE	39.893	MAYBE	32.443	MAYBE	40.694	MAYBE	31.564
AProVE 07 wiehe02	MAYBE	39.525	MAYBE	31.744	MAYBE	47.872	MAYBE	35.774
AProVE 07 wiehe03	MAYBE	41.741	MAYBE	37.206	MAYBE	53.879	MAYBE	39.134
AProVE 07 wiehe05	MAYBE	33.297	MAYBE	30.683	MAYBE	41.759	MAYBE	32.304
AProVE 07 wiehe06	MAYBE	35.446	MAYBE	29.198	MAYBE	44.861	MAYBE	38.246
AProVE 07 wiehe07	MAYBE	39.861	MAYBE	36.118	MAYBE	48.457	MAYBE	37.004
AProVE 07 wiehe08	MAYBE	36.795	MAYBE	31.136	MAYBE	42.373	MAYBE	35.537
AProVE 07 wiehe09	MAYBE	34.275	MAYBE	28.321	MAYBE	41.024	MAYBE	34.336
AProVE 07 wiehe11	MAYBE	40.172	MAYBE	36.401	MAYBE	50.301	MAYBE	38.257
AProVE 07 wiehe12	TIMEOUT	60.165	TIMEOUT	61.190	TIMEOUT	61.859	TIMEOUT	62.720
AProVE 08 id inc	MAYBE	7.459	MAYBE	7.161	MAYBE	10.467	MAYBE	18.177
AProVE 08 log	MAYBE	7.136	MAYBE	6.428	MAYBE	11.467	MAYBE	9.759
AProVE 08 parting01 reverse	MAYBE	6.741	MAYBE	4.979	MAYBE	11.157	MAYBE	7.388
AProVE 08 parting02 doublelist	MAYBE	6.628	MAYBE	5.370	MAYBE	7.614	MAYBE	6.961
AProVE 08 parting03 minsort	MAYBE	13.640	MAYBE	10.441	MAYBE	13.248	MAYBE	9.911
AProVE 08 parting04 maxsort h	MAYBE	31.893	MAYBE	21.347	MAYBE	27.613	MAYBE	22.253
AProVE 08 parting05 maxsort	MAYBE	8.229	MAYBE	6.876	MAYBE	7.293	MAYBE	5.678
AProVE 08 round	MAYBE	4.552	MAYBE	3.465	MAYBE	4.735	MAYBE	3.888
AProVE 08 round nonterm	MAYBE	2.246	MAYBE	1.921	MAYBE	2.490	MAYBE	1.979
AProVE 08 thiemann40 modified	MAYBE	3.187	MAYBE	2.148	MAYBE	3.184	MAYBE	4.924
AProVE 09 Inductive div	MAYBE	7.186	MAYBE	6.063	MAYBE	9.557	MAYBE	5.847
AProVE 09 Inductive divhard	MAYBE	7.671	MAYBE	5.888	MAYBE	7.276	MAYBE	4.925
AProVE 09 Inductive gcd	MAYBE	4.600	MAYBE	3.460	MAYBE	5.875	MAYBE	4.117
AProVE 09 Inductive gcd2	MAYBE	8.174	MAYBE	4.319	MAYBE	7.886	MAYBE	4.896
AProVE 09 Inductive gcdhard	MAYBE	10.634	MAYBE	8.340	MAYBE	14.980	TIMEOUT	60.076
AProVE 09 Inductive log	MAYBE	10.914	MAYBE	8.338	MAYBE	9.682	MAYBE	8.030
AProVE 09 Inductive maxsort	MAYBE	8.202	MAYBE	5.381	MAYBE	8.243	MAYBE	5.962
AProVE 09 Inductive maxsortcondition	MAYBE	6.486	MAYBE	6.707	MAYBE	6.980	MAYBE	6.466
AProVE 09 Inductive minsort	MAYBE	7.491	MAYBE	5.734	MAYBE	6.575	MAYBE	5.630
AProVE 09 Inductive mod	MAYBE	8.596	MAYBE	4.419	MAYBE	5.551	TIMEOUT	73.292
AProVE 09 Inductive qsort	MAYBE	8.464	MAYBE	5.758	MAYBE	8.198	MAYBE	8.790
AProVE 09 Inductive qsortlast	MAYBE	38.628	MAYBE	32.466	MAYBE	38.692	MAYBE	31.692
AProVE 09 Inductive qsortmiddle	MAYBE	41.662	MAYBE	33.241	MAYBE	43.921	MAYBE	35.167
AProVE 09 Inductive zerolist	MAYBE	2.824	MAYBE	2.697	MAYBE	2.845	MAYBE	2.217
Beerendonk 07 1	MAYBE	1.300	MAYBE	1.026	MAYBE	1.431	MAYBE	1.135
Beerendonk 07 10	MAYBE	5.718	MAYBE	4.923	MAYBE	5.566	MAYBE	4.467
Beerendonk 07 11	MAYBE	2.774	MAYBE	2.308	MAYBE	2.914	MAYBE	2.567
Beerendonk 07 12	MAYBE	1.931	MAYBE	1.483	MAYBE	2.621	MAYBE	1.548
Beerendonk 07 13	MAYBE	2.553	MAYBE	1.587	MAYBE	2.414	MAYBE	1.861
Beerendonk 07 14	MAYBE	3.235	MAYBE	2.658	MAYBE	2.595	MAYBE	2.785
Beerendonk 07 15	MAYBE	10.839	MAYBE	6.489	MAYBE	9.094	MAYBE	6.477
Beerendonk 07 16	MAYBE	7.696	MAYBE	6.738	MAYBE	9.896	MAYBE	5.355
Beerendonk 07 17	MAYBE	10.781	MAYBE	6.333	MAYBE	9.022	MAYBE	6.923
Beerendonk 07 18	MAYBE	13.384	MAYBE	13.547	MAYBE	19.499	TIMEOUT	60.076
Beerendonk 07 19	MAYBE	14.553	MAYBE	9.242	MAYBE	13.985	MAYBE	8.204
Beerendonk 07 2	MAYBE	1.389	MAYBE	1.381	MAYBE	2.118	MAYBE	1.136
Beerendonk 07 20	MAYBE	10.912	MAYBE	7.434	MAYBE	12.924	MAYBE	9.089
Beerendonk 07 21	MAYBE	9.474	MAYBE	6.208	MAYBE	8.303	MAYBE	6.568
Beerendonk 07 22	MAYBE	3.350	MAYBE	2.152	MAYBE	3.109	MAYBE	5.553
Beerendonk 07 23	MAYBE	2.366	MAYBE	1.645	MAYBE	2.402	MAYBE	1.681
Beerendonk 07 24	MAYBE	11.359	MAYBE	10.599	MAYBE	15.063	MAYBE	9.981
Beerendonk 07 3	MAYBE	2.037	MAYBE	1.498	MAYBE	2.414	MAYBE	1.374
Beerendonk 07 4	MAYBE	1.009	MAYBE	0.920	MAYBE	1.091	MAYBE	0.825
Beerendonk 07 5	MAYBE	10.498	MAYBE	5.744	MAYBE	10.640	MAYBE	7.260
Beerendonk 07 6	MAYBE	2.105	MAYBE	1.642	MAYBE	2.551	MAYBE	1.749
Beerendonk 07 7	MAYBE	11.395	MAYBE	8.028	MAYBE	11.055	MAYBE	7.590
Beerendonk 07 8	MAYBE	10.198	MAYBE	8.259	MAYBE	10.259	TIMEOUT	60.070
Beerendonk 07 9	MAYBE	7.401	MAYBE	5.307	MAYBE	8.145	MAYBE	6.449
CiME 04 ack prolog	MAYBE	6.498	MAYBE	42.649	MAYBE	5.633	MAYBE	41.105
CiME 04 append	MAYBE	1.009	O(n^1)	0.385	MAYBE	1.018	O(n^1)	0.161
CiME 04 append-hard	MAYBE	2.107	MAYBE	1.614	MAYBE	2.105	MAYBE	1.801
CiME 04 append-wrong	MAYBE	2.121	MAYBE	1.659	MAYBE	2.363	MAYBE	1.878
CiME 04 big	MAYBE	20.001	MAYBE	14.376	MAYBE	17.488	MAYBE	15.781
CiME 04 boolean rings	MAYBE	2.623	MAYBE	2.295	MAYBE	3.021	MAYBE	2.326
CiME 04 dpqs	O(n^2)	1.379	O(n^2)	0.911	O(n^2)	1.136	O(n^2)	0.928
CiME 04 fact-hard	MAYBE	12.977	MAYBE	9.634	MAYBE	13.208	MAYBE	9.549
CiME 04 filliatre	MAYBE	10.461	MAYBE	7.487	MAYBE	9.874	MAYBE	7.678
CiME 04 filliatre2	MAYBE	23.762	MAYBE	23.638	MAYBE	20.722	MAYBE	18.038
CiME 04 filliatre3	MAYBE	14.849	MAYBE	12.003	MAYBE	18.289	MAYBE	10.255
CiME 04 intersect	MAYBE	7.833	MAYBE	4.866	MAYBE	6.066	MAYBE	6.135
CiME 04 list-sum-prod	MAYBE	9.074	MAYBE	5.495	MAYBE	9.797	MAYBE	7.262
CiME 04 list-sum-prod-assoc	MAYBE	11.341	MAYBE	6.180	MAYBE	9.208	MAYBE	8.764
CiME 04 list-sum-prod-assoc-append	MAYBE	11.133	MAYBE	9.646	MAYBE	10.307	MAYBE	8.890
CiME 04 list-sum-prod-bin	MAYBE	10.750	MAYBE	8.237	MAYBE	14.000	MAYBE	7.653
CiME 04 list-sum-prod-bin-assoc	MAYBE	7.515	MAYBE	6.409	MAYBE	8.032	MAYBE	6.511
CiME 04 list-su...od-bin-assoc-distr-app	MAYBE	10.990	MAYBE	10.544	MAYBE	11.607	MAYBE	10.306
CiME 04 log2	MAYBE	12.095	MAYBE	8.098	MAYBE	12.358	MAYBE	8.364
CiME 04 lse	MAYBE	8.386	MAYBE	5.978	MAYBE	8.408	MAYBE	5.678
CiME 04 maude2	MAYBE	11.733	MAYBE	9.367	MAYBE	11.963	MAYBE	8.358
CiME 04 mucrl1	TIMEOUT	60.508	TIMEOUT	60.380	TIMEOUT	60.440	TIMEOUT	60.417
CiME 04 ternary	MAYBE	10.366	MAYBE	6.897	MAYBE	10.356	MAYBE	6.789
CiME 04 ternary-hard	MAYBE	9.131	MAYBE	7.089	MAYBE	10.159	MAYBE	8.115
CiME 04 tree	MAYBE	22.601	MAYBE	19.793	MAYBE	23.825	MAYBE	19.971
Der95 01	O(n^1)	0.232	O(n^1)	0.183	O(n^1)	0.269	O(n^1)	0.189
Der95 02	O(n^1)	0.242	O(n^1)	0.176	O(n^1)	0.228	O(n^1)	0.160
Der95 03	O(n^1)	0.163	O(n^1)	0.150	O(n^1)	0.154	O(n^1)	0.112
Der95 04	O(n^1)	0.192	O(n^1)	0.130	O(n^1)	0.166	O(n^1)	0.135
Der95 06	O(n^1)	0.188	O(n^1)	0.130	O(n^1)	0.186	O(n^1)	0.164
Der95 07	O(n^1)	0.205	O(n^1)	0.170	O(n^1)	0.195	O(n^1)	0.169
Der95 08	MAYBE	3.455	MAYBE	7.176	MAYBE	3.954	MAYBE	7.345
Der95 09	O(n^1)	0.164	O(n^1)	0.141	O(n^1)	0.170	O(n^1)	0.144
Der95 11	MAYBE	27.078	MAYBE	18.691	MAYBE	29.933	MAYBE	21.749
Der95 12	MAYBE	2.644	MAYBE	1.850	MAYBE	2.955	MAYBE	1.687
Der95 13	MAYBE	2.969	MAYBE	2.060	MAYBE	2.785	MAYBE	2.435
Der95 17	MAYBE	2.337	MAYBE	1.687	MAYBE	2.417	MAYBE	1.745
Der95 18	MAYBE	0.685	O(n^1)	0.131	MAYBE	0.693	O(n^1)	0.148
Der95 20	MAYBE	11.712	MAYBE	9.579	MAYBE	12.476	MAYBE	11.686
Der95 21	MAYBE	9.400	MAYBE	6.047	MAYBE	10.895	MAYBE	7.241
Der95 27	O(n^1)	0.155	O(n^1)	0.117	O(n^1)	0.174	O(n^1)	0.118
Der95 28	MAYBE	1.306	MAYBE	1.102	MAYBE	1.514	MAYBE	1.069
Der95 30	MAYBE	14.435	MAYBE	14.833	MAYBE	14.201	MAYBE	13.928
Der95 31	MAYBE	3.031	MAYBE	1.878	MAYBE	2.907	MAYBE	2.554
Der95 32	MAYBE	2.301	MAYBE	2.778	MAYBE	2.904	MAYBE	2.738
Der95 33	MAYBE	12.002	TIMEOUT	60.073	MAYBE	13.292	TIMEOUT	60.070
Endrullis 06 direct	TIMEOUT	60.305	O(n^2)	1.613	TIMEOUT	60.075	O(n^2)	1.925
Endrullis 06 labeling	MAYBE	1.196	MAYBE	0.963	MAYBE	1.647	MAYBE	1.030
Endrullis 06 linear1	MAYBE	13.581	MAYBE	10.956	MAYBE	21.436	MAYBE	10.794
Endrullis 06 linear2	MAYBE	36.220	MAYBE	31.394	MAYBE	41.887	MAYBE	33.773
Endrullis 06 pair2hard	MAYBE	29.669	MAYBE	26.003	MAYBE	28.039	MAYBE	33.274
Endrullis 06 pair2simple1	MAYBE	20.619	MAYBE	11.518	MAYBE	17.194	O(n^2)	2.289
Endrullis 06 pair2simple2	MAYBE	19.070	MAYBE	12.505	MAYBE	13.214	TIMEOUT	60.064
Endrullis 06 pair3hard	MAYBE	13.729	MAYBE	11.505	MAYBE	15.603	TIMEOUT	60.067
Endrullis 06 pair3rotate	TIMEOUT	60.114	TIMEOUT	60.064	TIMEOUT	60.112	TIMEOUT	60.065
Endrullis 06 pair3swap	TIMEOUT	60.179	TIMEOUT	60.066	TIMEOUT	60.122	TIMEOUT	60.066
Endrullis 06 quadruple1	TIMEOUT	60.147	TIMEOUT	60.068	TIMEOUT	60.106	TIMEOUT	60.067
Endrullis 06 quadruple2	TIMEOUT	60.110	TIMEOUT	60.065	TIMEOUT	60.104	TIMEOUT	60.065
GTSSK07 cade01	MAYBE	2.075	MAYBE	1.285	MAYBE	2.668	MAYBE	1.640
GTSSK07 cade03	MAYBE	3.341	MAYBE	2.836	MAYBE	3.187	MAYBE	2.541
GTSSK07 cade04t	MAYBE	2.390	MAYBE	1.590	MAYBE	2.268	MAYBE	1.483
GTSSK07 cade05t	MAYBE	5.006	MAYBE	4.661	MAYBE	6.408	MAYBE	3.744
GTSSK07 cade06	MAYBE	5.800	MAYBE	4.768	MAYBE	6.943	MAYBE	3.993
GTSSK07 cade07	MAYBE	1.811	MAYBE	1.489	MAYBE	2.087	MAYBE	1.470
GTSSK07 cade08	MAYBE	10.349	MAYBE	5.902	MAYBE	11.987	MAYBE	8.302
GTSSK07 cade09	MAYBE	6.075	MAYBE	3.283	MAYBE	6.157	MAYBE	58.706
GTSSK07 cade10	MAYBE	2.997	MAYBE	2.165	MAYBE	3.120	MAYBE	58.564
GTSSK07 cade11	MAYBE	2.477	MAYBE	1.692	MAYBE	2.369	MAYBE	1.621
GTSSK07 cade12t	MAYBE	21.361	MAYBE	16.942	MAYBE	21.286	MAYBE	19.363
GTSSK07 cade13t	MAYBE	12.220	MAYBE	8.092	MAYBE	11.507	MAYBE	6.183
GTSSK07 cade14	MAYBE	3.961	MAYBE	3.149	MAYBE	3.955	MAYBE	2.636
GTSSK07 cade15	MAYBE	8.296	MAYBE	6.559	MAYBE	10.061	MAYBE	7.392
GTSSK07 cade16	MAYBE	4.443	MAYBE	3.224	MAYBE	4.867	MAYBE	3.419
GTSSK07 cade17	MAYBE	23.910	MAYBE	16.319	MAYBE	21.645	MAYBE	15.660
HirokawaMiddeldorp 04 n002	MAYBE	0.185	MAYBE	0.145	MAYBE	0.180	MAYBE	0.172
HirokawaMiddeldorp 04 n003	MAYBE	0.243	MAYBE	0.202	MAYBE	0.271	MAYBE	0.173
HirokawaMiddeldorp 04 n004	MAYBE	0.266	MAYBE	0.184	MAYBE	0.245	MAYBE	0.189
HirokawaMiddeldorp 04 n005	MAYBE	0.349	MAYBE	0.236	MAYBE	0.329	MAYBE	0.224
HirokawaMiddeldorp 04 n006	MAYBE	0.327	MAYBE	0.226	MAYBE	0.297	MAYBE	0.223
HirokawaMiddeldorp 04 n007	MAYBE	0.338	MAYBE	0.260	MAYBE	0.316	MAYBE	0.265
HirokawaMiddeldorp 04 n008	MAYBE	0.276	MAYBE	0.196	MAYBE	0.282	MAYBE	0.188
HirokawaMiddeldorp 04 t000	MAYBE	17.878	MAYBE	15.056	MAYBE	19.065	MAYBE	13.308
HirokawaMiddeldorp 04 t001	MAYBE	12.489	MAYBE	7.934	MAYBE	11.833	MAYBE	8.438
HirokawaMiddeldorp 04 t002	MAYBE	8.269	MAYBE	6.683	MAYBE	9.480	MAYBE	6.635
HirokawaMiddeldorp 04 t003	MAYBE	11.366	MAYBE	8.476	MAYBE	12.096	MAYBE	7.723
HirokawaMiddeldorp 04 t004	MAYBE	11.309	MAYBE	9.689	MAYBE	11.848	MAYBE	9.776
HirokawaMiddeldorp 04 t005	MAYBE	16.969	MAYBE	11.022	MAYBE	16.077	MAYBE	11.445
HirokawaMiddeldorp 04 t006	O(n^1)	0.186	O(n^1)	0.144	O(n^1)	0.162	O(n^1)	0.156
HirokawaMiddeldorp 04 t007	O(n^2)	0.275	O(n^2)	0.214	O(n^2)	0.310	O(n^2)	0.194
HirokawaMiddeldorp 04 t008	TIMEOUT	60.077	TIMEOUT	60.068	TIMEOUT	60.076	TIMEOUT	60.067
HirokawaMiddeldorp 04 t009	MAYBE	21.350	MAYBE	22.690	MAYBE	23.418	MAYBE	22.869
HirokawaMiddeldorp 04 t010	O(n^1)	0.186	O(n^1)	0.133	O(n^1)	0.186	O(n^1)	0.142
HirokawaMiddeldorp 04 t011	O(n^1)	0.164	O(n^1)	0.136	O(n^1)	0.178	O(n^1)	0.125
HirokawaMiddeldorp 04 t012	MAYBE	17.358	MAYBE	13.143	MAYBE	15.712	MAYBE	12.972
HirokawaMiddeldorp 04 t013	MAYBE	3.676	MAYBE	3.783	MAYBE	4.963	MAYBE	3.673
HirokawaMiddeldorp 04 t014	MAYBE	8.567	MAYBE	7.071	MAYBE	17.361	O(n^2)	3.619
Mixed TRS 1	MAYBE	11.381	MAYBE	22.339	MAYBE	11.097	MAYBE	25.962
Mixed TRS 2	TIMEOUT	78.429	TIMEOUT	60.067	TIMEOUT	60.281	TIMEOUT	60.071
Mixed TRS 3	MAYBE	12.444	MAYBE	9.370	MAYBE	11.445	MAYBE	9.877
Mixed TRS 4	MAYBE	15.250	MAYBE	10.079	MAYBE	14.688	MAYBE	10.401
Mixed TRS 5	MAYBE	1.655	O(n^3)	1.571	MAYBE	1.879	O(n^3)	1.431
Mixed TRS 6	MAYBE	8.090	MAYBE	7.389	MAYBE	7.481	MAYBE	7.929
Mixed TRS 7	MAYBE	10.105	MAYBE	8.166	MAYBE	9.407	MAYBE	8.296
Mixed TRS Ex1 Luc04b GM	MAYBE	7.702	MAYBE	7.906	MAYBE	8.128	MAYBE	7.696
Mixed TRS beans	TIMEOUT	60.115	TIMEOUT	60.068	TIMEOUT	60.111	TIMEOUT	60.068
Mixed TRS fossacs	MAYBE	7.891	MAYBE	20.244	MAYBE	8.677	MAYBE	23.449
Mixed TRS gcd	MAYBE	11.555	MAYBE	8.627	MAYBE	12.432	MAYBE	23.047
Mixed TRS gcdMinMax	MAYBE	17.366	MAYBE	11.910	MAYBE	15.349	MAYBE	11.012
Mixed TRS gcd triple	MAYBE	12.404	MAYBE	9.156	MAYBE	11.990	MAYBE	8.279
Mixed TRS hydra	MAYBE	18.439	MAYBE	10.999	MAYBE	15.340	MAYBE	10.345
Mixed TRS hydra-Zantema06	MAYBE	16.658	MAYBE	10.568	MAYBE	15.764	MAYBE	9.910
Mixed TRS jones1	O(n^1)	0.198	O(n^1)	0.136	O(n^1)	0.193	O(n^1)	0.145
Mixed TRS jones2	MAYBE	1.205	MAYBE	0.747	MAYBE	0.966	MAYBE	0.738
Mixed TRS jones4	O(n^1)	0.183	O(n^1)	0.148	O(n^1)	0.192	O(n^1)	0.149
Mixed TRS jones5	MAYBE	0.757	MAYBE	0.590	MAYBE	1.068	MAYBE	0.582
Mixed TRS jones6	O(n^1)	0.205	O(n^1)	0.150	O(n^1)	0.209	O(n^1)	0.165
Mixed TRS minsort	MAYBE	14.270	MAYBE	11.380	MAYBE	14.682	MAYBE	11.972
Mixed TRS motivation	O(n^3)	3.672	O(n^2)	0.749	O(n^3)	5.072	O(n^2)	0.799
Mixed TRS perfect	MAYBE	5.636	O(n^1)	0.249	MAYBE	5.669	O(n^1)	0.283
Mixed TRS perfect2	MAYBE	12.714	MAYBE	8.158	MAYBE	13.044	MAYBE	8.451
Mixed TRS test1	MAYBE	1.161	MAYBE	0.974	MAYBE	1.255	MAYBE	0.969
Mixed TRS while	MAYBE	1.111	MAYBE	0.923	MAYBE	1.093	MAYBE	0.894
Mixed TRS while2	MAYBE	5.974	MAYBE	4.646	MAYBE	6.571	MAYBE	4.561
Rubio 04 aoto	O(n^2)	3.145	O(n^2)	2.835	O(n^2)	3.203	O(n^2)	2.925
Rubio 04 bintrees	O(n^2)	0.903	O(n^2)	0.633	O(n^2)	0.879	O(n^2)	0.580
Rubio 04 bn122	O(n^2)	0.482	O(n^2)	0.432	O(n^2)	0.567	O(n^2)	0.408
Rubio 04 bn129	MAYBE	24.722	MAYBE	23.017	MAYBE	26.926	MAYBE	26.087
Rubio 04 division	MAYBE	6.699	MAYBE	5.830	MAYBE	7.601	O(n^3)	22.995
Rubio 04 elimdupl	MAYBE	4.762	O(n^3)	6.163	MAYBE	5.046	O(n^3)	5.512
Rubio 04 enno	MAYBE	7.683	TIMEOUT	60.082	MAYBE	5.030	TIMEOUT	60.079
Rubio 04 gcd	MAYBE	3.372	MAYBE	3.248	MAYBE	2.746	MAYBE	2.649
Rubio 04 gm	MAYBE	4.825	O(n^1)	0.191	MAYBE	6.737	O(n^1)	0.215
Rubio 04 gmnp	O(n^2)	0.860	O(n^2)	0.632	O(n^2)	0.849	O(n^2)	0.680
Rubio 04 koen	O(n^1)	0.187	O(n^1)	0.165	O(n^1)	0.172	O(n^1)	0.138
Rubio 04 lescanne	O(n^1)	0.206	O(n^1)	0.153	O(n^1)	0.206	O(n^1)	0.160
Rubio 04 lindau	O(n^2)	47.615	O(n^2)	33.099	O(n^2)	40.238	O(n^2)	36.505
Rubio 04 logarquot	MAYBE	26.936	O(n^2)	12.171	MAYBE	32.174	O(n^2)	12.722
Rubio 04 ma96	TIMEOUT	60.141	TIMEOUT	60.092	TIMEOUT	60.128	TIMEOUT	60.091
Rubio 04 mfp90b	O(n^1)	0.182	O(n^1)	0.166	O(n^1)	0.197	O(n^1)	0.142
Rubio 04 mfp95	O(n^1)	0.178	O(n^1)	0.134	O(n^1)	0.185	O(n^1)	0.148
Rubio 04 nestrec	MAYBE	3.717	MAYBE	2.941	MAYBE	3.792	MAYBE	3.016
Rubio 04 p266	O(n^2)	1.420	O(n^2)	1.102	O(n^2)	1.444	O(n^2)	1.171
Rubio 04 polo2	MAYBE	9.133	MAYBE	6.848	MAYBE	9.771	MAYBE	6.887
Rubio 04 prov	MAYBE	2.099	O(n^1)	0.159	MAYBE	2.930	O(n^1)	0.163
Rubio 04 quick	MAYBE	10.648	MAYBE	7.571	MAYBE	10.592	MAYBE	7.295
Rubio 04 quotminus	MAYBE	6.211	MAYBE	4.966	MAYBE	6.285	MAYBE	4.431
Rubio 04 revlist	MAYBE	13.718	MAYBE	8.459	MAYBE	12.071	TIMEOUT	60.069
Rubio 04 selsort	MAYBE	11.733	MAYBE	6.633	MAYBE	10.040	MAYBE	7.063
Rubio 04 test4	O(n^2)	0.514	O(n^2)	0.452	O(n^2)	0.621	O(n^2)	0.520
Rubio 04 test829	O(n^2)	0.825	O(n^1)	0.158	O(n^2)	1.043	O(n^1)	0.178
Rubio 04 wst99	MAYBE	19.274	TIMEOUT	60.076	MAYBE	18.962	TIMEOUT	60.079
SK90 2.01	O(n^1)	0.253	O(n^1)	0.211	O(n^1)	0.272	O(n^1)	0.208
SK90 2.02	MAYBE	7.284	MAYBE	6.594	MAYBE	7.262	MAYBE	6.744
SK90 2.03	O(n^1)	0.192	O(n^1)	0.134	O(n^1)	0.206	O(n^1)	0.160
SK90 2.04	O(n^1)	0.225	O(n^1)	0.165	O(n^1)	0.189	O(n^1)	0.140
SK90 2.05	MAYBE	7.354	MAYBE	15.439	MAYBE	6.133	MAYBE	16.636
SK90 2.06	O(n^1)	0.233	O(n^1)	0.174	O(n^1)	0.222	O(n^1)	0.178
SK90 2.07	MAYBE	1.851	MAYBE	1.475	MAYBE	1.693	MAYBE	1.609
SK90 2.08	MAYBE	3.460	TIMEOUT	60.071	MAYBE	2.937	TIMEOUT	60.071
SK90 2.09	O(n^1)	0.176	O(n^1)	0.142	O(n^1)	0.183	O(n^1)	0.151
SK90 2.10	O(n^1)	0.321	O(n^1)	0.268	O(n^1)	0.317	O(n^1)	0.274
SK90 2.11	O(n^1)	0.212	O(n^1)	0.143	O(n^1)	0.202	O(n^1)	0.148
SK90 2.12	MAYBE	2.506	MAYBE	1.763	MAYBE	2.047	MAYBE	2.164
SK90 2.13	O(n^2)	0.580	O(n^2)	0.446	O(n^2)	0.561	O(n^2)	0.482
SK90 2.14	O(n^1)	0.270	O(n^1)	0.218	O(n^1)	0.252	O(n^1)	0.194
SK90 2.15	MAYBE	1.631	MAYBE	1.199	MAYBE	1.752	MAYBE	1.131
SK90 2.16	MAYBE	3.994	MAYBE	4.137	MAYBE	3.876	MAYBE	3.273
SK90 2.17	O(n^2)	0.756	O(n^1)	0.153	O(n^2)	0.700	O(n^1)	0.165
SK90 2.18	MAYBE	0.980	MAYBE	0.793	MAYBE	1.007	MAYBE	0.873
SK90 2.19	MAYBE	6.409	MAYBE	4.237	MAYBE	4.265	MAYBE	4.811
SK90 2.20	O(n^2)	0.763	O(n^1)	0.187	O(n^2)	0.745	O(n^1)	0.205
SK90 2.21	MAYBE	1.967	MAYBE	1.675	MAYBE	2.211	MAYBE	1.782
SK90 2.22	MAYBE	1.757	MAYBE	1.164	MAYBE	2.060	MAYBE	1.388
SK90 2.23	MAYBE	3.897	MAYBE	2.548	MAYBE	3.437	MAYBE	2.377
SK90 2.24	MAYBE	2.895	MAYBE	2.056	MAYBE	2.369	MAYBE	2.586
SK90 2.25	MAYBE	3.687	MAYBE	2.581	MAYBE	5.211	MAYBE	3.122
SK90 2.26	MAYBE	12.601	MAYBE	9.179	MAYBE	11.304	MAYBE	9.137
SK90 2.27	MAYBE	8.860	MAYBE	6.182	MAYBE	8.207	MAYBE	14.749
SK90 2.28	MAYBE	1.259	MAYBE	1.181	MAYBE	1.178	MAYBE	1.007
SK90 2.29	MAYBE	13.051	O(n^1)	0.236	MAYBE	9.891	O(n^1)	0.234
SK90 2.30	O(n^1)	0.183	O(n^1)	0.142	O(n^1)	0.188	O(n^1)	0.189
SK90 2.31	O(n^1)	0.229	O(n^1)	0.196	O(n^1)	0.232	O(n^1)	0.173
SK90 2.32	O(n^2)	0.808	O(n^2)	0.662	O(n^2)	0.788	O(n^2)	0.738
SK90 2.33	O(n^1)	0.233	O(n^1)	0.182	O(n^1)	0.239	O(n^1)	0.174
SK90 2.34	O(n^1)	0.262	O(n^1)	0.222	O(n^1)	0.259	O(n^1)	0.197
SK90 2.35	O(n^1)	0.252	O(n^1)	0.195	O(n^1)	0.244	O(n^1)	0.181
SK90 2.36	O(n^1)	0.176	O(n^1)	0.141	O(n^1)	0.175	O(n^1)	0.169
SK90 2.37	O(n^2)	0.441	O(n^1)	0.164	O(n^2)	0.464	O(n^1)	0.141
SK90 2.38	O(n^1)	0.196	O(n^1)	0.151	O(n^1)	0.189	O(n^1)	0.194
SK90 2.39	MAYBE	2.448	MAYBE	1.927	MAYBE	1.869	MAYBE	1.883
SK90 2.40	MAYBE	1.477	O(n^1)	0.199	MAYBE	1.552	O(n^1)	0.187
SK90 2.41	O(n^1)	0.266	O(n^1)	0.179	O(n^1)	0.238	O(n^1)	0.202
SK90 2.42	MAYBE	6.048	MAYBE	3.579	MAYBE	4.390	MAYBE	3.523
SK90 2.43	MAYBE	12.316	MAYBE	9.538	MAYBE	12.911	MAYBE	8.403
SK90 2.44	O(n^2)	1.753	O(n^1)	0.246	O(n^2)	1.701	O(n^1)	0.270
SK90 2.45	MAYBE	26.538	O(n^1)	0.240	MAYBE	27.189	O(n^1)	0.262
SK90 2.46	O(n^1)	0.216	O(n^1)	0.163	O(n^1)	0.225	O(n^1)	0.171
SK90 2.47	O(n^1)	0.180	O(n^1)	0.155	O(n^1)	0.159	O(n^1)	0.146
SK90 2.48	O(n^1)	0.186	O(n^1)	0.352	O(n^1)	0.207	O(n^1)	0.145
SK90 2.49	O(n^1)	0.528	O(n^1)	0.291	O(n^1)	0.354	O(n^1)	0.311
SK90 2.50	O(n^1)	0.155	O(n^1)	0.115	O(n^1)	0.154	O(n^1)	0.114
SK90 2.51	MAYBE	2.078	MAYBE	2.536	MAYBE	2.117	MAYBE	1.955
SK90 2.52	MAYBE	14.948	MAYBE	12.371	MAYBE	19.039	MAYBE	12.285
SK90 2.53	O(n^1)	0.206	O(n^1)	0.132	O(n^1)	0.201	O(n^1)	0.135
SK90 2.54	O(n^1)	0.172	O(n^1)	0.130	O(n^1)	0.165	O(n^1)	0.145
SK90 2.55	O(n^1)	0.178	O(n^1)	0.129	O(n^1)	0.224	O(n^1)	0.137
SK90 2.56	O(n^1)	0.167	O(n^1)	0.162	O(n^1)	0.180	O(n^1)	0.143
SK90 2.57	O(n^3)	6.557	O(n^1)	0.177	O(n^3)	7.972	O(n^1)	0.197
SK90 2.58	O(n^1)	0.177	O(n^1)	0.341	O(n^1)	0.203	O(n^1)	0.148
SK90 2.59	MAYBE	0.628	O(n^1)	0.122	MAYBE	0.706	O(n^1)	0.122
SK90 2.60	O(n^2)	8.598	O(n^1)	0.239	O(n^2)	7.025	O(n^1)	0.258
SK90 2.61	O(n^1)	0.403	O(n^1)	0.335	O(n^1)	0.435	O(n^1)	0.330
SK90 4.01	O(n^1)	0.184	O(n^1)	0.158	O(n^1)	0.199	O(n^1)	0.213
SK90 4.02	MAYBE	12.317	MAYBE	9.812	MAYBE	13.693	MAYBE	11.903
SK90 4.03	MAYBE	3.112	MAYBE	2.309	MAYBE	2.946	MAYBE	2.391
SK90 4.04	O(n^1)	0.277	O(n^1)	0.178	O(n^1)	0.237	O(n^1)	0.166
SK90 4.05	MAYBE	1.626	MAYBE	1.122	MAYBE	1.425	MAYBE	1.052
SK90 4.06	MAYBE	2.253	MAYBE	1.995	MAYBE	2.915	MAYBE	1.755
SK90 4.07	O(n^1)	0.204	O(n^1)	0.155	O(n^1)	0.206	O(n^1)	0.164
SK90 4.08	O(n^1)	0.384	O(n^1)	0.131	O(n^1)	0.177	O(n^1)	0.152
SK90 4.09	MAYBE	2.618	MAYBE	1.871	MAYBE	2.793	MAYBE	1.791
SK90 4.10	MAYBE	1.683	MAYBE	1.376	MAYBE	1.750	MAYBE	1.472
SK90 4.11	O(n^1)	0.222	O(n^1)	0.177	O(n^1)	0.206	O(n^1)	0.159
SK90 4.12	O(n^1)	0.217	O(n^1)	0.194	O(n^1)	0.220	O(n^1)	0.184
SK90 4.13	MAYBE	10.126	MAYBE	8.485	MAYBE	10.399	MAYBE	9.358
SK90 4.14	MAYBE	4.558	MAYBE	2.958	MAYBE	3.618	MAYBE	2.490
SK90 4.15	O(n^1)	0.201	O(n^1)	0.136	O(n^1)	0.187	O(n^1)	0.171
SK90 4.16	O(n^1)	0.256	O(n^1)	0.248	O(n^1)	0.252	O(n^1)	0.203
SK90 4.17	MAYBE	10.111	MAYBE	6.125	MAYBE	9.646	O(n^3)	25.969
SK90 4.18	MAYBE	6.373	O(n^1)	0.224	MAYBE	8.954	O(n^1)	0.194
SK90 4.19	O(n^1)	0.278	O(n^1)	0.196	O(n^1)	0.236	O(n^1)	0.187
SK90 4.20	MAYBE	2.142	MAYBE	2.159	MAYBE	2.537	MAYBE	2.023
SK90 4.21	MAYBE	2.796	MAYBE	2.128	MAYBE	2.636	MAYBE	2.373
SK90 4.22	MAYBE	2.359	MAYBE	1.749	MAYBE	1.860	MAYBE	1.610
SK90 4.23	MAYBE	1.992	MAYBE	1.486	MAYBE	1.996	MAYBE	1.642
SK90 4.24	MAYBE	12.514	MAYBE	6.988	MAYBE	15.616	MAYBE	9.182
SK90 4.25	O(n^1)	0.180	O(n^1)	0.144	O(n^1)	0.199	O(n^1)	0.153
SK90 4.26	MAYBE	2.638	MAYBE	1.724	MAYBE	2.783	MAYBE	2.027
SK90 4.27	TIMEOUT	60.126	TIMEOUT	60.072	TIMEOUT	60.095	TIMEOUT	60.071
SK90 4.28	MAYBE	11.875	O(n^1)	0.258	MAYBE	8.946	O(n^1)	0.269
SK90 4.29	O(n^1)	0.253	O(n^1)	0.194	O(n^1)	0.237	O(n^1)	0.202
SK90 4.30	O(n^3)	10.820	O(n^3)	5.731	O(n^3)	10.216	O(n^3)	5.622
SK90 4.31	MAYBE	4.741	MAYBE	4.744	MAYBE	6.051	MAYBE	3.855
SK90 4.32	MAYBE	48.132	MAYBE	26.686	MAYBE	46.811	MAYBE	25.058
SK90 4.33	O(n^1)	0.198	O(n^1)	0.136	O(n^1)	0.190	O(n^1)	0.131
SK90 4.34	MAYBE	12.557	MAYBE	11.314	MAYBE	14.336	MAYBE	11.316
SK90 4.35	O(n^2)	0.366	O(n^1)	0.138	O(n^2)	0.440	O(n^1)	0.160
SK90 4.36	O(n^2)	0.399	O(n^1)	0.132	O(n^2)	0.374	O(n^1)	0.141
SK90 4.37	O(n^1)	0.174	O(n^1)	0.147	O(n^1)	0.185	O(n^1)	0.131
SK90 4.38	O(n^1)	0.195	O(n^1)	0.147	O(n^1)	0.183	O(n^1)	0.148
SK90 4.39	O(n^1)	0.199	O(n^1)	0.156	O(n^1)	0.200	O(n^1)	0.174
SK90 4.40	MAYBE	4.511	MAYBE	3.061	MAYBE	4.233	MAYBE	2.951
SK90 4.41	MAYBE	0.540	MAYBE	0.379	MAYBE	0.603	O(n^1)	0.138
SK90 4.42	MAYBE	2.178	MAYBE	1.492	MAYBE	1.857	MAYBE	1.526
SK90 4.43	MAYBE	9.064	MAYBE	7.689	MAYBE	11.095	MAYBE	8.213
SK90 4.44	O(n^2)	0.437	O(n^2)	0.351	O(n^2)	0.489	O(n^2)	0.382
SK90 4.45	O(n^1)	0.156	O(n^1)	0.118	O(n^1)	0.151	O(n^1)	0.143
SK90 4.46	O(n^2)	0.248	O(n^2)	0.211	O(n^2)	0.254	O(n^2)	0.198
SK90 4.47	O(n^2)	11.970	O(n^1)	0.341	O(n^2)	9.263	O(n^1)	0.325
SK90 4.48	O(n^1)	0.217	O(n^1)	0.173	O(n^1)	0.211	O(n^1)	0.153
SK90 4.49	MAYBE	1.228	MAYBE	0.947	MAYBE	1.361	MAYBE	0.974
SK90 4.50	MAYBE	0.310	MAYBE	0.263	MAYBE	0.343	MAYBE	0.232
SK90 4.51	O(n^2)	0.857	O(n^2)	0.634	O(n^2)	0.745	O(n^2)	0.683
SK90 4.52	O(n^1)	0.307	O(n^1)	0.239	O(n^1)	0.331	O(n^1)	0.264
SK90 4.53	MAYBE	4.761	MAYBE	11.702	MAYBE	6.660	MAYBE	12.606
SK90 4.54	MAYBE	8.802	MAYBE	8.999	MAYBE	8.494	MAYBE	9.093
SK90 4.55	MAYBE	0.295	MAYBE	0.210	MAYBE	0.287	MAYBE	0.206
SK90 4.56	O(n^2)	0.392	O(n^2)	0.265	O(n^2)	0.334	O(n^2)	0.261
SK90 4.57	MAYBE	5.815	MAYBE	4.700	MAYBE	6.597	MAYBE	4.610
SK90 4.59	MAYBE	17.675	MAYBE	14.083	MAYBE	22.748	MAYBE	12.730
SK90 4.60	MAYBE	10.497	MAYBE	10.641	MAYBE	10.821	MAYBE	9.246
SK90 4.61	MAYBE	19.739	MAYBE	16.372	MAYBE	21.121	MAYBE	16.746
Secret 05 TRS aprove1	MAYBE	15.071	MAYBE	10.807	MAYBE	13.285	MAYBE	8.422
Secret 05 TRS aprove2	MAYBE	6.005	MAYBE	4.452	MAYBE	7.525	MAYBE	5.131
Secret 05 TRS aprove3	MAYBE	5.772	MAYBE	4.410	MAYBE	6.866	MAYBE	5.211
Secret 05 TRS aprove4	MAYBE	5.374	MAYBE	4.193	MAYBE	4.739	MAYBE	4.723
Secret 05 TRS aprove5	MAYBE	13.836	MAYBE	9.476	MAYBE	12.933	MAYBE	9.699
Secret 05 TRS cime1	TIMEOUT	60.240	TIMEOUT	60.092	TIMEOUT	60.128	TIMEOUT	60.092
Secret 05 TRS cime2	MAYBE	7.054	MAYBE	6.650	MAYBE	6.984	MAYBE	4.856
Secret 05 TRS cime3	MAYBE	5.897	MAYBE	3.913	MAYBE	6.672	MAYBE	4.273
Secret 05 TRS cime4	MAYBE	1.768	MAYBE	1.363	MAYBE	1.971	MAYBE	1.307
Secret 05 TRS cime5	TIMEOUT	60.172	TIMEOUT	60.120	TIMEOUT	65.281	TIMEOUT	60.122
Secret 05 TRS matchbox1	MAYBE	0.900	MAYBE	0.724	MAYBE	0.934	MAYBE	0.745
Secret 05 TRS matchbox2	MAYBE	6.875	O(n^2)	0.490	MAYBE	7.351	O(n^2)	0.550
Secret 05 TRS teparla1	TIMEOUT	60.117	TIMEOUT	60.070	TIMEOUT	60.116	TIMEOUT	60.066
Secret 05 TRS teparla2	MAYBE	19.200	MAYBE	12.747	MAYBE	21.252	MAYBE	15.707
Secret 05 TRS teparla3	MAYBE	13.803	MAYBE	11.909	MAYBE	13.314	MAYBE	11.360
Secret 05 TRS tpa1	MAYBE	16.048	MAYBE	10.102	MAYBE	12.607	MAYBE	11.225
Secret 05 TRS tpa2	MAYBE	12.907	MAYBE	11.456	MAYBE	14.654	MAYBE	11.611
Secret 05 TRS tpa3	MAYBE	7.055	MAYBE	6.072	MAYBE	7.838	MAYBE	5.792
Secret 05 TRS tpa4	MAYBE	8.908	MAYBE	8.756	MAYBE	10.098	MAYBE	7.051
Secret 05 TRS tpa5	MAYBE	9.487	MAYBE	9.600	MAYBE	13.021	MAYBE	7.814
Secret 05 TRS ttt1	MAYBE	3.442	MAYBE	2.301	MAYBE	3.117	MAYBE	2.559
Secret 05 TRS ttt2	MAYBE	1.270	MAYBE	1.178	MAYBE	1.616	MAYBE	0.987
Secret 06 TRS 10	TIMEOUT	60.283	TIMEOUT	60.068	TIMEOUT	60.104	TIMEOUT	60.071
Secret 06 TRS 2	MAYBE	21.036	MAYBE	25.421	MAYBE	27.819	MAYBE	26.640
Secret 06 TRS 3	TIMEOUT	60.113	TIMEOUT	60.072	TIMEOUT	60.114	TIMEOUT	60.071
Secret 06 TRS 4	TIMEOUT	60.122	TIMEOUT	60.068	TIMEOUT	60.109	TIMEOUT	60.068
Secret 06 TRS 5	MAYBE	18.963	MAYBE	15.769	MAYBE	16.548	MAYBE	17.177
Secret 06 TRS 6	O(n^2)	5.635	O(n^2)	4.741	O(n^2)	6.260	O(n^2)	5.048
Secret 06 TRS 7	MAYBE	14.214	MAYBE	13.827	MAYBE	13.957	MAYBE	15.112
Secret 06 TRS 8	MAYBE	43.971	MAYBE	39.103	MAYBE	45.723	MAYBE	38.151
Secret 06 TRS 9	MAYBE	14.693	MAYBE	10.202	MAYBE	11.822	MAYBE	9.193
Secret 06 TRS addList	MAYBE	13.077	MAYBE	9.949	MAYBE	15.319	MAYBE	11.292
Secret 06 TRS cime1	MAYBE	9.277	MAYBE	7.006	MAYBE	10.474	MAYBE	7.625
Secret 06 TRS divExp	MAYBE	12.666	MAYBE	7.867	MAYBE	11.389	MAYBE	9.135
Secret 06 TRS division	MAYBE	4.589	MAYBE	3.236	MAYBE	3.957	MAYBE	3.936
Secret 06 TRS double	MAYBE	10.499	MAYBE	6.230	MAYBE	10.063	MAYBE	9.675
Secret 06 TRS gen-1	O(n^2)	2.893	O(n^2)	2.051	O(n^2)	2.955	O(n^2)	2.377
Secret 06 TRS gen-10	MAYBE	13.513	MAYBE	10.466	MAYBE	14.834	O(n^2)	5.437
Secret 06 TRS gen-14	MAYBE	9.534	MAYBE	6.662	MAYBE	10.135	MAYBE	7.751
Secret 06 TRS gen-15	MAYBE	18.220	MAYBE	11.241	MAYBE	14.426	MAYBE	11.970
Secret 06 TRS gen-17	MAYBE	9.522	MAYBE	41.086	MAYBE	10.138	MAYBE	48.552
Secret 06 TRS gen-18	O(n^3)	20.844	O(n^3)	19.080	O(n^3)	21.772	O(n^3)	14.880
Secret 06 TRS gen-22	MAYBE	12.342	MAYBE	12.972	MAYBE	15.523	MAYBE	11.934
Secret 06 TRS gen-25	MAYBE	10.378	MAYBE	8.790	MAYBE	11.991	MAYBE	8.620
Secret 06 TRS gen-28	MAYBE	13.589	MAYBE	11.398	MAYBE	9.914	MAYBE	9.028
Secret 06 TRS gen-9	MAYBE	8.385	MAYBE	8.420	MAYBE	10.652	O(n^2)	3.506
Secret 06 TRS logarithm	MAYBE	16.695	MAYBE	11.795	MAYBE	15.677	MAYBE	12.678
Secret 06 TRS nrOfNodes	MAYBE	17.751	MAYBE	17.228	MAYBE	22.554	MAYBE	15.879
Secret 06 TRS reverse	MAYBE	8.097	MAYBE	7.568	MAYBE	10.046	MAYBE	6.877
Secret 06 TRS sumList	MAYBE	17.661	MAYBE	10.657	MAYBE	15.075	MAYBE	11.485
Secret 06 TRS times	MAYBE	11.366	MAYBE	6.749	MAYBE	10.452	MAYBE	5.948
Secret 06 TRS toList	MAYBE	7.566	MAYBE	6.208	MAYBE	7.277	MAYBE	6.217
Secret 06 TRS tpa01	MAYBE	1.650	MAYBE	1.327	MAYBE	1.493	MAYBE	1.172
Secret 06 TRS tpa02	MAYBE	2.259	MAYBE	1.085	MAYBE	1.737	MAYBE	1.202
Secret 06 TRS tpa03	MAYBE	1.226	MAYBE	0.985	MAYBE	1.257	MAYBE	0.877
Secret 06 TRS tpa04	MAYBE	26.568	MAYBE	16.877	MAYBE	21.464	MAYBE	19.502
Secret 06 TRS tpa05	MAYBE	38.077	MAYBE	31.491	MAYBE	39.283	MAYBE	32.347
Secret 06 TRS tpa06	MAYBE	14.737	MAYBE	11.723	MAYBE	14.619	MAYBE	11.430
Secret 06 TRS tpa07	MAYBE	6.124	MAYBE	6.219	MAYBE	6.167	MAYBE	4.343
Secret 06 TRS tpa08	TIMEOUT	60.114	TIMEOUT	60.078	TIMEOUT	60.121	TIMEOUT	60.074
Secret 06 TRS tpa09	TIMEOUT	61.423	TIMEOUT	60.080	TIMEOUT	60.837	TIMEOUT	60.082
Secret 06 TRS tpa10	MAYBE	21.946	MAYBE	14.399	MAYBE	16.616	MAYBE	12.755
Secret 07 TRS 1	MAYBE	15.892	MAYBE	8.892	MAYBE	10.420	MAYBE	8.770
Secret 07 TRS 2	MAYBE	9.893	MAYBE	6.713	MAYBE	7.832	MAYBE	6.903
Secret 07 TRS 3	MAYBE	50.711	MAYBE	49.307	MAYBE	52.498	MAYBE	46.258
Secret 07 TRS 4	TIMEOUT	60.110	TIMEOUT	60.073	TIMEOUT	60.117	TIMEOUT	60.071
Secret 07 TRS 5	MAYBE	18.997	MAYBE	14.241	MAYBE	19.322	MAYBE	15.136
Secret 07 TRS 7	TIMEOUT	60.510	TIMEOUT	60.072	TIMEOUT	60.110	TIMEOUT	60.070
Secret 07 TRS aprove01	MAYBE	10.009	MAYBE	7.273	MAYBE	9.313	MAYBE	6.810
Secret 07 TRS aprove02	MAYBE	6.761	MAYBE	5.086	MAYBE	5.287	MAYBE	4.775
Secret 07 TRS aprove03	MAYBE	15.260	MAYBE	13.974	MAYBE	17.522	MAYBE	11.701
Secret 07 TRS aprove04	MAYBE	14.223	MAYBE	8.840	MAYBE	17.361	MAYBE	10.937
Secret 07 TRS aprove05	MAYBE	5.931	MAYBE	4.575	MAYBE	5.755	MAYBE	4.798
Secret 07 TRS aprove06	MAYBE	11.243	MAYBE	6.481	MAYBE	8.495	MAYBE	7.516
Secret 07 TRS aprove07	MAYBE	4.324	MAYBE	3.285	MAYBE	4.945	MAYBE	3.818
Secret 07 TRS aprove08	MAYBE	7.373	MAYBE	3.918	MAYBE	7.617	MAYBE	4.439
Secret 07 TRS aprove09	MAYBE	6.324	MAYBE	4.810	MAYBE	5.140	MAYBE	3.504
Secret 07 TRS aprove10	MAYBE	12.862	MAYBE	9.422	MAYBE	17.928	MAYBE	11.937
Secret 07 TRS secret1	MAYBE	9.532	MAYBE	7.358	MAYBE	9.452	MAYBE	7.181
Secret 07 TRS secret2	MAYBE	11.711	MAYBE	9.427	MAYBE	14.173	MAYBE	9.242
Secret 07 TRS secret3	MAYBE	10.028	MAYBE	5.896	MAYBE	9.510	MAYBE	6.876
Secret 07 TRS secret4	MAYBE	16.776	MAYBE	9.304	MAYBE	15.130	MAYBE	12.105
Secret 07 TRS secret5	MAYBE	14.863	MAYBE	12.102	MAYBE	14.738	MAYBE	11.733
Strategy removed AG01 4.12a	MAYBE	0.352	MAYBE	0.258	MAYBE	0.365	MAYBE	0.260
Strategy removed AG01 4.13	MAYBE	0.382	MAYBE	0.263	MAYBE	0.338	MAYBE	0.278
Strategy removed AG01 4.14	MAYBE	1.174	MAYBE	5.157	MAYBE	1.322	MAYBE	5.112
Strategy removed AG01 4.15	MAYBE	2.352	MAYBE	2.378	MAYBE	2.700	MAYBE	2.365
Strategy removed AG01 4.16	MAYBE	0.814	MAYBE	0.666	MAYBE	0.913	MAYBE	0.669
Strategy removed AG01 4.17	TIMEOUT	60.098	TIMEOUT	60.068	TIMEOUT	60.111	TIMEOUT	60.067
Strategy removed AG01 4.18	MAYBE	13.657	O(n^1)	0.206	MAYBE	14.502	O(n^1)	0.204
Strategy removed AG01 4.19	MAYBE	1.554	MAYBE	1.478	MAYBE	2.005	MAYBE	1.614
Strategy removed AG01 4.2	MAYBE	1.457	MAYBE	14.551	MAYBE	3.602	MAYBE	15.195
Strategy removed AG01 4.20	O(n^2)	0.417	O(n^2)	0.295	O(n^2)	0.371	O(n^2)	0.281
Strategy removed AG01 4.20a	O(n^2)	0.882	O(n^2)	0.680	O(n^2)	0.941	O(n^2)	0.708
Strategy removed AG01 4.21	O(n^3)	1.941	O(n^2)	0.463	O(n^3)	1.995	O(n^2)	0.456
Strategy removed AG01 4.22	MAYBE	2.612	MAYBE	5.578	MAYBE	3.090	MAYBE	5.719
Strategy removed AG01 4.23	MAYBE	15.087	MAYBE	9.862	MAYBE	11.582	MAYBE	8.210
Strategy removed AG01 4.25	MAYBE	0.419	MAYBE	0.322	MAYBE	0.393	MAYBE	0.290
Strategy removed AG01 4.26	MAYBE	2.519	MAYBE	1.702	MAYBE	2.134	MAYBE	1.760
Strategy removed AG01 4.27	MAYBE	18.839	MAYBE	15.395	MAYBE	21.356	MAYBE	15.588
Strategy removed AG01 4.28	O(n^3)	26.659	O(n^3)	23.450	O(n^3)	26.032	O(n^3)	20.435
Strategy removed AG01 4.29	MAYBE	11.036	MAYBE	8.685	MAYBE	11.188	MAYBE	8.597
Strategy removed AG01 4.3	MAYBE	0.263	MAYBE	0.207	MAYBE	0.296	MAYBE	0.239
Strategy removed AG01 4.30	MAYBE	6.075	MAYBE	3.399	MAYBE	5.862	MAYBE	4.890
Strategy removed AG01 4.30a	MAYBE	14.348	TIMEOUT	60.071	MAYBE	15.487	MAYBE	49.753
Strategy removed AG01 4.30b	MAYBE	2.822	MAYBE	4.621	MAYBE	2.858	MAYBE	4.349
Strategy removed AG01 4.30c	MAYBE	2.546	MAYBE	3.482	MAYBE	3.064	MAYBE	3.511
Strategy removed AG01 4.32	O(n^2)	1.606	O(n^2)	1.032	O(n^2)	1.372	O(n^2)	1.070
Strategy removed AG01 4.33	MAYBE	8.710	MAYBE	7.062	MAYBE	9.286	MAYBE	6.722
Strategy removed AG01 4.34	O(n^2)	1.700	O(n^2)	1.374	O(n^2)	1.747	O(n^2)	1.264
Strategy removed AG01 4.35	TIMEOUT	60.136	TIMEOUT	60.094	TIMEOUT	60.128	TIMEOUT	60.094
Strategy removed AG01 4.36	MAYBE	8.797	MAYBE	6.620	MAYBE	9.411	MAYBE	6.509
Strategy removed AG01 4.37	O(n^2)	0.940	O(n^2)	0.830	O(n^2)	1.115	O(n^2)	0.815
Strategy removed AG01 4.37a	O(n^2)	1.223	O(n^2)	1.018	O(n^2)	1.278	O(n^2)	0.996
Strategy removed AG01 4.4	MAYBE	0.523	MAYBE	0.456	MAYBE	0.722	MAYBE	0.458
Strategy removed AG01 4.7	TIMEOUT	60.101	TIMEOUT	60.069	TIMEOUT	60.109	TIMEOUT	60.068
Strategy removed CSR 05 Ex14 AEGL02	MAYBE	1.265	MAYBE	1.107	MAYBE	1.217	MAYBE	1.200
Strategy removed CSR 05 Ex15 Luc98	MAYBE	2.070	MAYBE	1.594	MAYBE	1.825	MAYBE	1.685
Strategy removed CSR 05 Ex1 2 AEL03	MAYBE	5.275	MAYBE	6.182	MAYBE	5.975	MAYBE	5.832
Strategy removed CSR 05 Ex1 2 Luc02c	MAYBE	1.636	MAYBE	1.314	MAYBE	1.568	MAYBE	1.255
Strategy removed CSR 05 Ex1 GL02a	MAYBE	1.999	MAYBE	1.809	MAYBE	1.911	MAYBE	1.692
Strategy removed CSR 05 Ex1 GM03	MAYBE	9.150	MAYBE	6.941	MAYBE	8.974	MAYBE	8.580
Strategy removed CSR 05 Ex1 GM99	MAYBE	0.309	MAYBE	0.400	MAYBE	0.362	MAYBE	0.248
Strategy removed CSR 05 Ex1 Luc02b	MAYBE	1.953	MAYBE	1.759	MAYBE	2.454	MAYBE	1.682
Strategy removed CSR 05 Ex1 Zan97	MAYBE	0.268	MAYBE	0.230	MAYBE	0.311	MAYBE	0.213
Strategy removed CSR 05 Ex24 GM04	MAYBE	0.331	MAYBE	0.267	MAYBE	0.320	MAYBE	0.237
Strategy removed CSR 05 Ex26 Luc03b	MAYBE	6.996	MAYBE	4.967	MAYBE	7.070	MAYBE	5.182
Strategy removed CSR 05 Ex2 Luc03b	MAYBE	2.066	MAYBE	1.753	MAYBE	1.987	MAYBE	1.867
Strategy removed CSR 05 Ex3 12 Luc96a	MAYBE	1.333	MAYBE	1.209	MAYBE	1.300	MAYBE	1.524
Strategy removed CSR 05 Ex3 2 Luc97	MAYBE	3.270	MAYBE	2.372	MAYBE	3.669	MAYBE	3.141
Strategy removed CSR 05 Ex3 3 25 Bor03	MAYBE	5.786	MAYBE	5.143	MAYBE	7.091	MAYBE	5.374
Strategy removed CSR 05 Ex49 GM04	MAYBE	8.034	O(n^2)	3.114	MAYBE	8.840	O(n^2)	3.637
Strategy removed CSR 05 Ex4 4 Luc96b	MAYBE	1.504	MAYBE	1.299	MAYBE	1.493	MAYBE	1.232
Strategy removed CSR 05 Ex4 7 15 Bor03	TIMEOUT	60.117	TIMEOUT	60.269	TIMEOUT	60.112	TIMEOUT	60.068
Strategy removed CSR 05 Ex4 7 37 Bor03	MAYBE	5.769	MAYBE	4.749	MAYBE	6.217	MAYBE	4.611
Strategy removed CSR 05 Ex4 7 56 Bor03	MAYBE	1.309	MAYBE	0.926	MAYBE	1.391	MAYBE	1.184
Strategy removed CSR 05 Ex4 7 77 Bor03	MAYBE	0.437	MAYBE	0.305	MAYBE	0.371	MAYBE	0.325
Strategy removed CSR 05 Ex4 Zan97	MAYBE	2.588	MAYBE	1.806	MAYBE	2.519	MAYBE	1.865
Strategy removed CSR 05 Ex5 7 Luc97	MAYBE	5.519	MAYBE	5.498	MAYBE	6.133	MAYBE	4.429
Strategy removed CSR 05 Ex5 Zan97	MAYBE	0.671	MAYBE	0.561	MAYBE	0.834	MAYBE	0.590
Strategy removed CSR 05 Ex6 15 AEL02	MAYBE	5.911	MAYBE	4.922	MAYBE	6.178	MAYBE	5.046
Strategy removed CSR 05 Ex6 9 Luc02c	MAYBE	2.382	MAYBE	1.791	MAYBE	2.227	MAYBE	1.622
Strategy removed CSR 05 Ex6 GM04	MAYBE	0.505	MAYBE	0.456	MAYBE	0.525	MAYBE	0.479
Strategy removed CSR 05 Ex6 Luc98	MAYBE	1.625	MAYBE	1.302	MAYBE	1.645	MAYBE	1.166
Strategy removed CSR 05 Ex7 BLR02	MAYBE	2.375	MAYBE	2.060	MAYBE	2.194	MAYBE	1.993
Strategy removed CSR 05 Ex8 BLR02	MAYBE	8.393	MAYBE	6.831	MAYBE	8.825	MAYBE	5.724
Strategy removed CSR 05 Ex9 BLR02	MAYBE	13.023	MAYBE	13.802	MAYBE	16.014	MAYBE	13.331
Strategy remove...R 05 ExAppendixB AEL03	MAYBE	8.681	MAYBE	5.892	MAYBE	10.387	MAYBE	4.828
Strategy removed CSR 05 ExConc Zan97	MAYBE	0.705	MAYBE	0.594	MAYBE	0.816	MAYBE	0.701
Strategy removed CSR 05 ExIntrod GM01	MAYBE	2.062	MAYBE	2.045	MAYBE	2.225	MAYBE	1.559
Strategy removed CSR 05 ExIntrod GM04	MAYBE	2.145	MAYBE	1.656	MAYBE	2.048	MAYBE	1.880
Strategy removed CSR 05 ExIntrod GM99	MAYBE	13.967	MAYBE	12.212	MAYBE	13.938	MAYBE	11.209
Strategy removed CSR 05 ExIntrod Zan97	MAYBE	10.099	MAYBE	8.357	MAYBE	11.382	MAYBE	8.576
Strategy remove...ed 05 ExSec11 1 Luc02a	MAYBE	10.510	MAYBE	7.675	MAYBE	7.391	MAYBE	8.291
Strategy removed mixed 05 bn111	MAYBE	0.771	MAYBE	0.587	MAYBE	0.731	MAYBE	0.559
Strategy removed mixed 05 ex1	MAYBE	0.891	MAYBE	0.815	MAYBE	0.986	MAYBE	0.555
Strategy removed mixed 05 ex2	MAYBE	1.480	MAYBE	1.063	MAYBE	1.237	MAYBE	1.027
Strategy removed mixed 05 ex3	MAYBE	3.071	MAYBE	2.148	MAYBE	2.594	MAYBE	2.319
Strategy removed mixed 05 ex4	MAYBE	0.468	MAYBE	0.415	MAYBE	0.528	MAYBE	0.407
Strategy removed mixed 05 ex5	MAYBE	0.409	MAYBE	0.270	MAYBE	0.410	MAYBE	0.247
Strategy removed mixed 05 ex6	MAYBE	2.019	MAYBE	1.746	MAYBE	2.153	MAYBE	1.760
Strategy removed mixed 05 gkg	MAYBE	0.596	MAYBE	0.500	MAYBE	0.759	MAYBE	0.491
Strategy removed mixed 05 muladd	MAYBE	19.602	MAYBE	15.419	MAYBE	18.431	MAYBE	11.958
Strategy removed mixed 05 n001	TIMEOUT	60.113	TIMEOUT	60.069	TIMEOUT	60.111	TIMEOUT	60.068
Strategy removed mixed 05 test10	MAYBE	1.124	MAYBE	1.046	MAYBE	1.376	MAYBE	1.123
Strategy removed mixed 05 test75	MAYBE	0.628	MAYBE	0.512	MAYBE	0.693	MAYBE	0.529
Strategy removed mixed 05 test76	MAYBE	1.397	MAYBE	1.201	MAYBE	1.751	MAYBE	1.145
Strategy removed mixed 05 test77	MAYBE	0.975	MAYBE	0.900	MAYBE	1.006	MAYBE	0.915
Strategy removed mixed 05 test830	O(n^2)	1.079	O(n^2)	0.854	O(n^2)	1.186	O(n^2)	0.951
Strategy removed mixed 05 test9	MAYBE	0.380	MAYBE	0.320	MAYBE	0.477	MAYBE	0.333
Strategy removed mixed 05 toyama	MAYBE	0.300	MAYBE	0.260	MAYBE	0.375	MAYBE	0.252
Strategy removed mixed 05 tricky1	MAYBE	10.455	MAYBE	9.412	MAYBE	11.491	O(n^2)	4.191
TCT 12 polycounter-10	MAYBE	6.223	MAYBE	4.900	MAYBE	6.419	MAYBE	5.199
TCT 12 polycounter-5	MAYBE	1.871	MAYBE	1.413	MAYBE	1.988	MAYBE	1.488
TCT 12 recursion-10	MAYBE	7.155	MAYBE	4.286	MAYBE	7.765	MAYBE	4.410
TCT 12 recursion-5	MAYBE	3.055	MAYBE	2.125	MAYBE	2.969	MAYBE	2.326
TCT 12 sat	MAYBE	6.472	MAYBE	5.037	MAYBE	9.195	O(n^2)	1.837
Transformed CSR 04 Ex14 AEGL02 C	MAYBE	10.730	MAYBE	6.789	MAYBE	8.696	MAYBE	7.869
Transformed CSR 04 Ex14 AEGL02 FR	MAYBE	3.792	MAYBE	2.617	MAYBE	4.435	MAYBE	4.053
Transformed CSR 04 Ex14 AEGL02 GM	MAYBE	2.744	MAYBE	1.981	MAYBE	2.779	O(n^3)	3.105
Transformed CSR 04 Ex14 AEGL02 L	MAYBE	0.296	MAYBE	0.221	MAYBE	0.306	MAYBE	0.218
Transformed CSR 04 Ex14 AEGL02 Z	MAYBE	3.253	MAYBE	2.698	MAYBE	3.066	MAYBE	2.900
Transformed CSR 04 Ex14 AEGL02 iGM	MAYBE	10.701	MAYBE	9.725	MAYBE	11.025	MAYBE	8.466
Transformed CSR 04 Ex14 Luc06 C	TIMEOUT	60.114	TIMEOUT	60.083	TIMEOUT	60.125	TIMEOUT	60.085
Transformed CSR 04 Ex14 Luc06 FR	MAYBE	0.537	MAYBE	0.453	MAYBE	0.482	MAYBE	0.401
Transformed CSR 04 Ex14 Luc06 GM	MAYBE	1.952	MAYBE	1.321	MAYBE	1.867	MAYBE	1.484
Transformed CSR 04 Ex14 Luc06 L	MAYBE	0.334	MAYBE	0.256	MAYBE	0.303	MAYBE	0.248
Transformed CSR 04 Ex14 Luc06 iGM	TIMEOUT	60.123	TIMEOUT	60.088	TIMEOUT	60.126	TIMEOUT	60.082
Transformed CSR 04 Ex15 Luc06 C	TIMEOUT	60.128	TIMEOUT	60.074	TIMEOUT	60.113	TIMEOUT	60.073
Transformed CSR 04 Ex15 Luc06 FR	O(n^2)	0.828	O(n^2)	0.705	O(n^2)	0.866	O(n^2)	0.659
Transformed CSR 04 Ex15 Luc06 GM	O(n^2)	0.904	O(n^2)	0.609	O(n^2)	0.760	O(n^2)	0.681
Transformed CSR 04 Ex15 Luc06 L	MAYBE	0.196	MAYBE	0.168	MAYBE	0.182	MAYBE	0.146
Transformed CSR 04 Ex15 Luc06 Z	O(n^2)	0.829	O(n^2)	0.686	O(n^2)	0.887	O(n^2)	0.649
Transformed CSR 04 Ex15 Luc06 iGM	O(n^2)	9.979	O(n^2)	3.587	O(n^2)	10.018	O(n^2)	4.123
Transformed CSR 04 Ex15 Luc98 C	MAYBE	17.306	MAYBE	12.528	MAYBE	18.911	MAYBE	14.252
Transformed CSR 04 Ex15 Luc98 FR	MAYBE	11.687	MAYBE	7.879	MAYBE	9.840	MAYBE	8.838
Transformed CSR 04 Ex15 Luc98 GM	O(n^1)	0.663	O(n^1)	0.356	O(n^1)	0.412	O(n^1)	0.346
Transformed CSR 04 Ex15 Luc98 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex15 Luc98 Z	MAYBE	11.005	MAYBE	6.997	MAYBE	14.101	MAYBE	8.920
Transformed CSR 04 Ex15 Luc98 iGM	O(n^2)	19.805	O(n^2)	15.060	O(n^2)	18.356	O(n^2)	15.462
Transformed CSR 04 Ex16 Luc06 C	MAYBE	33.192	MAYBE	32.032	MAYBE	32.887	MAYBE	40.668
Transformed CSR 04 Ex16 Luc06 FR	MAYBE	0.301	MAYBE	0.247	MAYBE	0.326	MAYBE	0.274
Transformed CSR 04 Ex16 Luc06 GM	MAYBE	0.776	MAYBE	0.629	MAYBE	0.756	MAYBE	0.643
Transformed CSR 04 Ex16 Luc06 L	MAYBE	0.445	MAYBE	0.186	MAYBE	0.232	MAYBE	0.174
Transformed CSR 04 Ex16 Luc06 iGM	MAYBE	7.246	MAYBE	5.759	MAYBE	6.634	MAYBE	5.524
Transformed CSR 04 Ex18 Luc06 C	TIMEOUT	60.319	TIMEOUT	60.072	TIMEOUT	60.121	TIMEOUT	60.071
Transformed CSR 04 Ex18 Luc06 FR	O(n^1)	0.228	O(n^1)	0.163	O(n^1)	0.227	O(n^1)	0.169
Transformed CSR 04 Ex18 Luc06 GM	O(n^2)	0.734	O(n^1)	0.182	O(n^2)	0.828	O(n^1)	0.166
Transformed CSR 04 Ex18 Luc06 L	O(n^1)	0.163	O(n^1)	0.123	O(n^1)	0.166	O(n^1)	0.154
Transformed CSR 04 Ex18 Luc06 Z	O(n^1)	0.209	O(n^1)	0.157	O(n^1)	0.206	O(n^1)	0.150
Transformed CSR 04 Ex18 Luc06 iGM	O(n^2)	6.907	O(n^2)	3.450	O(n^2)	7.472	O(n^2)	3.335
Transformed CSR 04 Ex1 2 AEL03 C	MAYBE	16.802	MAYBE	17.059	MAYBE	17.650	MAYBE	13.174
Transformed CSR 04 Ex1 2 AEL03 FR	MAYBE	12.170	MAYBE	10.979	MAYBE	12.949	MAYBE	18.270
Transformed CSR 04 Ex1 2 AEL03 GM	MAYBE	11.653	MAYBE	10.660	MAYBE	12.754	MAYBE	9.318
Transformed CSR 04 Ex1 2 AEL03 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex1 2 AEL03 Z	MAYBE	14.112	MAYBE	10.741	MAYBE	12.168	MAYBE	10.722
Transformed CSR 04 Ex1 2 AEL03 iGM	MAYBE	11.652	MAYBE	8.818	MAYBE	11.427	MAYBE	8.790
Transformed CSR 04 Ex1 2 Luc02c C	MAYBE	12.690	MAYBE	8.870	MAYBE	9.588	MAYBE	8.086
Transformed CSR 04 Ex1 2 Luc02c FR	MAYBE	4.877	MAYBE	2.533	MAYBE	3.247	O(n^3)	3.627
Transformed CSR 04 Ex1 2 Luc02c GM	MAYBE	2.918	MAYBE	2.603	MAYBE	2.644	MAYBE	3.227
Transformed CSR 04 Ex1 2 Luc02c L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex1 2 Luc02c Z	O(n^1)	0.235	O(n^1)	0.179	O(n^1)	0.217	O(n^1)	0.190
Transformed CSR 04 Ex1 2 Luc02c iGM	MAYBE	12.454	MAYBE	10.002	MAYBE	13.370	MAYBE	11.432
Transformed CSR 04 Ex1 GL02a C	MAYBE	13.860	MAYBE	12.320	MAYBE	14.748	MAYBE	12.922
Transformed CSR 04 Ex1 GL02a FR	MAYBE	8.175	MAYBE	5.141	MAYBE	8.567	MAYBE	6.998
Transformed CSR 04 Ex1 GL02a GM	MAYBE	3.828	MAYBE	3.989	MAYBE	5.229	O(n^2)	1.338
Transformed CSR 04 Ex1 GL02a L	MAYBE	0.414	MAYBE	0.346	MAYBE	0.695	MAYBE	0.359
Transformed CSR 04 Ex1 GL02a Z	MAYBE	8.563	MAYBE	6.606	MAYBE	8.098	MAYBE	8.084
Transformed CSR 04 Ex1 GL02a iGM	MAYBE	29.472	MAYBE	14.484	MAYBE	21.282	MAYBE	14.325
Transformed CSR 04 Ex1 GM03 C	MAYBE	11.696	MAYBE	9.291	MAYBE	12.730	MAYBE	9.725
Transformed CSR 04 Ex1 GM03 FR	MAYBE	6.008	MAYBE	6.985	MAYBE	8.785	MAYBE	7.188
Transformed CSR 04 Ex1 GM03 GM	MAYBE	11.070	MAYBE	10.085	MAYBE	14.928	MAYBE	9.413
Transformed CSR 04 Ex1 GM03 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex1 GM03 Z	MAYBE	8.934	MAYBE	7.692	MAYBE	11.618	MAYBE	6.436
Transformed CSR 04 Ex1 GM03 iGM	MAYBE	13.350	MAYBE	14.541	MAYBE	15.072	MAYBE	14.508
Transformed CSR 04 Ex1 GM99 C	MAYBE	29.028	MAYBE	27.537	MAYBE	28.356	MAYBE	46.146
Transformed CSR 04 Ex1 GM99 FR	MAYBE	0.400	MAYBE	0.336	MAYBE	0.490	MAYBE	0.346
Transformed CSR 04 Ex1 GM99 GM	MAYBE	1.072	MAYBE	0.811	MAYBE	1.127	MAYBE	1.032
Transformed CSR 04 Ex1 GM99 L	MAYBE	0.198	MAYBE	0.153	MAYBE	0.205	MAYBE	0.174
Transformed CSR 04 Ex1 GM99 iGM	MAYBE	6.874	MAYBE	4.441	MAYBE	5.873	MAYBE	48.604
Transformed CSR 04 Ex1 Luc02b C	MAYBE	13.586	MAYBE	11.271	MAYBE	14.200	MAYBE	10.613
Transformed CSR 04 Ex1 Luc02b FR	MAYBE	4.781	MAYBE	2.997	MAYBE	4.775	MAYBE	4.118
Transformed CSR 04 Ex1 Luc02b GM	MAYBE	4.881	MAYBE	4.167	MAYBE	4.741	MAYBE	4.424
Transformed CSR 04 Ex1 Luc02b L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex1 Luc02b Z	MAYBE	3.639	TIMEOUT	60.074	MAYBE	3.662	TIMEOUT	60.076
Transformed CSR 04 Ex1 Luc02b iGM	MAYBE	23.779	MAYBE	14.328	MAYBE	22.909	MAYBE	13.579
Transformed CSR 04 Ex1 Luc04b C	MAYBE	10.147	MAYBE	8.199	MAYBE	10.487	MAYBE	7.755
Transformed CSR 04 Ex1 Luc04b FR	MAYBE	2.682	MAYBE	2.304	MAYBE	2.200	MAYBE	2.294
Transformed CSR 04 Ex1 Luc04b GM	MAYBE	6.692	MAYBE	6.575	MAYBE	6.732	MAYBE	6.900
Transformed CSR 04 Ex1 Luc04b L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex1 Luc04b Z	MAYBE	2.253	MAYBE	1.616	MAYBE	1.865	MAYBE	1.656
Transformed CSR 04 Ex1 Luc04b iGM	MAYBE	14.063	MAYBE	10.310	MAYBE	17.769	MAYBE	10.569
Transformed CSR 04 Ex1 Zan97 C	TIMEOUT	60.130	TIMEOUT	60.078	TIMEOUT	60.131	TIMEOUT	60.075
Transformed CSR 04 Ex1 Zan97 FR	MAYBE	0.650	MAYBE	0.478	MAYBE	0.702	MAYBE	0.457
Transformed CSR 04 Ex1 Zan97 GM	O(n^1)	0.223	O(n^1)	0.163	O(n^1)	0.264	O(n^1)	0.171
Transformed CSR 04 Ex1 Zan97 L	MAYBE	0.189	MAYBE	0.158	MAYBE	0.179	MAYBE	0.184
Transformed CSR 04 Ex1 Zan97 iGM	O(n^2)	1.259	O(n^2)	0.936	O(n^2)	1.294	O(n^2)	0.976
Transformed CSR 04 Ex23 Luc06 C	MAYBE	22.146	MAYBE	17.910	MAYBE	29.939	MAYBE	18.222
Transformed CSR 04 Ex23 Luc06 FR	O(n^1)	0.225	O(n^1)	0.200	O(n^1)	0.241	O(n^1)	0.181
Transformed CSR 04 Ex23 Luc06 GM	O(n^2)	1.149	O(n^1)	0.171	O(n^2)	1.200	O(n^1)	0.176
Transformed CSR 04 Ex23 Luc06 L	O(n^1)	0.186	O(n^1)	0.127	O(n^1)	0.163	O(n^1)	0.127
Transformed CSR 04 Ex23 Luc06 Z	O(n^1)	0.245	O(n^1)	0.152	O(n^1)	0.222	O(n^1)	0.155
Transformed CSR 04 Ex23 Luc06 iGM	O(n^2)	9.190	O(n^2)	7.424	O(n^2)	11.137	O(n^2)	7.799
Transformed CSR 04 Ex24 GM04 C	TIMEOUT	60.137	TIMEOUT	60.080	TIMEOUT	60.118	TIMEOUT	60.083
Transformed CSR 04 Ex24 GM04 FR	MAYBE	1.427	MAYBE	0.993	MAYBE	1.412	MAYBE	1.027
Transformed CSR 04 Ex24 GM04 GM	MAYBE	1.069	MAYBE	0.916	MAYBE	1.097	MAYBE	0.938
Transformed CSR 04 Ex24 GM04 L	MAYBE	0.219	MAYBE	0.174	MAYBE	0.250	MAYBE	0.183
Transformed CSR 04 Ex24 GM04 Z	MAYBE	1.174	MAYBE	0.869	MAYBE	1.009	MAYBE	0.825
Transformed CSR 04 Ex24 GM04 iGM	MAYBE	7.084	MAYBE	4.721	MAYBE	7.068	MAYBE	4.757
Transformed CSR 04 Ex24 Luc06 C	MAYBE	42.113	MAYBE	41.241	MAYBE	41.380	MAYBE	36.763
Transformed CSR 04 Ex24 Luc06 FR	MAYBE	0.552	MAYBE	0.410	MAYBE	0.516	MAYBE	0.562
Transformed CSR 04 Ex24 Luc06 GM	MAYBE	1.125	MAYBE	0.757	MAYBE	1.138	MAYBE	1.023
Transformed CSR 04 Ex24 Luc06 L	MAYBE	0.225	MAYBE	0.176	MAYBE	0.246	MAYBE	0.177
Transformed CSR 04 Ex24 Luc06 iGM	TIMEOUT	60.128	TIMEOUT	60.076	TIMEOUT	60.105	TIMEOUT	60.075
Transformed CSR 04 Ex25 Luc06 C	MAYBE	16.985	MAYBE	14.274	MAYBE	24.102	MAYBE	14.542
Transformed CSR 04 Ex25 Luc06 FR	MAYBE	5.786	MAYBE	4.876	MAYBE	5.695	MAYBE	4.159
Transformed CSR 04 Ex25 Luc06 GM	O(n^2)	1.231	O(n^2)	1.113	O(n^2)	1.301	O(n^1)	0.243
Transformed CSR 04 Ex25 Luc06 L	O(n^1)	0.161	O(n^1)	0.115	O(n^1)	0.175	O(n^1)	0.116
Transformed CSR 04 Ex25 Luc06 Z	MAYBE	5.160	MAYBE	4.910	MAYBE	5.055	MAYBE	4.255
Transformed CSR 04 Ex25 Luc06 iGM	O(n^2)	9.644	O(n^2)	7.755	O(n^2)	9.711	O(n^2)	11.797
Transformed CSR 04 Ex26 Luc03b C	MAYBE	16.120	MAYBE	11.225	MAYBE	13.965	MAYBE	12.087
Transformed CSR 04 Ex26 Luc03b FR	MAYBE	14.269	MAYBE	8.734	MAYBE	11.849	MAYBE	9.254
Transformed CSR 04 Ex26 Luc03b GM	MAYBE	12.077	MAYBE	9.758	MAYBE	12.497	O(n^2)	2.815
Transformed CSR 04 Ex26 Luc03b L	O(n^1)	0.227	O(n^1)	0.171	O(n^1)	0.279	O(n^1)	0.184
Transformed CSR 04 Ex26 Luc03b Z	MAYBE	13.045	MAYBE	10.395	MAYBE	12.087	MAYBE	9.698
Transformed CSR 04 Ex26 Luc03b iGM	MAYBE	19.393	MAYBE	19.751	MAYBE	25.104	MAYBE	18.383
Transformed CSR 04 Ex2 Luc02a C	MAYBE	13.139	MAYBE	11.592	MAYBE	15.777	MAYBE	12.346
Transformed CSR 04 Ex2 Luc02a FR	MAYBE	13.050	MAYBE	8.833	MAYBE	11.375	MAYBE	12.071
Transformed CSR 04 Ex2 Luc02a GM	MAYBE	20.146	MAYBE	11.872	MAYBE	14.377	MAYBE	13.669
Transformed CSR 04 Ex2 Luc02a L	MAYBE	4.895	MAYBE	3.935	MAYBE	5.446	MAYBE	3.881
Transformed CSR 04 Ex2 Luc02a Z	MAYBE	7.390	MAYBE	7.231	MAYBE	5.864	MAYBE	6.777
Transformed CSR 04 Ex2 Luc02a iGM	MAYBE	19.033	MAYBE	16.476	MAYBE	26.431	MAYBE	16.148
Transformed CSR 04 Ex2 Luc03b C	MAYBE	15.503	MAYBE	13.327	MAYBE	15.566	MAYBE	12.367
Transformed CSR 04 Ex2 Luc03b FR	MAYBE	10.871	MAYBE	6.404	MAYBE	6.565	MAYBE	12.254
Transformed CSR 04 Ex2 Luc03b GM	MAYBE	6.194	MAYBE	3.836	MAYBE	6.065	O(n^2)	1.488
Transformed CSR 04 Ex2 Luc03b L	O(n^1)	0.230	O(n^1)	0.164	O(n^1)	0.201	O(n^1)	0.174
Transformed CSR 04 Ex2 Luc03b Z	O(n^1)	0.306	O(n^1)	0.255	O(n^1)	0.308	O(n^1)	0.245
Transformed CSR 04 Ex2 Luc03b iGM	MAYBE	25.208	MAYBE	15.397	MAYBE	22.800	MAYBE	15.229
Transformed CSR 04 Ex3 12 Luc96a C	MAYBE	8.946	MAYBE	7.022	MAYBE	9.307	MAYBE	8.400
Transformed CSR 04 Ex3 12 Luc96a FR	MAYBE	1.736	MAYBE	1.805	MAYBE	2.339	MAYBE	3.044
Transformed CSR 04 Ex3 12 Luc96a GM	MAYBE	3.062	MAYBE	2.810	MAYBE	3.138	MAYBE	3.177
Transformed CSR 04 Ex3 12 Luc96a L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex3 12 Luc96a Z	MAYBE	1.628	TIMEOUT	60.073	MAYBE	1.757	TIMEOUT	60.071
Transformed CSR 04 Ex3 12 Luc96a iGM	MAYBE	12.833	MAYBE	10.775	MAYBE	13.960	MAYBE	9.823
Transformed CSR 04 Ex3 2 Luc97 C	MAYBE	23.097	MAYBE	15.551	MAYBE	22.054	MAYBE	15.915
Transformed CSR 04 Ex3 2 Luc97 FR	MAYBE	11.023	MAYBE	7.677	MAYBE	8.392	MAYBE	7.316
Transformed CSR 04 Ex3 2 Luc97 GM	MAYBE	6.164	MAYBE	8.314	MAYBE	6.845	MAYBE	8.803
Transformed CSR 04 Ex3 2 Luc97 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex3 2 Luc97 Z	MAYBE	16.765	MAYBE	15.070	MAYBE	12.979	MAYBE	13.879
Transformed CSR 04 Ex3 2 Luc97 iGM	MAYBE	12.480	MAYBE	23.159	MAYBE	16.974	MAYBE	21.590
Transformed CSR 04 Ex3 3 25 Bor03 C	MAYBE	24.199	MAYBE	20.407	MAYBE	23.357	MAYBE	19.294
Transformed CSR 04 Ex3 3 25 Bor03 FR	MAYBE	9.769	MAYBE	7.259	MAYBE	14.928	MAYBE	8.418
Transformed CSR 04 Ex3 3 25 Bor03 GM	MAYBE	14.709	MAYBE	11.540	MAYBE	14.860	O(n^2)	2.504
Transformed CSR 04 Ex3 3 25 Bor03 L	O(n^1)	0.233	O(n^1)	0.174	O(n^1)	0.221	O(n^1)	0.198
Transformed CSR 04 Ex3 3 25 Bor03 Z	MAYBE	6.727	MAYBE	6.560	MAYBE	6.436	MAYBE	6.027
Transformed CSR 04 Ex3 3 25 Bor03 iGM	MAYBE	17.485	MAYBE	17.603	MAYBE	18.743	MAYBE	13.926
Transformed CSR 04 Ex49 GM04 C	MAYBE	18.270	MAYBE	12.443	MAYBE	20.317	MAYBE	16.075
Transformed CSR 04 Ex49 GM04 FR	MAYBE	21.228	MAYBE	17.256	MAYBE	21.520	MAYBE	17.505
Transformed CSR 04 Ex49 GM04 GM	MAYBE	15.726	MAYBE	14.619	MAYBE	17.191	O(n^2)	8.056
Transformed CSR 04 Ex49 GM04 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex49 GM04 Z	MAYBE	8.292	MAYBE	5.823	MAYBE	8.196	MAYBE	5.920
Transformed CSR 04 Ex49 GM04 iGM	MAYBE	30.688	MAYBE	30.696	MAYBE	29.835	MAYBE	36.373
Transformed CSR 04 Ex4 4 Luc96b C	TIMEOUT	60.115	TIMEOUT	60.075	TIMEOUT	60.102	TIMEOUT	60.076
Transformed CSR 04 Ex4 4 Luc96b FR	MAYBE	2.426	MAYBE	2.426	MAYBE	3.404	MAYBE	2.282
Transformed CSR 04 Ex4 4 Luc96b GM	MAYBE	1.957	MAYBE	1.668	MAYBE	1.972	O(n^2)	0.629
Transformed CSR 04 Ex4 4 Luc96b L	O(n^1)	0.170	O(n^1)	0.133	O(n^1)	0.168	O(n^1)	0.137
Transformed CSR 04 Ex4 4 Luc96b Z	MAYBE	2.489	MAYBE	1.665	MAYBE	2.926	MAYBE	2.151
Transformed CSR 04 Ex4 4 Luc96b iGM	TIMEOUT	60.131	TIMEOUT	60.073	TIMEOUT	60.118	O(n^2)	3.644
Transformed CSR 04 Ex4 7 15 Bor03 C	MAYBE	14.256	MAYBE	11.918	MAYBE	17.614	MAYBE	14.378
Transformed CSR 04 Ex4 7 15 Bor03 FR	O(n^2)	1.828	O(n^2)	1.320	O(n^2)	1.808	O(n^1)	0.259
Transformed CSR 04 Ex4 7 15 Bor03 GM	O(n^2)	1.905	O(n^2)	1.594	O(n^2)	1.990	O(n^2)	1.630
Transformed CSR 04 Ex4 7 15 Bor03 L	O(n^2)	0.906	O(n^1)	0.181	O(n^2)	0.959	O(n^1)	0.172
Transformed CSR 04 Ex4 7 15 Bor03 Z	O(n^2)	1.150	O(n^1)	0.228	O(n^2)	1.127	O(n^1)	0.193
Transformed CSR 04 Ex4 7 15 Bor03 iGM	TIMEOUT	60.123	TIMEOUT	60.080	TIMEOUT	0.000	TIMEOUT	60.079
Transformed CSR 04 Ex4 7 37 Bor03 C	MAYBE	13.169	MAYBE	11.087	MAYBE	15.327	MAYBE	11.241
Transformed CSR 04 Ex4 7 37 Bor03 FR	MAYBE	11.870	MAYBE	9.065	MAYBE	10.141	MAYBE	9.410
Transformed CSR 04 Ex4 7 37 Bor03 GM	MAYBE	17.144	MAYBE	11.010	MAYBE	13.322	MAYBE	11.040
Transformed CSR 04 Ex4 7 37 Bor03 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex4 7 37 Bor03 Z	MAYBE	9.023	MAYBE	7.386	MAYBE	10.984	MAYBE	8.586
Transformed CSR 04 Ex4 7 37 Bor03 iGM	MAYBE	23.142	MAYBE	19.370	MAYBE	19.921	MAYBE	18.953
Transformed CSR 04 Ex4 7 56 Bor03 C	MAYBE	10.680	MAYBE	7.880	MAYBE	9.253	MAYBE	7.979
Transformed CSR 04 Ex4 7 56 Bor03 FR	MAYBE	2.160	MAYBE	1.620	MAYBE	2.650	MAYBE	3.033
Transformed CSR 04 Ex4 7 56 Bor03 GM	MAYBE	2.904	MAYBE	2.512	MAYBE	2.432	MAYBE	3.061
Transformed CSR 04 Ex4 7 56 Bor03 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex4 7 56 Bor03 Z	MAYBE	1.780	O(n^1)	0.161	MAYBE	1.591	O(n^1)	0.168
Transformed CSR 04 Ex4 7 56 Bor03 iGM	MAYBE	12.792	MAYBE	9.089	MAYBE	13.405	MAYBE	9.081
Transformed CSR 04 Ex4 7 77 Bor03 C	MAYBE	41.048	MAYBE	42.106	MAYBE	40.501	TIMEOUT	60.076
Transformed CSR 04 Ex4 7 77 Bor03 FR	O(n^1)	0.176	O(n^1)	0.134	O(n^1)	0.180	O(n^1)	0.157
Transformed CSR 04 Ex4 7 77 Bor03 GM	O(n^2)	0.541	O(n^2)	0.419	O(n^2)	0.556	O(n^2)	0.420
Transformed CSR 04 Ex4 7 77 Bor03 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex4 7 77 Bor03 iGM	TIMEOUT	60.112	TIMEOUT	60.078	TIMEOUT	60.126	TIMEOUT	60.074
Transformed CSR 04 Ex4 DLMMU04 C	MAYBE	12.164	MAYBE	9.837	MAYBE	12.040	MAYBE	10.050
Transformed CSR 04 Ex4 DLMMU04 FR	MAYBE	15.589	MAYBE	7.932	MAYBE	12.441	MAYBE	10.351
Transformed CSR 04 Ex4 DLMMU04 GM	MAYBE	16.468	MAYBE	13.279	MAYBE	14.852	MAYBE	13.155
Transformed CSR 04 Ex4 DLMMU04 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex4 DLMMU04 Z	MAYBE	13.313	MAYBE	9.311	MAYBE	12.174	MAYBE	8.794
Transformed CSR 04 Ex4 DLMMU04 iGM	MAYBE	13.830	MAYBE	11.284	MAYBE	14.143	MAYBE	11.614
Transformed CSR 04 Ex4 Zan97 C	MAYBE	17.829	MAYBE	12.224	MAYBE	18.554	MAYBE	11.847
Transformed CSR 04 Ex4 Zan97 FR	MAYBE	2.916	MAYBE	2.311	MAYBE	2.833	MAYBE	3.893
Transformed CSR 04 Ex4 Zan97 GM	MAYBE	10.412	MAYBE	7.623	MAYBE	10.623	MAYBE	11.602
Transformed CSR 04 Ex4 Zan97 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex4 Zan97 Z	MAYBE	3.158	MAYBE	2.424	MAYBE	3.003	MAYBE	16.400
Transformed CSR 04 Ex4 Zan97 iGM	MAYBE	19.193	MAYBE	14.715	MAYBE	20.854	MAYBE	14.743
Transformed CSR 04 Ex5 7 Luc97 C	MAYBE	25.987	MAYBE	18.197	MAYBE	19.922	MAYBE	15.014
Transformed CSR 04 Ex5 7 Luc97 FR	MAYBE	11.944	MAYBE	10.774	MAYBE	11.797	MAYBE	9.809
Transformed CSR 04 Ex5 7 Luc97 GM	MAYBE	20.336	MAYBE	16.397	MAYBE	17.524	MAYBE	23.747
Transformed CSR 04 Ex5 7 Luc97 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex5 7 Luc97 Z	MAYBE	11.659	MAYBE	9.885	MAYBE	12.136	MAYBE	10.320
Transformed CSR 04 Ex5 7 Luc97 iGM	MAYBE	9.826	MAYBE	8.328	MAYBE	11.677	MAYBE	8.535
Transformed CSR 04 Ex5 DLMMU04 C	MAYBE	29.933	MAYBE	19.243	MAYBE	25.414	MAYBE	20.470
Transformed CSR 04 Ex5 DLMMU04 FR	MAYBE	16.353	MAYBE	14.776	MAYBE	18.204	MAYBE	12.079
Transformed CSR 04 Ex5 DLMMU04 GM	MAYBE	10.797	MAYBE	7.754	MAYBE	10.528	MAYBE	14.067
Transformed CSR 04 Ex5 DLMMU04 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex5 DLMMU04 Z	MAYBE	13.208	MAYBE	11.527	MAYBE	14.449	MAYBE	13.131
Transformed CSR 04 Ex5 DLMMU04 iGM	MAYBE	40.147	MAYBE	34.054	MAYBE	38.672	MAYBE	29.219
Transformed CSR 04 Ex5 Zan97 C	MAYBE	53.816	TIMEOUT	60.083	TIMEOUT	60.126	TIMEOUT	60.083
Transformed CSR 04 Ex5 Zan97 FR	MAYBE	1.012	MAYBE	0.933	MAYBE	1.027	MAYBE	0.839
Transformed CSR 04 Ex5 Zan97 GM	MAYBE	1.945	MAYBE	1.623	MAYBE	1.875	MAYBE	1.475
Transformed CSR 04 Ex5 Zan97 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex5 Zan97 Z	O(n^1)	0.187	O(n^1)	0.176	O(n^1)	0.197	O(n^1)	0.159
Transformed CSR 04 Ex5 Zan97 iGM	TIMEOUT	60.112	TIMEOUT	60.080	TIMEOUT	60.122	TIMEOUT	60.082
Transformed CSR 04 Ex6 15 AEL02 C	MAYBE	11.308	MAYBE	8.853	MAYBE	10.003	MAYBE	8.733
Transformed CSR 04 Ex6 15 AEL02 FR	MAYBE	21.399	MAYBE	12.451	MAYBE	17.700	MAYBE	14.803
Transformed CSR 04 Ex6 15 AEL02 GM	MAYBE	9.794	MAYBE	8.083	MAYBE	10.412	MAYBE	8.466
Transformed CSR 04 Ex6 15 AEL02 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex6 15 AEL02 Z	MAYBE	18.012	MAYBE	14.081	MAYBE	14.832	MAYBE	38.025
Transformed CSR 04 Ex6 15 AEL02 iGM	MAYBE	11.914	MAYBE	11.131	MAYBE	13.849	MAYBE	10.337
Transformed CSR 04 Ex6 9 Luc02c C	MAYBE	15.733	MAYBE	12.333	MAYBE	13.443	MAYBE	12.012
Transformed CSR 04 Ex6 9 Luc02c FR	MAYBE	3.400	MAYBE	2.771	MAYBE	3.714	O(n^3)	4.041
Transformed CSR 04 Ex6 9 Luc02c GM	MAYBE	6.257	MAYBE	5.212	MAYBE	7.433	MAYBE	6.945
Transformed CSR 04 Ex6 9 Luc02c L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex6 9 Luc02c Z	O(n^3)	3.719	O(n^2)	0.754	O(n^3)	3.582	O(n^2)	0.687
Transformed CSR 04 Ex6 9 Luc02c iGM	MAYBE	22.398	MAYBE	14.424	MAYBE	16.135	MAYBE	15.352
Transformed CSR 04 Ex6 GM04 C	TIMEOUT	60.110	TIMEOUT	60.074	TIMEOUT	60.126	TIMEOUT	60.073
Transformed CSR 04 Ex6 GM04 FR	MAYBE	0.962	MAYBE	0.671	MAYBE	1.092	MAYBE	0.671
Transformed CSR 04 Ex6 GM04 GM	O(n^1)	0.198	O(n^1)	0.159	O(n^1)	0.188	O(n^1)	0.154
Transformed CSR 04 Ex6 GM04 L	O(n^1)	0.160	O(n^1)	0.123	O(n^1)	0.139	O(n^1)	0.112
Transformed CSR 04 Ex6 GM04 iGM	O(n^2)	1.656	O(n^2)	1.480	O(n^2)	1.842	O(n^2)	1.563
Transformed CSR 04 Ex6 Luc98 C	MAYBE	12.701	MAYBE	9.584	MAYBE	10.708	MAYBE	9.093
Transformed CSR 04 Ex6 Luc98 FR	MAYBE	3.958	MAYBE	2.587	MAYBE	3.209	MAYBE	3.930
Transformed CSR 04 Ex6 Luc98 GM	MAYBE	3.210	MAYBE	2.372	MAYBE	3.878	O(n^2)	0.893
Transformed CSR 04 Ex6 Luc98 L	O(n^1)	0.187	O(n^1)	0.138	O(n^1)	0.176	O(n^1)	0.134
Transformed CSR 04 Ex6 Luc98 Z	O(n^1)	0.221	O(n^1)	0.172	O(n^1)	0.218	O(n^1)	0.175
Transformed CSR 04 Ex6 Luc98 iGM	MAYBE	16.657	MAYBE	10.817	MAYBE	13.460	MAYBE	10.720
Transformed CSR 04 Ex7 BLR02 C	MAYBE	19.380	MAYBE	12.953	MAYBE	17.921	MAYBE	13.894
Transformed CSR 04 Ex7 BLR02 FR	MAYBE	5.959	MAYBE	3.500	MAYBE	6.174	MAYBE	5.895
Transformed CSR 04 Ex7 BLR02 GM	MAYBE	5.162	MAYBE	4.993	MAYBE	6.273	MAYBE	5.235
Transformed CSR 04 Ex7 BLR02 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex7 BLR02 Z	MAYBE	4.169	TIMEOUT	60.079	MAYBE	5.076	TIMEOUT	60.076
Transformed CSR 04 Ex7 BLR02 iGM	MAYBE	24.276	MAYBE	17.019	MAYBE	28.090	MAYBE	19.116
Transformed CSR 04 Ex8 BLR02 C	MAYBE	14.251	MAYBE	10.024	MAYBE	13.484	MAYBE	11.530
Transformed CSR 04 Ex8 BLR02 FR	MAYBE	7.507	MAYBE	5.600	MAYBE	5.847	MAYBE	7.601
Transformed CSR 04 Ex8 BLR02 GM	MAYBE	13.239	MAYBE	9.155	MAYBE	10.800	MAYBE	12.603
Transformed CSR 04 Ex8 BLR02 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 Ex8 BLR02 Z	MAYBE	8.021	MAYBE	5.703	MAYBE	8.899	MAYBE	6.463
Transformed CSR 04 Ex8 BLR02 iGM	MAYBE	22.108	MAYBE	13.277	MAYBE	20.880	MAYBE	15.310
Transformed CSR 04 Ex9 BLR02 C	MAYBE	16.903	MAYBE	11.081	MAYBE	15.142	MAYBE	12.546
Transformed CSR 04 Ex9 BLR02 FR	MAYBE	10.449	MAYBE	9.589	MAYBE	10.984	MAYBE	8.955
Transformed CSR 04 Ex9 BLR02 GM	MAYBE	14.516	MAYBE	12.949	MAYBE	17.183	MAYBE	14.423
Transformed CSR 04 Ex9 BLR02 L	O(n^1)	0.277	O(n^1)	0.267	O(n^1)	0.296	O(n^1)	0.225
Transformed CSR 04 Ex9 BLR02 Z	MAYBE	9.063	MAYBE	8.114	MAYBE	9.528	MAYBE	7.296
Transformed CSR 04 Ex9 BLR02 iGM	MAYBE	18.647	MAYBE	18.592	MAYBE	21.698	MAYBE	16.592
Transformed CSR 04 Ex9 Luc04 C	MAYBE	25.690	MAYBE	24.646	MAYBE	24.253	MAYBE	32.456
Transformed CSR 04 Ex9 Luc04 FR	MAYBE	0.380	MAYBE	0.284	MAYBE	0.411	MAYBE	0.280
Transformed CSR 04 Ex9 Luc04 GM	MAYBE	1.886	MAYBE	1.028	MAYBE	1.656	MAYBE	1.069
Transformed CSR 04 Ex9 Luc04 L	MAYBE	0.270	MAYBE	0.213	MAYBE	0.238	MAYBE	0.207
Transformed CSR 04 Ex9 Luc04 iGM	MAYBE	8.130	MAYBE	4.766	MAYBE	6.564	MAYBE	4.799
Transformed CSR 04 Ex9 Luc06 C	MAYBE	39.187	MAYBE	42.473	MAYBE	40.007	MAYBE	52.517
Transformed CSR 04 Ex9 Luc06 FR	MAYBE	1.580	MAYBE	1.914	MAYBE	1.469	MAYBE	1.886
Transformed CSR 04 Ex9 Luc06 GM	O(n^1)	0.413	O(n^1)	0.158	O(n^1)	0.229	O(n^1)	0.162
Transformed CSR 04 Ex9 Luc06 iGM	O(n^2)	3.266	O(n^2)	3.207	O(n^2)	3.079	O(n^2)	3.351
Transformed CSR 04 ExAppendixB AEL03 C	MAYBE	10.006	MAYBE	8.517	MAYBE	10.044	MAYBE	8.551
Transformed CSR 04 ExAppendixB AEL03 FR	MAYBE	17.505	MAYBE	11.144	MAYBE	16.693	MAYBE	10.008
Transformed CSR 04 ExAppendixB AEL03 GM	MAYBE	18.520	MAYBE	11.958	MAYBE	14.390	MAYBE	12.837
Transformed CSR 04 ExAppendixB AEL03 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 ExAppendixB AEL03 Z	MAYBE	14.042	MAYBE	9.419	MAYBE	12.942	MAYBE	9.052
Transformed CSR 04 ExAppendixB AEL03 iGM	MAYBE	13.899	MAYBE	10.547	MAYBE	15.407	MAYBE	10.428
Transformed CSR 04 ExConc Zan97 C	TIMEOUT	60.139	TIMEOUT	60.078	TIMEOUT	60.120	TIMEOUT	60.111
Transformed CSR 04 ExConc Zan97 FR	O(n^2)	0.531	O(n^2)	0.408	O(n^2)	0.582	O(n^1)	0.154
Transformed CSR 04 ExConc Zan97 GM	O(n^2)	0.562	O(n^2)	0.445	O(n^2)	0.565	O(n^1)	0.155
Transformed CSR 04 ExConc Zan97 L	O(n^2)	0.187	O(n^1)	0.107	O(n^1)	0.136	O(n^1)	0.112
Transformed CSR 04 ExConc Zan97 Z	MAYBE	1.200	MAYBE	0.776	MAYBE	1.011	MAYBE	0.811
Transformed CSR 04 ExConc Zan97 iGM	O(n^2)	3.951	O(n^2)	3.245	O(n^2)	3.913	O(n^2)	2.817
Transformed CSR 04 ExIntrod GM01 C	MAYBE	13.245	MAYBE	11.149	MAYBE	14.756	MAYBE	11.211
Transformed CSR 04 ExIntrod GM01 FR	MAYBE	7.468	MAYBE	5.852	MAYBE	8.698	MAYBE	6.361
Transformed CSR 04 ExIntrod GM01 GM	MAYBE	9.874	MAYBE	9.900	MAYBE	9.745	MAYBE	7.240
Transformed CSR 04 ExIntrod GM01 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 ExIntrod GM01 Z	MAYBE	8.046	MAYBE	5.658	MAYBE	8.312	MAYBE	5.964
Transformed CSR 04 ExIntrod GM01 iGM	MAYBE	28.325	MAYBE	14.953	MAYBE	17.478	MAYBE	16.658
Transformed CSR 04 ExIntrod GM04 C	MAYBE	20.460	MAYBE	10.222	MAYBE	18.509	MAYBE	10.832
Transformed CSR 04 ExIntrod GM04 FR	MAYBE	16.058	MAYBE	7.777	MAYBE	17.300	MAYBE	7.551
Transformed CSR 04 ExIntrod GM04 GM	MAYBE	4.455	MAYBE	3.320	MAYBE	6.516	MAYBE	3.884
Transformed CSR 04 ExIntrod GM04 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 ExIntrod GM04 Z	MAYBE	11.670	MAYBE	6.804	MAYBE	10.002	MAYBE	5.959
Transformed CSR 04 ExIntrod GM04 iGM	MAYBE	19.393	MAYBE	13.766	MAYBE	23.918	MAYBE	17.369
Transformed CSR 04 ExIntrod GM99 C	MAYBE	15.644	MAYBE	14.072	MAYBE	17.655	MAYBE	14.196
Transformed CSR 04 ExIntrod GM99 FR	MAYBE	18.801	MAYBE	14.938	MAYBE	19.374	MAYBE	16.575
Transformed CSR 04 ExIntrod GM99 GM	MAYBE	24.541	MAYBE	18.630	MAYBE	20.825	MAYBE	17.620
Transformed CSR 04 ExIntrod GM99 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 ExIntrod GM99 Z	MAYBE	16.291	MAYBE	14.248	MAYBE	19.444	MAYBE	13.772
Transformed CSR 04 ExIntrod GM99 iGM	MAYBE	19.404	MAYBE	15.521	MAYBE	22.707	MAYBE	16.746
Transformed CSR 04 ExIntrod Zan97 C	MAYBE	13.109	MAYBE	9.296	MAYBE	15.144	MAYBE	11.145
Transformed CSR 04 ExIntrod Zan97 FR	MAYBE	10.287	MAYBE	7.336	MAYBE	11.799	MAYBE	7.184
Transformed CSR 04 ExIntrod Zan97 GM	MAYBE	18.451	MAYBE	12.103	MAYBE	23.507	MAYBE	13.457
Transformed CSR 04 ExIntrod Zan97 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 ExIntrod Zan97 Z	MAYBE	12.411	MAYBE	8.363	MAYBE	10.546	MAYBE	10.239
Transformed CSR 04 ExIntrod Zan97 iGM	MAYBE	17.599	MAYBE	13.193	MAYBE	18.966	MAYBE	13.397
Transformed CSR 04 ExProp7 Luc06 C	MAYBE	14.470	MAYBE	13.572	MAYBE	15.585	MAYBE	11.767
Transformed CSR 04 ExProp7 Luc06 FR	O(n^2)	1.730	O(n^2)	1.409	O(n^2)	1.580	O(n^2)	1.451
Transformed CSR 04 ExProp7 Luc06 GM	TIMEOUT	60.122	TIMEOUT	60.074	TIMEOUT	60.118	TIMEOUT	60.073
Transformed CSR 04 ExProp7 Luc06 L	O(n^2)	0.795	O(n^2)	0.695	O(n^2)	0.805	O(n^2)	0.693
Transformed CSR 04 ExProp7 Luc06 Z	O(n^2)	1.058	O(n^2)	0.913	O(n^2)	1.379	O(n^2)	1.014
Transformed CSR 04 ExProp7 Luc06 iGM	TIMEOUT	60.105	TIMEOUT	60.080	TIMEOUT	60.294	TIMEOUT	60.079
Transformed CSR 04 ExSec11 1 Luc02a C	MAYBE	17.787	MAYBE	13.495	MAYBE	21.918	MAYBE	17.475
Transformed CSR 04 ExSec11 1 Luc02a FR	MAYBE	13.095	MAYBE	10.466	MAYBE	14.777	MAYBE	13.214
Transformed CSR 04 ExSec11 1 Luc02a GM	MAYBE	15.379	MAYBE	14.254	MAYBE	16.562	MAYBE	13.223
Transformed CSR 04 ExSec11 1 Luc02a L	MAYBE	7.355	MAYBE	5.597	MAYBE	8.310	MAYBE	5.698
Transformed CSR 04 ExSec11 1 Luc02a Z	MAYBE	7.631	MAYBE	7.382	MAYBE	10.757	MAYBE	6.760
Transformed CSR 04 ExSec11 1 Luc02a iGM	MAYBE	9.738	MAYBE	8.174	MAYBE	10.580	MAYBE	8.163
Transformed CSR 04 ExSec4 2 DLMMU04 C	MAYBE	15.914	MAYBE	12.846	MAYBE	15.559	MAYBE	13.384
Transformed CSR 04 ExSec4 2 DLMMU04 FR	MAYBE	8.132	MAYBE	5.584	MAYBE	8.378	MAYBE	5.888
Transformed CSR 04 ExSec4 2 DLMMU04 GM	MAYBE	12.252	MAYBE	9.284	MAYBE	11.386	MAYBE	9.040
Transformed CSR 04 ExSec4 2 DLMMU04 L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 ExSec4 2 DLMMU04 Z	MAYBE	7.669	MAYBE	7.770	MAYBE	6.550	TIMEOUT	60.079
Transformed CSR 04 ExSec4 2 DLMMU04 iGM	MAYBE	9.549	MAYBE	8.154	MAYBE	9.383	MAYBE	7.758
Transformed CSR...TIES complete-noand FR	MAYBE	22.136	MAYBE	17.003	MAYBE	22.667	MAYBE	17.670
Transformed CSR...ITIES complete-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...ITIES complete-noand Z	MAYBE	22.011	MAYBE	15.897	MAYBE	22.152	MAYBE	16.442
Transformed CSR...STUTILITIES complete C	TIMEOUT	60.603	TIMEOUT	60.463	TIMEOUT	60.837	TIMEOUT	60.535
Transformed CSR...TUTILITIES complete FR	TIMEOUT	64.739	TIMEOUT	62.050	TIMEOUT	60.342	TIMEOUT	60.235
Transformed CSR...TUTILITIES complete GM	MAYBE	37.555	MAYBE	28.497	MAYBE	37.618	MAYBE	30.032
Transformed CSR...STUTILITIES complete L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...STUTILITIES complete Z	TIMEOUT	60.264	TIMEOUT	60.210	TIMEOUT	60.313	TIMEOUT	60.216
Transformed CSR...UTILITIES complete iGM	TIMEOUT	60.506	TIMEOUT	60.484	TIMEOUT	60.644	TIMEOUT	60.479
Transformed CSR...ITIES complete noand C	MAYBE	52.060	MAYBE	43.589	MAYBE	59.923	MAYBE	43.125
Transformed CSR...TIES complete noand GM	MAYBE	20.939	MAYBE	17.356	MAYBE	21.265	MAYBE	17.174
Transformed CSR...IES complete noand iGM	MAYBE	60.383	MAYBE	47.574	MAYBE	60.921	MAYBE	50.019
Transformed CSR...ITIES nokinds-noand FR	MAYBE	13.015	MAYBE	9.802	MAYBE	11.803	MAYBE	10.554
Transformed CSR...LITIES nokinds-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...LITIES nokinds-noand Z	MAYBE	10.997	MAYBE	10.312	MAYBE	11.061	MAYBE	9.136
Transformed CSR...ISTUTILITIES nokinds C	MAYBE	27.244	MAYBE	21.728	MAYBE	26.887	MAYBE	24.350
Transformed CSR...STUTILITIES nokinds FR	MAYBE	11.373	MAYBE	9.422	MAYBE	11.944	MAYBE	9.275
Transformed CSR...STUTILITIES nokinds GM	MAYBE	17.208	MAYBE	14.210	MAYBE	16.074	MAYBE	15.070
Transformed CSR...ISTUTILITIES nokinds L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...ISTUTILITIES nokinds Z	MAYBE	11.202	MAYBE	9.113	MAYBE	11.088	MAYBE	9.040
Transformed CSR...TUTILITIES nokinds iGM	MAYBE	27.049	MAYBE	21.183	MAYBE	27.222	MAYBE	21.097
Transformed CSR...LITIES nokinds noand C	MAYBE	21.863	MAYBE	17.313	MAYBE	22.604	MAYBE	17.760
Transformed CSR...ITIES nokinds noand GM	MAYBE	19.373	MAYBE	13.341	MAYBE	20.136	MAYBE	14.878
Transformed CSR...TIES nokinds noand iGM	MAYBE	25.436	MAYBE	20.854	MAYBE	25.879	MAYBE	18.990
Transformed CSR...ITIES nosorts-noand FR	MAYBE	10.792	MAYBE	8.693	MAYBE	14.054	MAYBE	8.738
Transformed CSR...LITIES nosorts-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...LITIES nosorts-noand Z	MAYBE	14.223	MAYBE	9.907	MAYBE	13.428	MAYBE	9.129
Transformed CSR...ISTUTILITIES nosorts C	MAYBE	21.049	MAYBE	18.393	MAYBE	22.110	MAYBE	15.178
Transformed CSR...STUTILITIES nosorts FR	MAYBE	9.495	MAYBE	6.753	MAYBE	10.096	MAYBE	6.921
Transformed CSR...STUTILITIES nosorts GM	MAYBE	13.928	MAYBE	10.210	MAYBE	11.671	MAYBE	10.673
Transformed CSR...ISTUTILITIES nosorts L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...ISTUTILITIES nosorts Z	MAYBE	7.177	MAYBE	6.858	MAYBE	7.949	MAYBE	7.537
Transformed CSR...TUTILITIES nosorts iGM	MAYBE	10.919	MAYBE	8.949	MAYBE	10.483	MAYBE	9.238
Transformed CSR...LITIES nosorts noand C	MAYBE	18.159	MAYBE	14.283	MAYBE	17.061	MAYBE	13.870
Transformed CSR...ITIES nosorts noand GM	MAYBE	21.848	MAYBE	15.581	MAYBE	20.169	MAYBE	15.400
Transformed CSR...TIES nosorts noand iGM	MAYBE	19.622	MAYBE	15.923	MAYBE	19.919	MAYBE	18.106
Transformed CSR...ists complete-noand FR	MAYBE	17.834	MAYBE	12.868	MAYBE	17.587	MAYBE	13.488
Transformed CSR...Lists complete-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...Lists complete-noand Z	MAYBE	17.624	MAYBE	11.899	MAYBE	23.146	MAYBE	13.065
Transformed CSR...FiniteLists complete C	MAYBE	20.064	MAYBE	16.920	MAYBE	20.186	MAYBE	17.488
Transformed CSR...initeLists complete FR	MAYBE	12.760	MAYBE	10.021	MAYBE	13.192	MAYBE	10.157
Transformed CSR...initeLists complete GM	MAYBE	24.268	MAYBE	20.733	MAYBE	25.113	MAYBE	19.015
Transformed CSR...FiniteLists complete L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...FiniteLists complete Z	MAYBE	13.077	MAYBE	10.108	MAYBE	13.709	MAYBE	10.397
Transformed CSR...niteLists complete iGM	MAYBE	24.229	MAYBE	20.405	MAYBE	24.010	MAYBE	20.091
Transformed CSR...Lists complete noand C	MAYBE	20.986	MAYBE	16.578	MAYBE	20.930	MAYBE	16.961
Transformed CSR...ists complete noand GM	MAYBE	18.271	MAYBE	12.036	MAYBE	17.561	MAYBE	11.793
Transformed CSR...sts complete noand iGM	MAYBE	26.033	MAYBE	20.134	MAYBE	28.452	MAYBE	19.721
Transformed CSR...Lists nokinds-noand FR	MAYBE	12.395	MAYBE	9.429	MAYBE	12.029	MAYBE	8.579
Transformed CSR...eLists nokinds-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...eLists nokinds-noand Z	MAYBE	11.677	MAYBE	8.363	MAYBE	10.741	MAYBE	7.970
Transformed CSR...fFiniteLists nokinds C	MAYBE	28.894	MAYBE	19.384	MAYBE	20.972	MAYBE	17.300
Transformed CSR...FiniteLists nokinds FR	MAYBE	8.943	MAYBE	9.237	MAYBE	12.047	MAYBE	9.235
Transformed CSR...FiniteLists nokinds GM	MAYBE	11.223	MAYBE	8.962	MAYBE	11.083	TIMEOUT	60.092
Transformed CSR...fFiniteLists nokinds L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...fFiniteLists nokinds Z	MAYBE	10.486	MAYBE	7.789	MAYBE	10.515	MAYBE	8.925
Transformed CSR...initeLists nokinds iGM	MAYBE	21.929	MAYBE	20.783	MAYBE	22.177	MAYBE	21.020
Transformed CSR...eLists nokinds noand C	MAYBE	14.305	MAYBE	12.311	MAYBE	17.295	MAYBE	16.421
Transformed CSR...Lists nokinds noand GM	MAYBE	17.393	MAYBE	20.222	MAYBE	17.145	TIMEOUT	60.109
Transformed CSR...ists nokinds noand iGM	MAYBE	40.424	MAYBE	20.443	MAYBE	33.112	MAYBE	31.514
Transformed CSR...Lists nosorts-noand FR	MAYBE	2.780	MAYBE	3.023	MAYBE	2.556	MAYBE	3.863
Transformed CSR...eLists nosorts-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...fFiniteLists nosorts C	TIMEOUT	60.131	TIMEOUT	60.088	TIMEOUT	60.139	TIMEOUT	60.090
Transformed CSR...FiniteLists nosorts FR	MAYBE	19.112	MAYBE	34.989	MAYBE	19.024	MAYBE	33.512
Transformed CSR...FiniteLists nosorts GM	MAYBE	35.311	TIMEOUT	60.078	MAYBE	34.639	TIMEOUT	60.076
Transformed CSR...fFiniteLists nosorts L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...initeLists nosorts iGM	TIMEOUT	60.140	TIMEOUT	60.086	TIMEOUT	60.152	TIMEOUT	60.084
Transformed CSR...eLists nosorts noand C	TIMEOUT	60.140	TIMEOUT	60.097	TIMEOUT	60.138	TIMEOUT	60.097
Transformed CSR...Lists nosorts noand GM	MAYBE	25.529	MAYBE	36.404	MAYBE	25.127	MAYBE	55.586
Transformed CSR...ists nosorts noand iGM	MAYBE	15.819	MAYBE	8.561	MAYBE	14.371	MAYBE	8.212
Transformed CSR...YNAT complete-noand FR	MAYBE	15.848	MAYBE	13.642	MAYBE	21.355	MAYBE	15.278
Transformed CSR...MYNAT complete-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...MYNAT complete-noand Z	MAYBE	18.866	MAYBE	12.838	MAYBE	23.291	MAYBE	14.451
Transformed CSR 04 MYNAT complete C	MAYBE	31.335	MAYBE	25.394	MAYBE	31.272	MAYBE	25.547
Transformed CSR 04 MYNAT complete FR	MAYBE	11.832	MAYBE	9.393	MAYBE	11.416	MAYBE	9.789
Transformed CSR 04 MYNAT complete GM	MAYBE	18.628	MAYBE	14.205	MAYBE	24.244	MAYBE	12.516
Transformed CSR 04 MYNAT complete L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 MYNAT complete Z	MAYBE	11.957	MAYBE	9.539	MAYBE	13.419	MAYBE	10.815
Transformed CSR 04 MYNAT complete iGM	MAYBE	37.192	MAYBE	29.688	MAYBE	35.583	MAYBE	29.763
Transformed CSR...MYNAT complete noand C	MAYBE	23.027	MAYBE	20.441	MAYBE	23.106	MAYBE	18.619
Transformed CSR...YNAT complete noand GM	MAYBE	20.124	MAYBE	15.261	MAYBE	19.350	MAYBE	16.301
Transformed CSR...NAT complete noand iGM	MAYBE	27.414	MAYBE	23.128	MAYBE	26.063	MAYBE	22.070
Transformed CSR...MYNAT nokinds-noand FR	MAYBE	13.132	MAYBE	10.581	MAYBE	11.617	MAYBE	9.283
Transformed CSR 04 MYNAT nokinds-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 MYNAT nokinds-noand Z	MAYBE	12.039	MAYBE	9.965	MAYBE	11.470	MAYBE	9.122
Transformed CSR 04 MYNAT nokinds C	MAYBE	16.733	MAYBE	13.382	MAYBE	14.680	MAYBE	12.623
Transformed CSR 04 MYNAT nokinds FR	MAYBE	10.927	MAYBE	7.778	MAYBE	9.271	MAYBE	7.616
Transformed CSR 04 MYNAT nokinds GM	MAYBE	9.531	MAYBE	7.499	MAYBE	9.927	MAYBE	7.493
Transformed CSR 04 MYNAT nokinds L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 MYNAT nokinds Z	MAYBE	8.965	MAYBE	8.136	MAYBE	9.058	MAYBE	7.894
Transformed CSR 04 MYNAT nokinds iGM	MAYBE	9.491	MAYBE	7.958	MAYBE	10.831	MAYBE	7.770
Transformed CSR 04 MYNAT nokinds noand C	MAYBE	23.906	MAYBE	19.045	MAYBE	20.180	MAYBE	17.593
Transformed CSR...MYNAT nokinds noand GM	MAYBE	21.691	MAYBE	14.590	MAYBE	16.904	MAYBE	14.380
Transformed CSR...YNAT nokinds noand iGM	MAYBE	13.187	MAYBE	8.867	MAYBE	12.639	MAYBE	9.602
Transformed CSR...MYNAT nosorts-noand FR	MAYBE	6.325	MAYBE	5.458	MAYBE	9.493	MAYBE	6.077
Transformed CSR 04 MYNAT nosorts-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 MYNAT nosorts C	MAYBE	9.495	MAYBE	7.102	MAYBE	9.943	MAYBE	7.073
Transformed CSR 04 MYNAT nosorts FR	MAYBE	1.310	MAYBE	0.890	MAYBE	1.113	MAYBE	0.929
Transformed CSR 04 MYNAT nosorts GM	MAYBE	7.666	MAYBE	6.929	MAYBE	9.567	MAYBE	6.451
Transformed CSR 04 MYNAT nosorts L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 MYNAT nosorts iGM	MAYBE	13.070	MAYBE	9.251	MAYBE	11.923	MAYBE	8.759
Transformed CSR 04 MYNAT nosorts noand C	MAYBE	19.808	MAYBE	11.653	MAYBE	17.705	MAYBE	11.991
Transformed CSR...MYNAT nosorts noand GM	MAYBE	9.151	MAYBE	8.881	MAYBE	13.371	MAYBE	7.098
Transformed CSR...YNAT nosorts noand iGM	MAYBE	21.319	MAYBE	15.376	MAYBE	22.191	MAYBE	15.466
Transformed CSR...nsOS complete-noand FR	MAYBE	13.131	MAYBE	10.788	MAYBE	13.270	MAYBE	11.353
Transformed CSR...onsOS complete-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...onsOS complete-noand Z	MAYBE	13.149	MAYBE	11.801	MAYBE	13.031	MAYBE	11.422
Transformed CSR 04 OvConsOS complete C	TIMEOUT	60.329	TIMEOUT	60.222	TIMEOUT	63.125	TIMEOUT	60.239
Transformed CSR 04 OvConsOS complete FR	MAYBE	32.041	MAYBE	25.776	MAYBE	34.380	MAYBE	26.227
Transformed CSR 04 OvConsOS complete GM	MAYBE	16.839	MAYBE	13.670	MAYBE	17.131	MAYBE	13.801
Transformed CSR 04 OvConsOS complete L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 OvConsOS complete Z	MAYBE	32.857	MAYBE	26.374	MAYBE	34.177	MAYBE	26.669
Transformed CSR 04 OvConsOS complete iGM	TIMEOUT	60.344	TIMEOUT	60.231	TIMEOUT	60.368	TIMEOUT	61.860
Transformed CSR...onsOS complete noand C	MAYBE	24.323	MAYBE	18.168	MAYBE	22.660	MAYBE	17.616
Transformed CSR...nsOS complete noand GM	MAYBE	27.963	MAYBE	19.705	MAYBE	24.681	MAYBE	21.899
Transformed CSR...sOS complete noand iGM	MAYBE	25.932	MAYBE	18.628	MAYBE	24.404	MAYBE	19.198
Transformed CSR...onsOS nokinds-noand FR	MAYBE	16.192	MAYBE	15.632	MAYBE	17.745	MAYBE	15.292
Transformed CSR...ConsOS nokinds-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...ConsOS nokinds-noand Z	MAYBE	20.095	MAYBE	15.021	MAYBE	19.697	MAYBE	13.986
Transformed CSR 04 OvConsOS nokinds C	MAYBE	12.105	MAYBE	10.117	MAYBE	12.168	MAYBE	9.865
Transformed CSR 04 OvConsOS nokinds FR	MAYBE	21.040	MAYBE	20.069	MAYBE	21.598	MAYBE	19.008
Transformed CSR 04 OvConsOS nokinds GM	MAYBE	13.465	MAYBE	9.637	MAYBE	12.304	MAYBE	11.280
Transformed CSR 04 OvConsOS nokinds L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 OvConsOS nokinds Z	MAYBE	24.676	MAYBE	18.701	MAYBE	20.951	MAYBE	17.555
Transformed CSR 04 OvConsOS nokinds iGM	MAYBE	14.020	MAYBE	11.717	MAYBE	14.047	MAYBE	11.580
Transformed CSR...ConsOS nokinds noand C	MAYBE	12.513	MAYBE	10.575	MAYBE	12.772	MAYBE	11.708
Transformed CSR...onsOS nokinds noand GM	MAYBE	11.408	MAYBE	7.825	MAYBE	9.488	MAYBE	7.939
Transformed CSR...nsOS nokinds noand iGM	MAYBE	15.784	MAYBE	12.167	MAYBE	15.182	MAYBE	13.129
Transformed CSR...onsOS nosorts-noand FR	MAYBE	8.529	MAYBE	4.847	MAYBE	6.859	MAYBE	5.812
Transformed CSR...ConsOS nosorts-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...ConsOS nosorts-noand Z	MAYBE	46.322	MAYBE	27.173	MAYBE	40.020	MAYBE	26.168
Transformed CSR 04 OvConsOS nosorts C	MAYBE	10.692	MAYBE	8.963	MAYBE	10.709	MAYBE	9.444
Transformed CSR 04 OvConsOS nosorts FR	MAYBE	5.366	MAYBE	4.172	MAYBE	6.051	MAYBE	4.249
Transformed CSR 04 OvConsOS nosorts GM	MAYBE	49.133	MAYBE	54.071	MAYBE	42.315	MAYBE	44.455
Transformed CSR 04 OvConsOS nosorts L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 OvConsOS nosorts Z	MAYBE	46.121	MAYBE	57.550	MAYBE	43.216	MAYBE	47.961
Transformed CSR 04 OvConsOS nosorts iGM	MAYBE	14.049	MAYBE	15.035	MAYBE	18.591	MAYBE	13.873
Transformed CSR...ConsOS nosorts noand C	MAYBE	22.869	MAYBE	15.574	MAYBE	21.701	MAYBE	17.841
Transformed CSR...onsOS nosorts noand GM	MAYBE	37.539	MAYBE	32.180	MAYBE	35.266	MAYBE	27.557
Transformed CSR...nsOS nosorts noand iGM	MAYBE	25.682	MAYBE	19.397	MAYBE	24.030	MAYBE	20.081
Transformed CSR...ROME complete-noand FR	MAYBE	10.379	MAYBE	8.667	MAYBE	12.756	MAYBE	8.933
Transformed CSR...DROME complete-noand L	MAYBE	5.665	MAYBE	3.683	MAYBE	7.165	MAYBE	4.319
Transformed CSR...DROME complete-noand Z	MAYBE	10.498	MAYBE	8.618	MAYBE	11.599	MAYBE	9.033
Transformed CSR 04 PALINDROME complete C	MAYBE	18.589	MAYBE	15.903	MAYBE	18.941	MAYBE	16.809
Transformed CSR...PALINDROME complete FR	MAYBE	12.459	MAYBE	8.913	MAYBE	12.240	MAYBE	9.192
Transformed CSR...PALINDROME complete GM	MAYBE	21.866	MAYBE	15.436	MAYBE	21.279	MAYBE	14.498
Transformed CSR 04 PALINDROME complete L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 PALINDROME complete Z	MAYBE	10.600	MAYBE	8.963	MAYBE	10.929	MAYBE	8.931
Transformed CSR...ALINDROME complete iGM	MAYBE	22.136	MAYBE	17.400	MAYBE	25.719	MAYBE	17.451
Transformed CSR...DROME complete noand C	MAYBE	24.253	MAYBE	20.403	MAYBE	28.373	MAYBE	19.929
Transformed CSR...ROME complete noand GM	MAYBE	21.891	MAYBE	16.649	MAYBE	23.402	MAYBE	16.707
Transformed CSR...OME complete noand iGM	MAYBE	19.475	MAYBE	15.298	MAYBE	18.696	MAYBE	15.022
Transformed CSR...DROME nokinds-noand FR	MAYBE	12.444	MAYBE	10.717	MAYBE	13.706	MAYBE	11.229
Transformed CSR...NDROME nokinds-noand L	MAYBE	2.204	MAYBE	2.087	MAYBE	2.554	MAYBE	1.875
Transformed CSR...NDROME nokinds-noand Z	MAYBE	14.394	MAYBE	10.596	MAYBE	12.251	MAYBE	9.588
Transformed CSR 04 PALINDROME nokinds C	MAYBE	27.926	MAYBE	17.602	MAYBE	26.114	MAYBE	19.280
Transformed CSR 04 PALINDROME nokinds FR	MAYBE	15.460	MAYBE	12.257	MAYBE	13.967	MAYBE	11.460
Transformed CSR 04 PALINDROME nokinds GM	MAYBE	11.076	MAYBE	10.004	MAYBE	13.092	MAYBE	8.241
Transformed CSR 04 PALINDROME nokinds L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 PALINDROME nokinds Z	MAYBE	14.069	MAYBE	10.572	MAYBE	19.338	MAYBE	10.957
Transformed CSR...PALINDROME nokinds iGM	MAYBE	31.366	MAYBE	20.588	MAYBE	28.529	MAYBE	21.589
Transformed CSR...NDROME nokinds noand C	MAYBE	11.486	MAYBE	8.881	MAYBE	10.228	MAYBE	8.684
Transformed CSR...DROME nokinds noand GM	MAYBE	16.723	MAYBE	15.539	MAYBE	18.451	MAYBE	15.113
Transformed CSR...ROME nokinds noand iGM	MAYBE	11.932	MAYBE	9.431	MAYBE	10.926	MAYBE	9.561
Transformed CSR...DROME nosorts-noand FR	O(n^1)	0.287	O(n^1)	0.236	O(n^1)	0.244	O(n^1)	0.193
Transformed CSR...NDROME nosorts-noand L	O(n^1)	0.243	O(n^1)	0.183	O(n^1)	0.268	O(n^1)	0.172
Transformed CSR 04 PALINDROME nosorts C	TIMEOUT	60.138	TIMEOUT	60.092	TIMEOUT	60.132	TIMEOUT	60.093
Transformed CSR 04 PALINDROME nosorts FR	O(n^1)	0.213	O(n^1)	0.184	O(n^1)	0.225	O(n^1)	0.200
Transformed CSR 04 PALINDROME nosorts GM	MAYBE	7.732	MAYBE	5.201	MAYBE	7.810	MAYBE	4.685
Transformed CSR 04 PALINDROME nosorts L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...PALINDROME nosorts iGM	MAYBE	10.595	MAYBE	6.982	MAYBE	10.094	MAYBE	7.525
Transformed CSR...NDROME nosorts noand C	TIMEOUT	60.142	TIMEOUT	60.094	TIMEOUT	60.140	TIMEOUT	60.091
Transformed CSR...DROME nosorts noand GM	MAYBE	6.953	MAYBE	6.002	MAYBE	9.204	MAYBE	5.583
Transformed CSR...ROME nosorts noand iGM	MAYBE	11.303	MAYBE	8.351	MAYBE	13.124	MAYBE	8.073
Transformed CSR...EANO complete-noand FR	MAYBE	20.846	MAYBE	14.181	MAYBE	18.314	MAYBE	15.611
Transformed CSR...PEANO complete-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR...PEANO complete-noand Z	MAYBE	20.412	MAYBE	14.531	MAYBE	18.941	MAYBE	14.688
Transformed CSR 04 PEANO complete C	MAYBE	17.100	MAYBE	13.651	MAYBE	17.203	MAYBE	14.139
Transformed CSR 04 PEANO complete FR	MAYBE	17.923	MAYBE	9.688	MAYBE	16.236	MAYBE	8.593
Transformed CSR 04 PEANO complete GM	MAYBE	23.930	MAYBE	17.462	MAYBE	20.237	MAYBE	18.130
Transformed CSR 04 PEANO complete L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 PEANO complete Z	MAYBE	10.652	MAYBE	9.732	MAYBE	13.333	MAYBE	8.573
Transformed CSR 04 PEANO complete iGM	MAYBE	20.133	MAYBE	15.894	MAYBE	20.855	MAYBE	16.351
Transformed CSR...PEANO complete noand C	MAYBE	13.578	MAYBE	11.418	MAYBE	16.075	MAYBE	10.724
Transformed CSR...EANO complete noand GM	MAYBE	12.124	MAYBE	8.749	MAYBE	11.183	MAYBE	8.518
Transformed CSR...ANO complete noand iGM	MAYBE	15.380	MAYBE	12.284	MAYBE	15.259	MAYBE	12.414
Transformed CSR...PEANO nokinds-noand FR	MAYBE	13.297	MAYBE	10.230	MAYBE	15.679	MAYBE	10.712
Transformed CSR 04 PEANO nokinds-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 PEANO nokinds-noand Z	MAYBE	14.251	MAYBE	10.049	MAYBE	10.448	MAYBE	9.603
Transformed CSR 04 PEANO nokinds C	MAYBE	24.017	MAYBE	14.830	MAYBE	19.712	MAYBE	16.502
Transformed CSR 04 PEANO nokinds FR	MAYBE	13.430	MAYBE	9.794	MAYBE	15.376	MAYBE	7.760
Transformed CSR 04 PEANO nokinds GM	MAYBE	12.115	MAYBE	7.094	MAYBE	17.372	MAYBE	8.440
Transformed CSR 04 PEANO nokinds L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 PEANO nokinds Z	MAYBE	14.542	MAYBE	9.418	MAYBE	9.571	MAYBE	8.801
Transformed CSR 04 PEANO nokinds iGM	MAYBE	28.022	MAYBE	18.198	MAYBE	29.075	MAYBE	18.927
Transformed CSR 04 PEANO nokinds noand C	MAYBE	20.433	MAYBE	14.087	MAYBE	20.960	MAYBE	14.888
Transformed CSR...PEANO nokinds noand GM	MAYBE	11.878	MAYBE	6.825	MAYBE	9.149	MAYBE	13.252
Transformed CSR...EANO nokinds noand iGM	MAYBE	26.811	MAYBE	18.717	MAYBE	28.803	MAYBE	18.110
Transformed CSR...PEANO nosorts-noand FR	O(n^2)	0.915	O(n^2)	0.853	O(n^2)	1.005	O(n^2)	0.724
Transformed CSR 04 PEANO nosorts-noand L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 PEANO nosorts C	TIMEOUT	60.124	TIMEOUT	60.086	TIMEOUT	60.137	TIMEOUT	60.086
Transformed CSR 04 PEANO nosorts FR	O(n^1)	0.186	O(n^1)	0.140	O(n^1)	0.186	O(n^1)	0.137
Transformed CSR 04 PEANO nosorts GM	MAYBE	6.183	MAYBE	5.586	MAYBE	6.116	MAYBE	5.295
Transformed CSR 04 PEANO nosorts L	missing	-	missing	-	missing	-	missing	-
Transformed CSR 04 PEANO nosorts iGM	TIMEOUT	60.144	TIMEOUT	60.084	TIMEOUT	60.134	TIMEOUT	60.082
Transformed CSR 04 PEANO nosorts noand C	TIMEOUT	60.149	TIMEOUT	60.097	TIMEOUT	60.133	TIMEOUT	60.098
Transformed CSR...PEANO nosorts noand GM	MAYBE	6.280	MAYBE	5.194	MAYBE	6.383	MAYBE	8.017
Transformed CSR...EANO nosorts noand iGM	MAYBE	13.636	MAYBE	8.798	MAYBE	13.369	MAYBE	8.804
Various 04 02	MAYBE	0.399	MAYBE	0.291	MAYBE	0.333	MAYBE	0.253
Various 04 03	MAYBE	0.775	MAYBE	0.644	MAYBE	0.743	MAYBE	0.715
Various 04 04	MAYBE	2.331	MAYBE	1.760	MAYBE	2.165	MAYBE	1.481
Various 04 05	MAYBE	1.262	MAYBE	1.002	MAYBE	1.166	MAYBE	0.921
Various 04 06	O(n^1)	0.176	O(n^1)	0.142	O(n^1)	0.223	O(n^1)	0.151
Various 04 07	O(n^1)	0.153	O(n^1)	0.117	O(n^1)	0.178	O(n^1)	0.112
Various 04 08	MAYBE	7.526	MAYBE	5.179	MAYBE	5.705	MAYBE	4.963
Various 04 09	O(n^1)	0.228	O(n^1)	0.174	O(n^1)	0.229	O(n^1)	0.182
Various 04 10	MAYBE	10.351	MAYBE	8.482	MAYBE	9.736	MAYBE	17.664
Various 04 11	MAYBE	1.158	MAYBE	0.770	MAYBE	0.917	MAYBE	0.726
Various 04 12	MAYBE	10.082	MAYBE	6.730	MAYBE	8.625	MAYBE	6.668
Various 04 13	MAYBE	14.475	MAYBE	10.399	MAYBE	17.703	MAYBE	11.911
Various 04 14	TIMEOUT	60.166	TIMEOUT	60.112	TIMEOUT	60.175	TIMEOUT	60.118
Various 04 15	MAYBE	11.739	MAYBE	7.819	MAYBE	10.818	MAYBE	8.707
Various 04 18	MAYBE	13.425	MAYBE	9.096	MAYBE	11.431	MAYBE	8.812
Various 04 19	MAYBE	8.321	MAYBE	5.749	MAYBE	9.873	MAYBE	5.903
Various 04 21	TIMEOUT	60.145	TIMEOUT	60.088	TIMEOUT	60.129	TIMEOUT	60.087
Various 04 22	MAYBE	1.416	MAYBE	0.964	MAYBE	1.327	MAYBE	1.016
Various 04 23	O(n^1)	0.242	O(n^1)	0.182	O(n^1)	0.243	O(n^1)	0.198
Various 04 24	MAYBE	9.017	MAYBE	8.397	MAYBE	7.213	MAYBE	8.165
Various 04 25	O(n^2)	0.272	O(n^1)	0.143	O(n^2)	0.352	O(n^1)	0.153
Various 04 26	O(n^2)	1.426	O(n^2)	1.150	O(n^2)	1.398	O(n^1)	0.193
Various 04 27	O(n^1)	0.219	O(n^1)	0.134	O(n^1)	0.172	O(n^1)	0.131
Waldmann 06 jwaprove1	TIMEOUT	60.114	TIMEOUT	60.069	TIMEOUT	60.073	TIMEOUT	60.067
Waldmann 06 jwaprove2	TIMEOUT	60.116	TIMEOUT	60.075	TIMEOUT	60.117	TIMEOUT	60.067
Waldmann 06 jwcime1	MAYBE	8.981	MAYBE	7.246	MAYBE	10.386	MAYBE	7.164
Waldmann 06 jwcime2	MAYBE	15.936	MAYBE	10.954	MAYBE	11.901	MAYBE	9.291
Waldmann 06 jwmatchb1	O(n^3)	6.502	O(n^3)	6.366	O(n^3)	7.695	O(n^3)	5.791
Waldmann 06 jwmatchb2	O(n^3)	5.786	O(n^3)	4.836	O(n^3)	7.147	O(n^3)	4.878
Waldmann 06 jwno1	MAYBE	9.618	MAYBE	7.236	MAYBE	11.457	MAYBE	8.487
Waldmann 06 jwno2	MAYBE	19.796	MAYBE	9.465	MAYBE	15.579	MAYBE	10.206
Waldmann 06 jwno3	MAYBE	7.891	MAYBE	5.144	MAYBE	7.510	MAYBE	5.268
Waldmann 06 jwno4	MAYBE	15.965	MAYBE	12.819	MAYBE	13.053	MAYBE	9.718
Waldmann 06 jwno5	MAYBE	10.148	MAYBE	8.451	MAYBE	8.992	MAYBE	8.113
Waldmann 06 jwno6	MAYBE	12.163	MAYBE	8.797	MAYBE	12.631	MAYBE	10.358
Waldmann 06 jwno7	TIMEOUT	60.112	MAYBE	44.366	MAYBE	53.566	MAYBE	34.801
Waldmann 06 jwno8	MAYBE	10.903	MAYBE	7.942	MAYBE	11.724	MAYBE	7.161
Waldmann 06 jwno9	MAYBE	11.771	MAYBE	8.472	MAYBE	14.391	MAYBE	8.677
Waldmann 06 jwteparla1	MAYBE	12.654	MAYBE	10.036	MAYBE	11.388	MAYBE	10.027
Waldmann 06 jwteparla2	MAYBE	14.153	MAYBE	9.775	MAYBE	13.349	MAYBE	9.567
Waldmann 06 jwtpa1	MAYBE	14.796	MAYBE	12.033	MAYBE	14.001	MAYBE	12.392
Waldmann 06 jwtpa2	MAYBE	16.282	MAYBE	10.917	MAYBE	14.355	MAYBE	11.172
Waldmann 06 jwttt	MAYBE	9.281	MAYBE	8.464	MAYBE	11.858	MAYBE	8.459
Zantema 05 jw01	TIMEOUT	60.110	O(n^2)	1.013	TIMEOUT	60.110	O(n^2)	0.957
Zantema 05 jw02	TIMEOUT	60.114	O(n^3)	8.374	TIMEOUT	60.107	O(n^3)	7.991
Zantema 05 jw03	TIMEOUT	60.107	O(n^3)	12.143	TIMEOUT	60.094	O(n^3)	14.347
Zantema 05 jw04	TIMEOUT	60.113	O(n^3)	5.273	TIMEOUT	60.111	O(n^3)	5.540
Zantema 05 jw05	TIMEOUT	60.112	O(n^3)	5.882	TIMEOUT	60.114	O(n^3)	5.999
Zantema 05 jw06	TIMEOUT	60.114	O(n^2)	1.056	TIMEOUT	60.110	O(n^2)	1.062
Zantema 05 jw07	MAYBE	16.571	MAYBE	20.976	MAYBE	21.640	MAYBE	25.513
Zantema 05 jw08	MAYBE	17.683	MAYBE	9.728	MAYBE	14.726	MAYBE	8.867
Zantema 05 jw09	MAYBE	11.022	MAYBE	22.246	MAYBE	18.088	MAYBE	18.244
Zantema 05 jw11	TIMEOUT	60.076	TIMEOUT	60.103	TIMEOUT	60.110	TIMEOUT	60.068
Zantema 05 jw12	TIMEOUT	60.085	TIMEOUT	60.068	TIMEOUT	60.104	TIMEOUT	60.070
Zantema 05 jw13	TIMEOUT	60.110	O(n^3)	7.983	TIMEOUT	60.110	O(n^3)	8.734
Zantema 05 jw14	TIMEOUT	60.083	O(n^2)	1.824	TIMEOUT	60.115	O(n^2)	1.949
Zantema 05 jw15	MAYBE	13.431	MAYBE	9.646	MAYBE	15.353	MAYBE	9.443
Zantema 05 jw16	MAYBE	42.143	O(n^2)	3.740	MAYBE	39.026	O(n^2)	3.455
Zantema 05 jw17	MAYBE	22.956	MAYBE	19.898	MAYBE	21.902	MAYBE	25.480
Zantema 05 jw18	TIMEOUT	60.111	O(n^2)	1.440	TIMEOUT	60.108	O(n^2)	1.429
Zantema 05 jw19	TIMEOUT	60.113	TIMEOUT	60.070	TIMEOUT	60.101	TIMEOUT	60.067
Zantema 05 jw20	MAYBE	17.893	MAYBE	21.611	MAYBE	24.953	MAYBE	18.906
Zantema 05 jw21	MAYBE	39.283	MAYBE	25.446	MAYBE	23.817	MAYBE	28.951
Zantema 05 jw22	MAYBE	16.588	MAYBE	9.461	MAYBE	16.709	MAYBE	9.770
Zantema 05 jw23	MAYBE	16.251	MAYBE	9.021	MAYBE	13.408	MAYBE	9.201
Zantema 05 jw24	MAYBE	19.230	MAYBE	12.755	MAYBE	17.255	MAYBE	12.747
Zantema 05 jw25	MAYBE	23.476	MAYBE	16.905	MAYBE	21.690	MAYBE	14.507
Zantema 05 jw26	MAYBE	15.931	MAYBE	9.772	MAYBE	13.219	MAYBE	10.534
Zantema 05 jw27	MAYBE	12.632	MAYBE	9.270	MAYBE	13.890	MAYBE	8.986
Zantema 05 jw28	MAYBE	17.488	MAYBE	17.158	MAYBE	14.299	MAYBE	15.820
Zantema 05 jw29	MAYBE	21.573	MAYBE	22.483	MAYBE	15.620	MAYBE	23.869
Zantema 05 jw30	TIMEOUT	60.123	TIMEOUT	60.070	TIMEOUT	60.075	TIMEOUT	60.071
Zantema 05 jw31	TIMEOUT	60.109	O(n^2)	1.370	TIMEOUT	60.092	O(n^2)	1.423
Zantema 05 jw32	MAYBE	12.924	MAYBE	21.532	MAYBE	20.164	MAYBE	24.749
Zantema 05 jw33	MAYBE	15.639	O(n^2)	3.681	MAYBE	23.375	O(n^2)	3.298
Zantema 05 jw34	MAYBE	17.501	MAYBE	9.150	MAYBE	13.159	MAYBE	9.198
Zantema 05 jw35	TIMEOUT	60.086	O(n^2)	2.000	TIMEOUT	60.101	O(n^2)	1.651
Zantema 05 jw36	TIMEOUT	60.128	O(n^3)	8.020	TIMEOUT	60.112	O(n^3)	8.361
Zantema 05 jw37	TIMEOUT	60.118	TIMEOUT	60.068	TIMEOUT	60.107	TIMEOUT	60.067
Zantema 05 jw38	TIMEOUT	60.076	TIMEOUT	60.070	TIMEOUT	60.106	TIMEOUT	60.069
Zantema 05 jw39	MAYBE	20.149	MAYBE	23.113	MAYBE	17.007	MAYBE	25.997
Zantema 05 jw40	MAYBE	22.454	MAYBE	23.623	MAYBE	11.588	MAYBE	22.859
Zantema 05 jw41	MAYBE	19.119	MAYBE	9.137	MAYBE	12.518	MAYBE	8.905
Zantema 05 jw42	MAYBE	16.380	MAYBE	22.028	MAYBE	22.859	MAYBE	19.597
Zantema 05 jw43	O(n^2)	2.690	O(n^2)	1.901	O(n^2)	2.250	O(n^2)	2.073
Zantema 05 jw44	O(n^1)	0.273	O(n^1)	0.219	O(n^1)	0.311	O(n^1)	0.213
Zantema 05 jw47	O(n^1)	0.279	O(n^1)	0.225	O(n^1)	0.269	O(n^1)	0.203
Zantema 05 jw50	O(n^2)	2.397	O(n^2)	2.104	O(n^2)	2.405	O(n^2)	2.211
Zantema 05 z01	MAYBE	53.055	MAYBE	45.137	MAYBE	54.539	MAYBE	46.530
Zantema 05 z02	MAYBE	6.333	MAYBE	5.238	MAYBE	5.435	MAYBE	4.634
Zantema 05 z03	TIMEOUT	66.592	TIMEOUT	60.069	TIMEOUT	60.111	TIMEOUT	60.069
Zantema 05 z04	MAYBE	4.447	MAYBE	2.674	MAYBE	3.591	MAYBE	2.990
Zantema 05 z05	TIMEOUT	0.000	TIMEOUT	60.071	TIMEOUT	60.087	TIMEOUT	60.068
Zantema 05 z06	TIMEOUT	60.101	TIMEOUT	60.069	TIMEOUT	60.117	TIMEOUT	60.067
Zantema 05 z07	TIMEOUT	60.111	TIMEOUT	60.072	TIMEOUT	60.116	TIMEOUT	60.070
Zantema 05 z08	TIMEOUT	60.092	TIMEOUT	60.068	TIMEOUT	60.112	TIMEOUT	60.068
Zantema 05 z09	MAYBE	11.602	MAYBE	10.184	MAYBE	10.359	MAYBE	8.948
Zantema 05 z10	MAYBE	15.518	MAYBE	9.623	MAYBE	13.230	MAYBE	9.181
Zantema 05 z11	MAYBE	9.524	MAYBE	8.162	MAYBE	10.928	MAYBE	9.275
Zantema 05 z12	TIMEOUT	60.108	MAYBE	47.991	TIMEOUT	60.875	MAYBE	49.379
Zantema 05 z13	TIMEOUT	60.106	TIMEOUT	60.072	TIMEOUT	60.107	TIMEOUT	60.072
Zantema 05 z14	TIMEOUT	60.104	TIMEOUT	60.073	TIMEOUT	60.101	TIMEOUT	60.068
Zantema 05 z15	TIMEOUT	60.119	TIMEOUT	60.071	TIMEOUT	60.100	TIMEOUT	60.070
Zantema 05 z16	TIMEOUT	60.116	TIMEOUT	60.069	TIMEOUT	60.109	TIMEOUT	60.069
Zantema 05 z17	TIMEOUT	60.098	TIMEOUT	60.070	TIMEOUT	60.075	TIMEOUT	60.068
Zantema 05 z18	TIMEOUT	60.099	TIMEOUT	60.073	TIMEOUT	60.103	TIMEOUT	60.271
Zantema 05 z19	MAYBE	6.307	MAYBE	4.675	MAYBE	5.900	MAYBE	4.962
Zantema 05 z20	MAYBE	10.561	MAYBE	7.183	MAYBE	12.572	MAYBE	7.750
Zantema 05 z21	MAYBE	4.986	MAYBE	3.495	MAYBE	4.052	MAYBE	3.060
Zantema 05 z22	MAYBE	13.270	MAYBE	10.346	MAYBE	12.660	MAYBE	9.599
Zantema 05 z23	MAYBE	18.983	MAYBE	35.759	MAYBE	17.608	MAYBE	30.914
Zantema 05 z24	TIMEOUT	60.112	TIMEOUT	60.073	TIMEOUT	60.102	TIMEOUT	60.077
Zantema 05 z25	TIMEOUT	60.086	TIMEOUT	60.069	TIMEOUT	60.113	TIMEOUT	60.070
Zantema 05 z26	TIMEOUT	60.125	TIMEOUT	60.072	TIMEOUT	60.321	O(n^2)	56.917
Zantema 05 z27	MAYBE	1.527	MAYBE	0.971	MAYBE	1.357	MAYBE	0.985
Zantema 05 z28	MAYBE	4.008	MAYBE	2.729	MAYBE	3.644	MAYBE	2.910
Zantema 05 z29	MAYBE	6.763	MAYBE	4.062	MAYBE	5.472	MAYBE	3.575
Zantema 05 z30	TIMEOUT	60.107	TIMEOUT	60.071	TIMEOUT	60.073	TIMEOUT	60.070
raML appendAll.raml	O(n^2)	1.029	O(n^2)	0.837	O(n^2)	1.096	O(n^2)	0.871
raML bfs.raml	MAYBE	10.654	MAYBE	8.275	MAYBE	11.009	MAYBE	9.438
raML bft mmult.raml	MAYBE	15.158	MAYBE	8.144	MAYBE	15.980	MAYBE	9.744
raML bitvectors.raml	TIMEOUT	62.178	MAYBE	50.441	TIMEOUT	60.328	MAYBE	52.396
raML clevermmult.raml	MAYBE	20.345	MAYBE	16.755	MAYBE	24.276	MAYBE	16.874
raML duplicates.raml	MAYBE	10.721	O(n^3)	10.949	MAYBE	11.681	O(n^3)	13.989
raML dyade.raml	MAYBE	24.350	MAYBE	17.269	MAYBE	19.486	MAYBE	15.191
raML eratosthenes.raml	MAYBE	13.313	MAYBE	11.437	MAYBE	13.920	MAYBE	10.205
raML flatten.raml	MAYBE	8.914	MAYBE	10.602	MAYBE	11.735	MAYBE	11.616
raML insertionsort.raml	TIMEOUT	60.174	TIMEOUT	60.127	TIMEOUT	60.180	TIMEOUT	60.132
raML listsort.raml	MAYBE	15.649	MAYBE	18.326	MAYBE	15.436	MAYBE	17.610
raML longestCommonSubsequence.raml	MAYBE	11.491	MAYBE	9.546	MAYBE	19.004	MAYBE	11.534
raML matrix.raml	TIMEOUT	60.231	TIMEOUT	60.173	TIMEOUT	60.405	TIMEOUT	60.302
raML mergesort.raml	MAYBE	11.092	MAYBE	7.998	MAYBE	11.952	MAYBE	7.784
raML minsort.raml	MAYBE	5.766	O(n^3)	59.692	MAYBE	6.398	TIMEOUT	60.089
raML queue.raml	MAYBE	12.427	MAYBE	10.482	MAYBE	10.849	MAYBE	8.970
raML quicksort.raml	TIMEOUT	60.225	TIMEOUT	60.157	TIMEOUT	60.213	TIMEOUT	60.154
raML rationalPotential.raml	O(n^1)	0.289	O(n^1)	0.233	O(n^1)	0.284	O(n^1)	0.235
raML splitandsort.raml	MAYBE	9.686	MAYBE	7.767	MAYBE	9.860	MAYBE	7.621
raML subtrees.raml	MAYBE	2.026	MAYBE	1.506	MAYBE	1.980	MAYBE	1.378