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)	-	-	18
O(n^1)	134	67	164
O(n^2)	31	40	19
O(n^3)	-	3	1
O(n^5)	-	-	1
Total YES	165	110	203

Details

	TcT-Certify		TcT-Competition-Certify		TcT-Competition-Full
Problem (all selected)	answer	time	answer	time	answer	time
AG01 3.1	TIMEOUT	60.460	TIMEOUT	60.237	O(n^1)	1.391
AG01 3.10	TIMEOUT	60.324	TIMEOUT	60.270	MAYBE	60.108
AG01 3.12	TIMEOUT	60.571	TIMEOUT	60.247	O(n^3)	34.252
AG01 3.13	TIMEOUT	60.707	TIMEOUT	60.286	MAYBE	60.106
AG01 3.15	O(n^1)	0.859	O(n^1)	0.866	O(n^1)	5.096
AG01 3.16	TIMEOUT	60.407	TIMEOUT	60.260	MAYBE	60.336
AG01 3.17	TIMEOUT	60.452	TIMEOUT	60.258	MAYBE	60.094
AG01 3.17a	TIMEOUT	60.438	TIMEOUT	60.272	MAYBE	60.094
AG01 3.18	TIMEOUT	60.486	TIMEOUT	60.359	MAYBE	60.106
AG01 3.19	TIMEOUT	61.085	TIMEOUT	60.289	MAYBE	60.106
AG01 3.2	TIMEOUT	60.376	TIMEOUT	60.266	MAYBE	41.187
AG01 3.22	TIMEOUT	60.423	TIMEOUT	60.268	MAYBE	60.302
AG01 3.23	TIMEOUT	60.411	TIMEOUT	60.236	O(n^1)	0.660
AG01 3.24	O(n^1)	0.296	O(n^2)	1.583	O(n^1)	1.939
AG01 3.26	TIMEOUT	60.346	TIMEOUT	60.267	MAYBE	60.087
AG01 3.29	O(n^1)	0.376	O(n^1)	0.440	O(n^1)	0.326
AG01 3.31	TIMEOUT	60.375	TIMEOUT	60.226	MAYBE	60.089
AG01 3.33	O(n^1)	0.320	O(n^2)	2.747	O(1)	1.762
AG01 3.35	O(n^1)	0.302	O(n^1)	0.696	O(n^1)	0.633
AG01 3.36	TIMEOUT	60.540	TIMEOUT	60.248	MAYBE	60.089
AG01 3.37	O(n^1)	0.321	O(n^2)	3.639	O(n^1)	2.326
AG01 3.38	TIMEOUT	60.769	TIMEOUT	60.244	MAYBE	60.173
AG01 3.39	TIMEOUT	60.736	TIMEOUT	60.257	MAYBE	60.102
AG01 3.4	TIMEOUT	60.624	TIMEOUT	60.377	MAYBE	60.103
AG01 3.40	TIMEOUT	60.691	TIMEOUT	60.249	MAYBE	60.098
AG01 3.41	TIMEOUT	60.568	TIMEOUT	60.235	O(n^1)	45.430
AG01 3.42	TIMEOUT	60.470	TIMEOUT	60.354	MAYBE	31.381
AG01 3.47	TIMEOUT	60.510	TIMEOUT	60.243	O(n^2)	15.214
AG01 3.48	TIMEOUT	60.400	TIMEOUT	60.236	MAYBE	45.313
AG01 3.49	TIMEOUT	60.283	TIMEOUT	60.232	MAYBE	60.095
AG01 3.5	TIMEOUT	60.541	TIMEOUT	60.285	O(n^2)	60.117
AG01 3.51	O(n^1)	0.311	O(n^2)	4.269	O(n^1)	3.838
AG01 3.52	O(n^2)	2.216	TIMEOUT	60.232	O(n^1)	0.972
AG01 3.53	TIMEOUT	60.633	TIMEOUT	60.242	MAYBE	60.097
AG01 3.53a	O(n^1)	0.466	O(n^1)	0.537	O(1)	0.599
AG01 3.53b	O(n^2)	2.582	TIMEOUT	60.238	O(n^1)	0.990
AG01 3.54	TIMEOUT	60.549	TIMEOUT	60.267	MAYBE	60.143
AG01 3.55	TIMEOUT	61.313	TIMEOUT	60.273	MAYBE	60.105
AG01 3.56	O(n^1)	0.310	O(n^2)	2.313	O(n^1)	8.226
AG01 3.57	TIMEOUT	60.532	TIMEOUT	60.266	MAYBE	60.105
AG01 3.5a	TIMEOUT	61.007	TIMEOUT	60.270	MAYBE	60.126
AG01 3.5b	TIMEOUT	60.485	TIMEOUT	60.259	MAYBE	51.334
AG01 3.6	TIMEOUT	60.582	TIMEOUT	60.249	MAYBE	60.114
AG01 3.6a	TIMEOUT	60.525	TIMEOUT	60.305	O(n^2)	60.115
AG01 3.6b	TIMEOUT	60.487	TIMEOUT	60.263	MAYBE	60.111
AG01 3.7	O(n^1)	0.854	O(n^1)	0.857	O(n^1)	5.094
AG01 3.8a	TIMEOUT	60.761	TIMEOUT	60.305	MAYBE	54.587
AG01 3.8b	TIMEOUT	60.665	TIMEOUT	60.316	MAYBE	60.106
AG01 4.30c	TIMEOUT	60.759	TIMEOUT	60.236	MAYBE	60.099
AProVE 04 AAECC	TIMEOUT	60.473	TIMEOUT	60.284	MAYBE	60.114
AProVE 04 AAECC-ring	TIMEOUT	60.439	TIMEOUT	60.389	MAYBE	60.136
AProVE 04 IJCAR 1	TIMEOUT	60.256	TIMEOUT	60.274	O(n^1)	16.864
AProVE 04 IJCAR 12	TIMEOUT	60.404	TIMEOUT	60.776	MAYBE	60.097
AProVE 04 IJCAR 18	TIMEOUT	60.529	TIMEOUT	60.269	MAYBE	60.107
AProVE 04 IJCAR 26	TIMEOUT	60.740	TIMEOUT	60.254	MAYBE	60.114
AProVE 04 IJCAR 26a	TIMEOUT	60.552	TIMEOUT	60.291	MAYBE	60.115
AProVE 04 JFP Ex31	TIMEOUT	60.439	TIMEOUT	60.257	MAYBE	60.098
AProVE 04 JFP Ex51	TIMEOUT	60.515	TIMEOUT	60.244	MAYBE	60.185
AProVE 04 LPAR intlist	TIMEOUT	60.465	TIMEOUT	60.250	MAYBE	60.102
AProVE 04 Liveness6.1	TIMEOUT	60.469	TIMEOUT	60.257	MAYBE	35.367
AProVE 04 Liveness6.2	TIMEOUT	60.412	TIMEOUT	60.240	MAYBE	60.092
AProVE 04 Liveness6.3	O(n^1)	0.311	TIMEOUT	60.250	O(n^1)	49.881
AProVE 04 Liveness6.4	TIMEOUT	60.265	TIMEOUT	60.253	MAYBE	36.424
AProVE 04 Liveness8	O(n^1)	0.324	TIMEOUT	60.270	O(n^1)	60.335
AProVE 04 Liveness WRS	O(n^1)	0.353	TIMEOUT	60.297	O(n^1)	60.256
AProVE 04 fac	TIMEOUT	60.578	TIMEOUT	60.243	MAYBE	55.575
AProVE 04 rta1	TIMEOUT	60.520	TIMEOUT	60.313	MAYBE	60.091
AProVE 04 rta2	TIMEOUT	60.357	TIMEOUT	60.245	MAYBE	60.088
AProVE 04 rta3	TIMEOUT	60.386	TIMEOUT	60.253	MAYBE	60.101
AProVE 06 div notCeTermin	TIMEOUT	60.521	TIMEOUT	60.271	MAYBE	34.279
AProVE 06 div notTermin	TIMEOUT	60.552	TIMEOUT	60.293	MAYBE	60.108
AProVE 06 factorial1	TIMEOUT	61.415	TIMEOUT	60.258	MAYBE	60.101
AProVE 06 factorial2	TIMEOUT	60.573	TIMEOUT	60.243	MAYBE	60.190
AProVE 06 identity	TIMEOUT	60.564	TIMEOUT	60.246	MAYBE	60.086
AProVE 06 logarithm	TIMEOUT	62.475	TIMEOUT	60.255	MAYBE	60.108
AProVE 06 modulo	TIMEOUT	60.475	TIMEOUT	60.547	MAYBE	60.104
AProVE 06 nonterm	TIMEOUT	60.729	TIMEOUT	60.281	MAYBE	60.694
AProVE 06 quicksort	TIMEOUT	60.573	TIMEOUT	60.334	MAYBE	60.112
AProVE 06 quot	TIMEOUT	60.460	TIMEOUT	60.249	MAYBE	46.139
AProVE 06 sizeChange	TIMEOUT	60.522	TIMEOUT	60.245	MAYBE	60.126
AProVE 06 tower	TIMEOUT	62.000	TIMEOUT	60.260	MAYBE	60.105
AProVE 06 tower sizeChange	TIMEOUT	60.414	TIMEOUT	60.259	MAYBE	60.099
AProVE 07 kabasci01	TIMEOUT	60.460	TIMEOUT	60.305	MAYBE	60.122
AProVE 07 kabasci02	TIMEOUT	60.494	TIMEOUT	60.286	MAYBE	60.134
AProVE 07 kabasci03	TIMEOUT	60.522	TIMEOUT	60.260	MAYBE	60.104
AProVE 07 kabasci04	TIMEOUT	60.351	TIMEOUT	60.248	MAYBE	60.104
AProVE 07 kabasci05	TIMEOUT	61.067	TIMEOUT	60.272	MAYBE	60.102
AProVE 07 otto01	TIMEOUT	60.438	TIMEOUT	60.261	MAYBE	60.109
AProVE 07 otto02	TIMEOUT	61.549	TIMEOUT	60.277	MAYBE	60.107
AProVE 07 otto03	TIMEOUT	60.385	TIMEOUT	60.258	MAYBE	35.206
AProVE 07 otto04	TIMEOUT	60.710	TIMEOUT	60.282	MAYBE	60.114
AProVE 07 otto05	TIMEOUT	60.570	TIMEOUT	60.248	MAYBE	54.003
AProVE 07 otto06	TIMEOUT	60.529	TIMEOUT	60.276	MAYBE	60.121
AProVE 07 otto07	TIMEOUT	60.406	TIMEOUT	60.256	MAYBE	60.100
AProVE 07 otto08	TIMEOUT	60.517	TIMEOUT	60.269	MAYBE	60.104
AProVE 07 otto09	TIMEOUT	60.475	TIMEOUT	60.259	MAYBE	36.832
AProVE 07 otto10	TIMEOUT	60.634	TIMEOUT	60.277	MAYBE	60.102
AProVE 07 otto11	TIMEOUT	61.027	TIMEOUT	60.260	MAYBE	60.100
AProVE 07 otto12	TIMEOUT	60.703	TIMEOUT	60.257	MAYBE	60.103
AProVE 07 otto13	TIMEOUT	60.541	TIMEOUT	60.275	MAYBE	60.115
AProVE 07 thiemann01	TIMEOUT	60.563	TIMEOUT	60.263	MAYBE	61.215
AProVE 07 thiemann02	TIMEOUT	60.436	TIMEOUT	60.297	MAYBE	60.122
AProVE 07 thiemann03	TIMEOUT	60.648	TIMEOUT	60.254	MAYBE	60.105
AProVE 07 thiemann04	TIMEOUT	60.394	TIMEOUT	60.278	MAYBE	60.124
AProVE 07 thiemann05	TIMEOUT	60.690	TIMEOUT	60.254	MAYBE	60.103
AProVE 07 thiemann06	TIMEOUT	60.674	TIMEOUT	60.303	MAYBE	60.111
AProVE 07 thiemann07	TIMEOUT	60.489	TIMEOUT	60.309	MAYBE	60.115
AProVE 07 thiemann08	TIMEOUT	60.920	TIMEOUT	60.262	MAYBE	60.496
AProVE 07 thiemann09	TIMEOUT	60.526	TIMEOUT	60.346	MAYBE	60.217
AProVE 07 thiemann10	TIMEOUT	60.588	TIMEOUT	60.270	MAYBE	46.047
AProVE 07 thiemann11	TIMEOUT	60.460	TIMEOUT	60.323	MAYBE	60.110
AProVE 07 thiemann12	TIMEOUT	60.510	TIMEOUT	60.272	MAYBE	58.456
AProVE 07 thiemann13	TIMEOUT	60.665	TIMEOUT	60.247	MAYBE	60.103
AProVE 07 thiemann14	TIMEOUT	60.543	TIMEOUT	60.385	MAYBE	60.136
AProVE 07 thiemann15	TIMEOUT	60.369	TIMEOUT	60.256	MAYBE	46.521
AProVE 07 thiemann16	TIMEOUT	60.539	TIMEOUT	60.260	MAYBE	60.125
AProVE 07 thiemann17	TIMEOUT	60.414	TIMEOUT	60.259	MAYBE	60.239
AProVE 07 thiemann18	TIMEOUT	60.523	TIMEOUT	60.276	MAYBE	60.106
AProVE 07 thiemann19	TIMEOUT	60.721	TIMEOUT	60.287	MAYBE	45.059
AProVE 07 thiemann20	TIMEOUT	60.434	TIMEOUT	60.265	MAYBE	60.103
AProVE 07 thiemann21	TIMEOUT	60.554	TIMEOUT	60.275	MAYBE	60.117
AProVE 07 thiemann22	TIMEOUT	60.478	TIMEOUT	60.277	MAYBE	57.928
AProVE 07 thiemann23	TIMEOUT	60.653	TIMEOUT	60.301	MAYBE	49.704
AProVE 07 thiemann24	TIMEOUT	60.453	TIMEOUT	60.249	MAYBE	60.115
AProVE 07 thiemann25	TIMEOUT	60.568	TIMEOUT	60.266	MAYBE	60.107
AProVE 07 thiemann26	TIMEOUT	60.560	TIMEOUT	60.253	MAYBE	60.104
AProVE 07 thiemann27	TIMEOUT	60.411	TIMEOUT	60.259	MAYBE	31.796
AProVE 07 thiemann28	TIMEOUT	60.539	TIMEOUT	60.392	MAYBE	60.103
AProVE 07 thiemann29	TIMEOUT	60.579	TIMEOUT	60.257	MAYBE	60.109
AProVE 07 thiemann30	TIMEOUT	60.330	TIMEOUT	60.305	MAYBE	60.145
AProVE 07 thiemann31	TIMEOUT	60.521	TIMEOUT	60.269	MAYBE	60.105
AProVE 07 thiemann32	TIMEOUT	60.548	TIMEOUT	60.294	MAYBE	60.105
AProVE 07 thiemann33	TIMEOUT	60.712	TIMEOUT	60.372	MAYBE	60.095
AProVE 07 thiemann34	TIMEOUT	60.532	TIMEOUT	60.257	MAYBE	40.523
AProVE 07 thiemann36	TIMEOUT	60.563	TIMEOUT	60.241	MAYBE	60.107
AProVE 07 thiemann37	TIMEOUT	60.472	TIMEOUT	60.303	MAYBE	60.144
AProVE 07 thiemann38	TIMEOUT	60.492	TIMEOUT	60.264	MAYBE	60.105
AProVE 07 thiemann40	TIMEOUT	60.433	TIMEOUT	60.239	MAYBE	60.107
AProVE 07 thiemann41	TIMEOUT	60.361	TIMEOUT	60.634	MAYBE	60.103
AProVE 07 wiehe01	TIMEOUT	60.366	TIMEOUT	61.456	MAYBE	60.100
AProVE 07 wiehe02	TIMEOUT	61.392	missing	-	MAYBE	60.111
AProVE 07 wiehe03	TIMEOUT	60.508	missing	-	MAYBE	60.108
AProVE 07 wiehe05	TIMEOUT	60.361	TIMEOUT	60.321	MAYBE	60.101
AProVE 07 wiehe06	TIMEOUT	60.453	missing	-	MAYBE	60.106
AProVE 07 wiehe07	TIMEOUT	60.386	missing	-	MAYBE	60.103
AProVE 07 wiehe08	TIMEOUT	60.359	TIMEOUT	60.303	MAYBE	60.106
AProVE 07 wiehe09	TIMEOUT	60.374	TIMEOUT	60.307	MAYBE	60.110
AProVE 07 wiehe11	TIMEOUT	60.378	missing	-	MAYBE	60.113
AProVE 07 wiehe12	TIMEOUT	60.535	TIMEOUT	60.397	MAYBE	60.131
AProVE 08 id inc	TIMEOUT	60.444	TIMEOUT	60.248	MAYBE	60.098
AProVE 08 log	TIMEOUT	60.554	TIMEOUT	60.247	MAYBE	60.094
AProVE 08 parting01 reverse	TIMEOUT	60.350	TIMEOUT	60.277	MAYBE	60.110
AProVE 08 parting02 doublelist	TIMEOUT	60.356	TIMEOUT	60.264	MAYBE	60.098
AProVE 08 parting03 minsort	TIMEOUT	60.599	TIMEOUT	60.504	MAYBE	60.115
AProVE 08 parting04 maxsort h	TIMEOUT	60.427	TIMEOUT	60.315	MAYBE	60.110
AProVE 08 parting05 maxsort	TIMEOUT	60.362	TIMEOUT	60.259	MAYBE	60.106
AProVE 08 round	TIMEOUT	60.716	TIMEOUT	60.400	MAYBE	60.093
AProVE 08 round nonterm	TIMEOUT	60.457	TIMEOUT	60.250	MAYBE	60.087
AProVE 08 thiemann40 modified	TIMEOUT	60.410	TIMEOUT	60.471	MAYBE	60.105
AProVE 09 Inductive div	TIMEOUT	60.461	TIMEOUT	60.512	MAYBE	60.337
AProVE 09 Inductive divhard	TIMEOUT	60.379	TIMEOUT	60.248	MAYBE	31.015
AProVE 09 Inductive gcd	TIMEOUT	60.460	TIMEOUT	60.259	MAYBE	60.120
AProVE 09 Inductive gcd2	TIMEOUT	60.475	TIMEOUT	60.258	MAYBE	60.109
AProVE 09 Inductive gcdhard	TIMEOUT	60.651	TIMEOUT	60.420	MAYBE	60.101
AProVE 09 Inductive log	TIMEOUT	60.769	TIMEOUT	60.237	MAYBE	42.034
AProVE 09 Inductive maxsort	TIMEOUT	60.376	TIMEOUT	60.276	MAYBE	60.105
AProVE 09 Inductive maxsortcondition	TIMEOUT	60.574	TIMEOUT	60.558	MAYBE	60.114
AProVE 09 Inductive minsort	TIMEOUT	60.371	TIMEOUT	60.277	MAYBE	60.108
AProVE 09 Inductive mod	TIMEOUT	60.571	TIMEOUT	60.253	MAYBE	58.026
AProVE 09 Inductive qsort	TIMEOUT	60.398	TIMEOUT	60.285	MAYBE	60.109
AProVE 09 Inductive qsortlast	TIMEOUT	60.367	missing	-	MAYBE	60.116
AProVE 09 Inductive qsortmiddle	TIMEOUT	60.446	missing	-	MAYBE	60.116
AProVE 09 Inductive zerolist	TIMEOUT	60.600	TIMEOUT	60.238	MAYBE	60.114
Beerendonk 07 1	TIMEOUT	60.428	TIMEOUT	60.361	MAYBE	19.704
Beerendonk 07 10	TIMEOUT	60.404	TIMEOUT	60.283	MAYBE	23.747
Beerendonk 07 11	TIMEOUT	60.380	TIMEOUT	60.264	MAYBE	23.378
Beerendonk 07 12	TIMEOUT	60.811	TIMEOUT	60.259	MAYBE	22.115
Beerendonk 07 13	TIMEOUT	60.340	TIMEOUT	60.408	MAYBE	21.845
Beerendonk 07 14	TIMEOUT	60.422	TIMEOUT	60.256	MAYBE	21.954
Beerendonk 07 15	TIMEOUT	60.625	TIMEOUT	60.264	MAYBE	51.821
Beerendonk 07 16	TIMEOUT	61.903	TIMEOUT	60.261	MAYBE	56.163
Beerendonk 07 17	TIMEOUT	60.719	TIMEOUT	60.266	MAYBE	54.342
Beerendonk 07 18	TIMEOUT	60.426	TIMEOUT	60.257	MAYBE	34.278
Beerendonk 07 19	TIMEOUT	60.512	TIMEOUT	60.266	MAYBE	30.478
Beerendonk 07 2	TIMEOUT	60.635	TIMEOUT	60.275	MAYBE	18.739
Beerendonk 07 20	TIMEOUT	60.329	TIMEOUT	60.255	MAYBE	30.092
Beerendonk 07 21	TIMEOUT	60.822	TIMEOUT	60.513	MAYBE	30.095
Beerendonk 07 22	TIMEOUT	60.451	TIMEOUT	60.267	MAYBE	21.391
Beerendonk 07 23	TIMEOUT	61.363	TIMEOUT	60.242	MAYBE	21.540
Beerendonk 07 24	TIMEOUT	60.393	TIMEOUT	60.271	MAYBE	32.127
Beerendonk 07 3	TIMEOUT	60.402	TIMEOUT	60.264	MAYBE	26.669
Beerendonk 07 4	TIMEOUT	61.180	TIMEOUT	60.301	MAYBE	60.100
Beerendonk 07 5	TIMEOUT	60.457	TIMEOUT	60.259	MAYBE	30.097
Beerendonk 07 6	TIMEOUT	61.469	TIMEOUT	60.236	MAYBE	16.775
Beerendonk 07 7	TIMEOUT	60.619	TIMEOUT	60.258	MAYBE	30.256
Beerendonk 07 8	TIMEOUT	60.316	TIMEOUT	60.267	MAYBE	31.790
Beerendonk 07 9	TIMEOUT	60.715	TIMEOUT	60.271	MAYBE	30.113
CiME 04 ack prolog	TIMEOUT	60.553	TIMEOUT	60.238	MAYBE	60.098
CiME 04 append	O(n^2)	0.917	TIMEOUT	60.249	O(n^1)	0.818
CiME 04 append-hard	TIMEOUT	60.432	TIMEOUT	60.251	MAYBE	60.095
CiME 04 append-wrong	TIMEOUT	61.196	TIMEOUT	60.381	MAYBE	60.247
CiME 04 big	TIMEOUT	62.592	TIMEOUT	61.742	MAYBE	60.174
CiME 04 dpqs	O(n^1)	0.314	O(n^2)	3.336	O(1)	2.234
CiME 04 fact-hard	TIMEOUT	60.372	TIMEOUT	60.258	MAYBE	60.101
CiME 04 filliatre	TIMEOUT	60.617	TIMEOUT	60.265	MAYBE	60.108
CiME 04 filliatre2	TIMEOUT	60.581	TIMEOUT	60.301	MAYBE	60.097
CiME 04 filliatre3	TIMEOUT	60.724	TIMEOUT	60.288	MAYBE	60.240
CiME 04 intersect	O(n^2)	27.975	TIMEOUT	60.276	O(n^2)	60.152
CiME 04 list-sum-prod	TIMEOUT	60.960	TIMEOUT	60.262	MAYBE	60.097
CiME 04 list-sum-prod-assoc	TIMEOUT	62.600	TIMEOUT	60.252	MAYBE	60.101
CiME 04 list-sum-prod-assoc-append	TIMEOUT	62.910	TIMEOUT	60.256	MAYBE	60.159
CiME 04 list-sum-prod-bin	TIMEOUT	60.650	TIMEOUT	60.269	MAYBE	60.109
CiME 04 list-sum-prod-bin-assoc	TIMEOUT	60.677	TIMEOUT	60.265	MAYBE	60.111
CiME 04 list-su...od-bin-assoc-distr-app	TIMEOUT	62.234	TIMEOUT	60.303	MAYBE	60.111
CiME 04 log2	TIMEOUT	60.774	TIMEOUT	60.440	MAYBE	60.127
CiME 04 lse	O(n^2)	24.770	TIMEOUT	60.259	O(n^2)	60.180
CiME 04 maude2	TIMEOUT	60.596	TIMEOUT	60.266	MAYBE	60.117
CiME 04 mucrl1	TIMEOUT	60.828	missing	-	MAYBE	60.452
CiME 04 ternary	TIMEOUT	60.568	TIMEOUT	60.266	MAYBE	60.117
CiME 04 ternary-hard	TIMEOUT	60.501	TIMEOUT	60.284	MAYBE	60.120
CiME 04 tree	TIMEOUT	60.500	missing	-	MAYBE	60.135
Der95 06	O(n^1)	0.293	O(n^1)	0.525	O(n^1)	0.248
Der95 07	O(n^1)	0.310	O(n^1)	0.558	O(n^1)	1.081
Der95 08	O(n^2)	1.249	TIMEOUT	60.265	O(n^1)	1.174
Der95 11	O(n^2)	15.583	TIMEOUT	60.607	O(n^1)	30.364
Der95 12	TIMEOUT	60.724	TIMEOUT	60.353	MAYBE	60.094
Der95 18	O(n^2)	0.462	TIMEOUT	60.246	O(n^1)	0.282
Der95 20	TIMEOUT	60.468	TIMEOUT	60.259	MAYBE	60.093
Der95 21	TIMEOUT	60.687	TIMEOUT	60.358	MAYBE	60.096
Der95 27	O(n^1)	0.297	O(n^1)	0.432	O(n^1)	0.758
Der95 31	TIMEOUT	60.691	TIMEOUT	60.240	O(n^2)	60.105
Der95 32	TIMEOUT	60.362	TIMEOUT	60.254	MAYBE	60.105
Der95 33	TIMEOUT	60.603	TIMEOUT	60.256	MAYBE	60.093
Endrullis 06 direct	O(n^1)	0.348	O(n^3)	15.428	O(n^1)	8.777
GTSSK07 cade01	TIMEOUT	60.395	TIMEOUT	60.239	MAYBE	60.099
GTSSK07 cade03	TIMEOUT	60.959	TIMEOUT	60.277	MAYBE	60.120
GTSSK07 cade04t	TIMEOUT	60.389	TIMEOUT	60.252	MAYBE	60.100
GTSSK07 cade05t	TIMEOUT	60.491	TIMEOUT	60.262	MAYBE	60.438
GTSSK07 cade06	TIMEOUT	60.973	TIMEOUT	60.247	MAYBE	37.667
GTSSK07 cade07	TIMEOUT	60.658	TIMEOUT	60.510	MAYBE	60.097
GTSSK07 cade08	TIMEOUT	60.792	TIMEOUT	60.231	MAYBE	30.094
GTSSK07 cade09	TIMEOUT	60.427	TIMEOUT	60.545	MAYBE	60.097
GTSSK07 cade10	TIMEOUT	61.539	TIMEOUT	60.236	MAYBE	60.093
GTSSK07 cade11	TIMEOUT	60.564	TIMEOUT	60.248	MAYBE	60.095
GTSSK07 cade12t	TIMEOUT	60.502	TIMEOUT	60.257	MAYBE	55.441
GTSSK07 cade13t	TIMEOUT	60.436	TIMEOUT	60.256	MAYBE	60.114
GTSSK07 cade14	TIMEOUT	60.409	TIMEOUT	60.282	MAYBE	60.102
GTSSK07 cade15	TIMEOUT	60.505	TIMEOUT	60.283	MAYBE	60.128
GTSSK07 cade16	TIMEOUT	61.358	TIMEOUT	60.274	MAYBE	60.105
GTSSK07 cade17	TIMEOUT	60.433	TIMEOUT	60.267	MAYBE	60.110
HirokawaMiddeldorp 04 n002	MAYBE	6.311	TIMEOUT	60.229	MAYBE	6.344
HirokawaMiddeldorp 04 n003	MAYBE	8.471	TIMEOUT	60.292	MAYBE	6.807
HirokawaMiddeldorp 04 n004	MAYBE	9.885	TIMEOUT	60.273	MAYBE	7.124
HirokawaMiddeldorp 04 n005	TIMEOUT	60.678	TIMEOUT	60.550	MAYBE	60.090
HirokawaMiddeldorp 04 n006	MAYBE	38.467	TIMEOUT	60.307	MAYBE	15.561
HirokawaMiddeldorp 04 n007	MAYBE	30.734	TIMEOUT	60.273	MAYBE	12.145
HirokawaMiddeldorp 04 t001	TIMEOUT	60.404	TIMEOUT	60.313	MAYBE	60.141
HirokawaMiddeldorp 04 t002	TIMEOUT	60.477	TIMEOUT	60.285	MAYBE	60.144
HirokawaMiddeldorp 04 t003	TIMEOUT	61.559	TIMEOUT	61.213	MAYBE	60.165
HirokawaMiddeldorp 04 t004	TIMEOUT	60.827	TIMEOUT	60.412	MAYBE	60.698
HirokawaMiddeldorp 04 t009	TIMEOUT	60.363	TIMEOUT	60.342	MAYBE	60.188
HirokawaMiddeldorp 04 t011	O(n^1)	0.482	O(n^1)	0.619	O(n^1)	5.085
HirokawaMiddeldorp 04 t012	TIMEOUT	60.445	TIMEOUT	60.436	MAYBE	60.120
HirokawaMiddeldorp 04 t013	TIMEOUT	60.525	TIMEOUT	60.494	MAYBE	60.128
HirokawaMiddeldorp 04 t014	TIMEOUT	60.730	TIMEOUT	60.584	MAYBE	60.107
Mixed TRS Ex1 Luc04b GM	TIMEOUT	60.561	TIMEOUT	60.424	MAYBE	60.166
Mixed TRS fossacs	TIMEOUT	61.047	TIMEOUT	60.388	MAYBE	60.095
Mixed TRS gcd	TIMEOUT	60.362	TIMEOUT	60.304	MAYBE	60.110
Mixed TRS gcdMinMax	TIMEOUT	60.475	TIMEOUT	60.429	MAYBE	60.110
Mixed TRS gcd triple	TIMEOUT	60.440	TIMEOUT	60.291	MAYBE	60.104
Mixed TRS hydra	O(n^2)	7.255	TIMEOUT	60.333	O(n^2)	60.095
Mixed TRS hydra-Zantema06	TIMEOUT	60.601	TIMEOUT	60.294	MAYBE	60.309
Mixed TRS jones1	O(n^1)	0.344	O(n^1)	0.789	O(n^1)	1.161
Mixed TRS jones2	O(n^2)	0.855	TIMEOUT	60.533	O(n^1)	1.896
Mixed TRS jones4	O(n^1)	0.609	O(n^1)	1.512	O(n^1)	2.159
Mixed TRS jones5	TIMEOUT	60.845	TIMEOUT	60.278	MAYBE	60.088
Mixed TRS jones6	O(n^1)	0.333	O(n^1)	0.758	O(n^1)	1.951
Mixed TRS minsort	TIMEOUT	60.784	TIMEOUT	60.504	MAYBE	60.346
Mixed TRS perfect	TIMEOUT	60.737	TIMEOUT	60.283	O(n^1)	2.632
Mixed TRS perfect2	TIMEOUT	60.804	TIMEOUT	60.416	MAYBE	60.241
Mixed TRS test1	TIMEOUT	60.492	TIMEOUT	60.274	MAYBE	60.088
Mixed TRS while	TIMEOUT	60.476	TIMEOUT	60.251	MAYBE	60.095
Rubio 04 bintrees	O(n^1)	0.524	O(n^2)	1.725	O(n^1)	2.055
Rubio 04 bn122	O(n^2)	2.018	TIMEOUT	60.245	O(n^1)	1.660
Rubio 04 division	TIMEOUT	60.449	TIMEOUT	60.270	MAYBE	60.101
Rubio 04 elimdupl	TIMEOUT	62.050	TIMEOUT	60.264	O(n^2)	60.120
Rubio 04 enno	TIMEOUT	62.292	TIMEOUT	60.629	MAYBE	60.103
Rubio 04 gcd	TIMEOUT	60.364	TIMEOUT	60.469	MAYBE	60.114
Rubio 04 gm	TIMEOUT	60.376	TIMEOUT	60.275	O(n^1)	1.901
Rubio 04 gmnp	O(n^1)	0.302	O(n^2)	1.857	O(n^1)	1.695
Rubio 04 koen	O(n^1)	0.467	O(n^1)	0.538	O(n^1)	16.580
Rubio 04 logarquot	TIMEOUT	60.719	TIMEOUT	60.279	O(n^2)	30.101
Rubio 04 ma96	TIMEOUT	60.315	TIMEOUT	60.342	MAYBE	60.119
Rubio 04 mfp95	O(n^1)	0.302	O(n^1)	0.448	O(n^1)	0.313
Rubio 04 nestrec	TIMEOUT	60.388	TIMEOUT	60.243	MAYBE	60.090
Rubio 04 p266	O(n^1)	0.325	O(n^2)	2.366	O(n^1)	3.033
Rubio 04 polo2	O(n^2)	14.626	TIMEOUT	60.250	O(n^1)	30.111
Rubio 04 prov	TIMEOUT	60.335	TIMEOUT	60.278	O(n^1)	1.129
Rubio 04 quick	TIMEOUT	60.705	TIMEOUT	60.375	MAYBE	60.114
Rubio 04 quotminus	TIMEOUT	60.589	TIMEOUT	60.266	MAYBE	60.127
Rubio 04 revlist	TIMEOUT	60.739	TIMEOUT	60.264	MAYBE	60.118
Rubio 04 selsort	TIMEOUT	60.391	TIMEOUT	60.361	MAYBE	60.167
Rubio 04 test4	O(n^1)	1.016	O(n^2)	2.545	O(n^1)	4.963
Rubio 04 test829	O(n^1)	1.125	O(n^2)	2.656	O(n^1)	2.159
Rubio 04 wst99	TIMEOUT	60.580	TIMEOUT	60.780	MAYBE	60.107
SK90 2.02	O(n^1)	0.304	TIMEOUT	60.274	O(n^1)	60.109
SK90 2.03	O(n^1)	0.308	O(n^1)	0.665	O(n^1)	0.715
SK90 2.07	O(n^2)	3.868	TIMEOUT	60.242	O(n^2)	60.108
SK90 2.09	O(n^1)	0.304	O(n^1)	0.551	O(n^1)	0.741
SK90 2.11	O(n^1)	0.301	O(n^1)	0.718	O(n^1)	0.819
SK90 2.12	TIMEOUT	60.420	TIMEOUT	60.260	MAYBE	60.116
SK90 2.13	O(n^1)	0.779	O(n^1)	0.862	O(n^1)	1.769
SK90 2.14	O(n^1)	0.321	O(n^1)	1.472	O(n^1)	60.100
SK90 2.15	TIMEOUT	60.366	TIMEOUT	60.261	MAYBE	60.094
SK90 2.16	O(n^2)	5.841	TIMEOUT	60.364	O(n^2)	60.165
SK90 2.17	O(n^2)	1.102	TIMEOUT	60.487	O(n^1)	1.138
SK90 2.18	O(n^2)	1.278	TIMEOUT	61.074	O(n^2)	13.253
SK90 2.19	TIMEOUT	60.933	TIMEOUT	60.423	MAYBE	48.880
SK90 2.20	O(n^2)	1.287	TIMEOUT	60.477	O(n^1)	1.135
SK90 2.21	TIMEOUT	60.460	TIMEOUT	60.474	MAYBE	60.155
SK90 2.22	TIMEOUT	60.534	TIMEOUT	60.243	MAYBE	60.096
SK90 2.23	TIMEOUT	60.424	TIMEOUT	60.982	MAYBE	60.121
SK90 2.24	TIMEOUT	60.270	TIMEOUT	60.256	MAYBE	22.058
SK90 2.25	TIMEOUT	61.166	TIMEOUT	60.239	MAYBE	60.929
SK90 2.26	TIMEOUT	61.126	TIMEOUT	60.293	MAYBE	60.102
SK90 2.27	TIMEOUT	60.438	TIMEOUT	60.307	MAYBE	60.104
SK90 2.28	TIMEOUT	60.725	TIMEOUT	60.242	MAYBE	60.093
SK90 2.29	TIMEOUT	60.572	TIMEOUT	60.461	O(n^1)	3.153
SK90 2.30	O(n^1)	0.398	O(n^1)	0.461	O(1)	0.516
SK90 2.31	O(n^1)	0.326	O(n^1)	1.049	O(n^1)	1.211
SK90 2.36	O(n^1)	0.484	O(n^1)	0.579	O(n^1)	5.097
SK90 2.37	O(n^1)	0.764	TIMEOUT	60.239	O(n^1)	0.441
SK90 2.38	O(n^1)	0.305	O(n^1)	0.604	O(n^1)	1.599
SK90 2.39	TIMEOUT	60.553	TIMEOUT	60.265	O(n^2)	22.145
SK90 2.40	O(n^2)	3.409	TIMEOUT	60.252	O(n^1)	1.486
SK90 2.41	O(n^1)	0.333	O(n^1)	0.828	O(n^1)	1.158
SK90 2.42	O(n^1)	0.313	TIMEOUT	60.248	O(n^1)	60.104
SK90 2.43	TIMEOUT	62.866	TIMEOUT	60.597	MAYBE	60.778
SK90 2.44	O(n^2)	3.603	TIMEOUT	60.253	O(n^1)	3.133
SK90 2.45	O(n^2)	41.271	TIMEOUT	60.286	O(n^1)	7.455
SK90 2.47	O(n^1)	0.325	O(n^1)	0.538	O(n^1)	0.247
SK90 2.48	O(n^1)	0.315	O(n^1)	0.688	O(1)	0.371
SK90 2.49	O(n^1)	0.318	O(n^1)	1.150	O(n^1)	7.389
SK90 2.50	O(n^1)	0.286	O(n^1)	0.448	O(n^1)	0.242
SK90 2.51	TIMEOUT	60.300	TIMEOUT	60.271	MAYBE	60.090
SK90 2.52	TIMEOUT	60.658	TIMEOUT	60.336	MAYBE	60.111
SK90 2.53	O(n^1)	0.305	O(n^1)	0.541	O(n^1)	0.870
SK90 2.54	O(n^1)	0.294	O(n^1)	0.529	O(n^1)	0.648
SK90 2.55	O(n^1)	0.459	O(n^1)	0.532	O(n^1)	0.660
SK90 2.59	O(n^2)	0.469	TIMEOUT	60.240	O(n^1)	0.282
SK90 2.61	O(n^1)	1.574	O(n^1)	1.682	O(n^1)	60.275
SK90 4.05	O(n^2)	0.546	TIMEOUT	60.467	O(n^2)	11.490
SK90 4.06	TIMEOUT	60.560	TIMEOUT	60.252	MAYBE	60.121
SK90 4.07	O(n^1)	0.535	O(n^1)	0.600	O(n^1)	1.390
SK90 4.09	O(n^2)	5.991	TIMEOUT	60.256	O(n^2)	60.119
SK90 4.10	O(n^2)	1.685	TIMEOUT	60.268	O(n^2)	41.783
SK90 4.12	O(n^1)	0.575	O(n^1)	0.592	O(n^1)	5.086
SK90 4.13	TIMEOUT	60.413	TIMEOUT	60.253	O(n^1)	43.802
SK90 4.16	O(n^1)	0.310	O(n^1)	0.851	O(n^1)	1.127
SK90 4.17	TIMEOUT	60.492	TIMEOUT	60.434	MAYBE	30.095
SK90 4.18	TIMEOUT	60.515	TIMEOUT	60.264	O(1)	1.382
SK90 4.22	TIMEOUT	60.436	TIMEOUT	60.261	MAYBE	60.097
SK90 4.24	TIMEOUT	60.595	TIMEOUT	60.263	MAYBE	60.097
SK90 4.25	O(n^1)	0.587	O(n^1)	0.660	O(n^1)	0.828
SK90 4.26	O(n^1)	0.317	TIMEOUT	60.243	O(n^1)	60.086
SK90 4.27	TIMEOUT	61.040	TIMEOUT	60.247	MAYBE	60.090
SK90 4.28	O(n^2)	1.280	TIMEOUT	60.799	O(n^1)	60.119
SK90 4.29	O(n^1)	0.332	O(n^1)	0.809	O(n^1)	1.260
SK90 4.30	O(n^1)	0.302	O(n^2)	2.992	O(n^1)	11.423
SK90 4.31	TIMEOUT	60.354	TIMEOUT	60.255	MAYBE	60.088
SK90 4.34	TIMEOUT	60.340	TIMEOUT	60.253	MAYBE	60.096
SK90 4.35	O(n^1)	0.322	O(n^2)	0.630	O(n^1)	0.420
SK90 4.38	O(n^1)	0.308	O(n^1)	0.574	O(n^1)	1.533
SK90 4.42	TIMEOUT	60.346	TIMEOUT	60.310	MAYBE	60.106
SK90 4.43	TIMEOUT	60.702	TIMEOUT	60.256	MAYBE	60.101
SK90 4.45	O(n^1)	0.364	O(n^1)	0.437	O(n^1)	0.245
SK90 4.47	O(n^1)	1.234	O(n^2)	4.126	O(1)	2.547
SK90 4.48	O(n^1)	0.534	O(n^1)	0.613	O(n^1)	2.124
SK90 4.51	O(n^2)	1.700	O(n^2)	1.825	O(n^1)	2.309
SK90 4.53	TIMEOUT	60.431	TIMEOUT	60.265	O(n^2)	60.100
SK90 4.54	TIMEOUT	60.427	TIMEOUT	60.277	MAYBE	60.088
SK90 4.57	TIMEOUT	60.803	TIMEOUT	60.489	MAYBE	44.687
SK90 4.59	TIMEOUT	60.424	TIMEOUT	60.260	MAYBE	60.218
SK90 4.60	TIMEOUT	60.567	TIMEOUT	60.240	MAYBE	60.099
SK90 4.61	TIMEOUT	60.467	TIMEOUT	60.328	MAYBE	60.285
Secret 05 TRS aprove2	TIMEOUT	60.619	TIMEOUT	60.257	MAYBE	39.777
Secret 05 TRS aprove3	TIMEOUT	60.523	TIMEOUT	60.261	MAYBE	60.109
Secret 05 TRS aprove4	TIMEOUT	61.146	TIMEOUT	60.255	MAYBE	38.748
Secret 05 TRS aprove5	TIMEOUT	60.682	TIMEOUT	60.262	MAYBE	60.723
Secret 05 TRS cime2	TIMEOUT	60.463	TIMEOUT	60.255	MAYBE	60.104
Secret 05 TRS cime3	TIMEOUT	60.630	TIMEOUT	60.279	MAYBE	60.104
Secret 05 TRS cime4	TIMEOUT	60.468	TIMEOUT	60.275	O(1)	10.471
Secret 05 TRS cime5	TIMEOUT	60.484	missing	-	MAYBE	60.959
Secret 05 TRS tpa1	TIMEOUT	60.367	TIMEOUT	60.263	MAYBE	60.101
Secret 05 TRS tpa2	TIMEOUT	60.431	TIMEOUT	60.242	MAYBE	60.094
Secret 05 TRS tpa3	TIMEOUT	60.445	TIMEOUT	60.264	MAYBE	60.100
Secret 05 TRS tpa4	TIMEOUT	60.455	TIMEOUT	60.255	MAYBE	60.838
Secret 05 TRS tpa5	TIMEOUT	60.801	TIMEOUT	60.271	MAYBE	34.851
Secret 05 TRS ttt1	TIMEOUT	60.903	TIMEOUT	60.264	MAYBE	60.085
Secret 05 TRS ttt2	TIMEOUT	61.646	TIMEOUT	60.272	MAYBE	64.754
Secret 06 TRS 10	O(n^1)	0.313	TIMEOUT	60.277	O(n^1)	60.085
Secret 06 TRS 4	O(n^1)	0.309	TIMEOUT	60.291	O(n^1)	60.100
Secret 06 TRS 6	O(n^1)	0.317	O(n^2)	8.235	O(n^1)	25.106
Secret 06 TRS addList	TIMEOUT	60.716	TIMEOUT	60.282	MAYBE	60.109
Secret 06 TRS divExp	TIMEOUT	60.528	TIMEOUT	60.426	MAYBE	60.103
Secret 06 TRS division	TIMEOUT	60.473	TIMEOUT	60.440	MAYBE	60.101
Secret 06 TRS double	TIMEOUT	60.435	TIMEOUT	60.263	MAYBE	60.108
Secret 06 TRS gen-1	O(n^2)	7.835	O(n^2)	5.876	O(n^1)	24.138
Secret 06 TRS gen-17	TIMEOUT	60.441	TIMEOUT	60.281	MAYBE	60.409
Secret 06 TRS gen-28	TIMEOUT	60.572	TIMEOUT	60.313	MAYBE	60.089
Secret 06 TRS logarithm	TIMEOUT	62.072	TIMEOUT	60.260	MAYBE	60.111
Secret 06 TRS nrOfNodes	TIMEOUT	60.655	TIMEOUT	60.250	MAYBE	60.100
Secret 06 TRS reverse	TIMEOUT	60.493	TIMEOUT	60.264	MAYBE	60.193
Secret 06 TRS sumList	TIMEOUT	60.658	TIMEOUT	60.286	MAYBE	60.102
Secret 06 TRS times	TIMEOUT	60.646	TIMEOUT	60.243	MAYBE	60.104
Secret 06 TRS toList	TIMEOUT	61.450	TIMEOUT	60.258	MAYBE	60.775
Secret 06 TRS tpa04	TIMEOUT	60.398	TIMEOUT	60.259	MAYBE	60.095
Secret 06 TRS tpa05	TIMEOUT	60.554	TIMEOUT	61.703	MAYBE	60.103
Secret 06 TRS tpa06	TIMEOUT	60.420	TIMEOUT	60.298	MAYBE	60.111
Secret 06 TRS tpa07	TIMEOUT	60.479	TIMEOUT	60.264	MAYBE	60.099
Secret 06 TRS tpa08	TIMEOUT	61.730	missing	-	MAYBE	60.332
Secret 06 TRS tpa09	TIMEOUT	60.470	TIMEOUT	60.308	MAYBE	60.103
Secret 06 TRS tpa10	TIMEOUT	60.469	TIMEOUT	60.417	MAYBE	60.103
Secret 07 TRS 3	TIMEOUT	60.437	TIMEOUT	60.562	MAYBE	60.408
Secret 07 TRS aprove01	TIMEOUT	60.534	TIMEOUT	60.388	MAYBE	60.112
Secret 07 TRS aprove02	TIMEOUT	60.416	TIMEOUT	60.261	MAYBE	60.106
Secret 07 TRS aprove03	TIMEOUT	60.502	TIMEOUT	60.287	MAYBE	60.126
Secret 07 TRS aprove04	TIMEOUT	60.636	TIMEOUT	60.301	MAYBE	60.117
Secret 07 TRS aprove05	TIMEOUT	60.564	TIMEOUT	60.255	MAYBE	60.109
Secret 07 TRS aprove06	TIMEOUT	60.621	TIMEOUT	60.277	MAYBE	60.110
Secret 07 TRS aprove07	TIMEOUT	60.568	TIMEOUT	60.272	MAYBE	60.107
Secret 07 TRS aprove08	TIMEOUT	60.551	TIMEOUT	60.270	MAYBE	60.114
Secret 07 TRS aprove09	TIMEOUT	61.773	TIMEOUT	60.268	MAYBE	60.113
Secret 07 TRS aprove10	TIMEOUT	60.335	TIMEOUT	60.255	MAYBE	60.104
Secret 07 TRS secret1	TIMEOUT	61.121	TIMEOUT	60.253	MAYBE	60.099
Secret 07 TRS secret3	TIMEOUT	60.639	TIMEOUT	60.258	MAYBE	60.093
Secret 07 TRS secret4	TIMEOUT	61.656	TIMEOUT	60.289	MAYBE	60.103
Secret 07 TRS secret5	TIMEOUT	60.526	TIMEOUT	60.340	MAYBE	60.107
Strategy removed AG01 4.14	TIMEOUT	60.594	TIMEOUT	60.244	O(n^1)	0.699
Strategy removed AG01 4.16	TIMEOUT	61.192	TIMEOUT	60.454	O(n^1)	6.608
Strategy removed AG01 4.17	O(n^1)	0.332	TIMEOUT	60.230	O(n^1)	30.087
Strategy removed AG01 4.19	TIMEOUT	60.394	TIMEOUT	60.270	MAYBE	60.096
Strategy removed AG01 4.2	TIMEOUT	60.446	TIMEOUT	60.249	O(n^1)	0.633
Strategy removed AG01 4.20a	O(n^1)	0.297	O(n^2)	1.733	O(n^1)	1.629
Strategy removed AG01 4.22	TIMEOUT	60.433	TIMEOUT	60.260	O(n^1)	18.296
Strategy removed AG01 4.23	TIMEOUT	60.644	TIMEOUT	60.257	MAYBE	58.461
Strategy removed AG01 4.25	TIMEOUT	60.479	TIMEOUT	60.270	MAYBE	60.086
Strategy removed AG01 4.26	TIMEOUT	60.380	TIMEOUT	60.254	MAYBE	29.813
Strategy removed AG01 4.27	TIMEOUT	60.484	TIMEOUT	60.834	MAYBE	60.099
Strategy removed AG01 4.28	O(n^2)	9.627	O(n^3)	10.044	O(n^1)	5.662
Strategy removed AG01 4.29	TIMEOUT	60.534	TIMEOUT	60.249	MAYBE	60.099
Strategy removed AG01 4.30	TIMEOUT	60.433	TIMEOUT	60.257	MAYBE	41.917
Strategy removed AG01 4.30a	TIMEOUT	60.590	TIMEOUT	60.251	MAYBE	38.693
Strategy removed AG01 4.30b	TIMEOUT	60.540	TIMEOUT	60.284	MAYBE	60.104
Strategy removed AG01 4.30c	TIMEOUT	60.522	TIMEOUT	60.292	MAYBE	60.106
Strategy removed AG01 4.32	TIMEOUT	61.714	TIMEOUT	60.247	O(n^2)	19.187
Strategy removed AG01 4.33	TIMEOUT	60.671	TIMEOUT	60.247	MAYBE	60.097
Strategy removed AG01 4.34	TIMEOUT	60.713	TIMEOUT	60.280	O(n^1)	10.118
Strategy removed AG01 4.35	TIMEOUT	60.336	TIMEOUT	60.340	MAYBE	60.544
Strategy removed AG01 4.36	TIMEOUT	60.334	TIMEOUT	60.263	MAYBE	60.106
Strategy removed AG01 4.37	O(n^1)	0.327	O(n^2)	1.513	O(n^1)	1.272
Strategy removed AG01 4.37a	O(n^1)	0.293	O(n^2)	2.623	O(n^1)	1.916
Strategy removed AG01 4.7	TIMEOUT	60.463	TIMEOUT	60.260	O(n^1)	30.091
Strategy removed CSR 05 Ex14 AEGL02	TIMEOUT	60.338	TIMEOUT	60.249	MAYBE	15.427
Strategy removed CSR 05 Ex15 Luc98	TIMEOUT	60.364	TIMEOUT	60.262	MAYBE	37.048
Strategy removed CSR 05 Ex1 2 AEL03	TIMEOUT	61.767	TIMEOUT	60.277	MAYBE	60.215
Strategy removed CSR 05 Ex1 2 Luc02c	MAYBE	49.579	TIMEOUT	60.257	MAYBE	18.034
Strategy removed CSR 05 Ex1 GL02a	TIMEOUT	60.268	TIMEOUT	60.271	MAYBE	21.855
Strategy removed CSR 05 Ex1 GM03	TIMEOUT	60.525	TIMEOUT	60.246	MAYBE	60.099
Strategy removed CSR 05 Ex1 Luc02b	TIMEOUT	60.443	TIMEOUT	60.258	MAYBE	27.607
Strategy removed CSR 05 Ex1 Zan97	MAYBE	14.716	TIMEOUT	60.275	MAYBE	8.491
Strategy removed CSR 05 Ex26 Luc03b	TIMEOUT	60.699	TIMEOUT	60.285	MAYBE	60.158
Strategy removed CSR 05 Ex2 Luc03b	TIMEOUT	60.250	TIMEOUT	60.313	MAYBE	27.783
Strategy removed CSR 05 Ex3 12 Luc96a	TIMEOUT	61.257	TIMEOUT	60.956	MAYBE	19.106
Strategy removed CSR 05 Ex3 2 Luc97	TIMEOUT	60.311	TIMEOUT	60.286	MAYBE	60.105
Strategy removed CSR 05 Ex3 3 25 Bor03	TIMEOUT	60.433	TIMEOUT	60.253	MAYBE	60.094
Strategy removed CSR 05 Ex49 GM04	TIMEOUT	60.645	TIMEOUT	60.273	O(n^1)	57.935
Strategy removed CSR 05 Ex4 4 Luc96b	TIMEOUT	60.347	TIMEOUT	60.236	MAYBE	60.090
Strategy removed CSR 05 Ex4 7 15 Bor03	TIMEOUT	64.120	TIMEOUT	60.258	MAYBE	60.087
Strategy removed CSR 05 Ex4 7 37 Bor03	TIMEOUT	60.460	TIMEOUT	60.304	MAYBE	60.105
Strategy removed CSR 05 Ex4 7 56 Bor03	MAYBE	49.679	TIMEOUT	60.236	MAYBE	18.696
Strategy removed CSR 05 Ex4 7 77 Bor03	MAYBE	5.343	TIMEOUT	60.255	MAYBE	10.032
Strategy removed CSR 05 Ex4 Zan97	TIMEOUT	60.356	TIMEOUT	60.389	MAYBE	38.682
Strategy removed CSR 05 Ex5 7 Luc97	TIMEOUT	60.316	TIMEOUT	60.262	MAYBE	60.108
Strategy removed CSR 05 Ex5 Zan97	TIMEOUT	60.712	TIMEOUT	60.230	MAYBE	7.201
Strategy removed CSR 05 Ex6 15 AEL02	TIMEOUT	60.435	TIMEOUT	60.272	MAYBE	60.114
Strategy removed CSR 05 Ex6 9 Luc02c	TIMEOUT	60.247	TIMEOUT	60.242	MAYBE	39.630
Strategy removed CSR 05 Ex6 GM04	TIMEOUT	60.283	TIMEOUT	60.258	MAYBE	7.877
Strategy removed CSR 05 Ex6 Luc98	MAYBE	53.611	TIMEOUT	60.264	MAYBE	19.772
Strategy removed CSR 05 Ex7 BLR02	TIMEOUT	60.265	TIMEOUT	60.257	MAYBE	32.091
Strategy removed CSR 05 Ex8 BLR02	TIMEOUT	60.637	TIMEOUT	60.255	MAYBE	60.097
Strategy removed CSR 05 Ex9 BLR02	TIMEOUT	60.731	TIMEOUT	60.249	MAYBE	60.093
Strategy remove...R 05 ExAppendixB AEL03	TIMEOUT	60.525	TIMEOUT	60.279	MAYBE	60.180
Strategy removed CSR 05 ExConc Zan97	MAYBE	5.804	TIMEOUT	61.147	MAYBE	11.362
Strategy removed CSR 05 ExIntrod GM01	TIMEOUT	60.459	TIMEOUT	60.276	MAYBE	20.206
Strategy removed CSR 05 ExIntrod GM04	TIMEOUT	60.455	TIMEOUT	60.518	MAYBE	20.730
Strategy removed CSR 05 ExIntrod GM99	TIMEOUT	60.714	TIMEOUT	60.697	MAYBE	60.173
Strategy removed CSR 05 ExIntrod Zan97	TIMEOUT	60.355	TIMEOUT	60.468	MAYBE	60.121
Strategy remove...ed 05 ExSec11 1 Luc02a	TIMEOUT	60.483	TIMEOUT	60.429	MAYBE	60.105
Strategy removed mixed 05 ex1	TIMEOUT	60.384	TIMEOUT	60.269	MAYBE	60.097
Strategy removed mixed 05 ex2	TIMEOUT	60.594	TIMEOUT	60.333	MAYBE	60.097
Strategy removed mixed 05 ex3	TIMEOUT	60.764	TIMEOUT	60.287	MAYBE	60.534
Strategy removed mixed 05 ex4	TIMEOUT	60.360	TIMEOUT	61.836	MAYBE	60.099
Strategy removed mixed 05 ex5	TIMEOUT	60.357	TIMEOUT	60.351	MAYBE	60.094
Strategy removed mixed 05 ex6	TIMEOUT	60.999	TIMEOUT	60.240	MAYBE	60.087
Strategy removed mixed 05 muladd	TIMEOUT	60.364	TIMEOUT	60.233	MAYBE	60.090
Strategy removed mixed 05 test10	TIMEOUT	60.349	TIMEOUT	60.269	MAYBE	60.097
Strategy removed mixed 05 test76	TIMEOUT	60.633	TIMEOUT	60.243	MAYBE	60.096
Strategy removed mixed 05 test77	TIMEOUT	60.418	TIMEOUT	60.268	MAYBE	60.101
Strategy removed mixed 05 test830	O(n^1)	0.318	O(n^2)	1.662	O(n^1)	1.427
Strategy removed mixed 05 tricky1	TIMEOUT	60.412	TIMEOUT	60.251	O(1)	30.098
TCT 12 polycounter-10	TIMEOUT	60.543	TIMEOUT	60.286	MAYBE	60.118
TCT 12 polycounter-5	TIMEOUT	60.454	TIMEOUT	60.239	MAYBE	60.113
TCT 12 recursion-10	TIMEOUT	61.066	TIMEOUT	60.256	MAYBE	60.795
TCT 12 recursion-5	TIMEOUT	60.316	TIMEOUT	60.251	O(n^5)	53.289
TCT 12 sat	TIMEOUT	60.374	TIMEOUT	60.277	MAYBE	60.112
Transformed CSR 04 Ex14 AEGL02 C	TIMEOUT	60.464	TIMEOUT	60.288	MAYBE	60.472
Transformed CSR 04 Ex14 AEGL02 FR	TIMEOUT	60.413	TIMEOUT	60.290	MAYBE	60.101
Transformed CSR 04 Ex14 AEGL02 GM	TIMEOUT	60.367	TIMEOUT	60.263	MAYBE	60.339
Transformed CSR 04 Ex14 AEGL02 L	MAYBE	5.359	TIMEOUT	60.240	MAYBE	8.650
Transformed CSR 04 Ex14 AEGL02 Z	TIMEOUT	60.423	TIMEOUT	60.252	MAYBE	60.103
Transformed CSR 04 Ex14 Luc06 C	TIMEOUT	60.350	TIMEOUT	60.275	MAYBE	62.652
Transformed CSR 04 Ex14 Luc06 GM	TIMEOUT	60.506	TIMEOUT	60.362	MAYBE	60.107
Transformed CSR 04 Ex15 Luc06 C	O(n^1)	0.329	TIMEOUT	60.246	O(n^1)	60.091
Transformed CSR 04 Ex15 Luc06 FR	O(n^1)	0.313	O(n^2)	2.056	O(n^1)	2.060
Transformed CSR 04 Ex15 Luc06 GM	O(n^1)	0.302	O(n^2)	1.732	O(n^1)	1.655
Transformed CSR 04 Ex15 Luc06 L	MAYBE	5.325	TIMEOUT	60.236	MAYBE	5.927
Transformed CSR 04 Ex15 Luc06 Z	O(n^1)	0.307	O(n^2)	2.066	O(n^1)	1.558
Transformed CSR 04 Ex15 Luc98 C	TIMEOUT	60.553	TIMEOUT	60.292	MAYBE	60.132
Transformed CSR 04 Ex15 Luc98 FR	TIMEOUT	60.396	TIMEOUT	60.264	MAYBE	60.464
Transformed CSR 04 Ex15 Luc98 GM	O(n^1)	1.720	O(n^1)	1.906	O(n^1)	60.189
Transformed CSR 04 Ex15 Luc98 L	TIMEOUT	0.139	TIMEOUT	0.123	missing	-
Transformed CSR 04 Ex15 Luc98 Z	TIMEOUT	61.823	TIMEOUT	60.262	MAYBE	61.465
Transformed CSR 04 Ex16 Luc06 C	TIMEOUT	60.333	TIMEOUT	60.288	MAYBE	60.098
Transformed CSR 04 Ex16 Luc06 GM	TIMEOUT	60.394	TIMEOUT	60.335	O(n^1)	10.076
Transformed CSR 04 Ex16 Luc06 L	MAYBE	8.076	TIMEOUT	60.226	MAYBE	6.701
Transformed CSR 04 Ex18 Luc06 C	O(n^1)	0.319	TIMEOUT	60.255	O(n^1)	60.090
Transformed CSR 04 Ex18 Luc06 FR	O(n^1)	0.324	O(n^1)	0.890	O(n^1)	36.714
Transformed CSR 04 Ex18 Luc06 GM	O(n^1)	0.307	O(n^2)	1.462	O(n^1)	1.056
Transformed CSR 04 Ex18 Luc06 Z	O(n^1)	0.307	O(n^1)	0.593	O(1)	0.923
Transformed CSR 04 Ex1 2 AEL03 C	TIMEOUT	60.773	TIMEOUT	60.349	MAYBE	60.166
Transformed CSR 04 Ex1 2 AEL03 FR	TIMEOUT	60.537	TIMEOUT	60.268	MAYBE	60.482
Transformed CSR 04 Ex1 2 AEL03 GM	TIMEOUT	60.622	TIMEOUT	60.297	MAYBE	61.146
Transformed CSR 04 Ex1 2 AEL03 L	TIMEOUT	0.149	TIMEOUT	0.136	missing	-
Transformed CSR 04 Ex1 2 AEL03 Z	TIMEOUT	60.492	TIMEOUT	60.271	MAYBE	60.206
Transformed CSR 04 Ex1 2 Luc02c C	TIMEOUT	60.661	TIMEOUT	60.279	MAYBE	60.109
Transformed CSR 04 Ex1 2 Luc02c FR	TIMEOUT	60.493	TIMEOUT	60.263	MAYBE	60.321
Transformed CSR 04 Ex1 2 Luc02c GM	TIMEOUT	60.424	TIMEOUT	60.258	MAYBE	60.094
Transformed CSR 04 Ex1 2 Luc02c L	TIMEOUT	0.131	TIMEOUT	0.132	missing	-
Transformed CSR 04 Ex1 2 Luc02c Z	O(n^1)	0.816	O(n^1)	0.896	O(n^1)	1.372
Transformed CSR 04 Ex1 GL02a C	TIMEOUT	60.483	TIMEOUT	60.461	MAYBE	60.126
Transformed CSR 04 Ex1 GL02a FR	TIMEOUT	60.416	TIMEOUT	60.264	MAYBE	60.102
Transformed CSR 04 Ex1 GL02a GM	TIMEOUT	60.337	TIMEOUT	60.273	MAYBE	60.708
Transformed CSR 04 Ex1 GL02a L	MAYBE	5.469	TIMEOUT	60.236	MAYBE	6.007
Transformed CSR 04 Ex1 GL02a Z	TIMEOUT	60.468	TIMEOUT	60.667	MAYBE	60.121
Transformed CSR 04 Ex1 GM03 C	TIMEOUT	60.370	TIMEOUT	60.307	MAYBE	60.126
Transformed CSR 04 Ex1 GM03 FR	TIMEOUT	60.411	TIMEOUT	60.273	MAYBE	60.103
Transformed CSR 04 Ex1 GM03 GM	TIMEOUT	60.603	TIMEOUT	60.395	MAYBE	61.027
Transformed CSR 04 Ex1 GM03 L	TIMEOUT	0.149	TIMEOUT	0.161	missing	-
Transformed CSR 04 Ex1 GM03 Z	TIMEOUT	60.535	TIMEOUT	60.249	MAYBE	60.093
Transformed CSR 04 Ex1 GM99 C	TIMEOUT	60.427	TIMEOUT	60.242	MAYBE	60.133
Transformed CSR 04 Ex1 GM99 GM	TIMEOUT	60.376	TIMEOUT	60.585	MAYBE	57.996
Transformed CSR 04 Ex1 GM99 L	MAYBE	6.751	TIMEOUT	60.237	MAYBE	6.477
Transformed CSR 04 Ex1 Luc02b C	TIMEOUT	60.443	TIMEOUT	60.441	MAYBE	60.128
Transformed CSR 04 Ex1 Luc02b FR	TIMEOUT	60.360	TIMEOUT	61.087	MAYBE	60.093
Transformed CSR 04 Ex1 Luc02b GM	TIMEOUT	60.356	TIMEOUT	60.261	MAYBE	60.267
Transformed CSR 04 Ex1 Luc02b L	TIMEOUT	0.148	TIMEOUT	0.252	missing	-
Transformed CSR 04 Ex1 Luc02b Z	TIMEOUT	60.349	TIMEOUT	60.269	MAYBE	60.103
Transformed CSR 04 Ex1 Luc04b C	O(n^1)	0.729	TIMEOUT	60.293	O(n^1)	60.119
Transformed CSR 04 Ex1 Luc04b FR	TIMEOUT	60.364	TIMEOUT	60.293	MAYBE	60.241
Transformed CSR 04 Ex1 Luc04b GM	TIMEOUT	60.449	TIMEOUT	60.287	MAYBE	60.168
Transformed CSR 04 Ex1 Luc04b L	TIMEOUT	0.180	TIMEOUT	0.133	missing	-
Transformed CSR 04 Ex1 Luc04b Z	TIMEOUT	60.338	TIMEOUT	60.262	MAYBE	43.632
Transformed CSR 04 Ex1 Zan97 C	O(n^1)	0.331	O(n^2)	18.571	O(n^1)	30.657
Transformed CSR 04 Ex1 Zan97 FR	TIMEOUT	60.417	TIMEOUT	60.261	MAYBE	60.098
Transformed CSR 04 Ex1 Zan97 GM	O(n^1)	0.349	O(n^1)	0.910	O(n^1)	0.909
Transformed CSR 04 Ex1 Zan97 L	MAYBE	5.375	TIMEOUT	60.258	MAYBE	6.100
Transformed CSR 04 Ex23 Luc06 C	O(n^1)	0.328	TIMEOUT	60.274	O(n^1)	60.102
Transformed CSR 04 Ex23 Luc06 FR	O(n^1)	0.346	O(n^1)	0.870	O(n^1)	2.690
Transformed CSR 04 Ex23 Luc06 GM	O(n^1)	0.334	O(n^1)	0.896	O(n^1)	1.168
Transformed CSR 04 Ex23 Luc06 Z	O(n^1)	0.313	O(n^1)	0.617	O(n^1)	0.685
Transformed CSR 04 Ex24 GM04 C	TIMEOUT	60.906	TIMEOUT	60.272	MAYBE	60.102
Transformed CSR 04 Ex24 GM04 FR	TIMEOUT	60.582	TIMEOUT	60.248	MAYBE	60.288
Transformed CSR 04 Ex24 GM04 GM	TIMEOUT	60.434	TIMEOUT	60.254	MAYBE	60.108
Transformed CSR 04 Ex24 GM04 L	MAYBE	5.343	TIMEOUT	60.427	MAYBE	5.743
Transformed CSR 04 Ex24 GM04 Z	TIMEOUT	60.539	TIMEOUT	60.264	MAYBE	60.097
Transformed CSR 04 Ex24 Luc06 C	TIMEOUT	60.346	TIMEOUT	60.281	MAYBE	60.093
Transformed CSR 04 Ex24 Luc06 GM	TIMEOUT	60.569	TIMEOUT	60.264	MAYBE	56.482
Transformed CSR 04 Ex24 Luc06 L	MAYBE	8.598	TIMEOUT	60.236	MAYBE	6.648
Transformed CSR 04 Ex25 Luc06 C	O(n^1)	0.323	O(n^2)	54.425	O(n^1)	60.093
Transformed CSR 04 Ex25 Luc06 FR	O(n^1)	0.328	O(n^2)	6.207	O(n^1)	7.895
Transformed CSR 04 Ex25 Luc06 GM	O(n^1)	0.365	O(n^1)	1.097	O(n^1)	2.152
Transformed CSR 04 Ex25 Luc06 Z	O(n^1)	0.304	O(n^1)	1.037	O(n^1)	2.354
Transformed CSR 04 Ex26 Luc03b C	TIMEOUT	60.596	TIMEOUT	60.332	MAYBE	60.230
Transformed CSR 04 Ex26 Luc03b FR	TIMEOUT	60.379	TIMEOUT	60.280	MAYBE	60.120
Transformed CSR 04 Ex26 Luc03b GM	TIMEOUT	60.488	TIMEOUT	60.285	MAYBE	60.377
Transformed CSR 04 Ex26 Luc03b L	O(n^1)	0.339	O(n^1)	1.259	O(1)	0.349
Transformed CSR 04 Ex26 Luc03b Z	TIMEOUT	60.503	TIMEOUT	60.276	MAYBE	60.339
Transformed CSR 04 Ex2 Luc02a C	TIMEOUT	60.907	TIMEOUT	60.295	MAYBE	61.926
Transformed CSR 04 Ex2 Luc02a FR	TIMEOUT	60.632	TIMEOUT	60.274	MAYBE	60.109
Transformed CSR 04 Ex2 Luc02a GM	TIMEOUT	61.533	TIMEOUT	60.285	MAYBE	60.943
Transformed CSR 04 Ex2 Luc02a L	TIMEOUT	60.417	TIMEOUT	60.247	MAYBE	60.112
Transformed CSR 04 Ex2 Luc02a Z	TIMEOUT	60.447	TIMEOUT	60.256	MAYBE	60.101
Transformed CSR 04 Ex2 Luc03b C	TIMEOUT	60.607	TIMEOUT	60.331	MAYBE	60.124
Transformed CSR 04 Ex2 Luc03b FR	TIMEOUT	60.439	TIMEOUT	60.278	MAYBE	60.150
Transformed CSR 04 Ex2 Luc03b GM	TIMEOUT	60.418	TIMEOUT	60.254	MAYBE	60.831
Transformed CSR 04 Ex2 Luc03b L	O(n^1)	0.314	O(n^1)	1.100	O(1)	0.272
Transformed CSR 04 Ex2 Luc03b Z	O(n^1)	1.775	O(n^1)	1.961	O(n^1)	60.126
Transformed CSR 04 Ex3 12 Luc96a C	TIMEOUT	60.512	TIMEOUT	60.285	MAYBE	60.111
Transformed CSR 04 Ex3 12 Luc96a FR	TIMEOUT	60.382	TIMEOUT	61.020	MAYBE	60.415
Transformed CSR 04 Ex3 12 Luc96a GM	TIMEOUT	60.342	TIMEOUT	60.239	MAYBE	60.099
Transformed CSR 04 Ex3 12 Luc96a L	TIMEOUT	0.160	TIMEOUT	0.129	missing	-
Transformed CSR 04 Ex3 12 Luc96a Z	TIMEOUT	60.367	TIMEOUT	60.263	O(n^1)	30.105
Transformed CSR 04 Ex3 2 Luc97 C	TIMEOUT	60.459	TIMEOUT	60.304	MAYBE	60.316
Transformed CSR 04 Ex3 2 Luc97 FR	TIMEOUT	60.640	TIMEOUT	60.386	MAYBE	60.109
Transformed CSR 04 Ex3 2 Luc97 GM	TIMEOUT	60.441	TIMEOUT	60.325	MAYBE	60.245
Transformed CSR 04 Ex3 2 Luc97 L	TIMEOUT	0.134	TIMEOUT	0.131	missing	-
Transformed CSR 04 Ex3 2 Luc97 Z	TIMEOUT	60.609	TIMEOUT	60.262	MAYBE	60.108
Transformed CSR 04 Ex3 3 25 Bor03 C	TIMEOUT	60.678	TIMEOUT	60.295	MAYBE	60.153
Transformed CSR 04 Ex3 3 25 Bor03 FR	TIMEOUT	60.423	TIMEOUT	60.267	MAYBE	60.099
Transformed CSR 04 Ex3 3 25 Bor03 GM	TIMEOUT	60.472	TIMEOUT	60.284	MAYBE	60.206
Transformed CSR 04 Ex3 3 25 Bor03 L	O(n^1)	0.311	O(n^1)	0.880	O(1)	0.429
Transformed CSR 04 Ex3 3 25 Bor03 Z	TIMEOUT	60.485	TIMEOUT	60.279	MAYBE	62.197
Transformed CSR 04 Ex49 GM04 C	TIMEOUT	60.603	TIMEOUT	60.282	MAYBE	60.137
Transformed CSR 04 Ex49 GM04 FR	TIMEOUT	60.729	TIMEOUT	60.277	MAYBE	60.103
Transformed CSR 04 Ex49 GM04 GM	TIMEOUT	60.509	TIMEOUT	60.247	MAYBE	61.033
Transformed CSR 04 Ex49 GM04 L	TIMEOUT	0.134	TIMEOUT	0.137	missing	-
Transformed CSR 04 Ex49 GM04 Z	TIMEOUT	60.392	TIMEOUT	60.264	MAYBE	60.116
Transformed CSR 04 Ex4 4 Luc96b C	TIMEOUT	60.537	TIMEOUT	60.266	MAYBE	60.744
Transformed CSR 04 Ex4 4 Luc96b FR	TIMEOUT	60.627	TIMEOUT	60.248	MAYBE	60.629
Transformed CSR 04 Ex4 4 Luc96b GM	TIMEOUT	61.292	TIMEOUT	60.244	MAYBE	60.091
Transformed CSR 04 Ex4 4 Luc96b L	O(n^1)	0.291	O(n^1)	0.428	O(n^1)	0.222
Transformed CSR 04 Ex4 4 Luc96b Z	TIMEOUT	60.942	TIMEOUT	60.281	MAYBE	60.102
Transformed CSR 04 Ex4 7 15 Bor03 C	O(n^1)	0.356	TIMEOUT	60.274	O(n^1)	60.108
Transformed CSR 04 Ex4 7 15 Bor03 FR	O(n^1)	0.347	O(n^2)	3.427	O(n^1)	6.055
Transformed CSR 04 Ex4 7 15 Bor03 GM	O(n^1)	0.350	O(n^2)	4.400	O(n^1)	9.474
Transformed CSR 04 Ex4 7 15 Bor03 L	O(n^1)	0.303	O(n^2)	1.387	O(1)	0.823
Transformed CSR 04 Ex4 7 15 Bor03 Z	O(n^1)	0.310	O(n^2)	1.883	O(n^1)	1.083
Transformed CSR 04 Ex4 7 37 Bor03 C	TIMEOUT	60.560	TIMEOUT	60.310	MAYBE	60.146
Transformed CSR 04 Ex4 7 37 Bor03 FR	TIMEOUT	60.758	TIMEOUT	60.271	MAYBE	60.110
Transformed CSR 04 Ex4 7 37 Bor03 GM	TIMEOUT	61.710	TIMEOUT	60.280	MAYBE	60.340
Transformed CSR 04 Ex4 7 37 Bor03 L	TIMEOUT	0.144	TIMEOUT	0.139	missing	-
Transformed CSR 04 Ex4 7 37 Bor03 Z	TIMEOUT	60.687	TIMEOUT	60.261	MAYBE	60.106
Transformed CSR 04 Ex4 7 56 Bor03 C	TIMEOUT	60.480	TIMEOUT	60.263	MAYBE	61.232
Transformed CSR 04 Ex4 7 56 Bor03 FR	TIMEOUT	60.358	TIMEOUT	60.261	MAYBE	60.124
Transformed CSR 04 Ex4 7 56 Bor03 GM	TIMEOUT	60.343	TIMEOUT	60.239	MAYBE	60.414
Transformed CSR 04 Ex4 7 56 Bor03 L	TIMEOUT	0.138	TIMEOUT	0.130	missing	-
Transformed CSR 04 Ex4 7 56 Bor03 Z	TIMEOUT	60.391	TIMEOUT	60.854	O(n^1)	1.785
Transformed CSR 04 Ex4 7 77 Bor03 C	O(n^1)	0.363	TIMEOUT	60.395	O(n^1)	60.094
Transformed CSR 04 Ex4 7 77 Bor03 FR	O(n^1)	0.326	O(n^1)	0.451	O(1)	0.269
Transformed CSR 04 Ex4 7 77 Bor03 GM	O(n^1)	0.347	O(n^2)	1.932	O(n^1)	2.492
Transformed CSR 04 Ex4 7 77 Bor03 L	TIMEOUT	0.132	TIMEOUT	0.131	missing	-
Transformed CSR 04 Ex4 DLMMU04 C	TIMEOUT	60.557	missing	-	MAYBE	60.184
Transformed CSR 04 Ex4 DLMMU04 FR	TIMEOUT	60.392	TIMEOUT	60.272	MAYBE	60.127
Transformed CSR 04 Ex4 DLMMU04 GM	TIMEOUT	60.485	TIMEOUT	60.309	MAYBE	60.135
Transformed CSR 04 Ex4 DLMMU04 L	TIMEOUT	0.154	TIMEOUT	0.138	missing	-
Transformed CSR 04 Ex4 DLMMU04 Z	TIMEOUT	60.359	TIMEOUT	60.281	MAYBE	60.117
Transformed CSR 04 Ex4 Zan97 C	TIMEOUT	60.496	TIMEOUT	60.297	MAYBE	60.815
Transformed CSR 04 Ex4 Zan97 FR	TIMEOUT	60.363	TIMEOUT	60.248	MAYBE	60.948
Transformed CSR 04 Ex4 Zan97 GM	TIMEOUT	60.806	TIMEOUT	60.247	MAYBE	60.097
Transformed CSR 04 Ex4 Zan97 L	TIMEOUT	0.137	TIMEOUT	0.135	missing	-
Transformed CSR 04 Ex4 Zan97 Z	TIMEOUT	60.385	TIMEOUT	61.079	MAYBE	60.098
Transformed CSR 04 Ex5 7 Luc97 C	TIMEOUT	60.520	TIMEOUT	61.086	MAYBE	60.161
Transformed CSR 04 Ex5 7 Luc97 FR	TIMEOUT	60.707	TIMEOUT	60.312	MAYBE	60.115
Transformed CSR 04 Ex5 7 Luc97 GM	TIMEOUT	60.489	TIMEOUT	60.282	MAYBE	60.803
Transformed CSR 04 Ex5 7 Luc97 L	TIMEOUT	0.147	TIMEOUT	0.176	missing	-
Transformed CSR 04 Ex5 7 Luc97 Z	TIMEOUT	60.712	TIMEOUT	60.287	MAYBE	60.112
Transformed CSR 04 Ex5 DLMMU04 C	TIMEOUT	60.642	TIMEOUT	60.359	MAYBE	60.151
Transformed CSR 04 Ex5 DLMMU04 FR	TIMEOUT	60.503	TIMEOUT	60.286	MAYBE	60.783
Transformed CSR 04 Ex5 DLMMU04 GM	TIMEOUT	60.621	TIMEOUT	60.268	MAYBE	60.107
Transformed CSR 04 Ex5 DLMMU04 L	TIMEOUT	0.140	TIMEOUT	0.138	missing	-
Transformed CSR 04 Ex5 DLMMU04 Z	TIMEOUT	60.362	TIMEOUT	60.265	MAYBE	60.289
Transformed CSR 04 Ex5 Zan97 C	O(n^1)	0.665	TIMEOUT	60.264	O(n^1)	60.500
Transformed CSR 04 Ex5 Zan97 FR	O(n^1)	0.339	TIMEOUT	60.288	O(n^1)	60.099
Transformed CSR 04 Ex5 Zan97 GM	TIMEOUT	60.629	TIMEOUT	60.266	MAYBE	60.093
Transformed CSR 04 Ex5 Zan97 L	TIMEOUT	0.148	TIMEOUT	0.140	missing	-
Transformed CSR 04 Ex5 Zan97 Z	O(n^1)	0.337	O(n^1)	0.809	O(n^1)	1.030
Transformed CSR 04 Ex6 15 AEL02 C	TIMEOUT	62.675	TIMEOUT	60.376	MAYBE	60.193
Transformed CSR 04 Ex6 15 AEL02 FR	TIMEOUT	60.414	TIMEOUT	60.316	MAYBE	60.132
Transformed CSR 04 Ex6 15 AEL02 GM	TIMEOUT	60.698	TIMEOUT	60.299	MAYBE	60.396
Transformed CSR 04 Ex6 15 AEL02 L	TIMEOUT	0.149	TIMEOUT	0.149	missing	-
Transformed CSR 04 Ex6 15 AEL02 Z	TIMEOUT	60.387	TIMEOUT	60.315	MAYBE	60.119
Transformed CSR 04 Ex6 9 Luc02c C	TIMEOUT	60.746	TIMEOUT	60.278	MAYBE	60.443
Transformed CSR 04 Ex6 9 Luc02c FR	TIMEOUT	60.454	TIMEOUT	60.247	MAYBE	60.089
Transformed CSR 04 Ex6 9 Luc02c GM	TIMEOUT	60.647	TIMEOUT	60.356	MAYBE	60.100
Transformed CSR 04 Ex6 9 Luc02c L	TIMEOUT	0.138	TIMEOUT	0.145	missing	-
Transformed CSR 04 Ex6 9 Luc02c Z	TIMEOUT	60.475	TIMEOUT	60.266	O(n^1)	3.036
Transformed CSR 04 Ex6 GM04 C	O(n^1)	0.327	TIMEOUT	60.240	O(n^1)	60.100
Transformed CSR 04 Ex6 GM04 FR	TIMEOUT	60.365	TIMEOUT	60.286	MAYBE	60.089
Transformed CSR 04 Ex6 GM04 GM	O(n^1)	0.312	O(n^1)	0.721	O(1)	0.460
Transformed CSR 04 Ex6 Luc98 C	TIMEOUT	60.740	TIMEOUT	60.276	MAYBE	60.116
Transformed CSR 04 Ex6 Luc98 FR	TIMEOUT	60.515	TIMEOUT	60.265	MAYBE	60.100
Transformed CSR 04 Ex6 Luc98 GM	TIMEOUT	60.495	TIMEOUT	60.238	MAYBE	60.113
Transformed CSR 04 Ex6 Luc98 L	O(n^1)	0.309	O(n^1)	0.548	O(1)	0.233
Transformed CSR 04 Ex6 Luc98 Z	O(n^1)	0.829	O(n^1)	0.926	O(n^1)	1.675
Transformed CSR 04 Ex7 BLR02 C	TIMEOUT	61.143	TIMEOUT	62.336	MAYBE	60.133
Transformed CSR 04 Ex7 BLR02 FR	TIMEOUT	60.360	TIMEOUT	60.257	MAYBE	60.411
Transformed CSR 04 Ex7 BLR02 GM	TIMEOUT	60.365	TIMEOUT	60.257	MAYBE	60.313
Transformed CSR 04 Ex7 BLR02 L	TIMEOUT	0.143	TIMEOUT	0.129	missing	-
Transformed CSR 04 Ex7 BLR02 Z	TIMEOUT	60.343	TIMEOUT	60.310	MAYBE	60.092
Transformed CSR 04 Ex8 BLR02 C	TIMEOUT	60.842	TIMEOUT	60.300	MAYBE	60.380
Transformed CSR 04 Ex8 BLR02 FR	TIMEOUT	60.779	TIMEOUT	60.871	MAYBE	60.099
Transformed CSR 04 Ex8 BLR02 GM	TIMEOUT	60.808	TIMEOUT	60.253	MAYBE	60.110
Transformed CSR 04 Ex8 BLR02 L	TIMEOUT	0.135	TIMEOUT	0.136	missing	-
Transformed CSR 04 Ex8 BLR02 Z	TIMEOUT	61.026	TIMEOUT	60.241	MAYBE	60.106
Transformed CSR 04 Ex9 BLR02 C	TIMEOUT	60.405	TIMEOUT	60.635	MAYBE	60.131
Transformed CSR 04 Ex9 BLR02 FR	TIMEOUT	60.303	TIMEOUT	60.269	MAYBE	60.105
Transformed CSR 04 Ex9 BLR02 GM	TIMEOUT	60.941	TIMEOUT	60.576	MAYBE	60.107
Transformed CSR 04 Ex9 BLR02 L	O(n^1)	0.330	O(n^1)	1.078	O(1)	1.200
Transformed CSR 04 Ex9 BLR02 Z	TIMEOUT	60.819	TIMEOUT	60.256	MAYBE	60.100
Transformed CSR 04 Ex9 Luc04 C	TIMEOUT	60.493	TIMEOUT	60.292	MAYBE	60.109
Transformed CSR 04 Ex9 Luc04 GM	TIMEOUT	60.473	TIMEOUT	60.260	MAYBE	60.106
Transformed CSR 04 Ex9 Luc04 L	MAYBE	17.860	TIMEOUT	60.674	MAYBE	10.686
Transformed CSR 04 Ex9 Luc06 C	TIMEOUT	60.419	TIMEOUT	60.277	MAYBE	60.101
Transformed CSR 04 Ex9 Luc06 FR	TIMEOUT	60.586	TIMEOUT	60.257	MAYBE	60.084
Transformed CSR 04 Ex9 Luc06 GM	O(n^1)	0.694	O(n^1)	0.752	O(n^1)	5.103
Transformed CSR 04 ExAppendixB AEL03 C	TIMEOUT	65.115	TIMEOUT	60.358	MAYBE	60.431
Transformed CSR 04 ExAppendixB AEL03 FR	TIMEOUT	61.642	TIMEOUT	60.447	MAYBE	61.085
Transformed CSR 04 ExAppendixB AEL03 GM	TIMEOUT	60.660	TIMEOUT	60.309	MAYBE	61.125
Transformed CSR 04 ExAppendixB AEL03 L	TIMEOUT	0.146	TIMEOUT	0.147	missing	-
Transformed CSR 04 ExAppendixB AEL03 Z	TIMEOUT	60.601	TIMEOUT	60.278	MAYBE	60.546
Transformed CSR 04 ExConc Zan97 C	O(n^1)	0.337	O(n^2)	21.928	O(n^1)	50.316
Transformed CSR 04 ExConc Zan97 FR	O(n^1)	0.301	O(n^1)	0.743	O(n^1)	0.911
Transformed CSR 04 ExConc Zan97 GM	O(n^1)	0.320	O(n^1)	0.715	O(n^1)	1.009
Transformed CSR 04 ExConc Zan97 Z	MAYBE	15.619	TIMEOUT	60.254	MAYBE	12.349
Transformed CSR 04 ExIntrod GM01 C	O(n^1)	0.766	TIMEOUT	60.293	O(n^1)	60.124
Transformed CSR 04 ExIntrod GM01 FR	TIMEOUT	60.528	TIMEOUT	60.277	MAYBE	60.095
Transformed CSR 04 ExIntrod GM01 GM	TIMEOUT	60.353	TIMEOUT	60.266	MAYBE	61.259
Transformed CSR 04 ExIntrod GM01 L	TIMEOUT	0.145	TIMEOUT	0.145	missing	-
Transformed CSR 04 ExIntrod GM01 Z	TIMEOUT	60.396	TIMEOUT	60.270	MAYBE	60.096
Transformed CSR 04 ExIntrod GM04 C	O(n^1)	0.632	TIMEOUT	60.283	O(n^1)	60.116
Transformed CSR 04 ExIntrod GM04 FR	TIMEOUT	60.703	TIMEOUT	60.508	MAYBE	60.103
Transformed CSR 04 ExIntrod GM04 GM	TIMEOUT	60.405	O(n^3)	17.579	MAYBE	60.100
Transformed CSR 04 ExIntrod GM04 L	TIMEOUT	0.147	TIMEOUT	0.137	missing	-
Transformed CSR 04 ExIntrod GM04 Z	TIMEOUT	60.687	TIMEOUT	60.291	MAYBE	60.093
Transformed CSR 04 ExIntrod GM99 C	TIMEOUT	60.344	missing	-	MAYBE	60.216
Transformed CSR 04 ExIntrod GM99 FR	TIMEOUT	60.329	TIMEOUT	60.264	MAYBE	60.114
Transformed CSR 04 ExIntrod GM99 GM	TIMEOUT	62.726	TIMEOUT	60.408	MAYBE	61.433
Transformed CSR 04 ExIntrod GM99 L	TIMEOUT	0.146	TIMEOUT	0.139	missing	-
Transformed CSR 04 ExIntrod GM99 Z	TIMEOUT	60.812	TIMEOUT	60.285	MAYBE	60.104
Transformed CSR 04 ExIntrod Zan97 C	TIMEOUT	60.389	TIMEOUT	60.352	MAYBE	60.130
Transformed CSR 04 ExIntrod Zan97 FR	TIMEOUT	60.379	TIMEOUT	60.277	MAYBE	60.106
Transformed CSR 04 ExIntrod Zan97 GM	TIMEOUT	60.671	TIMEOUT	60.270	MAYBE	61.314
Transformed CSR 04 ExIntrod Zan97 L	TIMEOUT	0.143	TIMEOUT	0.137	missing	-
Transformed CSR 04 ExIntrod Zan97 Z	TIMEOUT	60.665	TIMEOUT	60.251	MAYBE	60.106
Transformed CSR 04 ExProp7 Luc06 C	O(n^1)	0.358	TIMEOUT	60.271	O(n^1)	60.101
Transformed CSR 04 ExProp7 Luc06 FR	O(n^1)	0.343	O(n^2)	2.367	O(n^1)	60.106
Transformed CSR 04 ExProp7 Luc06 GM	TIMEOUT	60.336	TIMEOUT	60.270	MAYBE	60.097
Transformed CSR 04 ExProp7 Luc06 L	O(n^1)	0.304	O(n^2)	1.237	O(n^1)	3.134
Transformed CSR 04 ExProp7 Luc06 Z	O(n^1)	0.317	O(n^2)	1.813	O(n^1)	3.576
Transformed CSR 04 ExSec11 1 Luc02a C	TIMEOUT	60.680	TIMEOUT	60.324	MAYBE	60.141
Transformed CSR 04 ExSec11 1 Luc02a FR	TIMEOUT	60.740	TIMEOUT	60.250	MAYBE	60.335
Transformed CSR 04 ExSec11 1 Luc02a GM	TIMEOUT	60.596	TIMEOUT	60.284	MAYBE	61.042
Transformed CSR 04 ExSec11 1 Luc02a L	TIMEOUT	60.467	TIMEOUT	60.252	MAYBE	60.103
Transformed CSR 04 ExSec11 1 Luc02a Z	TIMEOUT	60.464	TIMEOUT	60.351	MAYBE	60.105
Transformed CSR 04 ExSec4 2 DLMMU04 C	TIMEOUT	60.550	TIMEOUT	60.348	MAYBE	60.174
Transformed CSR 04 ExSec4 2 DLMMU04 FR	TIMEOUT	60.566	TIMEOUT	60.462	MAYBE	60.099
Transformed CSR 04 ExSec4 2 DLMMU04 GM	TIMEOUT	60.570	TIMEOUT	60.308	MAYBE	60.145
Transformed CSR 04 ExSec4 2 DLMMU04 L	TIMEOUT	0.143	TIMEOUT	0.147	missing	-
Transformed CSR 04 ExSec4 2 DLMMU04 Z	TIMEOUT	60.577	TIMEOUT	60.250	MAYBE	60.116
Transformed CSR...TIES complete-noand FR	TIMEOUT	61.410	TIMEOUT	60.670	MAYBE	60.337
Transformed CSR...ITIES complete-noand L	TIMEOUT	0.274	TIMEOUT	0.245	missing	-
Transformed CSR...ITIES complete-noand Z	TIMEOUT	60.826	TIMEOUT	60.750	MAYBE	60.346
Transformed CSR...STUTILITIES complete C	TIMEOUT	60.978	TIMEOUT	60.829	TIMEOUT	0.000
Transformed CSR...TUTILITIES complete FR	TIMEOUT	60.533	TIMEOUT	60.494	MAYBE	60.340
Transformed CSR...TUTILITIES complete GM	TIMEOUT	60.661	TIMEOUT	60.603	MAYBE	60.970
Transformed CSR...STUTILITIES complete L	TIMEOUT	0.197	TIMEOUT	0.190	missing	-
Transformed CSR...STUTILITIES complete Z	TIMEOUT	60.550	TIMEOUT	60.485	MAYBE	60.247
Transformed CSR...ITIES complete noand C	TIMEOUT	61.636	TIMEOUT	61.529	MAYBE	61.052
Transformed CSR...TIES complete noand GM	TIMEOUT	61.925	TIMEOUT	60.974	MAYBE	61.990
Transformed CSR...ITIES nokinds-noand FR	TIMEOUT	60.991	missing	-	MAYBE	60.192
Transformed CSR...LITIES nokinds-noand L	TIMEOUT	0.182	TIMEOUT	0.181	missing	-
Transformed CSR...LITIES nokinds-noand Z	TIMEOUT	60.513	missing	-	MAYBE	60.178
Transformed CSR...ISTUTILITIES nokinds C	TIMEOUT	60.915	TIMEOUT	62.057	MAYBE	60.268
Transformed CSR...STUTILITIES nokinds FR	TIMEOUT	60.452	TIMEOUT	60.807	MAYBE	60.169
Transformed CSR...STUTILITIES nokinds GM	TIMEOUT	60.672	TIMEOUT	62.329	MAYBE	60.195
Transformed CSR...ISTUTILITIES nokinds L	TIMEOUT	0.180	TIMEOUT	0.150	missing	-
Transformed CSR...ISTUTILITIES nokinds Z	TIMEOUT	60.371	TIMEOUT	60.648	MAYBE	60.195
Transformed CSR...LITIES nokinds noand C	TIMEOUT	61.134	TIMEOUT	60.667	TIMEOUT	0.000
Transformed CSR...ITIES nokinds noand GM	TIMEOUT	60.753	TIMEOUT	60.462	MAYBE	60.258
Transformed CSR...ITIES nosorts-noand FR	TIMEOUT	60.644	TIMEOUT	60.300	MAYBE	60.133
Transformed CSR...LITIES nosorts-noand L	TIMEOUT	0.169	TIMEOUT	0.150	missing	-
Transformed CSR...LITIES nosorts-noand Z	TIMEOUT	60.609	TIMEOUT	60.297	MAYBE	60.136
Transformed CSR...ISTUTILITIES nosorts C	TIMEOUT	60.745	TIMEOUT	60.415	MAYBE	60.187
Transformed CSR...STUTILITIES nosorts FR	TIMEOUT	60.702	TIMEOUT	60.275	MAYBE	60.097
Transformed CSR...STUTILITIES nosorts GM	TIMEOUT	60.628	TIMEOUT	60.320	MAYBE	60.366
Transformed CSR...ISTUTILITIES nosorts L	TIMEOUT	0.139	TIMEOUT	0.139	missing	-
Transformed CSR...ISTUTILITIES nosorts Z	TIMEOUT	60.674	TIMEOUT	60.274	MAYBE	60.119
Transformed CSR...LITIES nosorts noand C	TIMEOUT	61.205	missing	-	MAYBE	60.427
Transformed CSR...ITIES nosorts noand GM	TIMEOUT	62.112	TIMEOUT	62.172	MAYBE	60.189
Transformed CSR...ists complete-noand FR	TIMEOUT	60.827	TIMEOUT	60.343	MAYBE	60.155
Transformed CSR...Lists complete-noand L	TIMEOUT	0.166	TIMEOUT	0.164	missing	-
Transformed CSR...Lists complete-noand Z	TIMEOUT	60.525	TIMEOUT	60.363	MAYBE	60.174
Transformed CSR...FiniteLists complete C	TIMEOUT	60.579	missing	-	MAYBE	60.220
Transformed CSR...initeLists complete FR	TIMEOUT	60.415	missing	-	MAYBE	60.134
Transformed CSR...initeLists complete GM	TIMEOUT	60.484	TIMEOUT	60.336	MAYBE	60.171
Transformed CSR...FiniteLists complete L	TIMEOUT	0.157	TIMEOUT	0.154	missing	-
Transformed CSR...FiniteLists complete Z	TIMEOUT	60.431	missing	-	MAYBE	60.140
Transformed CSR...Lists complete noand C	TIMEOUT	62.540	TIMEOUT	60.726	MAYBE	68.556
Transformed CSR...ists complete noand GM	TIMEOUT	60.584	TIMEOUT	60.469	MAYBE	60.261
Transformed CSR...Lists nokinds-noand FR	TIMEOUT	60.422	TIMEOUT	60.336	MAYBE	60.124
Transformed CSR...eLists nokinds-noand L	TIMEOUT	0.152	TIMEOUT	0.150	missing	-
Transformed CSR...eLists nokinds-noand Z	TIMEOUT	60.433	TIMEOUT	60.389	MAYBE	60.112
Transformed CSR...fFiniteLists nokinds C	TIMEOUT	60.335	TIMEOUT	60.319	MAYBE	60.135
Transformed CSR...FiniteLists nokinds FR	TIMEOUT	60.483	TIMEOUT	60.766	MAYBE	60.158
Transformed CSR...FiniteLists nokinds GM	TIMEOUT	60.911	TIMEOUT	60.364	MAYBE	60.125
Transformed CSR...fFiniteLists nokinds L	TIMEOUT	0.148	TIMEOUT	0.140	missing	-
Transformed CSR...fFiniteLists nokinds Z	TIMEOUT	60.390	TIMEOUT	60.444	MAYBE	60.209
Transformed CSR...eLists nokinds noand C	TIMEOUT	61.264	TIMEOUT	60.415	MAYBE	60.311
Transformed CSR...Lists nokinds noand GM	TIMEOUT	60.578	TIMEOUT	61.674	MAYBE	60.194
Transformed CSR...Lists nosorts-noand FR	TIMEOUT	60.657	TIMEOUT	60.305	MAYBE	60.113
Transformed CSR...eLists nosorts-noand L	TIMEOUT	0.139	TIMEOUT	0.150	missing	-
Transformed CSR...fFiniteLists nosorts C	O(n^1)	0.488	TIMEOUT	60.285	O(n^1)	60.136
Transformed CSR...FiniteLists nosorts FR	TIMEOUT	60.490	TIMEOUT	60.238	MAYBE	60.089
Transformed CSR...FiniteLists nosorts GM	TIMEOUT	60.505	TIMEOUT	60.312	MAYBE	60.140
Transformed CSR...fFiniteLists nosorts L	TIMEOUT	0.143	TIMEOUT	0.135	missing	-
Transformed CSR...eLists nosorts noand C	O(n^1)	0.569	TIMEOUT	60.311	O(n^1)	60.148
Transformed CSR...Lists nosorts noand GM	TIMEOUT	60.363	TIMEOUT	60.280	MAYBE	60.098
Transformed CSR...YNAT complete-noand FR	TIMEOUT	60.599	TIMEOUT	60.467	MAYBE	60.179
Transformed CSR...MYNAT complete-noand L	TIMEOUT	0.506	TIMEOUT	0.165	missing	-
Transformed CSR...MYNAT complete-noand Z	TIMEOUT	60.595	TIMEOUT	60.432	MAYBE	60.172
Transformed CSR 04 MYNAT complete C	TIMEOUT	61.126	missing	-	MAYBE	60.254
Transformed CSR 04 MYNAT complete FR	TIMEOUT	61.660	missing	-	MAYBE	60.435
Transformed CSR 04 MYNAT complete GM	TIMEOUT	60.478	TIMEOUT	60.331	MAYBE	60.155
Transformed CSR 04 MYNAT complete L	TIMEOUT	0.146	TIMEOUT	0.144	missing	-
Transformed CSR 04 MYNAT complete Z	TIMEOUT	60.384	missing	-	MAYBE	60.133
Transformed CSR...MYNAT complete noand C	TIMEOUT	60.889	TIMEOUT	60.609	MAYBE	71.728
Transformed CSR...YNAT complete noand GM	TIMEOUT	60.751	TIMEOUT	60.409	MAYBE	60.452
Transformed CSR...MYNAT nokinds-noand FR	TIMEOUT	60.449	TIMEOUT	60.302	MAYBE	60.116
Transformed CSR 04 MYNAT nokinds-noand L	TIMEOUT	0.143	TIMEOUT	0.151	missing	-
Transformed CSR 04 MYNAT nokinds-noand Z	TIMEOUT	60.482	TIMEOUT	60.285	MAYBE	60.121
Transformed CSR 04 MYNAT nokinds C	TIMEOUT	60.621	TIMEOUT	60.350	MAYBE	60.159
Transformed CSR 04 MYNAT nokinds FR	TIMEOUT	60.529	TIMEOUT	60.909	MAYBE	60.107
Transformed CSR 04 MYNAT nokinds GM	TIMEOUT	60.805	TIMEOUT	60.811	MAYBE	60.643
Transformed CSR 04 MYNAT nokinds L	TIMEOUT	0.144	TIMEOUT	0.155	missing	-
Transformed CSR 04 MYNAT nokinds Z	TIMEOUT	60.546	TIMEOUT	60.262	MAYBE	60.114
Transformed CSR 04 MYNAT nokinds noand C	TIMEOUT	60.611	TIMEOUT	60.385	MAYBE	60.288
Transformed CSR...MYNAT nokinds noand GM	TIMEOUT	62.181	TIMEOUT	60.312	MAYBE	60.308
Transformed CSR...MYNAT nosorts-noand FR	TIMEOUT	60.303	TIMEOUT	60.676	MAYBE	60.123
Transformed CSR 04 MYNAT nosorts-noand L	TIMEOUT	0.147	TIMEOUT	0.141	missing	-
Transformed CSR 04 MYNAT nosorts C	TIMEOUT	60.288	TIMEOUT	60.280	MAYBE	60.124
Transformed CSR 04 MYNAT nosorts FR	O(n^2)	2.008	TIMEOUT	60.280	O(n^2)	60.101
Transformed CSR 04 MYNAT nosorts GM	TIMEOUT	60.605	TIMEOUT	60.257	MAYBE	60.163
Transformed CSR 04 MYNAT nosorts L	TIMEOUT	0.144	TIMEOUT	0.127	missing	-
Transformed CSR 04 MYNAT nosorts noand C	TIMEOUT	61.677	TIMEOUT	60.294	MAYBE	60.218
Transformed CSR...MYNAT nosorts noand GM	TIMEOUT	61.450	TIMEOUT	60.365	MAYBE	60.110
Transformed CSR...nsOS complete-noand FR	TIMEOUT	60.586	missing	-	MAYBE	60.182
Transformed CSR...onsOS complete-noand L	TIMEOUT	0.183	TIMEOUT	0.179	missing	-
Transformed CSR...onsOS complete-noand Z	TIMEOUT	61.310	missing	-	MAYBE	60.191
Transformed CSR 04 OvConsOS complete C	TIMEOUT	60.700	TIMEOUT	60.575	MAYBE	60.253
Transformed CSR 04 OvConsOS complete FR	TIMEOUT	60.418	missing	-	MAYBE	60.169
Transformed CSR 04 OvConsOS complete GM	TIMEOUT	61.112	missing	-	MAYBE	60.272
Transformed CSR 04 OvConsOS complete L	TIMEOUT	0.159	TIMEOUT	0.154	missing	-
Transformed CSR 04 OvConsOS complete Z	TIMEOUT	60.458	missing	-	MAYBE	60.171
Transformed CSR...onsOS complete noand C	TIMEOUT	60.948	TIMEOUT	60.756	MAYBE	67.973
Transformed CSR...nsOS complete noand GM	TIMEOUT	60.724	TIMEOUT	60.485	MAYBE	60.438
Transformed CSR...onsOS nokinds-noand FR	TIMEOUT	61.188	TIMEOUT	60.320	MAYBE	60.134
Transformed CSR...ConsOS nokinds-noand L	TIMEOUT	0.150	TIMEOUT	0.152	missing	-
Transformed CSR...ConsOS nokinds-noand Z	TIMEOUT	60.468	TIMEOUT	60.431	MAYBE	60.125
Transformed CSR 04 OvConsOS nokinds C	TIMEOUT	60.549	missing	-	MAYBE	60.168
Transformed CSR 04 OvConsOS nokinds FR	TIMEOUT	60.389	TIMEOUT	60.291	MAYBE	60.124
Transformed CSR 04 OvConsOS nokinds GM	TIMEOUT	60.532	TIMEOUT	60.284	MAYBE	60.126
Transformed CSR 04 OvConsOS nokinds L	TIMEOUT	0.150	TIMEOUT	0.143	missing	-
Transformed CSR 04 OvConsOS nokinds Z	TIMEOUT	60.396	TIMEOUT	60.297	MAYBE	60.135
Transformed CSR...ConsOS nokinds noand C	TIMEOUT	60.896	missing	-	MAYBE	60.243
Transformed CSR...onsOS nokinds noand GM	TIMEOUT	60.977	TIMEOUT	60.338	MAYBE	60.169
Transformed CSR...onsOS nosorts-noand FR	TIMEOUT	60.538	TIMEOUT	60.290	MAYBE	60.371
Transformed CSR...ConsOS nosorts-noand L	TIMEOUT	0.137	TIMEOUT	0.135	missing	-
Transformed CSR...ConsOS nosorts-noand Z	TIMEOUT	60.517	TIMEOUT	60.287	MAYBE	60.099
Transformed CSR 04 OvConsOS nosorts C	O(n^1)	0.616	TIMEOUT	60.337	O(n^1)	60.133
Transformed CSR 04 OvConsOS nosorts FR	TIMEOUT	60.494	TIMEOUT	60.267	MAYBE	60.095
Transformed CSR 04 OvConsOS nosorts GM	TIMEOUT	60.602	TIMEOUT	60.272	MAYBE	60.098
Transformed CSR 04 OvConsOS nosorts L	TIMEOUT	0.136	TIMEOUT	0.145	missing	-
Transformed CSR 04 OvConsOS nosorts Z	TIMEOUT	60.250	TIMEOUT	60.237	MAYBE	60.093
Transformed CSR...ConsOS nosorts noand C	TIMEOUT	60.385	TIMEOUT	60.374	MAYBE	60.156
Transformed CSR...onsOS nosorts noand GM	TIMEOUT	60.380	TIMEOUT	60.316	MAYBE	60.121
Transformed CSR...ROME complete-noand FR	TIMEOUT	60.555	TIMEOUT	60.608	MAYBE	60.200
Transformed CSR...DROME complete-noand L	TIMEOUT	60.342	TIMEOUT	60.310	MAYBE	60.127
Transformed CSR...DROME complete-noand Z	TIMEOUT	60.523	TIMEOUT	60.353	MAYBE	60.176
Transformed CSR 04 PALINDROME complete C	TIMEOUT	60.556	missing	-	MAYBE	60.404
Transformed CSR...PALINDROME complete FR	TIMEOUT	60.423	missing	-	MAYBE	60.141
Transformed CSR...PALINDROME complete GM	TIMEOUT	60.829	TIMEOUT	61.858	MAYBE	60.164
Transformed CSR 04 PALINDROME complete L	TIMEOUT	0.165	TIMEOUT	0.151	missing	-
Transformed CSR 04 PALINDROME complete Z	TIMEOUT	60.427	missing	-	MAYBE	60.149
Transformed CSR...DROME complete noand C	TIMEOUT	60.749	TIMEOUT	60.646	MAYBE	61.716
Transformed CSR...ROME complete noand GM	TIMEOUT	60.799	TIMEOUT	60.585	MAYBE	60.271
Transformed CSR...DROME nokinds-noand FR	TIMEOUT	60.739	TIMEOUT	60.322	MAYBE	60.127
Transformed CSR...NDROME nokinds-noand L	TIMEOUT	60.711	TIMEOUT	60.310	MAYBE	59.373
Transformed CSR...NDROME nokinds-noand Z	O(n^2)	34.555	O(n^2)	35.081	MAYBE	60.178
Transformed CSR 04 PALINDROME nokinds C	TIMEOUT	60.445	TIMEOUT	60.513	O(n^1)	60.143
Transformed CSR 04 PALINDROME nokinds FR	TIMEOUT	60.663	TIMEOUT	60.311	MAYBE	60.270
Transformed CSR 04 PALINDROME nokinds GM	TIMEOUT	60.464	TIMEOUT	60.290	MAYBE	60.120
Transformed CSR 04 PALINDROME nokinds L	TIMEOUT	0.143	TIMEOUT	0.150	missing	-
Transformed CSR 04 PALINDROME nokinds Z	O(n^2)	20.163	O(n^2)	19.811	O(n^1)	60.162
Transformed CSR...NDROME nokinds noand C	TIMEOUT	60.580	TIMEOUT	60.484	O(n^1)	60.321
Transformed CSR...DROME nokinds noand GM	TIMEOUT	60.464	TIMEOUT	60.404	MAYBE	60.898
Transformed CSR 04 PALINDROME nosorts C	TIMEOUT	60.418	TIMEOUT	60.433	O(n^1)	60.148
Transformed CSR 04 PALINDROME nosorts GM	TIMEOUT	60.709	TIMEOUT	60.328	MAYBE	60.141
Transformed CSR 04 PALINDROME nosorts L	TIMEOUT	0.142	TIMEOUT	0.138	missing	-
Transformed CSR...NDROME nosorts noand C	TIMEOUT	60.368	TIMEOUT	60.292	O(n^1)	60.109
Transformed CSR...DROME nosorts noand GM	TIMEOUT	60.616	TIMEOUT	60.476	MAYBE	60.104
Transformed CSR...EANO complete-noand FR	TIMEOUT	61.707	TIMEOUT	60.331	MAYBE	60.172
Transformed CSR...PEANO complete-noand L	TIMEOUT	0.186	TIMEOUT	0.216	missing	-
Transformed CSR...PEANO complete-noand Z	TIMEOUT	60.598	TIMEOUT	60.299	MAYBE	60.161
Transformed CSR 04 PEANO complete C	TIMEOUT	60.614	missing	-	MAYBE	60.192
Transformed CSR 04 PEANO complete FR	TIMEOUT	60.500	TIMEOUT	60.306	MAYBE	60.120
Transformed CSR 04 PEANO complete GM	TIMEOUT	60.465	TIMEOUT	60.310	MAYBE	60.219
Transformed CSR 04 PEANO complete L	TIMEOUT	0.253	TIMEOUT	0.265	missing	-
Transformed CSR 04 PEANO complete Z	TIMEOUT	60.906	TIMEOUT	60.565	MAYBE	60.171
Transformed CSR...PEANO complete noand C	TIMEOUT	60.647	missing	-	MAYBE	60.242
Transformed CSR...EANO complete noand GM	TIMEOUT	60.540	TIMEOUT	61.620	MAYBE	60.471
Transformed CSR...PEANO nokinds-noand FR	TIMEOUT	60.797	TIMEOUT	62.176	MAYBE	60.195
Transformed CSR 04 PEANO nokinds-noand L	TIMEOUT	0.156	TIMEOUT	0.169	missing	-
Transformed CSR 04 PEANO nokinds-noand Z	TIMEOUT	60.456	TIMEOUT	61.643	MAYBE	60.123
Transformed CSR 04 PEANO nokinds C	TIMEOUT	61.926	TIMEOUT	61.360	MAYBE	60.134
Transformed CSR 04 PEANO nokinds FR	TIMEOUT	61.526	TIMEOUT	61.067	MAYBE	60.102
Transformed CSR 04 PEANO nokinds GM	TIMEOUT	60.531	TIMEOUT	60.354	MAYBE	60.460
Transformed CSR 04 PEANO nokinds L	TIMEOUT	1.004	TIMEOUT	1.155	missing	-
Transformed CSR 04 PEANO nokinds Z	TIMEOUT	61.701	TIMEOUT	60.902	MAYBE	61.088
Transformed CSR 04 PEANO nokinds noand C	TIMEOUT	60.463	TIMEOUT	60.886	MAYBE	60.349
Transformed CSR...PEANO nokinds noand GM	TIMEOUT	60.439	TIMEOUT	60.264	MAYBE	60.323
Transformed CSR...PEANO nosorts-noand FR	O(n^1)	1.079	O(n^1)	1.115	O(n^1)	5.137
Transformed CSR 04 PEANO nosorts-noand L	TIMEOUT	0.169	TIMEOUT	0.169	missing	-
Transformed CSR 04 PEANO nosorts C	O(n^1)	0.538	TIMEOUT	60.312	O(n^1)	60.138
Transformed CSR 04 PEANO nosorts FR	O(n^1)	0.411	O(n^1)	0.918	O(n^1)	0.554
Transformed CSR 04 PEANO nosorts GM	TIMEOUT	60.490	TIMEOUT	60.311	MAYBE	60.115
Transformed CSR 04 PEANO nosorts L	TIMEOUT	0.230	TIMEOUT	0.231	missing	-
Transformed CSR 04 PEANO nosorts noand C	O(n^1)	0.824	TIMEOUT	60.398	O(n^1)	60.114
Transformed CSR...PEANO nosorts noand GM	TIMEOUT	60.483	TIMEOUT	60.291	MAYBE	60.098
Various 04 04	TIMEOUT	60.680	TIMEOUT	60.270	MAYBE	60.126
Various 04 08	TIMEOUT	61.222	TIMEOUT	60.349	MAYBE	60.115
Various 04 10	TIMEOUT	60.513	TIMEOUT	60.619	MAYBE	60.134
Various 04 11	TIMEOUT	60.538	TIMEOUT	62.470	MAYBE	60.095
Various 04 12	TIMEOUT	60.801	TIMEOUT	60.430	MAYBE	60.105
Various 04 13	TIMEOUT	60.712	TIMEOUT	60.254	MAYBE	60.115
Various 04 14	TIMEOUT	60.882	TIMEOUT	60.681	MAYBE	60.135
Various 04 15	O(n^1)	0.321	TIMEOUT	60.304	O(n^1)	30.234
Various 04 18	TIMEOUT	60.707	TIMEOUT	63.148	O(n^1)	60.086
Various 04 22	TIMEOUT	60.588	TIMEOUT	60.488	MAYBE	60.148
Various 04 23	O(n^1)	1.487	O(n^1)	1.316	O(n^1)	2.918
Various 04 24	TIMEOUT	60.699	TIMEOUT	60.273	MAYBE	60.092
Waldmann 06 jwmatchb1	O(n^1)	0.304	TIMEOUT	60.259	O(n^1)	7.515
Waldmann 06 jwmatchb2	O(n^1)	0.303	TIMEOUT	60.247	O(n^1)	7.488
Waldmann 06 jwno1	TIMEOUT	60.270	TIMEOUT	60.283	MAYBE	60.088
Waldmann 06 jwno4	TIMEOUT	61.309	TIMEOUT	60.270	MAYBE	60.089
Waldmann 06 jwno6	TIMEOUT	60.514	TIMEOUT	60.253	MAYBE	60.093
Zantema 05 z10	TIMEOUT	60.752	TIMEOUT	60.487	MAYBE	61.274
Zantema 05 z12	TIMEOUT	60.934	TIMEOUT	60.516	MAYBE	60.157
Zantema 05 z13	TIMEOUT	60.769	TIMEOUT	60.495	MAYBE	60.167
Zantema 05 z14	TIMEOUT	60.943	TIMEOUT	60.401	MAYBE	60.093
Zantema 05 z15	TIMEOUT	60.429	TIMEOUT	60.253	MAYBE	60.089
Zantema 05 z16	TIMEOUT	62.266	TIMEOUT	60.265	MAYBE	60.090
Zantema 05 z17	TIMEOUT	60.277	TIMEOUT	60.248	MAYBE	60.096
Zantema 05 z18	TIMEOUT	60.388	TIMEOUT	60.249	MAYBE	60.143
Zantema 05 z23	TIMEOUT	60.243	TIMEOUT	60.239	MAYBE	60.091
Zantema 05 z24	TIMEOUT	60.270	TIMEOUT	60.250	MAYBE	60.094
Zantema 05 z26	O(n^1)	0.310	O(n^2)	25.782	O(n^1)	60.090
Zantema 05 z27	TIMEOUT	60.628	TIMEOUT	60.249	MAYBE	60.100
Zantema 05 z28	TIMEOUT	60.924	TIMEOUT	60.419	MAYBE	60.091