IsaFoR/CeTA - An Isabelle/HOL Formalization of Rewriting for Certified Tool Assertions

On this page we provide experimental evidence concerning our paper Certification of Complexity Proofs using CeTA with TcT.

Overview

	TcT-Certify	TcT-Competition-Certify	TcT-Competition-Full
O(1)	-	-	38
O(n^1)	234	117	240
O(n^2)	57	40	63
O(n^3)	8	3	13
O(n^4)	1	-	1
O(n^5)	1	-	1
O(n^10)	-	-	1
POLY	-	-	4
Total YES	301	160	361

Details

	TcT-Certify		TcT-Competition-Certify		TcT-Competition-Full
Problem (all selected)	answer	time	answer	time	answer	time
AG01 3.1	O(n^1)	0.689	TIMEOUT	60.254	O(n^1)	1.278
AG01 3.10	TIMEOUT	60.334	TIMEOUT	60.341	MAYBE	60.105
AG01 3.12	TIMEOUT	60.543	TIMEOUT	60.256	O(n^3)	33.524
AG01 3.13	TIMEOUT	60.779	TIMEOUT	60.267	MAYBE	60.112
AG01 3.15	O(n^1)	0.830	O(n^1)	0.831	O(n^1)	5.091
AG01 3.16	TIMEOUT	60.399	TIMEOUT	60.236	O(n^3)	28.472
AG01 3.17	TIMEOUT	60.492	TIMEOUT	60.280	O(n^2)	30.112
AG01 3.17a	TIMEOUT	60.423	TIMEOUT	60.255	O(n^2)	30.122
AG01 3.18	TIMEOUT	60.353	TIMEOUT	60.250	MAYBE	60.097
AG01 3.19	TIMEOUT	60.435	TIMEOUT	60.255	MAYBE	60.537
AG01 3.2	TIMEOUT	60.361	TIMEOUT	60.264	O(n^2)	22.268
AG01 3.22	O(n^2)	1.269	TIMEOUT	60.240	O(n^2)	7.376
AG01 3.23	O(n^1)	0.483	TIMEOUT	60.301	O(n^1)	0.614
AG01 3.24	O(n^1)	0.306	O(n^2)	1.578	O(n^1)	1.772
AG01 3.26	TIMEOUT	60.390	TIMEOUT	60.301	MAYBE	60.092
AG01 3.29	O(n^1)	0.375	O(n^1)	0.434	O(1)	0.374
AG01 3.31	TIMEOUT	60.690	TIMEOUT	60.255	MAYBE	60.089
AG01 3.33	O(n^1)	0.322	O(n^2)	2.860	O(1)	1.813
AG01 3.35	O(n^1)	0.330	O(n^1)	0.677	O(n^1)	0.628
AG01 3.36	TIMEOUT	60.476	TIMEOUT	60.282	MAYBE	60.097
AG01 3.37	O(n^1)	0.321	O(n^2)	3.650	O(n^1)	1.981
AG01 3.38	TIMEOUT	61.206	TIMEOUT	60.248	MAYBE	60.091
AG01 3.39	O(n^1)	34.546	TIMEOUT	60.710	O(n^2)	30.104
AG01 3.4	TIMEOUT	61.587	TIMEOUT	60.328	MAYBE	48.961
AG01 3.40	TIMEOUT	60.303	TIMEOUT	60.459	O(n^2)	30.110
AG01 3.41	O(n^3)	6.832	TIMEOUT	60.256	O(n^1)	24.017
AG01 3.42	TIMEOUT	60.394	TIMEOUT	60.294	O(n^1)	19.701
AG01 3.47	O(n^3)	4.928	TIMEOUT	60.316	O(n^1)	5.673
AG01 3.48	TIMEOUT	60.383	TIMEOUT	60.263	O(n^2)	30.205
AG01 3.49	TIMEOUT	60.292	TIMEOUT	60.259	MAYBE	60.091
AG01 3.5	O(n^2)	2.980	TIMEOUT	60.325	O(n^2)	5.491
AG01 3.51	O(n^1)	0.309	O(n^2)	4.340	O(n^1)	2.990
AG01 3.52	O(n^2)	0.892	TIMEOUT	60.239	O(n^1)	1.261
AG01 3.53	TIMEOUT	60.409	TIMEOUT	60.250	O(n^3)	46.959
AG01 3.53a	O(n^1)	0.443	O(n^1)	0.521	O(1)	0.383
AG01 3.53b	O(n^2)	0.961	TIMEOUT	60.248	O(n^1)	1.426
AG01 3.54	TIMEOUT	60.766	TIMEOUT	61.160	MAYBE	60.099
AG01 3.55	TIMEOUT	60.701	TIMEOUT	60.272	MAYBE	60.110
AG01 3.56	O(n^1)	0.316	O(n^2)	1.093	O(n^1)	2.361
AG01 3.57	TIMEOUT	61.111	TIMEOUT	60.287	MAYBE	60.211
AG01 3.5a	TIMEOUT	60.319	TIMEOUT	60.268	O(n^2)	28.578
AG01 3.5b	TIMEOUT	60.284	TIMEOUT	60.268	O(n^3)	37.740
AG01 3.6	TIMEOUT	60.351	TIMEOUT	60.247	O(n^2)	27.292
AG01 3.6a	O(n^2)	2.943	TIMEOUT	60.332	O(n^2)	4.975
AG01 3.6b	TIMEOUT	60.248	TIMEOUT	60.260	O(n^3)	41.973
AG01 3.7	O(n^1)	0.709	O(n^1)	0.924	O(n^1)	5.109
AG01 3.8a	TIMEOUT	60.781	TIMEOUT	60.278	O(n^3)	36.045
AG01 3.8b	TIMEOUT	60.263	TIMEOUT	60.301	O(n^4)	57.297
AG01 4.30c	TIMEOUT	60.337	TIMEOUT	60.261	MAYBE	60.096
AProVE 04 AAECC	TIMEOUT	61.618	TIMEOUT	60.302	MAYBE	60.105
AProVE 04 AAECC-ring	TIMEOUT	60.443	TIMEOUT	60.895	MAYBE	60.140
AProVE 04 IJCAR 1	TIMEOUT	60.427	TIMEOUT	60.344	O(n^1)	17.217
AProVE 04 IJCAR 12	TIMEOUT	60.452	TIMEOUT	60.416	MAYBE	60.099
AProVE 04 IJCAR 18	TIMEOUT	60.494	TIMEOUT	60.271	MAYBE	60.115
AProVE 04 IJCAR 26	TIMEOUT	60.858	TIMEOUT	60.292	MAYBE	60.109
AProVE 04 IJCAR 26a	TIMEOUT	60.492	TIMEOUT	60.285	MAYBE	60.110
AProVE 04 JFP Ex31	TIMEOUT	60.440	TIMEOUT	60.247	MAYBE	60.102
AProVE 04 JFP Ex51	O(n^2)	19.117	TIMEOUT	60.298	O(n^1)	60.137
AProVE 04 LPAR intlist	TIMEOUT	60.396	TIMEOUT	60.261	MAYBE	60.092
AProVE 04 Liveness6.1	TIMEOUT	60.458	TIMEOUT	60.238	MAYBE	60.103
AProVE 04 Liveness6.2	TIMEOUT	60.447	TIMEOUT	60.246	MAYBE	60.089
AProVE 04 Liveness6.3	O(n^1)	0.335	O(n^1)	2.687	O(n^1)	5.979
AProVE 04 Liveness6.4	TIMEOUT	60.273	TIMEOUT	60.261	MAYBE	60.098
AProVE 04 Liveness8	O(n^1)	0.359	TIMEOUT	60.289	O(n^1)	60.117
AProVE 04 Liveness WRS	O(n^1)	0.342	TIMEOUT	60.298	O(n^1)	60.093
AProVE 04 fac	TIMEOUT	60.627	TIMEOUT	60.252	MAYBE	60.122
AProVE 04 rta1	TIMEOUT	60.349	TIMEOUT	60.281	MAYBE	60.092
AProVE 04 rta2	TIMEOUT	60.320	TIMEOUT	60.244	MAYBE	59.004
AProVE 04 rta3	TIMEOUT	60.423	TIMEOUT	60.272	MAYBE	60.090
AProVE 06 div notCeTermin	TIMEOUT	60.270	TIMEOUT	60.281	MAYBE	60.105
AProVE 06 div notTermin	TIMEOUT	60.266	TIMEOUT	60.284	MAYBE	60.103
AProVE 06 factorial1	TIMEOUT	60.640	TIMEOUT	60.397	MAYBE	60.098
AProVE 06 factorial2	TIMEOUT	60.590	TIMEOUT	60.251	MAYBE	60.094
AProVE 06 identity	TIMEOUT	60.857	TIMEOUT	60.256	MAYBE	60.089
AProVE 06 logarithm	TIMEOUT	60.271	TIMEOUT	60.279	MAYBE	60.100
AProVE 06 modulo	TIMEOUT	60.473	TIMEOUT	60.306	MAYBE	60.091
AProVE 06 nonterm	TIMEOUT	60.841	TIMEOUT	60.288	MAYBE	60.152
AProVE 06 quicksort	TIMEOUT	60.561	TIMEOUT	61.093	MAYBE	60.102
AProVE 06 quot	TIMEOUT	60.468	TIMEOUT	60.263	MAYBE	60.091
AProVE 06 sizeChange	TIMEOUT	60.476	TIMEOUT	60.238	MAYBE	60.096
AProVE 06 tower	TIMEOUT	60.590	TIMEOUT	60.495	MAYBE	60.163
AProVE 06 tower sizeChange	TIMEOUT	60.362	TIMEOUT	60.296	MAYBE	60.291
AProVE 07 kabasci01	TIMEOUT	60.318	TIMEOUT	60.297	MAYBE	60.134
AProVE 07 kabasci02	TIMEOUT	60.666	TIMEOUT	60.476	MAYBE	64.367
AProVE 07 kabasci03	O(n^1)	0.329	O(n^1)	0.484	O(1)	0.238
AProVE 07 kabasci04	TIMEOUT	60.919	TIMEOUT	60.572	MAYBE	60.100
AProVE 07 kabasci05	TIMEOUT	60.877	TIMEOUT	60.274	MAYBE	60.109
AProVE 07 otto01	TIMEOUT	60.434	TIMEOUT	60.271	MAYBE	60.105
AProVE 07 otto02	TIMEOUT	61.196	TIMEOUT	60.251	MAYBE	60.100
AProVE 07 otto03	TIMEOUT	60.973	TIMEOUT	60.259	MAYBE	60.093
AProVE 07 otto04	TIMEOUT	60.697	TIMEOUT	60.464	MAYBE	60.100
AProVE 07 otto05	TIMEOUT	60.380	TIMEOUT	60.251	MAYBE	60.093
AProVE 07 otto06	TIMEOUT	61.098	TIMEOUT	60.269	MAYBE	60.101
AProVE 07 otto07	TIMEOUT	60.359	TIMEOUT	61.373	MAYBE	60.099
AProVE 07 otto08	TIMEOUT	60.486	TIMEOUT	60.270	MAYBE	60.931
AProVE 07 otto09	TIMEOUT	60.463	TIMEOUT	60.552	MAYBE	60.097
AProVE 07 otto10	TIMEOUT	62.663	TIMEOUT	60.256	MAYBE	60.121
AProVE 07 otto11	TIMEOUT	60.663	TIMEOUT	60.438	MAYBE	60.096
AProVE 07 otto12	TIMEOUT	60.368	TIMEOUT	60.253	MAYBE	60.130
AProVE 07 otto13	TIMEOUT	61.749	TIMEOUT	60.285	MAYBE	60.130
AProVE 07 thiemann01	TIMEOUT	60.515	TIMEOUT	60.252	MAYBE	60.094
AProVE 07 thiemann02	TIMEOUT	60.419	TIMEOUT	60.294	MAYBE	60.116
AProVE 07 thiemann03	TIMEOUT	60.656	TIMEOUT	60.269	MAYBE	60.094
AProVE 07 thiemann04	TIMEOUT	60.399	TIMEOUT	60.272	MAYBE	60.291
AProVE 07 thiemann05	TIMEOUT	60.677	TIMEOUT	60.260	MAYBE	60.287
AProVE 07 thiemann06	TIMEOUT	60.929	TIMEOUT	60.291	MAYBE	60.094
AProVE 07 thiemann07	TIMEOUT	60.566	TIMEOUT	60.326	MAYBE	60.097
AProVE 07 thiemann08	TIMEOUT	60.715	TIMEOUT	60.267	MAYBE	61.140
AProVE 07 thiemann09	TIMEOUT	60.546	TIMEOUT	60.281	MAYBE	60.123
AProVE 07 thiemann10	TIMEOUT	60.355	TIMEOUT	60.254	MAYBE	60.098
AProVE 07 thiemann11	TIMEOUT	60.704	TIMEOUT	60.253	MAYBE	60.106
AProVE 07 thiemann12	TIMEOUT	60.553	TIMEOUT	60.230	MAYBE	60.089
AProVE 07 thiemann13	TIMEOUT	60.278	TIMEOUT	60.257	MAYBE	60.116
AProVE 07 thiemann14	TIMEOUT	60.601	TIMEOUT	60.708	MAYBE	60.117
AProVE 07 thiemann15	TIMEOUT	60.393	TIMEOUT	60.280	MAYBE	60.089
AProVE 07 thiemann16	TIMEOUT	60.869	TIMEOUT	60.261	MAYBE	60.102
AProVE 07 thiemann17	TIMEOUT	60.426	TIMEOUT	60.335	MAYBE	60.119
AProVE 07 thiemann18	TIMEOUT	61.196	TIMEOUT	60.282	MAYBE	60.103
AProVE 07 thiemann19	TIMEOUT	61.519	TIMEOUT	60.262	MAYBE	60.156
AProVE 07 thiemann20	TIMEOUT	60.426	TIMEOUT	60.253	MAYBE	60.103
AProVE 07 thiemann21	TIMEOUT	60.547	TIMEOUT	60.275	MAYBE	60.111
AProVE 07 thiemann22	TIMEOUT	60.249	TIMEOUT	60.891	MAYBE	60.095
AProVE 07 thiemann23	TIMEOUT	62.532	TIMEOUT	60.564	MAYBE	60.098
AProVE 07 thiemann24	TIMEOUT	60.495	TIMEOUT	60.260	MAYBE	60.095
AProVE 07 thiemann25	TIMEOUT	61.063	TIMEOUT	60.879	MAYBE	60.092
AProVE 07 thiemann26	TIMEOUT	60.537	TIMEOUT	60.246	MAYBE	60.108
AProVE 07 thiemann27	TIMEOUT	60.357	TIMEOUT	60.237	MAYBE	60.850
AProVE 07 thiemann28	TIMEOUT	61.017	TIMEOUT	60.248	MAYBE	60.116
AProVE 07 thiemann29	TIMEOUT	60.563	TIMEOUT	60.352	MAYBE	60.097
AProVE 07 thiemann30	TIMEOUT	60.332	TIMEOUT	60.307	MAYBE	60.112
AProVE 07 thiemann31	TIMEOUT	60.543	TIMEOUT	60.255	MAYBE	60.094
AProVE 07 thiemann32	TIMEOUT	60.527	TIMEOUT	60.299	MAYBE	60.137
AProVE 07 thiemann33	TIMEOUT	60.442	TIMEOUT	60.261	MAYBE	60.104
AProVE 07 thiemann34	TIMEOUT	60.529	TIMEOUT	60.260	MAYBE	60.095
AProVE 07 thiemann36	TIMEOUT	60.614	TIMEOUT	60.256	MAYBE	60.121
AProVE 07 thiemann37	TIMEOUT	60.509	TIMEOUT	60.606	MAYBE	60.105
AProVE 07 thiemann38	TIMEOUT	60.480	TIMEOUT	60.253	MAYBE	60.094
AProVE 07 thiemann40	TIMEOUT	60.398	TIMEOUT	60.877	MAYBE	60.103
AProVE 07 thiemann41	TIMEOUT	60.544	TIMEOUT	60.265	MAYBE	60.092
AProVE 07 wiehe01	TIMEOUT	60.624	TIMEOUT	62.379	MAYBE	60.101
AProVE 07 wiehe02	TIMEOUT	60.537	missing	-	MAYBE	60.890
AProVE 07 wiehe03	TIMEOUT	60.590	missing	-	MAYBE	60.138
AProVE 07 wiehe05	TIMEOUT	61.142	TIMEOUT	60.326	MAYBE	60.103
AProVE 07 wiehe06	TIMEOUT	60.519	TIMEOUT	60.295	MAYBE	60.336
AProVE 07 wiehe07	TIMEOUT	60.424	missing	-	MAYBE	61.004
AProVE 07 wiehe08	TIMEOUT	60.394	TIMEOUT	60.484	MAYBE	61.847
AProVE 07 wiehe09	TIMEOUT	60.368	TIMEOUT	60.404	MAYBE	60.445
AProVE 07 wiehe11	TIMEOUT	60.577	missing	-	MAYBE	60.213
AProVE 07 wiehe12	TIMEOUT	60.615	TIMEOUT	61.803	MAYBE	60.139
AProVE 08 id inc	TIMEOUT	60.509	TIMEOUT	60.305	MAYBE	60.164
AProVE 08 log	TIMEOUT	60.531	TIMEOUT	60.283	MAYBE	60.088
AProVE 08 parting01 reverse	TIMEOUT	60.351	TIMEOUT	60.300	MAYBE	60.123
AProVE 08 parting02 doublelist	TIMEOUT	60.400	TIMEOUT	60.283	MAYBE	60.094
AProVE 08 parting03 minsort	TIMEOUT	60.650	TIMEOUT	60.267	MAYBE	60.102
AProVE 08 parting04 maxsort h	TIMEOUT	60.682	TIMEOUT	61.698	MAYBE	60.150
AProVE 08 parting05 maxsort	TIMEOUT	60.521	TIMEOUT	60.389	MAYBE	60.103
AProVE 08 round	TIMEOUT	60.663	TIMEOUT	60.358	MAYBE	60.113
AProVE 08 round nonterm	TIMEOUT	60.549	TIMEOUT	60.306	MAYBE	60.094
AProVE 08 thiemann40 modified	TIMEOUT	60.427	TIMEOUT	60.271	MAYBE	60.087
AProVE 09 Inductive div	TIMEOUT	61.123	TIMEOUT	60.281	MAYBE	60.122
AProVE 09 Inductive divhard	TIMEOUT	60.417	TIMEOUT	60.260	MAYBE	60.276
AProVE 09 Inductive gcd	TIMEOUT	60.564	TIMEOUT	60.434	MAYBE	60.248
AProVE 09 Inductive gcd2	TIMEOUT	60.559	TIMEOUT	60.296	MAYBE	60.100
AProVE 09 Inductive gcdhard	TIMEOUT	60.618	TIMEOUT	60.324	MAYBE	60.188
AProVE 09 Inductive log	TIMEOUT	60.818	TIMEOUT	60.250	MAYBE	60.096
AProVE 09 Inductive maxsort	TIMEOUT	60.366	TIMEOUT	60.273	MAYBE	60.097
AProVE 09 Inductive maxsortcondition	TIMEOUT	60.580	TIMEOUT	60.259	MAYBE	60.113
AProVE 09 Inductive minsort	TIMEOUT	60.366	TIMEOUT	60.284	MAYBE	62.046
AProVE 09 Inductive mod	TIMEOUT	60.314	TIMEOUT	60.243	MAYBE	60.099
AProVE 09 Inductive qsort	TIMEOUT	60.382	TIMEOUT	60.275	MAYBE	60.098
AProVE 09 Inductive qsortlast	TIMEOUT	60.388	missing	-	MAYBE	60.101
AProVE 09 Inductive qsortmiddle	TIMEOUT	60.475	missing	-	MAYBE	60.398
AProVE 09 Inductive zerolist	TIMEOUT	60.584	TIMEOUT	60.363	MAYBE	60.100
Beerendonk 07 1	TIMEOUT	60.381	TIMEOUT	60.254	MAYBE	60.092
Beerendonk 07 10	TIMEOUT	60.260	TIMEOUT	60.266	MAYBE	60.094
Beerendonk 07 11	TIMEOUT	60.414	TIMEOUT	60.253	MAYBE	60.103
Beerendonk 07 12	TIMEOUT	61.015	TIMEOUT	60.270	MAYBE	63.529
Beerendonk 07 13	TIMEOUT	60.428	TIMEOUT	60.250	MAYBE	60.098
Beerendonk 07 14	TIMEOUT	60.423	TIMEOUT	60.268	MAYBE	60.234
Beerendonk 07 15	TIMEOUT	60.947	TIMEOUT	60.685	MAYBE	60.306
Beerendonk 07 16	TIMEOUT	63.934	TIMEOUT	60.268	MAYBE	60.090
Beerendonk 07 17	TIMEOUT	61.059	TIMEOUT	61.066	MAYBE	60.369
Beerendonk 07 18	TIMEOUT	60.429	TIMEOUT	60.275	MAYBE	62.682
Beerendonk 07 19	TIMEOUT	60.557	TIMEOUT	60.261	MAYBE	60.096
Beerendonk 07 2	TIMEOUT	60.441	TIMEOUT	60.280	MAYBE	60.091
Beerendonk 07 20	TIMEOUT	60.323	TIMEOUT	60.300	MAYBE	60.099
Beerendonk 07 21	TIMEOUT	60.665	TIMEOUT	60.343	MAYBE	60.186
Beerendonk 07 22	TIMEOUT	60.529	TIMEOUT	60.501	MAYBE	60.174
Beerendonk 07 23	TIMEOUT	60.813	TIMEOUT	60.480	MAYBE	60.183
Beerendonk 07 24	TIMEOUT	60.606	TIMEOUT	60.469	MAYBE	60.170
Beerendonk 07 3	TIMEOUT	60.605	TIMEOUT	60.253	MAYBE	60.093
Beerendonk 07 4	TIMEOUT	60.350	TIMEOUT	60.270	MAYBE	60.094
Beerendonk 07 5	TIMEOUT	60.450	TIMEOUT	60.393	MAYBE	60.093
Beerendonk 07 6	TIMEOUT	60.384	TIMEOUT	60.246	MAYBE	60.098
Beerendonk 07 7	TIMEOUT	60.562	TIMEOUT	60.242	MAYBE	60.095
Beerendonk 07 8	TIMEOUT	60.324	TIMEOUT	60.263	MAYBE	60.091
Beerendonk 07 9	TIMEOUT	60.657	TIMEOUT	60.528	MAYBE	60.087
CiME 04 ack prolog	TIMEOUT	60.530	TIMEOUT	60.243	MAYBE	60.093
CiME 04 append	O(n^1)	0.694	TIMEOUT	60.252	O(n^1)	0.481
CiME 04 append-hard	TIMEOUT	60.431	TIMEOUT	60.286	MAYBE	60.113
CiME 04 append-wrong	TIMEOUT	60.258	TIMEOUT	60.278	MAYBE	60.092
CiME 04 big	TIMEOUT	61.768	TIMEOUT	60.333	MAYBE	60.186
CiME 04 dpqs	O(n^1)	0.325	O(n^2)	3.442	O(1)	2.580
CiME 04 fact-hard	TIMEOUT	60.374	TIMEOUT	60.257	MAYBE	60.092
CiME 04 filliatre	TIMEOUT	60.276	TIMEOUT	60.295	MAYBE	60.091
CiME 04 filliatre2	TIMEOUT	60.882	TIMEOUT	60.295	MAYBE	60.120
CiME 04 filliatre3	TIMEOUT	61.334	TIMEOUT	60.283	MAYBE	60.127
CiME 04 intersect	O(n^2)	29.084	TIMEOUT	60.265	O(n^2)	60.464
CiME 04 list-sum-prod	TIMEOUT	60.800	TIMEOUT	60.261	MAYBE	60.094
CiME 04 list-sum-prod-assoc	TIMEOUT	60.442	TIMEOUT	60.274	MAYBE	60.092
CiME 04 list-sum-prod-assoc-append	TIMEOUT	60.427	TIMEOUT	60.253	MAYBE	60.093
CiME 04 list-sum-prod-bin	TIMEOUT	60.653	TIMEOUT	60.296	MAYBE	60.103
CiME 04 list-sum-prod-bin-assoc	TIMEOUT	60.697	TIMEOUT	60.327	MAYBE	60.281
CiME 04 list-su...od-bin-assoc-distr-app	TIMEOUT	60.701	TIMEOUT	60.288	MAYBE	60.094
CiME 04 log2	TIMEOUT	60.600	TIMEOUT	60.294	MAYBE	60.928
CiME 04 lse	O(n^2)	30.567	TIMEOUT	60.263	O(n^2)	61.133
CiME 04 maude2	TIMEOUT	60.500	TIMEOUT	61.060	MAYBE	60.103
CiME 04 mucrl1	TIMEOUT	60.828	missing	-	MAYBE	60.405
CiME 04 ternary	TIMEOUT	60.499	TIMEOUT	60.275	MAYBE	60.108
CiME 04 ternary-hard	TIMEOUT	61.239	TIMEOUT	60.275	MAYBE	60.107
CiME 04 tree	TIMEOUT	60.534	missing	-	MAYBE	60.123
Der95 06	O(n^1)	0.293	O(n^1)	0.534	O(n^1)	0.254
Der95 07	O(n^1)	0.304	O(n^1)	0.582	O(n^1)	1.072
Der95 08	O(n^2)	1.032	TIMEOUT	60.253	O(n^1)	1.313
Der95 11	O(n^1)	4.232	TIMEOUT	60.301	O(n^1)	30.111
Der95 12	TIMEOUT	60.427	TIMEOUT	60.246	MAYBE	60.092
Der95 18	O(n^1)	0.382	TIMEOUT	60.243	O(n^1)	0.319
Der95 20	TIMEOUT	60.432	TIMEOUT	60.268	MAYBE	60.105
Der95 21	TIMEOUT	61.132	TIMEOUT	60.243	MAYBE	60.089
Der95 27	O(n^1)	0.305	O(n^1)	0.474	O(n^1)	0.751
Der95 31	O(n^2)	2.638	TIMEOUT	60.246	O(n^1)	2.858
Der95 32	TIMEOUT	61.553	TIMEOUT	60.256	O(n^2)	30.484
Der95 33	TIMEOUT	60.770	TIMEOUT	60.254	MAYBE	60.088
Endrullis 06 direct	O(n^1)	0.359	O(n^3)	14.578	O(n^1)	9.096
Frederiksen Glenstrup ack	TIMEOUT	60.970	TIMEOUT	60.251	MAYBE	60.095
Frederiksen Glenstrup add	O(n^1)	0.339	O(n^1)	0.753	O(n^1)	1.154
Frederiksen Glenstrup addlists	O(n^1)	0.458	O(n^1)	0.897	O(n^1)	1.188
Frederiksen Glenstrup anchored	O(n^1)	0.308	O(n^1)	0.690	O(n^1)	1.328
Frederiksen Glenstrup append	O(n^1)	0.308	O(n^1)	0.632	O(n^1)	0.413
Frederiksen Glenstrup assrewrite	O(n^1)	0.896	O(n^1)	1.132	O(1)	0.408
Frederiksen Glenstrup badd	TIMEOUT	60.487	TIMEOUT	60.232	MAYBE	60.238
Frederiksen Glenstrup binom	TIMEOUT	60.601	TIMEOUT	60.252	MAYBE	60.084
Frederiksen Glenstrup decrease	O(n^1)	0.393	TIMEOUT	60.260	O(n^1)	0.797
Frederiksen Glenstrup deeprev typed	O(n^1)	0.732	O(n^1)	2.735	O(n^1)	2.790
Frederiksen Glenstrup disjconj	TIMEOUT	60.440	TIMEOUT	60.283	MAYBE	43.494
Frederiksen Glenstrup duplicate	O(n^1)	0.563	O(n^1)	0.660	O(n^1)	0.370
Frederiksen Glenstrup equal	TIMEOUT	60.260	TIMEOUT	60.282	MAYBE	36.397
Frederiksen Glenstrup evenodd	O(n^1)	0.334	O(n^1)	0.743	O(n^1)	0.748
Frederiksen Glenstrup fold	O(n^1)	2.197	O(n^1)	1.454	O(n^1)	1.903
Frederiksen Glenstrup game	O(n^1)	2.107	O(n^1)	1.746	O(n^1)	1.660
Frederiksen Glenstrup gcd1	TIMEOUT	60.546	TIMEOUT	60.275	O(n^2)	30.177
Frederiksen Glenstrup gcd2	TIMEOUT	60.562	TIMEOUT	60.268	O(n^2)	30.143
Frederiksen Glenstrup increase	TIMEOUT	60.262	TIMEOUT	60.309	MAYBE	60.153
Frederiksen Glenstrup int	O(n^1)	20.826	TIMEOUT	60.472	O(n^1)	23.992
Frederiksen Glenstrup intlookup	TIMEOUT	60.366	TIMEOUT	60.276	MAYBE	60.090
Frederiksen Glenstrup lambdaint typed	TIMEOUT	60.304	TIMEOUT	60.288	O(n^1)	30.151
Frederiksen Glenstrup letexp	TIMEOUT	60.583	TIMEOUT	60.265	MAYBE	60.096
Frederiksen Glenstrup list	O(n^1)	0.349	O(n^1)	0.561	O(n^1)	0.405
Frederiksen Glenstrup lte	O(n^1)	1.673	O(n^1)	1.530	O(n^1)	1.857
Frederiksen Glenstrup map0	O(n^1)	1.368	TIMEOUT	60.246	O(n^1)	1.532
Frederiksen Glenstrup member	O(n^1)	1.071	TIMEOUT	60.246	O(n^1)	2.018
Frederiksen Glenstrup mergelists	O(n^1)	0.746	O(n^1)	0.848	O(n^1)	0.635
Frederiksen Glenstrup mergesort	TIMEOUT	60.499	TIMEOUT	60.267	MAYBE	60.104
Frederiksen Glenstrup minsort	TIMEOUT	60.419	TIMEOUT	60.288	MAYBE	60.103
Frederiksen Glenstrup mul	TIMEOUT	60.401	TIMEOUT	60.281	O(n^3)	29.630
Frederiksen Glenstrup mul better	TIMEOUT	60.385	TIMEOUT	60.263	O(n^3)	29.648
Frederiksen Glenstrup naiverev	TIMEOUT	60.526	TIMEOUT	60.258	O(n^2)	30.109
Frederiksen Glenstrup nestdec	O(n^1)	0.409	TIMEOUT	60.272	O(n^1)	30.119
Frederiksen Glenstrup nesteql	TIMEOUT	60.347	TIMEOUT	60.267	MAYBE	60.111
Frederiksen Glenstrup nestimeql	TIMEOUT	60.263	TIMEOUT	60.293	MAYBE	60.106
Frederiksen Glenstrup nestinc	TIMEOUT	60.342	TIMEOUT	60.276	MAYBE	60.099
Frederiksen Glenstrup nolexicord	TIMEOUT	60.296	TIMEOUT	60.311	O(n^1)	30.171
Frederiksen Glenstrup ordered	O(n^1)	0.828	O(n^1)	0.755	O(n^1)	0.692
Frederiksen Glenstrup ordered better	O(n^1)	0.838	O(n^1)	0.741	O(n^1)	0.692
Frederiksen Glenstrup overlap	O(n^2)	2.992	TIMEOUT	60.259	O(n^2)	21.697
Frederiksen Glenstrup parsexp	TIMEOUT	60.405	TIMEOUT	60.336	MAYBE	60.164
Frederiksen Glenstrup permute	TIMEOUT	60.380	TIMEOUT	60.267	MAYBE	60.106
Frederiksen Glenstrup power	TIMEOUT	60.397	TIMEOUT	60.745	MAYBE	60.091
Frederiksen Glenstrup quicksort	TIMEOUT	60.403	TIMEOUT	60.282	MAYBE	60.103
Frederiksen Glenstrup revapp	O(n^1)	0.310	O(n^1)	0.653	O(n^1)	0.867
Frederiksen Glenstrup select	O(n^2)	1.753	TIMEOUT	60.236	O(n^2)	17.825
Frederiksen Glenstrup shuffle	TIMEOUT	60.583	TIMEOUT	60.257	O(n^3)	33.764
Frederiksen Glenstrup sp1	TIMEOUT	60.509	TIMEOUT	60.281	MAYBE	60.115
Frederiksen Glenstrup subsets	TIMEOUT	60.444	TIMEOUT	60.256	MAYBE	53.914
Frederiksen Glenstrup thetrick	TIMEOUT	60.589	TIMEOUT	60.313	MAYBE	60.223
Frederiksen Glenstrup turing typed	O(n^1)	6.115	O(n^1)	5.109	O(n^1)	4.143
Frederiksen Glenstrup vangelder typed	TIMEOUT	60.639	TIMEOUT	60.380	MAYBE	60.493
Frederiksen Others add	O(n^1)	0.305	O(n^1)	0.602	O(n^1)	1.131
Frederiksen Others assrewriteSize	TIMEOUT	60.619	TIMEOUT	60.286	MAYBE	60.103
Frederiksen Others boolprog	O(n^1)	3.438	O(n^1)	4.244	O(1)	4.547
Frederiksen Others bubblesort	TIMEOUT	60.428	TIMEOUT	60.329	O(n^2)	30.123
Frederiksen Others deadcodeSize	MAYBE	9.941	TIMEOUT	60.705	MAYBE	7.577
Frederiksen Others disj2 typed	O(n^1)	0.402	O(n^1)	0.839	O(n^1)	2.224
Frederiksen Others div2	O(n^1)	0.293	O(n^1)	0.788	O(n^1)	0.950
Frederiksen Others dup1 typed	O(n^1)	1.245	TIMEOUT	60.250	O(n^1)	2.396
Frederiksen Others dup2 typed	O(n^1)	1.217	TIMEOUT	60.262	O(n^1)	2.543
Frederiksen Others eq	O(n^1)	0.292	O(n^1)	0.563	O(n^1)	0.662
Frederiksen Others ex6	O(n^1)	0.310	O(n^1)	0.593	O(n^1)	1.361
Frederiksen Others fgh	TIMEOUT	61.813	TIMEOUT	60.254	MAYBE	60.094
Frederiksen Others fghSize	TIMEOUT	60.603	TIMEOUT	60.260	MAYBE	60.124
Frederiksen Others gexgcd	TIMEOUT	60.364	TIMEOUT	60.337	MAYBE	60.168
Frederiksen Others gexgcd2	O(n^1)	0.705	O(n^1)	0.798	O(n^1)	1.861
Frederiksen Others graphcolour1 typed	TIMEOUT	60.496	TIMEOUT	60.346	MAYBE	60.174
Frederiksen Oth...graphcolour2Size typed	TIMEOUT	60.914	TIMEOUT	60.390	MAYBE	60.228
Frederiksen Others graphcolour2 typed	TIMEOUT	60.484	TIMEOUT	60.366	MAYBE	60.300
Frederiksen Others graphcolour3 typed	TIMEOUT	60.496	TIMEOUT	60.355	MAYBE	60.164
Frederiksen Others inssort	TIMEOUT	60.254	TIMEOUT	60.326	O(n^2)	30.104
Frederiksen Others inssort better	TIMEOUT	60.679	TIMEOUT	60.256	O(n^2)	30.111
Frederiksen Others match	O(n^1)	0.806	O(n^1)	0.859	O(n^1)	0.806
Frederiksen Others minsortSize	TIMEOUT	60.413	TIMEOUT	60.254	MAYBE	60.101
Frederiksen Others ocall-safe	O(n^1)	0.289	O(n^1)	0.740	O(n^1)	0.793
Frederiksen Others ocall-unsafe	O(n^1)	0.303	O(n^1)	0.778	O(n^1)	0.858
Frederiksen Others oddeven	O(n^1)	0.328	O(n^1)	0.563	O(n^1)	0.665
Frederiksen Others permut	O(n^1)	0.304	O(n^1)	0.523	O(n^1)	0.580
Frederiksen Others power	TIMEOUT	60.350	TIMEOUT	60.250	MAYBE	60.124
Frederiksen Others quicksortPtime	TIMEOUT	60.690	TIMEOUT	60.624	O(n^2)	30.132
Frederiksen Others quicksortSize	TIMEOUT	60.596	TIMEOUT	60.292	MAYBE	60.107
Frederiksen Others reach	TIMEOUT	60.699	TIMEOUT	60.298	MAYBE	60.118
Frederiksen Others rematch	TIMEOUT	64.520	TIMEOUT	64.543	MAYBE	73.257
Frederiksen Others strmatch	O(n^2)	9.016	TIMEOUT	60.291	O(n^2)	25.617
Frederiksen Others thetrickSize	O(n^2)	20.564	TIMEOUT	60.485	O(n^1)	30.135
GTSSK07 cade01	TIMEOUT	60.452	TIMEOUT	60.256	MAYBE	60.101
GTSSK07 cade03	TIMEOUT	60.394	TIMEOUT	60.252	MAYBE	60.091
GTSSK07 cade04t	TIMEOUT	60.871	TIMEOUT	60.246	MAYBE	60.098
GTSSK07 cade05t	TIMEOUT	61.205	TIMEOUT	60.460	MAYBE	60.089
GTSSK07 cade06	TIMEOUT	60.746	TIMEOUT	60.244	MAYBE	60.091
GTSSK07 cade07	TIMEOUT	60.486	TIMEOUT	60.257	MAYBE	60.539
GTSSK07 cade08	TIMEOUT	60.704	TIMEOUT	60.256	MAYBE	60.091
GTSSK07 cade09	TIMEOUT	60.244	TIMEOUT	60.334	MAYBE	60.096
GTSSK07 cade10	TIMEOUT	60.527	TIMEOUT	60.840	MAYBE	60.094
GTSSK07 cade11	TIMEOUT	60.480	TIMEOUT	60.257	MAYBE	60.092
GTSSK07 cade12t	TIMEOUT	60.548	TIMEOUT	60.266	MAYBE	60.101
GTSSK07 cade13t	TIMEOUT	60.511	TIMEOUT	60.239	MAYBE	60.093
GTSSK07 cade14	TIMEOUT	60.499	TIMEOUT	60.237	MAYBE	60.088
GTSSK07 cade15	TIMEOUT	60.523	TIMEOUT	60.253	MAYBE	60.106
GTSSK07 cade16	TIMEOUT	60.672	TIMEOUT	60.453	MAYBE	60.116
GTSSK07 cade17	TIMEOUT	60.452	TIMEOUT	60.272	MAYBE	60.105
HirokawaMiddeldorp 04 n002	MAYBE	6.564	TIMEOUT	60.233	MAYBE	6.412
HirokawaMiddeldorp 04 n003	MAYBE	8.213	TIMEOUT	60.239	MAYBE	6.764
HirokawaMiddeldorp 04 n004	MAYBE	9.289	TIMEOUT	60.232	MAYBE	7.237
HirokawaMiddeldorp 04 n005	TIMEOUT	60.407	TIMEOUT	60.304	MAYBE	60.083
HirokawaMiddeldorp 04 n006	MAYBE	39.207	TIMEOUT	60.251	MAYBE	14.311
HirokawaMiddeldorp 04 n007	MAYBE	32.885	TIMEOUT	60.578	MAYBE	13.514
HirokawaMiddeldorp 04 t001	TIMEOUT	61.549	TIMEOUT	60.264	MAYBE	60.105
HirokawaMiddeldorp 04 t002	TIMEOUT	60.714	TIMEOUT	60.259	MAYBE	60.105
HirokawaMiddeldorp 04 t003	TIMEOUT	61.817	TIMEOUT	60.266	MAYBE	60.095
HirokawaMiddeldorp 04 t004	TIMEOUT	60.734	TIMEOUT	60.250	MAYBE	60.092
HirokawaMiddeldorp 04 t009	TIMEOUT	60.363	TIMEOUT	60.346	MAYBE	60.887
HirokawaMiddeldorp 04 t011	O(n^1)	0.399	O(n^1)	0.528	O(n^1)	5.099
HirokawaMiddeldorp 04 t012	TIMEOUT	60.350	TIMEOUT	60.255	MAYBE	60.091
HirokawaMiddeldorp 04 t013	TIMEOUT	60.700	TIMEOUT	60.238	MAYBE	60.090
HirokawaMiddeldorp 04 t014	O(n^2)	4.438	TIMEOUT	60.254	O(n^2)	18.703
Mixed TRS Ex1 Luc04b GM	TIMEOUT	60.527	TIMEOUT	60.286	MAYBE	60.098
Mixed TRS fossacs	TIMEOUT	60.527	TIMEOUT	60.841	MAYBE	60.096
Mixed TRS gcd	TIMEOUT	60.340	TIMEOUT	60.250	MAYBE	60.092
Mixed TRS gcdMinMax	TIMEOUT	60.391	TIMEOUT	60.246	MAYBE	60.117
Mixed TRS gcd triple	TIMEOUT	60.391	TIMEOUT	60.257	MAYBE	60.097
Mixed TRS hydra	O(n^2)	1.549	TIMEOUT	60.283	O(n^1)	1.070
Mixed TRS hydra-Zantema06	TIMEOUT	60.383	TIMEOUT	60.255	MAYBE	60.094
Mixed TRS jones1	O(n^1)	0.303	O(n^1)	0.643	O(n^1)	0.884
Mixed TRS jones2	O(n^2)	0.886	TIMEOUT	60.237	O(n^1)	1.534
Mixed TRS jones4	O(n^1)	0.307	O(n^1)	0.583	O(n^1)	0.902
Mixed TRS jones5	TIMEOUT	60.498	TIMEOUT	60.256	MAYBE	60.110
Mixed TRS jones6	O(n^1)	0.318	O(n^1)	0.721	O(n^1)	1.510
Mixed TRS minsort	TIMEOUT	62.134	TIMEOUT	60.560	MAYBE	60.647
Mixed TRS perfect	O(n^1)	1.136	TIMEOUT	60.261	O(n^1)	2.243
Mixed TRS perfect2	TIMEOUT	60.725	TIMEOUT	60.262	MAYBE	60.105
Mixed TRS test1	TIMEOUT	60.585	TIMEOUT	60.497	MAYBE	60.086
Mixed TRS while	TIMEOUT	60.393	TIMEOUT	60.250	MAYBE	60.095
Rubio 04 bintrees	O(n^1)	0.507	O(n^2)	1.786	O(n^1)	2.142
Rubio 04 bn122	O(n^2)	1.104	TIMEOUT	60.241	O(n^1)	1.413
Rubio 04 division	O(n^3)	51.538	TIMEOUT	60.258	O(n^3)	35.432
Rubio 04 elimdupl	O(n^3)	16.214	TIMEOUT	60.442	O(n^2)	26.323
Rubio 04 enno	TIMEOUT	60.262	TIMEOUT	60.405	O(n^2)	30.454
Rubio 04 gcd	TIMEOUT	60.345	TIMEOUT	60.277	O(n^2)	28.435
Rubio 04 gm	O(n^1)	0.793	TIMEOUT	60.246	O(n^1)	1.596
Rubio 04 gmnp	O(n^1)	0.309	O(n^2)	1.985	O(n^1)	1.834
Rubio 04 koen	O(n^1)	0.589	O(n^1)	0.593	O(1)	0.591
Rubio 04 logarquot	O(n^2)	8.277	TIMEOUT	60.282	O(n^2)	30.324
Rubio 04 ma96	TIMEOUT	60.334	TIMEOUT	60.332	MAYBE	60.110
Rubio 04 mfp95	O(n^1)	0.309	O(n^1)	0.448	O(n^1)	0.327
Rubio 04 nestrec	TIMEOUT	60.428	TIMEOUT	60.236	MAYBE	60.099
Rubio 04 p266	O(n^1)	0.309	O(n^2)	2.619	O(n^1)	2.343
Rubio 04 polo2	O(n^1)	3.628	TIMEOUT	60.315	O(n^1)	30.106
Rubio 04 prov	O(n^1)	0.527	TIMEOUT	60.416	O(n^1)	1.395
Rubio 04 quick	TIMEOUT	60.612	TIMEOUT	60.429	MAYBE	60.106
Rubio 04 quotminus	TIMEOUT	60.504	TIMEOUT	60.266	MAYBE	52.550
Rubio 04 revlist	TIMEOUT	60.940	TIMEOUT	60.269	MAYBE	60.093
Rubio 04 selsort	TIMEOUT	60.392	TIMEOUT	60.307	O(n^3)	55.310
Rubio 04 test4	O(n^1)	0.322	O(n^2)	1.630	O(n^1)	3.906
Rubio 04 test829	O(n^1)	0.308	O(n^2)	1.068	O(n^1)	1.372
Rubio 04 wst99	TIMEOUT	60.522	TIMEOUT	60.268	MAYBE	60.140
SK90 2.02	O(n^1)	0.304	TIMEOUT	60.277	O(n^1)	60.256
SK90 2.03	O(n^1)	0.324	O(n^1)	0.647	O(n^1)	0.820
SK90 2.07	O(n^2)	3.567	TIMEOUT	60.228	O(n^1)	4.142
SK90 2.09	O(n^1)	0.299	O(n^1)	0.563	O(n^1)	0.790
SK90 2.11	O(n^1)	0.319	O(n^1)	0.726	O(n^1)	0.807
SK90 2.12	TIMEOUT	60.366	TIMEOUT	60.261	MAYBE	60.105
SK90 2.13	O(n^1)	0.678	O(n^1)	0.866	O(n^1)	1.394
SK90 2.14	O(n^1)	0.313	O(n^1)	1.489	O(n^1)	1.112
SK90 2.15	TIMEOUT	60.452	TIMEOUT	60.245	MAYBE	12.728
SK90 2.16	O(n^2)	6.413	TIMEOUT	60.268	O(n^2)	13.131
SK90 2.17	O(n^1)	0.744	TIMEOUT	60.241	O(n^1)	0.351
SK90 2.18	O(n^2)	1.220	TIMEOUT	60.247	O(n^2)	8.817
SK90 2.19	O(n^2)	11.348	TIMEOUT	60.280	POLY	33.632
SK90 2.20	O(n^1)	0.649	TIMEOUT	60.235	O(n^1)	0.750
SK90 2.21	TIMEOUT	60.250	TIMEOUT	60.276	MAYBE	61.181
SK90 2.22	O(n^2)	1.262	TIMEOUT	60.243	O(n^2)	10.296
SK90 2.23	TIMEOUT	60.426	TIMEOUT	60.260	MAYBE	60.107
SK90 2.24	TIMEOUT	60.255	TIMEOUT	60.266	MAYBE	21.885
SK90 2.25	TIMEOUT	60.508	TIMEOUT	60.272	MAYBE	60.512
SK90 2.26	TIMEOUT	61.245	TIMEOUT	60.291	MAYBE	60.128
SK90 2.27	TIMEOUT	60.503	TIMEOUT	60.256	MAYBE	60.096
SK90 2.28	TIMEOUT	60.384	TIMEOUT	60.248	MAYBE	60.108
SK90 2.29	O(n^1)	1.278	TIMEOUT	60.248	O(n^1)	1.722
SK90 2.30	O(n^1)	0.394	O(n^1)	0.460	O(1)	0.256
SK90 2.31	O(n^1)	0.320	O(n^1)	1.051	O(n^1)	1.159
SK90 2.36	O(n^1)	0.485	O(n^1)	0.565	O(n^1)	5.114
SK90 2.37	O(n^1)	0.394	TIMEOUT	60.256	O(n^1)	0.476
SK90 2.38	O(n^1)	0.314	O(n^1)	0.596	O(n^1)	1.411
SK90 2.39	TIMEOUT	60.682	TIMEOUT	60.259	O(n^2)	20.937
SK90 2.40	O(n^1)	0.751	TIMEOUT	60.244	O(n^1)	1.371
SK90 2.41	O(n^1)	0.349	O(n^1)	0.807	O(n^1)	1.058
SK90 2.42	O(n^1)	0.321	TIMEOUT	60.236	O(n^1)	25.204
SK90 2.43	TIMEOUT	61.563	TIMEOUT	60.302	MAYBE	60.092
SK90 2.44	O(n^1)	1.121	TIMEOUT	60.251	O(n^1)	3.997
SK90 2.45	O(n^1)	0.899	TIMEOUT	61.195	O(n^1)	5.573
SK90 2.47	O(n^1)	0.296	O(n^1)	0.516	O(n^1)	0.233
SK90 2.48	O(n^1)	0.319	O(n^1)	0.720	O(1)	0.400
SK90 2.49	O(n^1)	0.325	O(n^1)	1.160	O(n^1)	3.467
SK90 2.50	O(n^1)	0.298	O(n^1)	0.453	O(n^1)	0.232
SK90 2.51	TIMEOUT	60.373	TIMEOUT	60.262	MAYBE	60.465
SK90 2.52	TIMEOUT	60.691	TIMEOUT	60.254	MAYBE	60.094
SK90 2.53	O(n^1)	0.286	O(n^1)	0.516	O(n^1)	0.836
SK90 2.54	O(n^1)	0.273	O(n^1)	0.510	O(n^1)	0.640
SK90 2.55	O(n^1)	0.450	O(n^1)	0.513	O(n^1)	0.662
SK90 2.59	O(n^1)	0.339	TIMEOUT	60.220	O(n^1)	0.295
SK90 2.61	O(n^1)	1.484	O(n^1)	1.640	O(n^1)	5.012
SK90 4.05	O(n^2)	0.577	TIMEOUT	60.240	O(n^2)	11.017
SK90 4.06	TIMEOUT	61.699	TIMEOUT	60.276	MAYBE	60.104
SK90 4.07	O(n^1)	0.509	O(n^1)	0.613	O(1)	0.726
SK90 4.09	O(n^2)	4.288	TIMEOUT	60.847	O(1)	5.292
SK90 4.10	O(n^2)	1.655	TIMEOUT	60.253	O(n^2)	14.731
SK90 4.12	O(n^1)	0.593	O(n^1)	0.600	O(n^1)	5.115
SK90 4.13	O(n^4)	31.689	TIMEOUT	60.244	O(n^1)	30.371
SK90 4.16	O(n^1)	0.318	O(n^1)	0.873	O(n^1)	1.125
SK90 4.17	O(n^3)	16.567	TIMEOUT	60.227	O(n^2)	30.097
SK90 4.18	O(n^1)	0.612	TIMEOUT	60.252	O(1)	0.984
SK90 4.22	TIMEOUT	60.843	TIMEOUT	60.253	MAYBE	60.497
SK90 4.24	TIMEOUT	60.498	TIMEOUT	60.267	MAYBE	60.094
SK90 4.25	O(n^1)	0.709	O(n^1)	0.656	O(n^1)	0.802
SK90 4.26	O(n^1)	0.334	TIMEOUT	60.326	O(n^1)	60.096
SK90 4.27	TIMEOUT	60.514	TIMEOUT	60.253	MAYBE	60.092
SK90 4.28	O(n^1)	2.172	TIMEOUT	60.254	O(n^1)	2.376
SK90 4.29	O(n^1)	0.324	O(n^1)	0.793	O(n^1)	1.271
SK90 4.30	O(n^1)	0.324	O(n^2)	3.009	O(n^1)	12.188
SK90 4.31	TIMEOUT	60.373	TIMEOUT	60.250	MAYBE	60.088
SK90 4.34	TIMEOUT	60.699	TIMEOUT	60.245	MAYBE	60.087
SK90 4.35	O(n^1)	0.301	O(n^2)	0.642	O(n^1)	0.441
SK90 4.38	O(n^1)	0.291	O(n^1)	0.555	O(n^1)	1.551
SK90 4.42	TIMEOUT	60.520	TIMEOUT	60.325	MAYBE	60.820
SK90 4.43	TIMEOUT	60.575	TIMEOUT	60.262	MAYBE	60.871
SK90 4.45	O(n^1)	0.367	O(n^1)	0.428	O(n^1)	0.245
SK90 4.47	O(n^1)	1.185	O(n^2)	5.033	O(1)	2.621
SK90 4.48	O(n^1)	0.526	O(n^1)	0.603	O(1)	1.031
SK90 4.51	O(n^2)	1.856	O(n^2)	1.830	O(n^1)	2.636
SK90 4.53	O(n^2)	3.888	TIMEOUT	60.242	O(n^1)	2.559
SK90 4.54	TIMEOUT	60.407	TIMEOUT	60.264	MAYBE	60.091
SK90 4.57	O(n^1)	22.924	TIMEOUT	60.480	O(1)	30.195
SK90 4.59	TIMEOUT	60.432	TIMEOUT	60.346	MAYBE	30.929
SK90 4.60	TIMEOUT	60.587	TIMEOUT	60.232	MAYBE	60.119
SK90 4.61	TIMEOUT	60.513	TIMEOUT	60.341	MAYBE	60.096
Secret 05 TRS aprove2	TIMEOUT	61.544	TIMEOUT	60.246	MAYBE	60.090
Secret 05 TRS aprove3	TIMEOUT	60.525	TIMEOUT	60.266	MAYBE	61.447
Secret 05 TRS aprove4	TIMEOUT	60.456	TIMEOUT	60.250	MAYBE	60.102
Secret 05 TRS aprove5	TIMEOUT	60.570	TIMEOUT	60.257	MAYBE	60.096
Secret 05 TRS cime2	O(n^2)	6.152	TIMEOUT	60.255	O(n^1)	7.587
Secret 05 TRS cime3	TIMEOUT	60.340	TIMEOUT	60.283	MAYBE	60.142
Secret 05 TRS cime4	O(n^1)	1.785	TIMEOUT	60.270	O(1)	10.527
Secret 05 TRS cime5	TIMEOUT	60.487	missing	-	MAYBE	61.519
Secret 05 TRS tpa1	TIMEOUT	60.370	TIMEOUT	60.262	MAYBE	60.089
Secret 05 TRS tpa2	TIMEOUT	60.737	TIMEOUT	60.346	MAYBE	60.094
Secret 05 TRS tpa3	TIMEOUT	60.549	TIMEOUT	60.258	MAYBE	60.094
Secret 05 TRS tpa4	TIMEOUT	60.452	TIMEOUT	60.257	MAYBE	60.090
Secret 05 TRS tpa5	TIMEOUT	60.558	TIMEOUT	60.276	MAYBE	60.120
Secret 05 TRS ttt1	TIMEOUT	60.511	TIMEOUT	60.240	O(1)	30.119
Secret 05 TRS ttt2	TIMEOUT	60.549	TIMEOUT	60.263	MAYBE	60.093
Secret 06 TRS 10	O(n^1)	0.304	O(n^1)	0.588	O(n^1)	2.029
Secret 06 TRS 4	O(n^1)	0.293	TIMEOUT	60.284	O(n^1)	60.083
Secret 06 TRS 6	O(n^1)	0.328	O(n^1)	0.578	O(1)	0.593
Secret 06 TRS addList	TIMEOUT	60.708	TIMEOUT	60.284	MAYBE	60.101
Secret 06 TRS divExp	TIMEOUT	60.510	TIMEOUT	60.245	MAYBE	60.563
Secret 06 TRS division	TIMEOUT	60.453	TIMEOUT	60.238	MAYBE	60.096
Secret 06 TRS double	TIMEOUT	60.446	TIMEOUT	60.276	MAYBE	60.099
Secret 06 TRS gen-1	O(n^1)	0.304	O(n^1)	0.541	O(1)	0.299
Secret 06 TRS gen-17	TIMEOUT	60.408	TIMEOUT	60.258	O(1)	30.114
Secret 06 TRS gen-28	TIMEOUT	60.519	TIMEOUT	60.249	MAYBE	62.126
Secret 06 TRS logarithm	TIMEOUT	60.314	TIMEOUT	60.248	MAYBE	60.095
Secret 06 TRS nrOfNodes	TIMEOUT	60.528	TIMEOUT	60.243	MAYBE	60.103
Secret 06 TRS reverse	TIMEOUT	60.557	TIMEOUT	60.237	MAYBE	60.102
Secret 06 TRS sumList	TIMEOUT	60.604	TIMEOUT	60.266	MAYBE	60.100
Secret 06 TRS times	TIMEOUT	60.664	TIMEOUT	60.281	MAYBE	60.514
Secret 06 TRS toList	TIMEOUT	60.509	TIMEOUT	60.259	MAYBE	60.442
Secret 06 TRS tpa04	TIMEOUT	60.388	TIMEOUT	60.245	MAYBE	60.103
Secret 06 TRS tpa05	TIMEOUT	60.479	TIMEOUT	60.296	MAYBE	60.103
Secret 06 TRS tpa06	TIMEOUT	60.412	TIMEOUT	60.329	MAYBE	60.100
Secret 06 TRS tpa07	TIMEOUT	61.376	TIMEOUT	60.267	MAYBE	60.099
Secret 06 TRS tpa08	TIMEOUT	60.501	missing	-	MAYBE	60.093
Secret 06 TRS tpa09	TIMEOUT	60.499	TIMEOUT	60.341	MAYBE	60.093
Secret 06 TRS tpa10	TIMEOUT	60.719	TIMEOUT	60.273	MAYBE	60.105
Secret 07 TRS 3	TIMEOUT	60.412	TIMEOUT	60.280	MAYBE	60.521
Secret 07 TRS aprove01	TIMEOUT	60.569	TIMEOUT	60.276	MAYBE	60.112
Secret 07 TRS aprove02	TIMEOUT	60.416	TIMEOUT	60.290	MAYBE	60.772
Secret 07 TRS aprove03	TIMEOUT	60.515	TIMEOUT	60.282	MAYBE	60.122
Secret 07 TRS aprove04	TIMEOUT	61.048	TIMEOUT	61.167	MAYBE	61.421
Secret 07 TRS aprove05	TIMEOUT	60.560	TIMEOUT	60.259	MAYBE	60.110
Secret 07 TRS aprove06	TIMEOUT	60.638	TIMEOUT	60.274	MAYBE	60.102
Secret 07 TRS aprove07	TIMEOUT	60.597	TIMEOUT	60.260	MAYBE	60.105
Secret 07 TRS aprove08	TIMEOUT	60.578	TIMEOUT	60.268	MAYBE	60.135
Secret 07 TRS aprove09	TIMEOUT	60.553	TIMEOUT	60.271	MAYBE	60.104
Secret 07 TRS aprove10	TIMEOUT	60.333	TIMEOUT	60.263	MAYBE	60.099
Secret 07 TRS secret1	TIMEOUT	60.614	TIMEOUT	60.256	MAYBE	60.124
Secret 07 TRS secret3	TIMEOUT	61.045	TIMEOUT	60.271	MAYBE	60.097
Secret 07 TRS secret4	TIMEOUT	60.583	TIMEOUT	60.366	MAYBE	60.461
Secret 07 TRS secret5	O(n^1)	2.223	TIMEOUT	60.828	O(n^1)	1.899
Strategy removed AG01 4.14	O(n^1)	1.609	TIMEOUT	60.451	O(n^1)	0.948
Strategy removed AG01 4.16	TIMEOUT	60.430	TIMEOUT	60.434	O(n^1)	5.740
Strategy removed AG01 4.17	O(n^1)	0.337	TIMEOUT	60.268	O(n^1)	1.600
Strategy removed AG01 4.19	TIMEOUT	60.367	TIMEOUT	60.256	MAYBE	60.098
Strategy removed AG01 4.2	O(n^1)	3.361	TIMEOUT	60.303	O(n^1)	0.742
Strategy removed AG01 4.20a	O(n^1)	0.345	O(n^2)	1.786	O(n^1)	1.728
Strategy removed AG01 4.22	TIMEOUT	60.416	TIMEOUT	60.249	O(n^1)	18.242
Strategy removed AG01 4.23	TIMEOUT	60.597	TIMEOUT	60.250	MAYBE	60.090
Strategy removed AG01 4.25	TIMEOUT	60.454	TIMEOUT	60.269	MAYBE	60.095
Strategy removed AG01 4.26	TIMEOUT	60.381	TIMEOUT	60.879	MAYBE	60.102
Strategy removed AG01 4.27	TIMEOUT	60.551	TIMEOUT	60.265	O(n^2)	32.524
Strategy removed AG01 4.28	O(n^2)	8.198	O(n^3)	10.757	O(n^1)	6.374
Strategy removed AG01 4.29	TIMEOUT	60.957	TIMEOUT	60.247	MAYBE	60.248
Strategy removed AG01 4.30	TIMEOUT	60.467	TIMEOUT	60.262	MAYBE	60.116
Strategy removed AG01 4.30a	TIMEOUT	60.566	TIMEOUT	60.262	MAYBE	60.096
Strategy removed AG01 4.30b	TIMEOUT	60.304	TIMEOUT	60.575	MAYBE	60.101
Strategy removed AG01 4.30c	TIMEOUT	60.666	TIMEOUT	60.245	MAYBE	60.095
Strategy removed AG01 4.32	O(n^3)	5.886	TIMEOUT	60.242	O(n^1)	8.825
Strategy removed AG01 4.33	TIMEOUT	62.003	TIMEOUT	60.243	MAYBE	60.095
Strategy removed AG01 4.34	O(n^2)	2.390	TIMEOUT	60.446	O(n^1)	4.324
Strategy removed AG01 4.35	TIMEOUT	60.339	TIMEOUT	60.328	MAYBE	60.106
Strategy removed AG01 4.36	TIMEOUT	60.285	TIMEOUT	60.269	O(n^3)	44.329
Strategy removed AG01 4.37	O(n^1)	0.311	O(n^2)	1.555	O(n^1)	1.398
Strategy removed AG01 4.37a	O(n^1)	0.306	O(n^2)	2.197	O(n^1)	2.224
Strategy removed AG01 4.7	O(n^1)	0.464	TIMEOUT	60.711	O(n^1)	0.433
Strategy removed CSR 05 Ex14 AEGL02	MAYBE	57.468	TIMEOUT	60.435	MAYBE	14.993
Strategy removed CSR 05 Ex15 Luc98	TIMEOUT	60.304	TIMEOUT	60.805	MAYBE	18.159
Strategy removed CSR 05 Ex1 2 AEL03	TIMEOUT	60.465	TIMEOUT	60.264	MAYBE	30.107
Strategy removed CSR 05 Ex1 2 Luc02c	MAYBE	49.415	TIMEOUT	60.252	MAYBE	16.705
Strategy removed CSR 05 Ex1 GL02a	TIMEOUT	60.263	TIMEOUT	60.259	MAYBE	20.516
Strategy removed CSR 05 Ex1 GM03	TIMEOUT	60.583	TIMEOUT	60.248	MAYBE	60.090
Strategy removed CSR 05 Ex1 Luc02b	TIMEOUT	60.278	TIMEOUT	60.271	MAYBE	19.819
Strategy removed CSR 05 Ex1 Zan97	MAYBE	14.531	TIMEOUT	60.235	MAYBE	8.318
Strategy removed CSR 05 Ex26 Luc03b	TIMEOUT	60.785	TIMEOUT	60.331	MAYBE	60.093
Strategy removed CSR 05 Ex2 Luc03b	TIMEOUT	60.269	TIMEOUT	60.279	MAYBE	22.863
Strategy removed CSR 05 Ex3 12 Luc96a	MAYBE	54.306	TIMEOUT	60.242	MAYBE	15.362
Strategy removed CSR 05 Ex3 2 Luc97	TIMEOUT	60.290	TIMEOUT	60.243	MAYBE	23.399
Strategy removed CSR 05 Ex3 3 25 Bor03	TIMEOUT	60.504	TIMEOUT	60.244	MAYBE	60.095
Strategy removed CSR 05 Ex49 GM04	O(n^1)	1.790	TIMEOUT	60.606	O(n^1)	5.517
Strategy removed CSR 05 Ex4 4 Luc96b	TIMEOUT	60.353	TIMEOUT	60.243	MAYBE	60.090
Strategy removed CSR 05 Ex4 7 15 Bor03	TIMEOUT	60.241	TIMEOUT	60.287	MAYBE	60.086
Strategy removed CSR 05 Ex4 7 37 Bor03	TIMEOUT	60.415	TIMEOUT	60.285	MAYBE	30.118
Strategy removed CSR 05 Ex4 7 56 Bor03	MAYBE	50.684	TIMEOUT	60.255	MAYBE	16.086
Strategy removed CSR 05 Ex4 7 77 Bor03	MAYBE	5.340	TIMEOUT	60.577	MAYBE	9.911
Strategy removed CSR 05 Ex4 Zan97	TIMEOUT	60.598	TIMEOUT	60.385	MAYBE	60.111
Strategy removed CSR 05 Ex5 7 Luc97	TIMEOUT	60.261	TIMEOUT	60.252	MAYBE	30.264
Strategy removed CSR 05 Ex5 Zan97	TIMEOUT	60.697	TIMEOUT	60.256	MAYBE	7.295
Strategy removed CSR 05 Ex6 15 AEL02	TIMEOUT	60.394	TIMEOUT	60.272	MAYBE	31.043
Strategy removed CSR 05 Ex6 9 Luc02c	TIMEOUT	60.336	TIMEOUT	60.238	MAYBE	21.324
Strategy removed CSR 05 Ex6 GM04	TIMEOUT	60.409	TIMEOUT	60.237	MAYBE	7.439
Strategy removed CSR 05 Ex6 Luc98	MAYBE	57.442	TIMEOUT	60.256	MAYBE	17.117
Strategy removed CSR 05 Ex7 BLR02	TIMEOUT	60.534	TIMEOUT	60.263	MAYBE	21.728
Strategy removed CSR 05 Ex8 BLR02	TIMEOUT	60.706	TIMEOUT	60.251	MAYBE	60.244
Strategy removed CSR 05 Ex9 BLR02	TIMEOUT	62.485	TIMEOUT	60.249	MAYBE	60.103
Strategy remove...R 05 ExAppendixB AEL03	TIMEOUT	60.524	TIMEOUT	60.515	MAYBE	35.582
Strategy removed CSR 05 ExConc Zan97	MAYBE	6.047	TIMEOUT	60.254	MAYBE	11.110
Strategy removed CSR 05 ExIntrod GM01	TIMEOUT	60.458	TIMEOUT	60.255	MAYBE	19.974
Strategy removed CSR 05 ExIntrod GM04	TIMEOUT	60.447	TIMEOUT	60.246	MAYBE	19.412
Strategy removed CSR 05 ExIntrod GM99	TIMEOUT	60.733	TIMEOUT	60.269	MAYBE	60.094
Strategy removed CSR 05 ExIntrod Zan97	TIMEOUT	60.370	TIMEOUT	60.267	MAYBE	60.088
Strategy remove...ed 05 ExSec11 1 Luc02a	TIMEOUT	60.450	TIMEOUT	60.263	MAYBE	60.092
Strategy removed mixed 05 ex1	TIMEOUT	60.408	TIMEOUT	60.274	MAYBE	6.519
Strategy removed mixed 05 ex2	TIMEOUT	60.477	TIMEOUT	60.232	MAYBE	15.975
Strategy removed mixed 05 ex3	TIMEOUT	60.406	TIMEOUT	60.284	MAYBE	7.772
Strategy removed mixed 05 ex4	TIMEOUT	60.394	TIMEOUT	60.294	MAYBE	60.090
Strategy removed mixed 05 ex5	TIMEOUT	60.727	TIMEOUT	60.243	MAYBE	6.562
Strategy removed mixed 05 ex6	TIMEOUT	60.391	TIMEOUT	60.255	MAYBE	60.094
Strategy removed mixed 05 muladd	TIMEOUT	60.384	TIMEOUT	60.236	MAYBE	60.085
Strategy removed mixed 05 test10	TIMEOUT	60.393	TIMEOUT	60.264	O(n^1)	14.400
Strategy removed mixed 05 test76	TIMEOUT	60.433	TIMEOUT	60.283	MAYBE	60.091
Strategy removed mixed 05 test77	TIMEOUT	60.425	TIMEOUT	60.243	MAYBE	60.096
Strategy removed mixed 05 test830	O(n^1)	0.309	O(n^2)	1.643	O(n^1)	1.585
Strategy removed mixed 05 tricky1	O(n^2)	8.181	TIMEOUT	60.248	O(1)	5.328
TCT 12 polycounter-10	TIMEOUT	60.439	TIMEOUT	60.271	POLY	60.106
TCT 12 polycounter-5	O(n^5)	9.665	TIMEOUT	60.240	POLY	40.190
TCT 12 recursion-10	TIMEOUT	60.329	TIMEOUT	60.262	O(n^10)	60.850
TCT 12 recursion-5	TIMEOUT	60.362	TIMEOUT	60.264	O(n^5)	38.073
TCT 12 sat	O(n^2)	9.757	TIMEOUT	60.571	O(n^2)	22.879
Transformed CSR 04 Ex14 AEGL02 C	TIMEOUT	60.470	TIMEOUT	60.269	MAYBE	60.105
Transformed CSR 04 Ex14 AEGL02 FR	TIMEOUT	60.445	TIMEOUT	60.265	MAYBE	60.097
Transformed CSR 04 Ex14 AEGL02 GM	O(n^3)	9.021	TIMEOUT	60.266	O(n^2)	60.158
Transformed CSR 04 Ex14 AEGL02 L	MAYBE	5.352	TIMEOUT	60.237	MAYBE	9.235
Transformed CSR 04 Ex14 AEGL02 Z	TIMEOUT	60.557	TIMEOUT	60.241	MAYBE	60.094
Transformed CSR 04 Ex14 Luc06 C	TIMEOUT	60.419	TIMEOUT	60.309	MAYBE	60.097
Transformed CSR 04 Ex14 Luc06 GM	TIMEOUT	60.499	TIMEOUT	60.247	MAYBE	60.101
Transformed CSR 04 Ex15 Luc06 C	O(n^1)	0.334	TIMEOUT	60.252	O(n^1)	60.088
Transformed CSR 04 Ex15 Luc06 FR	O(n^1)	0.327	O(n^2)	2.096	O(n^1)	1.770
Transformed CSR 04 Ex15 Luc06 GM	O(n^1)	0.327	O(n^2)	1.757	O(n^1)	1.566
Transformed CSR 04 Ex15 Luc06 L	MAYBE	5.315	TIMEOUT	60.243	MAYBE	5.909
Transformed CSR 04 Ex15 Luc06 Z	O(n^1)	0.305	O(n^2)	2.061	O(n^1)	1.487
Transformed CSR 04 Ex15 Luc98 C	TIMEOUT	60.497	TIMEOUT	60.393	MAYBE	60.124
Transformed CSR 04 Ex15 Luc98 FR	TIMEOUT	60.414	TIMEOUT	60.266	MAYBE	60.098
Transformed CSR 04 Ex15 Luc98 GM	O(n^1)	4.047	O(n^1)	1.987	O(n^1)	12.677
Transformed CSR 04 Ex15 Luc98 L	TIMEOUT	0.153	TIMEOUT	0.215	missing	-
Transformed CSR 04 Ex15 Luc98 Z	TIMEOUT	60.319	TIMEOUT	60.267	MAYBE	30.106
Transformed CSR 04 Ex16 Luc06 C	TIMEOUT	60.361	TIMEOUT	60.246	MAYBE	60.094
Transformed CSR 04 Ex16 Luc06 GM	TIMEOUT	60.450	TIMEOUT	60.282	O(n^1)	9.810
Transformed CSR 04 Ex16 Luc06 L	MAYBE	8.106	TIMEOUT	60.589	MAYBE	6.756
Transformed CSR 04 Ex18 Luc06 C	O(n^1)	0.346	TIMEOUT	60.254	O(n^1)	60.085
Transformed CSR 04 Ex18 Luc06 FR	O(n^1)	0.311	O(n^1)	0.717	O(n^1)	0.443
Transformed CSR 04 Ex18 Luc06 GM	O(n^1)	0.334	O(n^2)	1.476	O(n^1)	1.148
Transformed CSR 04 Ex18 Luc06 Z	O(n^1)	0.328	O(n^1)	0.532	O(1)	0.300
Transformed CSR 04 Ex1 2 AEL03 C	TIMEOUT	60.737	TIMEOUT	60.358	MAYBE	60.164
Transformed CSR 04 Ex1 2 AEL03 FR	O(n^1)	1.403	TIMEOUT	60.254	O(n^1)	1.926
Transformed CSR 04 Ex1 2 AEL03 GM	TIMEOUT	60.634	TIMEOUT	60.297	MAYBE	60.118
Transformed CSR 04 Ex1 2 AEL03 L	TIMEOUT	0.150	TIMEOUT	0.143	missing	-
Transformed CSR 04 Ex1 2 AEL03 Z	O(n^2)	3.189	TIMEOUT	60.256	O(n^2)	11.265
Transformed CSR 04 Ex1 2 Luc02c C	TIMEOUT	60.673	TIMEOUT	60.283	MAYBE	60.101
Transformed CSR 04 Ex1 2 Luc02c FR	O(n^1)	0.917	TIMEOUT	60.257	O(n^1)	1.729
Transformed CSR 04 Ex1 2 Luc02c GM	TIMEOUT	60.420	TIMEOUT	60.251	MAYBE	60.092
Transformed CSR 04 Ex1 2 Luc02c L	TIMEOUT	0.143	TIMEOUT	0.136	missing	-
Transformed CSR 04 Ex1 2 Luc02c Z	O(n^1)	0.634	O(n^1)	0.843	O(1)	0.665
Transformed CSR 04 Ex1 GL02a C	TIMEOUT	60.520	TIMEOUT	60.288	MAYBE	60.127
Transformed CSR 04 Ex1 GL02a FR	TIMEOUT	60.376	TIMEOUT	60.404	MAYBE	60.101
Transformed CSR 04 Ex1 GL02a GM	O(n^1)	3.410	TIMEOUT	60.307	O(n^1)	3.957
Transformed CSR 04 Ex1 GL02a L	MAYBE	5.622	TIMEOUT	60.279	MAYBE	5.974
Transformed CSR 04 Ex1 GL02a Z	TIMEOUT	60.343	TIMEOUT	60.430	MAYBE	60.102
Transformed CSR 04 Ex1 GM03 C	TIMEOUT	60.376	TIMEOUT	60.312	MAYBE	60.121
Transformed CSR 04 Ex1 GM03 FR	O(n^2)	11.317	TIMEOUT	60.263	O(n^1)	5.220
Transformed CSR 04 Ex1 GM03 GM	TIMEOUT	60.527	TIMEOUT	60.279	MAYBE	60.097
Transformed CSR 04 Ex1 GM03 L	TIMEOUT	0.152	TIMEOUT	0.141	missing	-
Transformed CSR 04 Ex1 GM03 Z	TIMEOUT	60.552	TIMEOUT	60.257	MAYBE	60.163
Transformed CSR 04 Ex1 GM99 C	TIMEOUT	60.424	TIMEOUT	60.368	MAYBE	60.094
Transformed CSR 04 Ex1 GM99 GM	TIMEOUT	60.410	TIMEOUT	60.332	MAYBE	60.153
Transformed CSR 04 Ex1 GM99 L	MAYBE	7.179	TIMEOUT	60.233	MAYBE	6.457
Transformed CSR 04 Ex1 Luc02b C	TIMEOUT	60.523	TIMEOUT	60.301	MAYBE	60.120
Transformed CSR 04 Ex1 Luc02b FR	O(n^1)	1.231	TIMEOUT	60.254	O(n^1)	1.442
Transformed CSR 04 Ex1 Luc02b GM	TIMEOUT	60.399	TIMEOUT	60.253	MAYBE	60.095
Transformed CSR 04 Ex1 Luc02b L	TIMEOUT	0.143	TIMEOUT	0.168	missing	-
Transformed CSR 04 Ex1 Luc02b Z	O(n^1)	17.226	TIMEOUT	60.263	O(n^2)	30.097
Transformed CSR 04 Ex1 Luc04b C	O(n^1)	0.660	TIMEOUT	60.290	O(n^1)	60.114
Transformed CSR 04 Ex1 Luc04b FR	TIMEOUT	60.392	TIMEOUT	60.261	MAYBE	60.088
Transformed CSR 04 Ex1 Luc04b GM	TIMEOUT	60.393	TIMEOUT	60.268	MAYBE	60.125
Transformed CSR 04 Ex1 Luc04b L	TIMEOUT	0.142	TIMEOUT	0.134	missing	-
Transformed CSR 04 Ex1 Luc04b Z	TIMEOUT	60.323	TIMEOUT	60.256	MAYBE	42.088
Transformed CSR 04 Ex1 Zan97 C	O(n^1)	0.328	O(n^2)	17.462	O(n^1)	51.504
Transformed CSR 04 Ex1 Zan97 FR	TIMEOUT	60.442	TIMEOUT	60.232	MAYBE	60.091
Transformed CSR 04 Ex1 Zan97 GM	O(n^1)	0.321	O(n^1)	0.871	O(n^1)	0.930
Transformed CSR 04 Ex1 Zan97 L	MAYBE	5.349	TIMEOUT	60.235	MAYBE	6.065
Transformed CSR 04 Ex23 Luc06 C	O(n^1)	0.352	TIMEOUT	60.276	O(n^1)	60.094
Transformed CSR 04 Ex23 Luc06 FR	O(n^1)	0.351	O(n^1)	0.895	O(n^1)	0.720
Transformed CSR 04 Ex23 Luc06 GM	O(n^1)	0.305	O(n^1)	0.810	O(n^1)	1.084
Transformed CSR 04 Ex23 Luc06 Z	O(n^1)	0.308	O(n^1)	0.539	O(1)	0.292
Transformed CSR 04 Ex24 GM04 C	TIMEOUT	60.724	TIMEOUT	60.280	MAYBE	60.098
Transformed CSR 04 Ex24 GM04 FR	TIMEOUT	60.503	TIMEOUT	60.256	MAYBE	60.089
Transformed CSR 04 Ex24 GM04 GM	TIMEOUT	60.446	TIMEOUT	60.465	O(n^1)	13.153
Transformed CSR 04 Ex24 GM04 L	MAYBE	5.334	TIMEOUT	60.259	MAYBE	5.975
Transformed CSR 04 Ex24 GM04 Z	TIMEOUT	60.461	TIMEOUT	60.250	MAYBE	60.557
Transformed CSR 04 Ex24 Luc06 C	TIMEOUT	60.421	TIMEOUT	60.650	MAYBE	60.103
Transformed CSR 04 Ex24 Luc06 GM	TIMEOUT	60.541	TIMEOUT	60.257	O(n^1)	21.828
Transformed CSR 04 Ex24 Luc06 L	MAYBE	9.627	TIMEOUT	60.244	MAYBE	6.698
Transformed CSR 04 Ex25 Luc06 C	O(n^1)	0.332	O(n^2)	55.820	O(n^1)	60.093
Transformed CSR 04 Ex25 Luc06 FR	O(n^1)	0.332	O(n^1)	1.056	O(n^1)	1.018
Transformed CSR 04 Ex25 Luc06 GM	O(n^1)	0.344	O(n^1)	1.138	O(n^1)	1.886
Transformed CSR 04 Ex25 Luc06 Z	O(n^1)	0.328	O(n^1)	0.844	O(1)	0.723
Transformed CSR 04 Ex26 Luc03b C	TIMEOUT	60.567	TIMEOUT	61.707	MAYBE	60.129
Transformed CSR 04 Ex26 Luc03b FR	O(n^1)	3.356	TIMEOUT	60.266	O(n^1)	3.425
Transformed CSR 04 Ex26 Luc03b GM	O(n^2)	26.660	TIMEOUT	60.285	O(n^2)	60.160
Transformed CSR 04 Ex26 Luc03b L	O(n^1)	0.330	O(n^1)	2.185	O(1)	0.358
Transformed CSR 04 Ex26 Luc03b Z	O(n^1)	1.816	O(n^1)	1.380	O(1)	1.062
Transformed CSR 04 Ex2 Luc02a C	TIMEOUT	60.595	TIMEOUT	60.284	MAYBE	60.126
Transformed CSR 04 Ex2 Luc02a FR	O(n^1)	1.543	TIMEOUT	60.267	O(n^1)	1.738
Transformed CSR 04 Ex2 Luc02a GM	TIMEOUT	60.536	TIMEOUT	60.286	MAYBE	60.105
Transformed CSR 04 Ex2 Luc02a L	TIMEOUT	60.394	TIMEOUT	60.256	MAYBE	60.095
Transformed CSR 04 Ex2 Luc02a Z	TIMEOUT	60.455	TIMEOUT	60.260	MAYBE	60.109
Transformed CSR 04 Ex2 Luc03b C	TIMEOUT	60.687	TIMEOUT	60.285	MAYBE	60.116
Transformed CSR 04 Ex2 Luc03b FR	O(n^3)	19.409	TIMEOUT	60.274	O(n^1)	30.133
Transformed CSR 04 Ex2 Luc03b GM	O(n^2)	13.598	TIMEOUT	60.263	O(n^2)	17.187
Transformed CSR 04 Ex2 Luc03b L	O(n^1)	0.312	O(n^1)	1.125	O(1)	0.272
Transformed CSR 04 Ex2 Luc03b Z	O(n^1)	1.434	O(n^1)	1.929	O(n^1)	3.028
Transformed CSR 04 Ex3 12 Luc96a C	TIMEOUT	60.466	TIMEOUT	60.278	MAYBE	60.103
Transformed CSR 04 Ex3 12 Luc96a FR	O(n^1)	0.802	TIMEOUT	60.258	O(n^1)	0.868
Transformed CSR 04 Ex3 12 Luc96a GM	TIMEOUT	60.402	TIMEOUT	60.277	MAYBE	60.090
Transformed CSR 04 Ex3 12 Luc96a L	TIMEOUT	0.157	TIMEOUT	0.138	missing	-
Transformed CSR 04 Ex3 12 Luc96a Z	O(n^1)	4.369	TIMEOUT	60.249	O(n^1)	1.119
Transformed CSR 04 Ex3 2 Luc97 C	TIMEOUT	60.470	TIMEOUT	60.303	MAYBE	62.090
Transformed CSR 04 Ex3 2 Luc97 FR	TIMEOUT	60.410	TIMEOUT	60.743	MAYBE	60.115
Transformed CSR 04 Ex3 2 Luc97 GM	TIMEOUT	60.395	TIMEOUT	60.267	MAYBE	60.099
Transformed CSR 04 Ex3 2 Luc97 L	TIMEOUT	0.144	TIMEOUT	0.132	missing	-
Transformed CSR 04 Ex3 2 Luc97 Z	TIMEOUT	60.334	TIMEOUT	60.550	MAYBE	41.211
Transformed CSR 04 Ex3 3 25 Bor03 C	TIMEOUT	60.691	TIMEOUT	60.303	MAYBE	60.123
Transformed CSR 04 Ex3 3 25 Bor03 FR	TIMEOUT	60.440	TIMEOUT	60.269	MAYBE	60.141
Transformed CSR 04 Ex3 3 25 Bor03 GM	O(n^2)	16.372	TIMEOUT	60.415	O(n^2)	60.147
Transformed CSR 04 Ex3 3 25 Bor03 L	O(n^1)	0.319	O(n^1)	0.906	O(1)	0.518
Transformed CSR 04 Ex3 3 25 Bor03 Z	TIMEOUT	60.459	TIMEOUT	60.249	MAYBE	30.115
Transformed CSR 04 Ex49 GM04 C	TIMEOUT	60.536	TIMEOUT	60.287	MAYBE	60.128
Transformed CSR 04 Ex49 GM04 FR	O(n^2)	8.447	O(n^2)	4.745	O(n^2)	11.630
Transformed CSR 04 Ex49 GM04 GM	O(n^2)	26.729	TIMEOUT	60.347	O(n^1)	60.144
Transformed CSR 04 Ex49 GM04 L	TIMEOUT	0.148	TIMEOUT	0.138	missing	-
Transformed CSR 04 Ex49 GM04 Z	O(n^1)	0.399	O(n^1)	1.478	O(n^1)	2.260
Transformed CSR 04 Ex4 4 Luc96b C	TIMEOUT	60.486	TIMEOUT	60.267	MAYBE	60.100
Transformed CSR 04 Ex4 4 Luc96b FR	O(n^1)	0.316	O(n^1)	0.701	O(n^1)	0.841
Transformed CSR 04 Ex4 4 Luc96b GM	O(n^2)	2.276	TIMEOUT	60.244	O(n^2)	11.986
Transformed CSR 04 Ex4 4 Luc96b L	O(n^1)	0.285	O(n^1)	0.420	O(n^1)	0.224
Transformed CSR 04 Ex4 4 Luc96b Z	TIMEOUT	61.239	TIMEOUT	60.282	MAYBE	60.094
Transformed CSR 04 Ex4 7 15 Bor03 C	O(n^1)	0.363	TIMEOUT	60.273	O(n^1)	60.106
Transformed CSR 04 Ex4 7 15 Bor03 FR	O(n^1)	0.373	O(n^1)	0.991	O(n^1)	0.788
Transformed CSR 04 Ex4 7 15 Bor03 GM	O(n^1)	0.343	O(n^2)	4.684	O(n^1)	8.426
Transformed CSR 04 Ex4 7 15 Bor03 L	O(n^1)	0.294	O(n^2)	1.343	O(1)	0.859
Transformed CSR 04 Ex4 7 15 Bor03 Z	O(n^1)	0.316	O(n^2)	1.960	O(n^1)	1.027
Transformed CSR 04 Ex4 7 37 Bor03 C	TIMEOUT	60.528	TIMEOUT	60.369	MAYBE	60.131
Transformed CSR 04 Ex4 7 37 Bor03 FR	TIMEOUT	60.443	TIMEOUT	60.265	MAYBE	60.101
Transformed CSR 04 Ex4 7 37 Bor03 GM	TIMEOUT	60.533	TIMEOUT	60.676	MAYBE	60.108
Transformed CSR 04 Ex4 7 37 Bor03 L	TIMEOUT	0.144	TIMEOUT	0.140	missing	-
Transformed CSR 04 Ex4 7 37 Bor03 Z	TIMEOUT	60.397	TIMEOUT	60.277	MAYBE	60.591
Transformed CSR 04 Ex4 7 56 Bor03 C	TIMEOUT	60.466	TIMEOUT	60.278	MAYBE	60.104
Transformed CSR 04 Ex4 7 56 Bor03 FR	O(n^1)	0.919	TIMEOUT	60.610	O(n^1)	0.770
Transformed CSR 04 Ex4 7 56 Bor03 GM	TIMEOUT	60.441	TIMEOUT	60.253	MAYBE	60.898
Transformed CSR 04 Ex4 7 56 Bor03 L	TIMEOUT	0.141	TIMEOUT	0.131	missing	-
Transformed CSR 04 Ex4 7 56 Bor03 Z	O(n^1)	0.891	TIMEOUT	60.250	O(n^1)	1.081
Transformed CSR 04 Ex4 7 77 Bor03 C	O(n^1)	0.364	TIMEOUT	60.263	O(n^1)	60.093
Transformed CSR 04 Ex4 7 77 Bor03 FR	O(n^1)	0.334	O(n^1)	0.459	O(1)	0.284
Transformed CSR 04 Ex4 7 77 Bor03 GM	O(n^1)	0.309	O(n^2)	1.793	O(n^1)	2.414
Transformed CSR 04 Ex4 7 77 Bor03 L	TIMEOUT	0.129	TIMEOUT	0.138	missing	-
Transformed CSR 04 Ex4 DLMMU04 C	TIMEOUT	60.548	missing	-	MAYBE	60.184
Transformed CSR 04 Ex4 DLMMU04 FR	TIMEOUT	60.592	TIMEOUT	60.717	MAYBE	60.114
Transformed CSR 04 Ex4 DLMMU04 GM	TIMEOUT	60.480	TIMEOUT	60.304	MAYBE	60.123
Transformed CSR 04 Ex4 DLMMU04 L	TIMEOUT	0.153	TIMEOUT	0.149	missing	-
Transformed CSR 04 Ex4 DLMMU04 Z	TIMEOUT	60.443	TIMEOUT	60.285	MAYBE	60.119
Transformed CSR 04 Ex4 Zan97 C	TIMEOUT	60.452	TIMEOUT	60.285	MAYBE	60.109
Transformed CSR 04 Ex4 Zan97 FR	TIMEOUT	61.465	TIMEOUT	60.262	MAYBE	60.098
Transformed CSR 04 Ex4 Zan97 GM	TIMEOUT	60.705	TIMEOUT	60.256	MAYBE	60.095
Transformed CSR 04 Ex4 Zan97 L	TIMEOUT	0.175	TIMEOUT	0.143	missing	-
Transformed CSR 04 Ex4 Zan97 Z	TIMEOUT	60.898	TIMEOUT	60.750	MAYBE	60.095
Transformed CSR 04 Ex5 7 Luc97 C	TIMEOUT	60.531	TIMEOUT	60.332	MAYBE	60.156
Transformed CSR 04 Ex5 7 Luc97 FR	TIMEOUT	60.392	TIMEOUT	60.316	MAYBE	60.114
Transformed CSR 04 Ex5 7 Luc97 GM	TIMEOUT	60.424	TIMEOUT	60.300	MAYBE	60.121
Transformed CSR 04 Ex5 7 Luc97 L	TIMEOUT	0.154	TIMEOUT	0.154	missing	-
Transformed CSR 04 Ex5 7 Luc97 Z	TIMEOUT	60.354	TIMEOUT	60.277	MAYBE	43.313
Transformed CSR 04 Ex5 DLMMU04 C	TIMEOUT	60.321	TIMEOUT	60.365	MAYBE	60.146
Transformed CSR 04 Ex5 DLMMU04 FR	O(n^1)	1.006	O(n^1)	4.284	O(n^1)	3.934
Transformed CSR 04 Ex5 DLMMU04 GM	TIMEOUT	60.840	TIMEOUT	60.269	MAYBE	60.104
Transformed CSR 04 Ex5 DLMMU04 L	TIMEOUT	0.133	TIMEOUT	0.153	missing	-
Transformed CSR 04 Ex5 DLMMU04 Z	TIMEOUT	60.660	TIMEOUT	60.371	MAYBE	31.597
Transformed CSR 04 Ex5 Zan97 C	O(n^1)	0.624	TIMEOUT	60.285	O(n^1)	60.104
Transformed CSR 04 Ex5 Zan97 FR	O(n^1)	0.343	TIMEOUT	60.254	O(n^1)	18.840
Transformed CSR 04 Ex5 Zan97 GM	TIMEOUT	60.531	TIMEOUT	60.259	MAYBE	60.096
Transformed CSR 04 Ex5 Zan97 L	TIMEOUT	0.136	TIMEOUT	0.133	missing	-
Transformed CSR 04 Ex5 Zan97 Z	O(n^1)	0.342	O(n^1)	0.825	O(n^1)	1.135
Transformed CSR 04 Ex6 15 AEL02 C	TIMEOUT	60.769	TIMEOUT	60.404	MAYBE	60.180
Transformed CSR 04 Ex6 15 AEL02 FR	TIMEOUT	61.667	TIMEOUT	60.293	MAYBE	60.119
Transformed CSR 04 Ex6 15 AEL02 GM	TIMEOUT	60.696	TIMEOUT	60.296	MAYBE	60.125
Transformed CSR 04 Ex6 15 AEL02 L	TIMEOUT	0.152	TIMEOUT	0.146	missing	-
Transformed CSR 04 Ex6 15 AEL02 Z	TIMEOUT	60.763	TIMEOUT	60.273	MAYBE	60.119
Transformed CSR 04 Ex6 9 Luc02c C	TIMEOUT	60.702	TIMEOUT	60.764	MAYBE	60.115
Transformed CSR 04 Ex6 9 Luc02c FR	O(n^1)	3.766	TIMEOUT	60.256	O(n^1)	30.713
Transformed CSR 04 Ex6 9 Luc02c GM	TIMEOUT	60.601	TIMEOUT	60.258	MAYBE	60.117
Transformed CSR 04 Ex6 9 Luc02c L	TIMEOUT	0.134	TIMEOUT	0.143	missing	-
Transformed CSR 04 Ex6 9 Luc02c Z	O(n^2)	1.306	TIMEOUT	60.266	O(n^1)	1.912
Transformed CSR 04 Ex6 GM04 C	O(n^1)	0.335	TIMEOUT	60.246	O(n^1)	61.089
Transformed CSR 04 Ex6 GM04 FR	TIMEOUT	60.417	TIMEOUT	60.281	MAYBE	60.085
Transformed CSR 04 Ex6 GM04 GM	O(n^1)	0.304	O(n^1)	0.744	O(1)	0.452
Transformed CSR 04 Ex6 Luc98 C	TIMEOUT	60.640	TIMEOUT	60.263	MAYBE	60.118
Transformed CSR 04 Ex6 Luc98 FR	O(n^1)	1.095	TIMEOUT	60.296	O(n^1)	1.645
Transformed CSR 04 Ex6 Luc98 GM	O(n^2)	4.058	TIMEOUT	60.253	O(n^2)	14.093
Transformed CSR 04 Ex6 Luc98 L	O(n^1)	0.302	O(n^1)	0.544	O(1)	0.227
Transformed CSR 04 Ex6 Luc98 Z	O(n^1)	0.702	O(n^1)	0.902	O(n^1)	0.594
Transformed CSR 04 Ex7 BLR02 C	TIMEOUT	60.503	TIMEOUT	60.309	MAYBE	60.124
Transformed CSR 04 Ex7 BLR02 FR	O(n^1)	5.853	TIMEOUT	60.273	O(n^1)	30.118
Transformed CSR 04 Ex7 BLR02 GM	TIMEOUT	60.405	TIMEOUT	60.255	MAYBE	60.104
Transformed CSR 04 Ex7 BLR02 L	TIMEOUT	0.143	TIMEOUT	0.141	missing	-
Transformed CSR 04 Ex7 BLR02 Z	O(n^1)	23.125	TIMEOUT	60.255	O(n^1)	30.111
Transformed CSR 04 Ex8 BLR02 C	TIMEOUT	60.769	TIMEOUT	60.318	MAYBE	60.128
Transformed CSR 04 Ex8 BLR02 FR	TIMEOUT	60.785	TIMEOUT	60.243	MAYBE	60.097
Transformed CSR 04 Ex8 BLR02 GM	TIMEOUT	60.741	TIMEOUT	60.254	MAYBE	60.096
Transformed CSR 04 Ex8 BLR02 L	TIMEOUT	0.138	TIMEOUT	0.126	missing	-
Transformed CSR 04 Ex8 BLR02 Z	TIMEOUT	61.658	TIMEOUT	60.235	MAYBE	60.096
Transformed CSR 04 Ex9 BLR02 C	TIMEOUT	60.414	TIMEOUT	60.290	MAYBE	60.119
Transformed CSR 04 Ex9 BLR02 FR	TIMEOUT	60.301	TIMEOUT	60.263	MAYBE	60.140
Transformed CSR 04 Ex9 BLR02 GM	O(n^2)	15.360	TIMEOUT	60.278	MAYBE	60.109
Transformed CSR 04 Ex9 BLR02 L	O(n^1)	0.319	O(n^1)	1.062	O(1)	1.119
Transformed CSR 04 Ex9 BLR02 Z	TIMEOUT	61.292	TIMEOUT	60.252	MAYBE	60.098
Transformed CSR 04 Ex9 Luc04 C	TIMEOUT	60.701	TIMEOUT	60.299	MAYBE	60.096
Transformed CSR 04 Ex9 Luc04 GM	TIMEOUT	60.482	TIMEOUT	60.251	MAYBE	60.100
Transformed CSR 04 Ex9 Luc04 L	MAYBE	17.379	TIMEOUT	60.253	MAYBE	10.521
Transformed CSR 04 Ex9 Luc06 C	TIMEOUT	60.425	TIMEOUT	60.274	MAYBE	60.098
Transformed CSR 04 Ex9 Luc06 FR	TIMEOUT	60.484	TIMEOUT	60.237	MAYBE	60.094
Transformed CSR 04 Ex9 Luc06 GM	O(n^1)	0.817	O(n^1)	0.743	O(n^1)	5.110
Transformed CSR 04 ExAppendixB AEL03 C	TIMEOUT	60.642	TIMEOUT	60.374	MAYBE	60.190
Transformed CSR 04 ExAppendixB AEL03 FR	O(n^1)	1.249	TIMEOUT	60.273	O(n^1)	1.548
Transformed CSR 04 ExAppendixB AEL03 GM	TIMEOUT	60.619	TIMEOUT	60.303	MAYBE	60.125
Transformed CSR 04 ExAppendixB AEL03 L	TIMEOUT	0.148	TIMEOUT	0.167	missing	-
Transformed CSR 04 ExAppendixB AEL03 Z	O(n^2)	56.089	TIMEOUT	60.267	O(n^2)	30.196
Transformed CSR 04 ExConc Zan97 C	O(n^1)	0.345	O(n^2)	21.797	O(n^1)	61.059
Transformed CSR 04 ExConc Zan97 FR	O(n^1)	0.315	O(n^1)	0.722	O(n^1)	0.714
Transformed CSR 04 ExConc Zan97 GM	O(n^1)	0.307	O(n^1)	0.721	O(n^1)	0.960
Transformed CSR 04 ExConc Zan97 Z	MAYBE	14.783	TIMEOUT	60.239	MAYBE	11.694
Transformed CSR 04 ExIntrod GM01 C	O(n^1)	0.770	TIMEOUT	60.298	O(n^1)	60.122
Transformed CSR 04 ExIntrod GM01 FR	TIMEOUT	60.490	TIMEOUT	60.270	MAYBE	60.609
Transformed CSR 04 ExIntrod GM01 GM	TIMEOUT	60.381	TIMEOUT	60.279	MAYBE	60.110
Transformed CSR 04 ExIntrod GM01 L	TIMEOUT	0.143	TIMEOUT	0.140	missing	-
Transformed CSR 04 ExIntrod GM01 Z	TIMEOUT	61.088	TIMEOUT	60.264	MAYBE	60.093
Transformed CSR 04 ExIntrod GM04 C	O(n^1)	0.615	TIMEOUT	60.284	O(n^1)	60.113
Transformed CSR 04 ExIntrod GM04 FR	TIMEOUT	60.471	TIMEOUT	60.261	MAYBE	60.090
Transformed CSR 04 ExIntrod GM04 GM	TIMEOUT	60.376	O(n^3)	17.698	MAYBE	60.096
Transformed CSR 04 ExIntrod GM04 L	TIMEOUT	0.136	TIMEOUT	0.133	missing	-
Transformed CSR 04 ExIntrod GM04 Z	TIMEOUT	60.387	TIMEOUT	60.267	MAYBE	60.101
Transformed CSR 04 ExIntrod GM99 C	TIMEOUT	60.361	missing	-	MAYBE	60.149
Transformed CSR 04 ExIntrod GM99 FR	O(n^1)	2.399	TIMEOUT	60.270	O(n^1)	4.608
Transformed CSR 04 ExIntrod GM99 GM	TIMEOUT	62.330	TIMEOUT	61.416	MAYBE	60.176
Transformed CSR 04 ExIntrod GM99 L	TIMEOUT	0.143	TIMEOUT	0.145	missing	-
Transformed CSR 04 ExIntrod GM99 Z	O(n^1)	1.230	O(n^1)	1.396	O(1)	1.405
Transformed CSR 04 ExIntrod Zan97 C	TIMEOUT	60.401	TIMEOUT	60.351	MAYBE	60.133
Transformed CSR 04 ExIntrod Zan97 FR	O(n^2)	15.224	TIMEOUT	60.265	O(n^1)	19.043
Transformed CSR 04 ExIntrod Zan97 GM	TIMEOUT	60.607	TIMEOUT	60.270	MAYBE	60.108
Transformed CSR 04 ExIntrod Zan97 L	TIMEOUT	0.145	TIMEOUT	0.136	missing	-
Transformed CSR 04 ExIntrod Zan97 Z	TIMEOUT	61.303	TIMEOUT	60.259	MAYBE	60.132
Transformed CSR 04 ExProp7 Luc06 C	O(n^1)	0.365	TIMEOUT	60.265	O(n^1)	60.099
Transformed CSR 04 ExProp7 Luc06 FR	O(n^1)	0.341	O(n^1)	0.982	O(n^1)	0.902
Transformed CSR 04 ExProp7 Luc06 GM	TIMEOUT	60.914	TIMEOUT	60.260	MAYBE	60.092
Transformed CSR 04 ExProp7 Luc06 L	O(n^1)	0.309	O(n^2)	1.225	O(n^1)	3.246
Transformed CSR 04 ExProp7 Luc06 Z	O(n^1)	0.324	O(n^2)	1.755	O(n^1)	3.177
Transformed CSR 04 ExSec11 1 Luc02a C	TIMEOUT	60.671	TIMEOUT	60.324	MAYBE	60.165
Transformed CSR 04 ExSec11 1 Luc02a FR	O(n^1)	2.081	TIMEOUT	60.320	O(n^1)	1.702
Transformed CSR 04 ExSec11 1 Luc02a GM	TIMEOUT	60.496	TIMEOUT	60.277	MAYBE	60.134
Transformed CSR 04 ExSec11 1 Luc02a L	TIMEOUT	60.436	TIMEOUT	60.276	MAYBE	60.100
Transformed CSR 04 ExSec11 1 Luc02a Z	TIMEOUT	60.447	TIMEOUT	60.253	MAYBE	60.096
Transformed CSR 04 ExSec4 2 DLMMU04 C	TIMEOUT	60.521	TIMEOUT	60.386	MAYBE	60.236
Transformed CSR 04 ExSec4 2 DLMMU04 FR	O(n^1)	9.564	TIMEOUT	60.338	O(n^1)	2.204
Transformed CSR 04 ExSec4 2 DLMMU04 GM	TIMEOUT	60.649	TIMEOUT	60.302	MAYBE	60.152
Transformed CSR 04 ExSec4 2 DLMMU04 L	TIMEOUT	0.171	TIMEOUT	0.180	missing	-
Transformed CSR 04 ExSec4 2 DLMMU04 Z	O(n^1)	20.798	TIMEOUT	60.286	O(n^1)	2.932
Transformed CSR...TIES complete-noand FR	TIMEOUT	60.767	TIMEOUT	64.007	MAYBE	60.447
Transformed CSR...ITIES complete-noand L	TIMEOUT	0.311	TIMEOUT	0.306	missing	-
Transformed CSR...ITIES complete-noand Z	TIMEOUT	60.788	TIMEOUT	60.641	MAYBE	60.369
Transformed CSR...STUTILITIES complete C	TIMEOUT	61.108	TIMEOUT	60.976	MAYBE	60.468
Transformed CSR...TUTILITIES complete FR	TIMEOUT	60.637	TIMEOUT	60.702	MAYBE	60.273
Transformed CSR...TUTILITIES complete GM	TIMEOUT	60.848	TIMEOUT	60.708	MAYBE	60.342
Transformed CSR...STUTILITIES complete L	TIMEOUT	0.224	TIMEOUT	0.212	missing	-
Transformed CSR...STUTILITIES complete Z	TIMEOUT	60.540	TIMEOUT	60.489	MAYBE	60.268
Transformed CSR...ITIES complete noand C	TIMEOUT	61.494	TIMEOUT	61.467	MAYBE	61.278
Transformed CSR...TIES complete noand GM	TIMEOUT	61.285	TIMEOUT	61.688	MAYBE	60.597
Transformed CSR...ITIES nokinds-noand FR	TIMEOUT	60.502	TIMEOUT	60.379	MAYBE	60.238
Transformed CSR...LITIES nokinds-noand L	TIMEOUT	0.193	TIMEOUT	0.192	missing	-
Transformed CSR...LITIES nokinds-noand Z	TIMEOUT	60.516	TIMEOUT	60.423	MAYBE	60.202
Transformed CSR...ISTUTILITIES nokinds C	TIMEOUT	60.940	TIMEOUT	62.643	MAYBE	60.307
Transformed CSR...STUTILITIES nokinds FR	TIMEOUT	61.807	TIMEOUT	60.361	MAYBE	60.198
Transformed CSR...STUTILITIES nokinds GM	TIMEOUT	60.729	TIMEOUT	60.393	MAYBE	60.199
Transformed CSR...ISTUTILITIES nokinds L	TIMEOUT	0.176	TIMEOUT	0.201	missing	-
Transformed CSR...ISTUTILITIES nokinds Z	TIMEOUT	60.752	TIMEOUT	60.384	MAYBE	60.164
Transformed CSR...LITIES nokinds noand C	TIMEOUT	60.910	TIMEOUT	60.752	MAYBE	60.393
Transformed CSR...ITIES nokinds noand GM	TIMEOUT	60.732	TIMEOUT	60.835	MAYBE	60.255
Transformed CSR...ITIES nosorts-noand FR	TIMEOUT	60.614	TIMEOUT	60.451	POLY	30.145
Transformed CSR...LITIES nosorts-noand L	TIMEOUT	0.247	TIMEOUT	0.160	missing	-
Transformed CSR...LITIES nosorts-noand Z	TIMEOUT	60.607	TIMEOUT	60.810	O(n^1)	30.284
Transformed CSR...ISTUTILITIES nosorts C	TIMEOUT	60.797	TIMEOUT	61.365	MAYBE	60.549
Transformed CSR...STUTILITIES nosorts FR	O(n^1)	26.412	TIMEOUT	60.349	O(n^1)	30.130
Transformed CSR...STUTILITIES nosorts GM	TIMEOUT	60.616	TIMEOUT	60.409	MAYBE	60.125
Transformed CSR...ISTUTILITIES nosorts L	TIMEOUT	0.156	TIMEOUT	0.144	missing	-
Transformed CSR...ISTUTILITIES nosorts Z	O(n^1)	32.501	TIMEOUT	60.487	O(n^1)	30.112
Transformed CSR...LITIES nosorts noand C	TIMEOUT	60.705	missing	-	MAYBE	60.318
Transformed CSR...ITIES nosorts noand GM	TIMEOUT	61.451	TIMEOUT	60.702	MAYBE	60.187
Transformed CSR...ists complete-noand FR	TIMEOUT	61.118	TIMEOUT	60.337	MAYBE	60.156
Transformed CSR...Lists complete-noand L	TIMEOUT	0.170	TIMEOUT	0.166	missing	-
Transformed CSR...Lists complete-noand Z	TIMEOUT	60.479	TIMEOUT	60.344	MAYBE	60.177
Transformed CSR...FiniteLists complete C	TIMEOUT	60.606	missing	-	MAYBE	60.217
Transformed CSR...initeLists complete FR	TIMEOUT	60.409	TIMEOUT	60.347	MAYBE	60.136
Transformed CSR...initeLists complete GM	TIMEOUT	60.664	TIMEOUT	60.324	MAYBE	62.595
Transformed CSR...FiniteLists complete L	TIMEOUT	0.154	TIMEOUT	0.147	missing	-
Transformed CSR...FiniteLists complete Z	TIMEOUT	60.744	TIMEOUT	60.318	MAYBE	60.450
Transformed CSR...Lists complete noand C	TIMEOUT	60.744	TIMEOUT	61.215	MAYBE	60.393
Transformed CSR...ists complete noand GM	TIMEOUT	60.416	TIMEOUT	60.392	MAYBE	60.193
Transformed CSR...Lists nokinds-noand FR	TIMEOUT	60.297	TIMEOUT	60.288	MAYBE	60.111
Transformed CSR...eLists nokinds-noand L	TIMEOUT	0.157	TIMEOUT	0.141	missing	-
Transformed CSR...eLists nokinds-noand Z	TIMEOUT	60.286	TIMEOUT	60.290	MAYBE	60.105
Transformed CSR...fFiniteLists nokinds C	TIMEOUT	60.331	TIMEOUT	60.328	MAYBE	60.139
Transformed CSR...FiniteLists nokinds FR	TIMEOUT	60.420	TIMEOUT	60.956	MAYBE	60.105
Transformed CSR...FiniteLists nokinds GM	TIMEOUT	61.615	TIMEOUT	60.276	MAYBE	60.108
Transformed CSR...fFiniteLists nokinds L	TIMEOUT	0.484	TIMEOUT	0.376	missing	-
Transformed CSR...fFiniteLists nokinds Z	TIMEOUT	60.878	TIMEOUT	60.484	MAYBE	60.128
Transformed CSR...eLists nokinds noand C	TIMEOUT	60.451	TIMEOUT	60.371	MAYBE	60.183
Transformed CSR...Lists nokinds noand GM	TIMEOUT	60.597	TIMEOUT	60.720	MAYBE	60.120
Transformed CSR...Lists nosorts-noand FR	TIMEOUT	60.558	TIMEOUT	60.291	MAYBE	60.104
Transformed CSR...eLists nosorts-noand L	TIMEOUT	0.146	TIMEOUT	0.133	missing	-
Transformed CSR...fFiniteLists nosorts C	O(n^1)	0.521	TIMEOUT	60.277	O(n^1)	60.107
Transformed CSR...FiniteLists nosorts FR	TIMEOUT	60.427	TIMEOUT	60.254	MAYBE	60.091
Transformed CSR...FiniteLists nosorts GM	TIMEOUT	60.764	TIMEOUT	60.264	MAYBE	60.101
Transformed CSR...fFiniteLists nosorts L	TIMEOUT	0.144	TIMEOUT	0.136	missing	-
Transformed CSR...eLists nosorts noand C	O(n^1)	0.566	TIMEOUT	60.293	O(n^1)	60.116
Transformed CSR...Lists nosorts noand GM	TIMEOUT	60.582	TIMEOUT	60.454	MAYBE	60.176
Transformed CSR...YNAT complete-noand FR	TIMEOUT	61.120	TIMEOUT	60.610	MAYBE	60.228
Transformed CSR...MYNAT complete-noand L	TIMEOUT	0.297	TIMEOUT	0.294	missing	-
Transformed CSR...MYNAT complete-noand Z	TIMEOUT	60.923	TIMEOUT	60.596	MAYBE	60.240
Transformed CSR 04 MYNAT complete C	TIMEOUT	60.790	missing	-	MAYBE	60.206
Transformed CSR 04 MYNAT complete FR	TIMEOUT	60.822	TIMEOUT	60.299	MAYBE	60.125
Transformed CSR 04 MYNAT complete GM	TIMEOUT	60.655	TIMEOUT	60.327	MAYBE	60.152
Transformed CSR 04 MYNAT complete L	TIMEOUT	0.155	TIMEOUT	0.145	missing	-
Transformed CSR 04 MYNAT complete Z	TIMEOUT	60.791	TIMEOUT	60.286	MAYBE	60.650
Transformed CSR...MYNAT complete noand C	TIMEOUT	60.830	TIMEOUT	60.565	MAYBE	60.383
Transformed CSR...YNAT complete noand GM	TIMEOUT	60.591	TIMEOUT	60.419	MAYBE	60.209
Transformed CSR...MYNAT nokinds-noand FR	TIMEOUT	60.953	TIMEOUT	60.281	MAYBE	60.217
Transformed CSR 04 MYNAT nokinds-noand L	TIMEOUT	0.158	TIMEOUT	0.142	missing	-
Transformed CSR 04 MYNAT nokinds-noand Z	O(n^1)	9.430	O(n^1)	8.489	O(n^1)	11.059
Transformed CSR 04 MYNAT nokinds C	TIMEOUT	60.546	TIMEOUT	60.369	MAYBE	60.150
Transformed CSR 04 MYNAT nokinds FR	O(n^2)	33.675	O(n^2)	39.862	MAYBE	60.106
Transformed CSR 04 MYNAT nokinds GM	TIMEOUT	60.553	TIMEOUT	60.290	MAYBE	60.113
Transformed CSR 04 MYNAT nokinds L	TIMEOUT	0.140	TIMEOUT	0.142	missing	-
Transformed CSR 04 MYNAT nokinds Z	O(n^1)	4.299	O(n^1)	4.863	O(n^1)	39.386
Transformed CSR 04 MYNAT nokinds noand C	TIMEOUT	60.613	TIMEOUT	60.384	MAYBE	60.174
Transformed CSR...MYNAT nokinds noand GM	TIMEOUT	60.560	TIMEOUT	60.328	MAYBE	60.126
Transformed CSR...MYNAT nosorts-noand FR	TIMEOUT	60.281	TIMEOUT	60.268	MAYBE	62.125
Transformed CSR 04 MYNAT nosorts-noand L	TIMEOUT	0.139	TIMEOUT	0.132	missing	-
Transformed CSR 04 MYNAT nosorts C	TIMEOUT	60.453	TIMEOUT	60.278	MAYBE	60.115
Transformed CSR 04 MYNAT nosorts FR	O(n^2)	1.935	TIMEOUT	60.271	O(n^2)	7.042
Transformed CSR 04 MYNAT nosorts GM	TIMEOUT	60.520	TIMEOUT	60.291	MAYBE	60.093
Transformed CSR 04 MYNAT nosorts L	TIMEOUT	0.146	TIMEOUT	0.137	missing	-
Transformed CSR 04 MYNAT nosorts noand C	TIMEOUT	60.341	TIMEOUT	60.326	MAYBE	60.139
Transformed CSR...MYNAT nosorts noand GM	TIMEOUT	60.565	TIMEOUT	60.292	MAYBE	60.098
Transformed CSR...nsOS complete-noand FR	TIMEOUT	60.594	missing	-	MAYBE	60.174
Transformed CSR...onsOS complete-noand L	TIMEOUT	0.183	TIMEOUT	0.187	missing	-
Transformed CSR...onsOS complete-noand Z	TIMEOUT	60.552	missing	-	MAYBE	60.190
Transformed CSR 04 OvConsOS complete C	TIMEOUT	60.703	TIMEOUT	60.544	MAYBE	60.263
Transformed CSR 04 OvConsOS complete FR	TIMEOUT	60.427	TIMEOUT	60.317	MAYBE	60.147
Transformed CSR 04 OvConsOS complete GM	TIMEOUT	60.499	missing	-	MAYBE	60.182
Transformed CSR 04 OvConsOS complete L	TIMEOUT	0.160	TIMEOUT	0.158	missing	-
Transformed CSR 04 OvConsOS complete Z	TIMEOUT	60.623	TIMEOUT	60.329	MAYBE	60.139
Transformed CSR...onsOS complete noand C	TIMEOUT	61.500	TIMEOUT	60.754	MAYBE	60.458
Transformed CSR...nsOS complete noand GM	TIMEOUT	60.612	TIMEOUT	60.498	MAYBE	60.278
Transformed CSR...onsOS nokinds-noand FR	TIMEOUT	60.336	TIMEOUT	60.304	MAYBE	60.126
Transformed CSR...ConsOS nokinds-noand L	TIMEOUT	0.160	TIMEOUT	0.145	missing	-
Transformed CSR...ConsOS nokinds-noand Z	TIMEOUT	60.304	TIMEOUT	60.375	MAYBE	60.128
Transformed CSR 04 OvConsOS nokinds C	TIMEOUT	60.532	missing	-	MAYBE	60.327
Transformed CSR 04 OvConsOS nokinds FR	TIMEOUT	61.182	TIMEOUT	60.289	MAYBE	61.210
Transformed CSR 04 OvConsOS nokinds GM	TIMEOUT	61.555	TIMEOUT	60.308	MAYBE	61.966
Transformed CSR 04 OvConsOS nokinds L	TIMEOUT	0.150	TIMEOUT	0.150	missing	-
Transformed CSR 04 OvConsOS nokinds Z	TIMEOUT	60.584	TIMEOUT	60.285	MAYBE	60.270
Transformed CSR...ConsOS nokinds noand C	TIMEOUT	60.631	missing	-	MAYBE	60.246
Transformed CSR...onsOS nokinds noand GM	TIMEOUT	60.363	TIMEOUT	60.327	MAYBE	60.155
Transformed CSR...onsOS nosorts-noand FR	TIMEOUT	60.786	TIMEOUT	60.304	MAYBE	60.102
Transformed CSR...ConsOS nosorts-noand L	TIMEOUT	0.146	TIMEOUT	0.138	missing	-
Transformed CSR...ConsOS nosorts-noand Z	TIMEOUT	60.492	TIMEOUT	60.280	MAYBE	60.114
Transformed CSR 04 OvConsOS nosorts C	O(n^1)	0.647	TIMEOUT	60.323	O(n^1)	60.120
Transformed CSR 04 OvConsOS nosorts FR	TIMEOUT	61.018	TIMEOUT	60.262	MAYBE	60.092
Transformed CSR 04 OvConsOS nosorts GM	TIMEOUT	60.473	TIMEOUT	60.277	MAYBE	61.119
Transformed CSR 04 OvConsOS nosorts L	TIMEOUT	0.138	TIMEOUT	0.141	missing	-
Transformed CSR 04 OvConsOS nosorts Z	TIMEOUT	60.249	TIMEOUT	60.239	MAYBE	60.092
Transformed CSR...ConsOS nosorts noand C	TIMEOUT	60.408	TIMEOUT	60.365	MAYBE	60.160
Transformed CSR...onsOS nosorts noand GM	TIMEOUT	60.396	TIMEOUT	60.307	MAYBE	60.111
Transformed CSR...ROME complete-noand FR	TIMEOUT	60.473	TIMEOUT	60.348	MAYBE	60.536
Transformed CSR...DROME complete-noand L	TIMEOUT	60.393	TIMEOUT	60.321	MAYBE	60.125
Transformed CSR...DROME complete-noand Z	TIMEOUT	60.519	TIMEOUT	61.347	MAYBE	60.171
Transformed CSR 04 PALINDROME complete C	TIMEOUT	60.588	missing	-	MAYBE	60.254
Transformed CSR...PALINDROME complete FR	TIMEOUT	60.434	missing	-	MAYBE	60.150
Transformed CSR...PALINDROME complete GM	TIMEOUT	60.412	TIMEOUT	60.373	MAYBE	60.171
Transformed CSR 04 PALINDROME complete L	TIMEOUT	0.164	TIMEOUT	0.150	missing	-
Transformed CSR 04 PALINDROME complete Z	TIMEOUT	60.407	TIMEOUT	60.304	MAYBE	60.135
Transformed CSR...DROME complete noand C	TIMEOUT	60.762	TIMEOUT	60.666	MAYBE	60.401
Transformed CSR...ROME complete noand GM	TIMEOUT	60.452	TIMEOUT	60.457	MAYBE	60.250
Transformed CSR...DROME nokinds-noand FR	TIMEOUT	60.301	O(n^2)	59.316	O(n^2)	33.931
Transformed CSR...NDROME nokinds-noand L	TIMEOUT	60.475	TIMEOUT	60.306	MAYBE	27.527
Transformed CSR...NDROME nokinds-noand Z	O(n^1)	10.429	O(n^1)	17.756	O(n^1)	8.722
Transformed CSR 04 PALINDROME nokinds C	TIMEOUT	60.409	TIMEOUT	60.297	O(n^1)	60.128
Transformed CSR 04 PALINDROME nokinds FR	O(n^2)	41.466	O(n^2)	45.731	O(n^2)	60.756
Transformed CSR 04 PALINDROME nokinds GM	TIMEOUT	60.504	TIMEOUT	60.353	MAYBE	60.305
Transformed CSR 04 PALINDROME nokinds L	TIMEOUT	0.136	TIMEOUT	0.141	missing	-
Transformed CSR 04 PALINDROME nokinds Z	O(n^1)	11.287	O(n^1)	7.032	O(n^1)	60.176
Transformed CSR...NDROME nokinds noand C	TIMEOUT	60.449	TIMEOUT	60.594	O(n^1)	60.200
Transformed CSR...DROME nokinds noand GM	TIMEOUT	60.450	TIMEOUT	60.353	MAYBE	60.142
Transformed CSR 04 PALINDROME nosorts C	TIMEOUT	60.363	TIMEOUT	60.295	O(n^1)	60.109
Transformed CSR 04 PALINDROME nosorts GM	TIMEOUT	61.637	TIMEOUT	60.290	MAYBE	60.096
Transformed CSR 04 PALINDROME nosorts L	TIMEOUT	0.143	TIMEOUT	0.158	missing	-
Transformed CSR...NDROME nosorts noand C	TIMEOUT	60.365	TIMEOUT	60.296	O(n^1)	60.108
Transformed CSR...DROME nosorts noand GM	TIMEOUT	60.895	TIMEOUT	60.306	MAYBE	60.113
Transformed CSR...EANO complete-noand FR	TIMEOUT	60.677	TIMEOUT	60.290	MAYBE	60.133
Transformed CSR...PEANO complete-noand L	TIMEOUT	0.160	TIMEOUT	0.164	missing	-
Transformed CSR...PEANO complete-noand Z	TIMEOUT	60.460	TIMEOUT	60.302	O(n^2)	46.228
Transformed CSR 04 PEANO complete C	TIMEOUT	60.578	missing	-	MAYBE	60.163
Transformed CSR 04 PEANO complete FR	TIMEOUT	60.411	TIMEOUT	60.295	MAYBE	60.112
Transformed CSR 04 PEANO complete GM	TIMEOUT	60.394	TIMEOUT	60.309	MAYBE	60.122
Transformed CSR 04 PEANO complete L	TIMEOUT	0.147	TIMEOUT	0.151	missing	-
Transformed CSR 04 PEANO complete Z	TIMEOUT	60.368	TIMEOUT	60.486	MAYBE	60.109
Transformed CSR...PEANO complete noand C	TIMEOUT	60.626	missing	-	MAYBE	60.657
Transformed CSR...EANO complete noand GM	TIMEOUT	60.353	TIMEOUT	60.342	MAYBE	60.158
Transformed CSR...PEANO nokinds-noand FR	O(n^2)	16.018	O(n^2)	22.296	O(n^2)	30.147
Transformed CSR 04 PEANO nokinds-noand L	TIMEOUT	0.142	TIMEOUT	0.143	missing	-
Transformed CSR 04 PEANO nokinds-noand Z	O(n^1)	4.304	O(n^1)	4.505	O(n^1)	6.620
Transformed CSR 04 PEANO nokinds C	TIMEOUT	60.704	TIMEOUT	60.291	MAYBE	60.121
Transformed CSR 04 PEANO nokinds FR	O(n^2)	21.888	O(n^2)	10.931	O(n^2)	60.159
Transformed CSR 04 PEANO nokinds GM	TIMEOUT	60.583	TIMEOUT	60.262	MAYBE	60.100
Transformed CSR 04 PEANO nokinds L	TIMEOUT	0.138	TIMEOUT	0.143	missing	-
Transformed CSR 04 PEANO nokinds Z	O(n^1)	1.238	O(n^1)	2.930	O(n^1)	8.723
Transformed CSR 04 PEANO nokinds noand C	TIMEOUT	61.124	TIMEOUT	60.326	MAYBE	60.142
Transformed CSR...PEANO nokinds noand GM	TIMEOUT	60.372	TIMEOUT	60.275	MAYBE	60.130
Transformed CSR...PEANO nosorts-noand FR	O(n^1)	0.992	O(n^1)	0.826	O(n^1)	5.096
Transformed CSR 04 PEANO nosorts-noand L	TIMEOUT	0.134	TIMEOUT	0.135	missing	-
Transformed CSR 04 PEANO nosorts C	O(n^1)	0.384	TIMEOUT	60.293	O(n^1)	60.113
Transformed CSR 04 PEANO nosorts FR	O(n^1)	0.330	O(n^1)	0.646	O(n^1)	0.368
Transformed CSR 04 PEANO nosorts GM	TIMEOUT	60.413	TIMEOUT	60.266	MAYBE	60.094
Transformed CSR 04 PEANO nosorts L	TIMEOUT	0.139	TIMEOUT	0.136	missing	-
Transformed CSR 04 PEANO nosorts noand C	O(n^1)	0.548	TIMEOUT	60.302	O(n^1)	60.117
Transformed CSR...PEANO nosorts noand GM	TIMEOUT	60.487	TIMEOUT	60.270	MAYBE	60.092
Various 04 04	O(n^1)	1.969	O(n^1)	1.930	O(1)	2.841
Various 04 08	TIMEOUT	60.529	TIMEOUT	60.282	O(1)	30.267
Various 04 10	TIMEOUT	60.477	TIMEOUT	60.281	O(n^3)	40.547
Various 04 11	TIMEOUT	60.581	TIMEOUT	62.095	MAYBE	60.086
Various 04 12	TIMEOUT	60.708	TIMEOUT	60.254	MAYBE	60.095
Various 04 13	TIMEOUT	62.193	TIMEOUT	60.356	MAYBE	60.102
Various 04 14	TIMEOUT	60.516	TIMEOUT	60.321	MAYBE	60.214
Various 04 15	O(n^1)	0.297	TIMEOUT	60.285	O(n^1)	30.500
Various 04 18	TIMEOUT	60.459	TIMEOUT	60.261	O(n^1)	60.154
Various 04 22	TIMEOUT	60.398	TIMEOUT	60.247	O(n^1)	12.223
Various 04 23	O(n^1)	0.575	O(n^1)	0.627	O(n^1)	1.913
Various 04 24	O(n^2)	20.456	TIMEOUT	60.249	MAYBE	60.090
Waldmann 06 jwmatchb1	O(n^1)	0.308	TIMEOUT	60.261	O(n^1)	8.058
Waldmann 06 jwmatchb2	O(n^1)	0.325	TIMEOUT	60.255	O(n^1)	8.474
Waldmann 06 jwno1	TIMEOUT	60.264	TIMEOUT	60.259	MAYBE	60.088
Waldmann 06 jwno4	TIMEOUT	60.524	TIMEOUT	60.263	MAYBE	60.087
Waldmann 06 jwno6	TIMEOUT	60.867	TIMEOUT	60.284	MAYBE	60.098
Zantema 05 z10	TIMEOUT	60.401	TIMEOUT	60.255	MAYBE	60.100
Zantema 05 z12	TIMEOUT	60.718	TIMEOUT	60.282	MAYBE	60.090
Zantema 05 z13	TIMEOUT	60.501	TIMEOUT	60.261	MAYBE	60.086
Zantema 05 z14	TIMEOUT	61.425	TIMEOUT	60.249	MAYBE	60.096
Zantema 05 z15	TIMEOUT	60.431	TIMEOUT	60.253	MAYBE	60.093
Zantema 05 z16	TIMEOUT	60.687	TIMEOUT	60.254	MAYBE	60.124
Zantema 05 z17	TIMEOUT	60.282	TIMEOUT	60.247	MAYBE	60.089
Zantema 05 z18	TIMEOUT	60.422	TIMEOUT	60.254	MAYBE	60.093
Zantema 05 z23	TIMEOUT	60.250	TIMEOUT	60.245	MAYBE	60.093
Zantema 05 z24	TIMEOUT	60.253	TIMEOUT	60.260	MAYBE	60.088
Zantema 05 z26	O(n^1)	0.307	O(n^2)	26.935	O(n^1)	60.089
Zantema 05 z27	TIMEOUT	61.562	TIMEOUT	60.429	MAYBE	60.098
Zantema 05 z28	TIMEOUT	60.525	TIMEOUT	60.278	MAYBE	60.096
raML appendAll.raml	O(n^1)	0.399	O(n^2)	2.536	O(n^1)	4.344
raML bfs.raml	TIMEOUT	61.770	TIMEOUT	60.327	MAYBE	60.141
raML bft mmult.raml	TIMEOUT	61.017	TIMEOUT	60.355	MAYBE	60.164
raML bitvectors.raml	TIMEOUT	60.655	missing	-	O(n^2)	54.726
raML clevermmult.raml	TIMEOUT	61.495	TIMEOUT	60.319	O(n^2)	30.357
raML duplicates.raml	O(n^2)	19.622	TIMEOUT	60.333	O(n^2)	25.289
raML dyade.raml	O(n^2)	51.369	TIMEOUT	60.726	O(n^2)	28.865
raML eratosthenes.raml	TIMEOUT	60.609	TIMEOUT	60.351	O(n^2)	32.354
raML flatten.raml	TIMEOUT	60.550	TIMEOUT	60.276	O(n^2)	30.360
raML insertionsort.raml	TIMEOUT	60.315	TIMEOUT	60.321	MAYBE	60.135
raML listsort.raml	TIMEOUT	62.655	TIMEOUT	60.322	O(n^2)	30.179
raML longestCommonSubsequence.raml	TIMEOUT	60.815	TIMEOUT	61.615	MAYBE	60.169
raML matrix.raml	TIMEOUT	60.524	TIMEOUT	60.552	MAYBE	60.574
raML mergesort.raml	TIMEOUT	60.310	TIMEOUT	60.309	MAYBE	60.135
raML minsort.raml	O(n^2)	11.175	TIMEOUT	60.272	O(n^2)	20.479
raML queue.raml	TIMEOUT	60.605	TIMEOUT	60.293	MAYBE	60.128
raML quicksort.raml	TIMEOUT	60.360	TIMEOUT	60.498	MAYBE	60.147
raML rationalPotential.raml	O(n^1)	1.434	O(n^1)	1.276	O(n^1)	3.800
raML splitandsort.raml	TIMEOUT	60.447	TIMEOUT	60.328	MAYBE	60.152
raML subtrees.raml	O(n^2)	1.819	TIMEOUT	60.292	O(n^2)	21.211