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 AProVE.

Overview

	AProVE-Certify	AProVE-Full
O(1)	1	53
O(n^1)	158	196
O(n^2)	91	101
O(n^3)	33	37
Total YES	283	387

Details

	AProVE-Certify		AProVE-Full
Problem (all selected)	answer	time	answer	time
AG01 3.1	O(n^2)	3.485	O(n^2)	3.487
AG01 3.10	TIMEOUT	0.000	TIMEOUT	0.000
AG01 3.12	O(n^3)	4.338	O(n^3)	3.816
AG01 3.13	TIMEOUT	0.000	TIMEOUT	0.000
AG01 3.15	O(n^1)	3.187	O(n^1)	2.985
AG01 3.16	O(n^3)	3.985	O(n^3)	4.004
AG01 3.17	TIMEOUT	0.000	O(n^2)	3.665
AG01 3.17a	TIMEOUT	0.000	O(n^2)	3.545
AG01 3.18	MAYBE	6.039	TIMEOUT	0.000
AG01 3.19	MAYBE	4.719	TIMEOUT	0.000
AG01 3.2	O(n^2)	3.646	O(n^2)	3.044
AG01 3.22	TIMEOUT	0.000	O(n^2)	3.436
AG01 3.23	O(n^1)	3.062	O(n^1)	3.135
AG01 3.24	O(n^2)	3.400	O(n^2)	3.078
AG01 3.26	MAYBE	3.550	TIMEOUT	0.000
AG01 3.29	O(n^1)	2.931	O(1)	2.579
AG01 3.31	MAYBE	24.910	MAYBE	4.922
AG01 3.33	O(n^1)	3.178	O(1)	2.597
AG01 3.35	O(n^2)	3.117	O(n^1)	2.980
AG01 3.36	TIMEOUT	0.000	TIMEOUT	0.000
AG01 3.37	O(n^2)	12.232	O(n^1)	3.015
AG01 3.38	TIMEOUT	0.000	TIMEOUT	0.000
AG01 3.39	TIMEOUT	0.000	O(n^2)	5.001
AG01 3.4	TIMEOUT	0.000	TIMEOUT	0.000
AG01 3.40	MAYBE	42.382	O(n^2)	5.508
AG01 3.41	MAYBE	4.205	O(n^1)	3.324
AG01 3.42	O(n^3)	49.198	O(n^2)	3.755
AG01 3.47	O(n^2)	4.489	O(n^1)	3.771
AG01 3.48	O(n^2)	4.793	O(n^2)	3.180
AG01 3.49	TIMEOUT	0.000	TIMEOUT	0.000
AG01 3.5	O(n^2)	4.873	O(n^2)	4.318
AG01 3.51	O(n^2)	3.591	O(n^1)	2.913
AG01 3.52	O(n^2)	3.376	O(n^1)	2.953
AG01 3.53	O(n^3)	9.125	O(n^3)	7.915
AG01 3.53a	O(n^1)	2.854	O(1)	2.587
AG01 3.53b	O(n^2)	3.558	O(n^1)	2.960
AG01 3.54	MAYBE	5.728	TIMEOUT	0.000
AG01 3.55	TIMEOUT	0.000	TIMEOUT	0.000
AG01 3.56	O(n^1)	3.290	O(n^1)	3.176
AG01 3.57	TIMEOUT	0.000	TIMEOUT	0.000
AG01 3.5a	O(n^2)	5.657	O(n^2)	3.981
AG01 3.5b	O(n^3)	14.033	O(n^3)	9.944
AG01 3.6	O(n^2)	5.490	O(n^2)	4.419
AG01 3.6a	O(n^2)	5.090	O(n^2)	4.272
AG01 3.6b	O(n^3)	15.349	O(n^3)	9.387
AG01 3.7	O(n^2)	3.365	O(n^2)	3.079
AG01 3.8a	O(n^2)	6.206	O(n^2)	4.094
AG01 3.8b	O(n^3)	67.354	TIMEOUT	0.000
AG01 4.30c	MAYBE	77.417	TIMEOUT	0.000
AProVE 04 AAECC	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 04 AAECC-ring	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 04 IJCAR 1	MAYBE	3.856	O(n^1)	3.014
AProVE 04 IJCAR 12	MAYBE	6.147	O(n^2)	3.717
AProVE 04 IJCAR 18	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 04 IJCAR 26	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 04 IJCAR 26a	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 04 JFP Ex31	TIMEOUT	0.000	O(n^2)	30.185
AProVE 04 JFP Ex51	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 04 LPAR intlist	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 04 Liveness6.1	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 04 Liveness6.2	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 04 Liveness6.3	O(n^1)	47.616	O(n^1)	5.325
AProVE 04 Liveness6.4	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 04 Liveness8	O(n^1)	47.661	O(n^1)	47.681
AProVE 04 Liveness WRS	O(n^1)	52.373	O(n^1)	26.292
AProVE 04 fac	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 04 rta1	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 04 rta2	MAYBE	3.203	MAYBE	5.555
AProVE 04 rta3	MAYBE	5.727	TIMEOUT	0.000
AProVE 06 div notCeTermin	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 06 div notTermin	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 06 factorial1	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 06 factorial2	MAYBE	46.888	TIMEOUT	0.000
AProVE 06 identity	MAYBE	30.553	TIMEOUT	0.000
AProVE 06 logarithm	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 06 modulo	MAYBE	13.170	TIMEOUT	0.000
AProVE 06 nonterm	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 06 quicksort	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 06 quot	MAYBE	15.394	TIMEOUT	0.000
AProVE 06 sizeChange	TIMEOUT	0.000	O(n^2)	5.177
AProVE 06 tower	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 06 tower sizeChange	MAYBE	57.246	TIMEOUT	0.000
AProVE 07 kabasci01	TIMEOUT	0.000	O(n^1)	19.282
AProVE 07 kabasci02	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 kabasci03	TIMEOUT	0.000	O(1)	2.765
AProVE 07 kabasci04	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 kabasci05	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 otto01	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 otto02	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 otto03	MAYBE	4.898	TIMEOUT	0.000
AProVE 07 otto04	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 otto05	TIMEOUT	0.000	O(n^2)	10.781
AProVE 07 otto06	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 otto07	MAYBE	5.027	TIMEOUT	0.000
AProVE 07 otto08	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 otto09	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 otto10	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 otto11	MAYBE	28.605	TIMEOUT	0.000
AProVE 07 otto12	MAYBE	17.357	TIMEOUT	0.000
AProVE 07 otto13	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann01	MAYBE	27.201	TIMEOUT	0.000
AProVE 07 thiemann02	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann03	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann04	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann05	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann06	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann07	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann08	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann09	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann10	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann11	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann12	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann13	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann14	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann15	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann16	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann17	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann18	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann19	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann20	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann21	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann22	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann23	MAYBE	67.116	TIMEOUT	0.000
AProVE 07 thiemann24	MAYBE	10.602	TIMEOUT	0.000
AProVE 07 thiemann25	MAYBE	8.562	TIMEOUT	0.000
AProVE 07 thiemann26	MAYBE	29.250	O(n^2)	79.369
AProVE 07 thiemann27	MAYBE	4.933	TIMEOUT	0.000
AProVE 07 thiemann28	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann29	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann30	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann31	MAYBE	59.922	TIMEOUT	0.000
AProVE 07 thiemann32	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann33	MAYBE	29.486	TIMEOUT	0.000
AProVE 07 thiemann34	MAYBE	37.555	TIMEOUT	0.000
AProVE 07 thiemann36	MAYBE	65.700	TIMEOUT	0.000
AProVE 07 thiemann37	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann38	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 thiemann40	MAYBE	9.196	O(n^1)	5.143
AProVE 07 thiemann41	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 wiehe01	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 wiehe02	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 wiehe03	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 wiehe05	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 wiehe06	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 wiehe07	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 wiehe08	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 wiehe09	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 wiehe11	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 07 wiehe12	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 08 id inc	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 08 log	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 08 parting01 reverse	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 08 parting02 doublelist	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 08 parting03 minsort	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 08 parting04 maxsort h	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 08 parting05 maxsort	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 08 round	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 08 round nonterm	MAYBE	54.347	TIMEOUT	0.000
AProVE 08 thiemann40 modified	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive div	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive divhard	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive gcd	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive gcd2	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive gcdhard	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive log	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive maxsort	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive maxsortcondition	MAYBE	67.135	TIMEOUT	0.000
AProVE 09 Inductive minsort	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive mod	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive qsort	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive qsortlast	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive qsortmiddle	TIMEOUT	0.000	TIMEOUT	0.000
AProVE 09 Inductive zerolist	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 1	MAYBE	8.545	TIMEOUT	0.000
Beerendonk 07 10	TIMEOUT	0.000	O(n^2)	64.368
Beerendonk 07 11	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 12	MAYBE	58.624	TIMEOUT	0.000
Beerendonk 07 13	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 14	MAYBE	6.480	TIMEOUT	0.000
Beerendonk 07 15	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 16	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 17	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 18	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 19	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 2	MAYBE	6.491	TIMEOUT	0.000
Beerendonk 07 20	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 21	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 22	TIMEOUT	0.000	O(n^2)	64.880
Beerendonk 07 23	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 24	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 3	MAYBE	12.950	TIMEOUT	0.000
Beerendonk 07 4	MAYBE	6.589	TIMEOUT	0.000
Beerendonk 07 5	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 6	MAYBE	4.656	TIMEOUT	0.000
Beerendonk 07 7	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 8	TIMEOUT	0.000	TIMEOUT	0.000
Beerendonk 07 9	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 ack prolog	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 append	O(n^2)	3.542	O(n^1)	3.127
CiME 04 append-hard	MAYBE	4.116	O(n^1)	3.676
CiME 04 append-wrong	TIMEOUT	0.000	MAYBE	9.230
CiME 04 big	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 dpqs	O(n^1)	3.361	O(1)	2.599
CiME 04 fact-hard	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 filliatre	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 filliatre2	MAYBE	67.823	TIMEOUT	0.000
CiME 04 filliatre3	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 intersect	O(n^2)	18.588	O(n^2)	8.765
CiME 04 list-sum-prod	MAYBE	32.737	TIMEOUT	0.000
CiME 04 list-sum-prod-assoc	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 list-sum-prod-assoc-append	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 list-sum-prod-bin	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 list-sum-prod-bin-assoc	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 list-su...od-bin-assoc-distr-app	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 log2	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 lse	O(n^2)	12.177	O(n^2)	11.135
CiME 04 maude2	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 mucrl1	TIMEOUT	0.000	O(n^1)	7.573
CiME 04 ternary	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 ternary-hard	TIMEOUT	0.000	TIMEOUT	0.000
CiME 04 tree	TIMEOUT	0.000	TIMEOUT	0.000
Der95 06	O(n^1)	2.860	O(n^1)	2.955
Der95 07	O(n^1)	3.193	O(n^1)	3.207
Der95 08	O(n^1)	2.938	O(n^1)	3.023
Der95 11	O(n^1)	3.712	O(n^1)	3.490
Der95 12	MAYBE	4.709	TIMEOUT	0.000
Der95 18	O(n^1)	2.867	O(n^1)	2.937
Der95 20	MAYBE	8.538	TIMEOUT	0.000
Der95 21	TIMEOUT	0.000	TIMEOUT	0.000
Der95 27	O(n^1)	2.883	O(n^1)	3.015
Der95 31	O(n^2)	3.676	O(n^1)	3.383
Der95 32	O(n^2)	4.537	O(n^2)	4.221
Der95 33	TIMEOUT	0.000	O(n^1)	9.067
Endrullis 06 direct	O(n^3)	5.573	O(n^1)	47.873
Frederiksen Glenstrup ack	MAYBE	12.273	TIMEOUT	0.000
Frederiksen Glenstrup add	O(n^1)	3.080	O(n^1)	3.059
Frederiksen Glenstrup addlists	O(n^1)	3.033	O(n^1)	3.208
Frederiksen Glenstrup anchored	O(n^1)	3.114	O(n^1)	3.036
Frederiksen Glenstrup append	O(n^2)	3.039	O(n^1)	3.030
Frederiksen Glenstrup assrewrite	O(n^1)	3.283	O(1)	2.681
Frederiksen Glenstrup badd	MAYBE	4.599	TIMEOUT	0.000
Frederiksen Glenstrup binom	MAYBE	20.159	TIMEOUT	0.000
Frederiksen Glenstrup decrease	O(n^1)	3.062	O(n^1)	2.932
Frederiksen Glenstrup deeprev typed	O(n^1)	4.810	O(n^1)	3.215
Frederiksen Glenstrup disjconj	MAYBE	15.707	TIMEOUT	0.000
Frederiksen Glenstrup duplicate	O(n^1)	3.010	O(n^1)	2.911
Frederiksen Glenstrup equal	MAYBE	3.440	MAYBE	3.271
Frederiksen Glenstrup evenodd	O(n^3)	3.313	O(n^2)	2.971
Frederiksen Glenstrup fold	O(n^1)	4.167	O(n^1)	3.236
Frederiksen Glenstrup game	O(n^2)	4.077	O(n^1)	3.359
Frederiksen Glenstrup gcd1	O(n^2)	11.468	O(n^2)	9.935
Frederiksen Glenstrup gcd2	O(n^2)	11.997	O(n^2)	9.983
Frederiksen Glenstrup increase	MAYBE	3.603	TIMEOUT	0.000
Frederiksen Glenstrup int	O(n^1)	34.671	O(n^1)	5.879
Frederiksen Glenstrup intlookup	MAYBE	4.212	MAYBE	5.641
Frederiksen Glenstrup lambdaint typed	O(n^1)	7.676	O(n^1)	3.418
Frederiksen Glenstrup letexp	MAYBE	3.425	TIMEOUT	0.000
Frederiksen Glenstrup list	O(n^1)	2.993	O(n^1)	3.031
Frederiksen Glenstrup lte	O(n^1)	4.110	O(n^1)	3.338
Frederiksen Glenstrup map0	O(n^1)	3.240	O(n^1)	3.367
Frederiksen Glenstrup member	O(n^1)	3.703	O(n^1)	3.498
Frederiksen Glenstrup mergelists	O(n^1)	3.086	O(1)	2.761
Frederiksen Glenstrup mergesort	O(n^3)	7.072	O(n^2)	5.022
Frederiksen Glenstrup minsort	MAYBE	25.448	TIMEOUT	0.000
Frederiksen Glenstrup mul	O(n^3)	4.124	O(n^3)	3.737
Frederiksen Glenstrup mul better	O(n^3)	3.731	O(n^3)	3.669
Frederiksen Glenstrup naiverev	O(n^2)	3.898	O(n^2)	3.443
Frederiksen Glenstrup nestdec	O(n^1)	4.604	O(n^1)	3.930
Frederiksen Glenstrup nesteql	MAYBE	4.082	MAYBE	4.671
Frederiksen Glenstrup nestimeql	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Glenstrup nestinc	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Glenstrup nolexicord	O(n^1)	3.993	O(n^1)	3.643
Frederiksen Glenstrup ordered	O(n^1)	3.200	O(1)	2.632
Frederiksen Glenstrup ordered better	O(n^1)	3.250	O(1)	2.701
Frederiksen Glenstrup overlap	O(n^2)	5.171	O(n^2)	4.425
Frederiksen Glenstrup parsexp	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Glenstrup permute	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Glenstrup power	MAYBE	6.349	TIMEOUT	0.000
Frederiksen Glenstrup quicksort	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Glenstrup revapp	O(n^1)	2.910	O(n^1)	2.971
Frederiksen Glenstrup select	O(n^2)	3.720	O(n^2)	3.294
Frederiksen Glenstrup shuffle	O(n^3)	4.543	O(n^3)	3.899
Frederiksen Glenstrup sp1	MAYBE	5.159	MAYBE	4.743
Frederiksen Glenstrup subsets	MAYBE	5.592	TIMEOUT	0.000
Frederiksen Glenstrup thetrick	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Glenstrup turing typed	O(n^1)	5.813	O(n^1)	3.002
Frederiksen Glenstrup vangelder typed	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Others add	O(n^1)	3.352	O(n^1)	3.032
Frederiksen Others assrewriteSize	O(n^3)	23.087	TIMEOUT	0.000
Frederiksen Others boolprog	O(n^1)	4.727	O(1)	2.716
Frederiksen Others bubblesort	O(n^2)	4.690	O(n^2)	4.649
Frederiksen Others deadcodeSize	MAYBE	3.199	MAYBE	3.006
Frederiksen Others disj2 typed	O(n^1)	4.430	O(n^1)	3.034
Frederiksen Others div2	O(n^1)	3.313	O(n^1)	2.942
Frederiksen Others dup1 typed	O(n^1)	3.747	O(n^1)	3.211
Frederiksen Others dup2 typed	O(n^1)	4.301	O(n^1)	3.057
Frederiksen Others eq	O(n^1)	3.129	O(n^1)	2.966
Frederiksen Others ex6	O(n^1)	3.264	O(n^3)	3.363
Frederiksen Others fgh	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Others fghSize	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Others gexgcd	O(n^1)	39.102	O(n^1)	6.275
Frederiksen Others gexgcd2	O(n^1)	3.396	O(n^1)	3.271
Frederiksen Others graphcolour1 typed	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Oth...graphcolour2Size typed	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Others graphcolour2 typed	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Others graphcolour3 typed	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Others inssort	O(n^2)	4.357	O(n^2)	3.878
Frederiksen Others inssort better	O(n^2)	4.463	O(n^2)	4.091
Frederiksen Others match	O(n^2)	3.345	O(1)	2.609
Frederiksen Others minsortSize	MAYBE	18.345	TIMEOUT	0.000
Frederiksen Others ocall-safe	O(n^3)	3.717	O(n^1)	2.965
Frederiksen Others ocall-unsafe	O(n^1)	3.409	O(n^2)	2.903
Frederiksen Others oddeven	O(n^2)	3.110	O(n^2)	2.949
Frederiksen Others permut	O(n^2)	3.036	O(n^1)	2.908
Frederiksen Others power	MAYBE	20.546	TIMEOUT	0.000
Frederiksen Others quicksortPtime	O(n^2)	20.331	TIMEOUT	0.000
Frederiksen Others quicksortSize	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Others reach	TIMEOUT	0.000	O(n^1)	35.859
Frederiksen Others rematch	TIMEOUT	0.000	TIMEOUT	0.000
Frederiksen Others strmatch	O(n^2)	6.888	O(n^2)	4.575
Frederiksen Others thetrickSize	O(n^1)	5.733	O(n^1)	4.610
GTSSK07 cade01	MAYBE	4.522	TIMEOUT	0.000
GTSSK07 cade03	MAYBE	5.089	TIMEOUT	0.000
GTSSK07 cade04t	MAYBE	5.218	TIMEOUT	0.000
GTSSK07 cade05t	TIMEOUT	0.000	TIMEOUT	0.000
GTSSK07 cade06	TIMEOUT	0.000	TIMEOUT	0.000
GTSSK07 cade07	TIMEOUT	0.000	TIMEOUT	0.000
GTSSK07 cade08	TIMEOUT	0.000	TIMEOUT	0.000
GTSSK07 cade09	TIMEOUT	0.000	TIMEOUT	0.000
GTSSK07 cade10	TIMEOUT	0.000	TIMEOUT	0.000
GTSSK07 cade11	MAYBE	5.209	TIMEOUT	0.000
GTSSK07 cade12t	TIMEOUT	0.000	TIMEOUT	0.000
GTSSK07 cade13t	MAYBE	32.598	TIMEOUT	0.000
GTSSK07 cade14	MAYBE	13.684	TIMEOUT	0.000
GTSSK07 cade15	TIMEOUT	0.000	TIMEOUT	0.000
GTSSK07 cade16	TIMEOUT	0.000	TIMEOUT	0.000
GTSSK07 cade17	TIMEOUT	0.000	TIMEOUT	0.000
HirokawaMiddeldorp 04 n002	MAYBE	2.950	MAYBE	3.038
HirokawaMiddeldorp 04 n003	MAYBE	2.900	MAYBE	3.164
HirokawaMiddeldorp 04 n004	MAYBE	2.966	MAYBE	3.156
HirokawaMiddeldorp 04 n005	MAYBE	3.183	TIMEOUT	0.000
HirokawaMiddeldorp 04 n006	MAYBE	2.928	MAYBE	45.863
HirokawaMiddeldorp 04 n007	MAYBE	3.049	MAYBE	3.183
HirokawaMiddeldorp 04 t001	TIMEOUT	0.000	TIMEOUT	0.000
HirokawaMiddeldorp 04 t002	TIMEOUT	0.000	O(n^2)	6.274
HirokawaMiddeldorp 04 t003	TIMEOUT	0.000	TIMEOUT	0.000
HirokawaMiddeldorp 04 t004	TIMEOUT	0.000	TIMEOUT	0.000
HirokawaMiddeldorp 04 t009	TIMEOUT	0.000	TIMEOUT	0.000
HirokawaMiddeldorp 04 t011	O(n^1)	3.131	O(n^1)	3.012
HirokawaMiddeldorp 04 t012	TIMEOUT	0.000	TIMEOUT	0.000
HirokawaMiddeldorp 04 t013	TIMEOUT	0.000	TIMEOUT	0.000
HirokawaMiddeldorp 04 t014	O(n^2)	12.935	O(n^2)	3.680
Mixed TRS Ex1 Luc04b GM	MAYBE	9.543	TIMEOUT	0.000
Mixed TRS fossacs	TIMEOUT	0.000	TIMEOUT	0.000
Mixed TRS gcd	TIMEOUT	0.000	TIMEOUT	0.000
Mixed TRS gcdMinMax	TIMEOUT	0.000	TIMEOUT	0.000
Mixed TRS gcd triple	TIMEOUT	0.000	TIMEOUT	0.000
Mixed TRS hydra	O(n^1)	3.121	O(n^1)	2.969
Mixed TRS hydra-Zantema06	TIMEOUT	0.000	O(n^1)	8.984
Mixed TRS jones1	O(n^1)	2.924	O(n^1)	2.940
Mixed TRS jones2	O(n^1)	3.056	O(n^1)	2.954
Mixed TRS jones4	O(n^1)	3.071	O(n^1)	2.995
Mixed TRS jones5	MAYBE	3.437	TIMEOUT	0.000
Mixed TRS jones6	O(n^1)	3.103	O(n^1)	3.397
Mixed TRS minsort	TIMEOUT	0.000	TIMEOUT	0.000
Mixed TRS perfect	MAYBE	4.119	O(n^1)	3.215
Mixed TRS perfect2	TIMEOUT	0.000	TIMEOUT	0.000
Mixed TRS test1	MAYBE	3.296	MAYBE	18.750
Mixed TRS while	MAYBE	6.524	TIMEOUT	0.000
Rubio 04 bintrees	O(n^2)	3.887	O(n^2)	3.612
Rubio 04 bn122	O(n^2)	3.606	O(n^2)	3.542
Rubio 04 division	O(n^3)	8.502	O(n^3)	7.137
Rubio 04 elimdupl	O(n^2)	5.616	O(n^2)	4.412
Rubio 04 enno	O(n^2)	19.340	O(n^2)	10.475
Rubio 04 gcd	O(n^2)	6.154	O(n^2)	4.246
Rubio 04 gm	O(n^2)	4.070	O(n^2)	3.390
Rubio 04 gmnp	O(n^1)	3.350	O(n^1)	3.006
Rubio 04 koen	O(n^1)	2.914	O(1)	2.572
Rubio 04 logarquot	O(n^2)	5.585	O(n^2)	5.038
Rubio 04 ma96	TIMEOUT	0.000	TIMEOUT	0.000
Rubio 04 mfp95	O(n^2)	2.906	O(1)	2.645
Rubio 04 nestrec	MAYBE	6.323	TIMEOUT	0.000
Rubio 04 p266	O(n^1)	3.426	O(1)	2.616
Rubio 04 polo2	O(n^1)	3.741	O(n^3)	3.182
Rubio 04 prov	O(n^1)	3.417	O(n^1)	3.452
Rubio 04 quick	TIMEOUT	0.000	TIMEOUT	0.000
Rubio 04 quotminus	TIMEOUT	0.000	TIMEOUT	0.000
Rubio 04 revlist	TIMEOUT	0.000	TIMEOUT	0.000
Rubio 04 selsort	TIMEOUT	0.000	TIMEOUT	0.000
Rubio 04 test4	O(n^2)	6.821	O(n^1)	3.599
Rubio 04 test829	O(n^1)	3.068	O(n^1)	3.068
Rubio 04 wst99	O(n^2)	7.432	O(n^2)	4.865
SK90 2.02	MAYBE	7.286	MAYBE	17.162
SK90 2.03	O(n^3)	2.929	O(n^1)	2.972
SK90 2.07	O(n^1)	4.625	O(n^1)	3.208
SK90 2.09	O(n^1)	2.984	O(n^1)	3.022
SK90 2.11	O(n^1)	2.947	O(n^1)	3.132
SK90 2.12	O(n^3)	5.854	O(n^3)	5.360
SK90 2.13	O(n^1)	3.157	O(n^1)	3.023
SK90 2.14	O(n^1)	3.743	O(n^1)	3.312
SK90 2.15	MAYBE	3.582	MAYBE	11.941
SK90 2.16	O(n^2)	3.946	O(n^2)	3.471
SK90 2.17	O(n^1)	2.883	O(n^3)	2.985
SK90 2.18	O(n^2)	3.655	O(n^2)	3.415
SK90 2.19	O(n^2)	4.257	O(n^2)	3.979
SK90 2.20	O(n^3)	3.198	O(n^1)	2.959
SK90 2.21	MAYBE	3.146	MAYBE	15.120
SK90 2.22	O(n^2)	3.634	O(n^2)	3.819
SK90 2.23	MAYBE	6.868	TIMEOUT	0.000
SK90 2.24	MAYBE	3.314	MAYBE	25.067
SK90 2.25	MAYBE	7.653	TIMEOUT	0.000
SK90 2.26	TIMEOUT	0.000	TIMEOUT	0.000
SK90 2.27	TIMEOUT	0.000	TIMEOUT	0.000
SK90 2.28	MAYBE	3.846	TIMEOUT	0.000
SK90 2.29	O(n^1)	3.577	O(n^1)	2.791
SK90 2.30	O(1)	2.838	O(1)	2.589
SK90 2.31	O(n^1)	3.728	O(n^3)	3.063
SK90 2.36	O(n^1)	3.076	O(n^1)	3.118
SK90 2.37	O(n^1)	2.940	O(n^1)	3.065
SK90 2.38	O(n^1)	3.517	O(n^1)	3.080
SK90 2.39	O(n^2)	3.707	O(n^2)	3.599
SK90 2.40	O(n^1)	4.057	O(n^1)	3.406
SK90 2.41	O(n^1)	2.966	O(n^1)	3.317
SK90 2.42	O(n^2)	6.517	O(n^1)	4.084
SK90 2.43	MAYBE	38.814	MAYBE	11.697
SK90 2.44	O(n^1)	3.830	O(n^1)	3.158
SK90 2.45	O(n^1)	3.427	O(n^1)	3.035
SK90 2.47	O(n^1)	2.853	O(n^1)	2.935
SK90 2.48	O(n^3)	2.905	O(1)	2.594
SK90 2.49	O(n^1)	3.660	O(1)	2.612
SK90 2.50	O(n^1)	2.831	O(n^1)	2.969
SK90 2.51	MAYBE	6.644	TIMEOUT	0.000
SK90 2.52	TIMEOUT	0.000	TIMEOUT	0.000
SK90 2.53	O(n^1)	3.034	O(n^1)	3.120
SK90 2.54	O(n^1)	2.979	O(n^1)	2.990
SK90 2.55	O(n^1)	2.968	O(n^1)	2.969
SK90 2.59	O(n^1)	2.884	O(n^1)	2.945
SK90 2.61	O(n^2)	6.893	O(n^2)	4.939
SK90 4.05	O(n^3)	3.076	O(n^2)	2.998
SK90 4.06	MAYBE	4.694	TIMEOUT	0.000
SK90 4.07	O(n^1)	3.474	O(1)	2.612
SK90 4.09	O(n^2)	5.892	O(1)	2.642
SK90 4.10	O(n^3)	2.993	O(n^2)	3.216
SK90 4.12	O(n^1)	3.254	O(n^1)	3.058
SK90 4.13	MAYBE	4.887	O(n^1)	3.205
SK90 4.16	O(n^1)	3.250	O(n^1)	3.052
SK90 4.17	TIMEOUT	0.000	TIMEOUT	0.000
SK90 4.18	O(n^2)	3.299	O(1)	2.673
SK90 4.22	MAYBE	6.392	TIMEOUT	0.000
SK90 4.24	TIMEOUT	0.000	TIMEOUT	0.000
SK90 4.25	O(n^2)	3.216	O(n^1)	2.976
SK90 4.26	O(n^2)	5.517	O(n^2)	3.488
SK90 4.27	TIMEOUT	0.000	TIMEOUT	0.000
SK90 4.28	O(n^1)	3.943	O(n^2)	3.601
SK90 4.29	O(n^1)	3.101	O(n^1)	2.923
SK90 4.30	O(n^2)	4.920	O(n^1)	47.661
SK90 4.31	MAYBE	4.479	MAYBE	6.673
SK90 4.34	MAYBE	6.335	TIMEOUT	0.000
SK90 4.35	O(n^2)	2.870	O(1)	2.700
SK90 4.38	O(n^1)	3.239	O(n^1)	3.260
SK90 4.42	MAYBE	9.774	TIMEOUT	0.000
SK90 4.43	MAYBE	12.337	MAYBE	48.617
SK90 4.45	O(n^1)	2.869	O(n^1)	2.938
SK90 4.47	O(n^1)	3.256	O(1)	2.583
SK90 4.48	O(n^1)	3.195	O(1)	2.632
SK90 4.51	O(n^2)	3.458	O(n^1)	3.017
SK90 4.53	O(n^1)	3.809	O(n^1)	2.987
SK90 4.54	MAYBE	4.389	TIMEOUT	0.000
SK90 4.57	O(n^1)	4.120	O(1)	2.740
SK90 4.59	MAYBE	4.996	MAYBE	14.538
SK90 4.60	TIMEOUT	0.000	TIMEOUT	0.000
SK90 4.61	TIMEOUT	0.000	TIMEOUT	0.000
Secret 05 TRS aprove2	MAYBE	13.576	O(n^2)	57.547
Secret 05 TRS aprove3	TIMEOUT	0.000	TIMEOUT	0.000
Secret 05 TRS aprove4	MAYBE	6.751	O(n^2)	10.002
Secret 05 TRS aprove5	TIMEOUT	0.000	TIMEOUT	0.000
Secret 05 TRS cime2	MAYBE	12.803	O(n^1)	3.574
Secret 05 TRS cime3	TIMEOUT	0.000	TIMEOUT	0.000
Secret 05 TRS cime4	MAYBE	4.234	O(1)	2.572
Secret 05 TRS cime5	TIMEOUT	0.000	TIMEOUT	0.000
Secret 05 TRS tpa1	TIMEOUT	0.000	TIMEOUT	0.000
Secret 05 TRS tpa2	TIMEOUT	0.000	TIMEOUT	0.000
Secret 05 TRS tpa3	TIMEOUT	0.000	TIMEOUT	0.000
Secret 05 TRS tpa4	TIMEOUT	0.000	TIMEOUT	0.000
Secret 05 TRS tpa5	TIMEOUT	0.000	TIMEOUT	0.000
Secret 05 TRS ttt1	MAYBE	20.288	O(1)	2.578
Secret 05 TRS ttt2	MAYBE	4.593	MAYBE	3.725
Secret 06 TRS 10	O(n^3)	46.869	O(n^1)	3.125
Secret 06 TRS 4	MAYBE	11.427	O(n^1)	15.033
Secret 06 TRS 6	MAYBE	15.748	O(1)	2.676
Secret 06 TRS addList	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS divExp	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS division	MAYBE	34.815	TIMEOUT	0.000
Secret 06 TRS double	MAYBE	15.402	TIMEOUT	0.000
Secret 06 TRS gen-1	MAYBE	4.065	O(1)	2.603
Secret 06 TRS gen-17	O(n^2)	13.729	O(1)	2.619
Secret 06 TRS gen-28	TIMEOUT	0.000	O(1)	20.777
Secret 06 TRS logarithm	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS nrOfNodes	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS reverse	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS sumList	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS times	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS toList	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS tpa04	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS tpa05	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS tpa06	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS tpa07	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS tpa08	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS tpa09	TIMEOUT	0.000	TIMEOUT	0.000
Secret 06 TRS tpa10	TIMEOUT	0.000	TIMEOUT	0.000
Secret 07 TRS 3	TIMEOUT	0.000	O(n^2)	3.962
Secret 07 TRS aprove01	TIMEOUT	0.000	TIMEOUT	0.000
Secret 07 TRS aprove02	MAYBE	43.387	TIMEOUT	0.000
Secret 07 TRS aprove03	TIMEOUT	0.000	TIMEOUT	0.000
Secret 07 TRS aprove04	TIMEOUT	0.000	TIMEOUT	0.000
Secret 07 TRS aprove05	MAYBE	27.884	TIMEOUT	0.000
Secret 07 TRS aprove06	TIMEOUT	0.000	TIMEOUT	0.000
Secret 07 TRS aprove07	MAYBE	33.182	TIMEOUT	0.000
Secret 07 TRS aprove08	TIMEOUT	0.000	TIMEOUT	0.000
Secret 07 TRS aprove09	MAYBE	74.182	TIMEOUT	0.000
Secret 07 TRS aprove10	TIMEOUT	0.000	TIMEOUT	0.000
Secret 07 TRS secret1	MAYBE	38.901	TIMEOUT	0.000
Secret 07 TRS secret3	MAYBE	25.350	TIMEOUT	0.000
Secret 07 TRS secret4	TIMEOUT	0.000	TIMEOUT	0.000
Secret 07 TRS secret5	TIMEOUT	0.000	O(n^1)	3.718
Strategy removed AG01 4.14	MAYBE	3.550	O(n^3)	2.991
Strategy removed AG01 4.16	MAYBE	3.611	O(n^1)	3.062
Strategy removed AG01 4.17	O(n^1)	47.684	O(n^3)	3.074
Strategy removed AG01 4.19	MAYBE	9.865	O(n^1)	38.479
Strategy removed AG01 4.2	MAYBE	3.543	O(n^1)	2.918
Strategy removed AG01 4.20a	O(n^2)	4.523	O(n^2)	4.189
Strategy removed AG01 4.22	MAYBE	3.623	O(n^1)	3.110
Strategy removed AG01 4.23	TIMEOUT	0.000	TIMEOUT	0.000
Strategy removed AG01 4.25	MAYBE	3.271	O(1)	2.877
Strategy removed AG01 4.26	MAYBE	5.160	O(n^2)	10.366
Strategy removed AG01 4.27	TIMEOUT	0.000	O(n^2)	3.582
Strategy removed AG01 4.28	O(n^3)	11.712	O(n^2)	3.858
Strategy removed AG01 4.29	TIMEOUT	0.000	TIMEOUT	0.000
Strategy removed AG01 4.30	MAYBE	41.432	O(n^2)	12.816
Strategy removed AG01 4.30a	MAYBE	45.740	O(n^2)	6.500
Strategy removed AG01 4.30b	TIMEOUT	0.000	O(n^2)	16.033
Strategy removed AG01 4.30c	MAYBE	54.931	O(n^2)	23.393
Strategy removed AG01 4.32	O(n^2)	4.941	O(n^1)	5.303
Strategy removed AG01 4.33	TIMEOUT	0.000	TIMEOUT	0.000
Strategy removed AG01 4.34	O(n^2)	11.885	O(n^2)	63.409
Strategy removed AG01 4.35	TIMEOUT	0.000	TIMEOUT	0.000
Strategy removed AG01 4.36	TIMEOUT	0.000	TIMEOUT	0.000
Strategy removed AG01 4.37	O(n^1)	3.229	O(n^1)	3.333
Strategy removed AG01 4.37a	O(n^2)	4.138	O(n^1)	3.275
Strategy removed AG01 4.7	O(n^1)	2.962	O(1)	2.801
Strategy removed CSR 05 Ex14 AEGL02	MAYBE	3.665	TIMEOUT	0.000
Strategy removed CSR 05 Ex15 Luc98	MAYBE	3.634	TIMEOUT	0.000
Strategy removed CSR 05 Ex1 2 AEL03	MAYBE	5.505	TIMEOUT	0.000
Strategy removed CSR 05 Ex1 2 Luc02c	MAYBE	3.205	MAYBE	43.047
Strategy removed CSR 05 Ex1 GL02a	MAYBE	3.575	TIMEOUT	0.000
Strategy removed CSR 05 Ex1 GM03	TIMEOUT	0.000	MAYBE	4.417
Strategy removed CSR 05 Ex1 Luc02b	MAYBE	3.383	TIMEOUT	0.000
Strategy removed CSR 05 Ex1 Zan97	MAYBE	3.408	MAYBE	4.417
Strategy removed CSR 05 Ex26 Luc03b	MAYBE	36.949	TIMEOUT	0.000
Strategy removed CSR 05 Ex2 Luc03b	MAYBE	3.329	TIMEOUT	0.000
Strategy removed CSR 05 Ex3 12 Luc96a	MAYBE	3.329	TIMEOUT	0.000
Strategy removed CSR 05 Ex3 2 Luc97	MAYBE	3.848	TIMEOUT	0.000
Strategy removed CSR 05 Ex3 3 25 Bor03	TIMEOUT	0.000	TIMEOUT	0.000
Strategy removed CSR 05 Ex49 GM04	O(n^1)	5.999	O(n^1)	3.534
Strategy removed CSR 05 Ex4 4 Luc96b	MAYBE	4.816	TIMEOUT	0.000
Strategy removed CSR 05 Ex4 7 15 Bor03	TIMEOUT	0.000	MAYBE	75.314
Strategy removed CSR 05 Ex4 7 37 Bor03	MAYBE	4.876	TIMEOUT	0.000
Strategy removed CSR 05 Ex4 7 56 Bor03	MAYBE	3.605	TIMEOUT	0.000
Strategy removed CSR 05 Ex4 7 77 Bor03	MAYBE	3.112	MAYBE	3.088
Strategy removed CSR 05 Ex4 Zan97	MAYBE	4.183	MAYBE	9.949
Strategy removed CSR 05 Ex5 7 Luc97	MAYBE	4.773	TIMEOUT	0.000
Strategy removed CSR 05 Ex5 Zan97	MAYBE	3.726	MAYBE	3.226
Strategy removed CSR 05 Ex6 15 AEL02	MAYBE	6.817	TIMEOUT	0.000
Strategy removed CSR 05 Ex6 9 Luc02c	MAYBE	3.274	MAYBE	43.668
Strategy removed CSR 05 Ex6 GM04	MAYBE	4.022	MAYBE	2.936
Strategy removed CSR 05 Ex6 Luc98	MAYBE	3.219	TIMEOUT	0.000
Strategy removed CSR 05 Ex7 BLR02	MAYBE	3.592	TIMEOUT	0.000
Strategy removed CSR 05 Ex8 BLR02	MAYBE	20.861	TIMEOUT	0.000
Strategy removed CSR 05 Ex9 BLR02	MAYBE	11.787	TIMEOUT	0.000
Strategy remove...R 05 ExAppendixB AEL03	MAYBE	10.254	TIMEOUT	0.000
Strategy removed CSR 05 ExConc Zan97	MAYBE	2.853	MAYBE	2.989
Strategy removed CSR 05 ExIntrod GM01	MAYBE	8.049	TIMEOUT	0.000
Strategy removed CSR 05 ExIntrod GM04	MAYBE	5.601	TIMEOUT	0.000
Strategy removed CSR 05 ExIntrod GM99	TIMEOUT	0.000	TIMEOUT	0.000
Strategy removed CSR 05 ExIntrod Zan97	TIMEOUT	0.000	TIMEOUT	0.000
Strategy remove...ed 05 ExSec11 1 Luc02a	TIMEOUT	0.000	TIMEOUT	0.000
Strategy removed mixed 05 ex1	MAYBE	3.494	MAYBE	3.042
Strategy removed mixed 05 ex2	MAYBE	3.966	MAYBE	43.931
Strategy removed mixed 05 ex3	MAYBE	3.750	MAYBE	3.069
Strategy removed mixed 05 ex4	MAYBE	3.702	MAYBE	3.286
Strategy removed mixed 05 ex5	MAYBE	3.209	MAYBE	3.023
Strategy removed mixed 05 ex6	MAYBE	4.899	TIMEOUT	0.000
Strategy removed mixed 05 muladd	TIMEOUT	0.000	MAYBE	22.001
Strategy removed mixed 05 test10	MAYBE	4.380	O(n^1)	3.436
Strategy removed mixed 05 test76	MAYBE	4.460	O(n^1)	4.153
Strategy removed mixed 05 test77	MAYBE	6.034	O(n^1)	4.577
Strategy removed mixed 05 test830	O(n^1)	3.799	O(n^1)	3.984
Strategy removed mixed 05 tricky1	O(n^2)	9.391	O(1)	2.719
TCT 12 polycounter-10	MAYBE	13.113	TIMEOUT	0.000
TCT 12 polycounter-5	MAYBE	4.619	TIMEOUT	0.000
TCT 12 recursion-10	MAYBE	5.312	TIMEOUT	0.000
TCT 12 recursion-5	MAYBE	5.722	TIMEOUT	0.000
TCT 12 sat	O(n^2)	17.040	O(n^3)	6.971
Transformed CSR 04 Ex14 AEGL02 C	TIMEOUT	0.000	O(n^3)	67.312
Transformed CSR 04 Ex14 AEGL02 FR	MAYBE	39.846	TIMEOUT	0.000
Transformed CSR 04 Ex14 AEGL02 GM	MAYBE	9.184	TIMEOUT	0.000
Transformed CSR 04 Ex14 AEGL02 L	MAYBE	3.475	MAYBE	3.147
Transformed CSR 04 Ex14 AEGL02 Z	MAYBE	9.052	TIMEOUT	0.000
Transformed CSR 04 Ex14 Luc06 C	TIMEOUT	0.000	O(n^3)	56.586
Transformed CSR 04 Ex14 Luc06 GM	MAYBE	18.508	TIMEOUT	0.000
Transformed CSR 04 Ex15 Luc06 C	O(n^1)	47.632	O(n^1)	35.149
Transformed CSR 04 Ex15 Luc06 FR	O(n^2)	4.862	O(n^1)	2.963
Transformed CSR 04 Ex15 Luc06 GM	O(n^2)	3.674	O(n^1)	2.969
Transformed CSR 04 Ex15 Luc06 L	MAYBE	2.861	MAYBE	2.950
Transformed CSR 04 Ex15 Luc06 Z	O(n^1)	3.204	O(1)	2.578
Transformed CSR 04 Ex15 Luc98 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex15 Luc98 FR	MAYBE	8.154	TIMEOUT	0.000
Transformed CSR 04 Ex15 Luc98 GM	O(n^1)	9.199	O(n^1)	5.130
Transformed CSR 04 Ex15 Luc98 L	missing	-	missing	-
Transformed CSR 04 Ex15 Luc98 Z	MAYBE	5.046	TIMEOUT	0.000
Transformed CSR 04 Ex16 Luc06 C	TIMEOUT	0.000	O(n^1)	25.473
Transformed CSR 04 Ex16 Luc06 GM	MAYBE	4.815	O(n^1)	3.172
Transformed CSR 04 Ex16 Luc06 L	MAYBE	3.461	MAYBE	3.388
Transformed CSR 04 Ex18 Luc06 C	O(n^1)	47.724	O(n^1)	38.213
Transformed CSR 04 Ex18 Luc06 FR	O(n^3)	4.295	O(n^1)	3.169
Transformed CSR 04 Ex18 Luc06 GM	O(n^2)	4.397	O(n^1)	3.169
Transformed CSR 04 Ex18 Luc06 Z	O(n^1)	3.118	O(1)	2.769
Transformed CSR 04 Ex1 2 AEL03 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex1 2 AEL03 FR	O(n^2)	8.149	O(n^1)	3.000
Transformed CSR 04 Ex1 2 AEL03 GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex1 2 AEL03 L	missing	-	missing	-
Transformed CSR 04 Ex1 2 AEL03 Z	O(n^2)	6.544	O(n^2)	3.471
Transformed CSR 04 Ex1 2 Luc02c C	TIMEOUT	0.000	O(n^3)	65.497
Transformed CSR 04 Ex1 2 Luc02c FR	O(n^1)	3.152	O(n^1)	3.042
Transformed CSR 04 Ex1 2 Luc02c GM	MAYBE	4.896	TIMEOUT	0.000
Transformed CSR 04 Ex1 2 Luc02c L	missing	-	missing	-
Transformed CSR 04 Ex1 2 Luc02c Z	O(n^1)	3.194	O(1)	2.652
Transformed CSR 04 Ex1 GL02a C	TIMEOUT	0.000	O(n^2)	65.272
Transformed CSR 04 Ex1 GL02a FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex1 GL02a GM	O(n^1)	6.649	O(n^1)	3.428
Transformed CSR 04 Ex1 GL02a L	MAYBE	3.216	MAYBE	2.998
Transformed CSR 04 Ex1 GL02a Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex1 GM03 C	TIMEOUT	0.000	O(n^1)	74.737
Transformed CSR 04 Ex1 GM03 FR	O(n^3)	7.079	O(n^1)	3.460
Transformed CSR 04 Ex1 GM03 GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex1 GM03 L	missing	-	missing	-
Transformed CSR 04 Ex1 GM03 Z	MAYBE	7.453	TIMEOUT	0.000
Transformed CSR 04 Ex1 GM99 C	TIMEOUT	0.000	O(n^1)	31.617
Transformed CSR 04 Ex1 GM99 GM	MAYBE	6.908	TIMEOUT	0.000
Transformed CSR 04 Ex1 GM99 L	MAYBE	3.018	MAYBE	3.011
Transformed CSR 04 Ex1 Luc02b C	TIMEOUT	0.000	O(n^2)	71.263
Transformed CSR 04 Ex1 Luc02b FR	MAYBE	6.049	O(n^1)	3.276
Transformed CSR 04 Ex1 Luc02b GM	MAYBE	10.198	TIMEOUT	0.000
Transformed CSR 04 Ex1 Luc02b L	missing	-	missing	-
Transformed CSR 04 Ex1 Luc02b Z	O(n^2)	4.099	O(n^2)	3.484
Transformed CSR 04 Ex1 Luc04b C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex1 Luc04b FR	MAYBE	5.554	TIMEOUT	0.000
Transformed CSR 04 Ex1 Luc04b GM	MAYBE	10.835	TIMEOUT	0.000
Transformed CSR 04 Ex1 Luc04b L	missing	-	missing	-
Transformed CSR 04 Ex1 Luc04b Z	MAYBE	36.514	MAYBE	55.355
Transformed CSR 04 Ex1 Zan97 C	O(n^1)	47.533	O(n^1)	23.362
Transformed CSR 04 Ex1 Zan97 FR	MAYBE	12.668	MAYBE	5.119
Transformed CSR 04 Ex1 Zan97 GM	O(n^3)	3.362	O(n^1)	2.935
Transformed CSR 04 Ex1 Zan97 L	MAYBE	3.214	MAYBE	3.321
Transformed CSR 04 Ex23 Luc06 C	O(n^1)	54.944	O(n^1)	47.572
Transformed CSR 04 Ex23 Luc06 FR	O(n^3)	3.974	O(n^3)	2.965
Transformed CSR 04 Ex23 Luc06 GM	O(n^1)	3.575	O(n^1)	3.121
Transformed CSR 04 Ex23 Luc06 Z	O(n^1)	2.976	O(1)	2.608
Transformed CSR 04 Ex24 GM04 C	TIMEOUT	0.000	O(n^3)	37.120
Transformed CSR 04 Ex24 GM04 FR	MAYBE	4.402	TIMEOUT	0.000
Transformed CSR 04 Ex24 GM04 GM	MAYBE	4.543	O(n^1)	2.941
Transformed CSR 04 Ex24 GM04 L	MAYBE	3.285	MAYBE	2.957
Transformed CSR 04 Ex24 GM04 Z	MAYBE	4.231	TIMEOUT	0.000
Transformed CSR 04 Ex24 Luc06 C	TIMEOUT	0.000	O(n^3)	31.465
Transformed CSR 04 Ex24 Luc06 GM	MAYBE	21.000	O(n^1)	3.011
Transformed CSR 04 Ex24 Luc06 L	MAYBE	3.166	MAYBE	3.133
Transformed CSR 04 Ex25 Luc06 C	O(n^1)	47.516	O(n^1)	47.563
Transformed CSR 04 Ex25 Luc06 FR	O(n^2)	5.207	O(n^1)	2.965
Transformed CSR 04 Ex25 Luc06 GM	O(n^1)	3.822	O(n^2)	3.233
Transformed CSR 04 Ex25 Luc06 Z	O(n^1)	3.966	O(1)	2.648
Transformed CSR 04 Ex26 Luc03b C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex26 Luc03b FR	MAYBE	10.433	O(n^3)	3.075
Transformed CSR 04 Ex26 Luc03b GM	MAYBE	31.926	TIMEOUT	0.000
Transformed CSR 04 Ex26 Luc03b L	O(n^1)	3.079	O(1)	2.617
Transformed CSR 04 Ex26 Luc03b Z	MAYBE	4.745	O(1)	2.662
Transformed CSR 04 Ex2 Luc02a C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex2 Luc02a FR	MAYBE	79.091	O(n^3)	2.995
Transformed CSR 04 Ex2 Luc02a GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex2 Luc02a L	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex2 Luc02a Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex2 Luc03b C	TIMEOUT	0.000	O(n^1)	75.188
Transformed CSR 04 Ex2 Luc03b FR	MAYBE	8.517	TIMEOUT	0.000
Transformed CSR 04 Ex2 Luc03b GM	MAYBE	20.297	TIMEOUT	0.000
Transformed CSR 04 Ex2 Luc03b L	O(n^1)	3.086	O(1)	2.581
Transformed CSR 04 Ex2 Luc03b Z	O(n^2)	3.532	O(n^2)	3.570
Transformed CSR 04 Ex3 12 Luc96a C	TIMEOUT	0.000	O(n^2)	61.543
Transformed CSR 04 Ex3 12 Luc96a FR	O(n^1)	4.108	O(n^3)	3.256
Transformed CSR 04 Ex3 12 Luc96a GM	MAYBE	8.260	TIMEOUT	0.000
Transformed CSR 04 Ex3 12 Luc96a L	missing	-	missing	-
Transformed CSR 04 Ex3 12 Luc96a Z	O(n^1)	3.226	O(n^1)	3.015
Transformed CSR 04 Ex3 2 Luc97 C	TIMEOUT	0.000	O(n^1)	78.467
Transformed CSR 04 Ex3 2 Luc97 FR	MAYBE	8.825	TIMEOUT	0.000
Transformed CSR 04 Ex3 2 Luc97 GM	MAYBE	11.533	TIMEOUT	0.000
Transformed CSR 04 Ex3 2 Luc97 L	missing	-	missing	-
Transformed CSR 04 Ex3 2 Luc97 Z	MAYBE	4.374	TIMEOUT	0.000
Transformed CSR 04 Ex3 3 25 Bor03 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex3 3 25 Bor03 FR	MAYBE	9.250	TIMEOUT	0.000
Transformed CSR 04 Ex3 3 25 Bor03 GM	MAYBE	62.939	TIMEOUT	0.000
Transformed CSR 04 Ex3 3 25 Bor03 L	O(n^1)	2.970	O(1)	2.594
Transformed CSR 04 Ex3 3 25 Bor03 Z	MAYBE	4.702	TIMEOUT	0.000
Transformed CSR 04 Ex49 GM04 C	TIMEOUT	0.000	O(n^1)	67.467
Transformed CSR 04 Ex49 GM04 FR	MAYBE	11.427	TIMEOUT	0.000
Transformed CSR 04 Ex49 GM04 GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex49 GM04 L	missing	-	missing	-
Transformed CSR 04 Ex49 GM04 Z	O(n^1)	4.950	O(n^1)	3.154
Transformed CSR 04 Ex4 4 Luc96b C	TIMEOUT	0.000	O(n^2)	60.325
Transformed CSR 04 Ex4 4 Luc96b FR	MAYBE	4.516	O(n^2)	3.177
Transformed CSR 04 Ex4 4 Luc96b GM	MAYBE	9.640	TIMEOUT	0.000
Transformed CSR 04 Ex4 4 Luc96b L	O(n^1)	2.905	O(n^1)	2.923
Transformed CSR 04 Ex4 4 Luc96b Z	MAYBE	5.239	TIMEOUT	0.000
Transformed CSR 04 Ex4 7 15 Bor03 C	O(n^1)	47.606	O(n^1)	47.804
Transformed CSR 04 Ex4 7 15 Bor03 FR	O(n^3)	5.050	O(n^1)	3.184
Transformed CSR 04 Ex4 7 15 Bor03 GM	O(n^2)	10.790	O(n^1)	7.087
Transformed CSR 04 Ex4 7 15 Bor03 L	O(n^1)	3.446	O(n^1)	3.072
Transformed CSR 04 Ex4 7 15 Bor03 Z	O(n^1)	3.531	O(n^1)	3.238
Transformed CSR 04 Ex4 7 37 Bor03 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex4 7 37 Bor03 FR	MAYBE	8.733	TIMEOUT	0.000
Transformed CSR 04 Ex4 7 37 Bor03 GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex4 7 37 Bor03 L	missing	-	missing	-
Transformed CSR 04 Ex4 7 37 Bor03 Z	MAYBE	36.236	TIMEOUT	0.000
Transformed CSR 04 Ex4 7 56 Bor03 C	TIMEOUT	0.000	O(n^3)	61.240
Transformed CSR 04 Ex4 7 56 Bor03 FR	O(n^1)	4.136	O(n^3)	2.975
Transformed CSR 04 Ex4 7 56 Bor03 GM	MAYBE	7.410	TIMEOUT	0.000
Transformed CSR 04 Ex4 7 56 Bor03 L	missing	-	missing	-
Transformed CSR 04 Ex4 7 56 Bor03 Z	O(n^1)	3.067	O(n^1)	3.048
Transformed CSR 04 Ex4 7 77 Bor03 C	O(n^1)	48.068	O(n^1)	48.836
Transformed CSR 04 Ex4 7 77 Bor03 FR	O(n^1)	2.860	O(1)	2.604
Transformed CSR 04 Ex4 7 77 Bor03 GM	MAYBE	4.276	O(n^1)	47.665
Transformed CSR 04 Ex4 7 77 Bor03 L	missing	-	missing	-
Transformed CSR 04 Ex4 DLMMU04 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex4 DLMMU04 FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex4 DLMMU04 GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex4 DLMMU04 L	missing	-	missing	-
Transformed CSR 04 Ex4 DLMMU04 Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex4 Zan97 C	TIMEOUT	0.000	O(n^3)	76.706
Transformed CSR 04 Ex4 Zan97 FR	MAYBE	5.988	TIMEOUT	0.000
Transformed CSR 04 Ex4 Zan97 GM	MAYBE	12.335	TIMEOUT	0.000
Transformed CSR 04 Ex4 Zan97 L	missing	-	missing	-
Transformed CSR 04 Ex4 Zan97 Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex5 7 Luc97 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex5 7 Luc97 FR	MAYBE	11.602	TIMEOUT	0.000
Transformed CSR 04 Ex5 7 Luc97 GM	MAYBE	26.556	TIMEOUT	0.000
Transformed CSR 04 Ex5 7 Luc97 L	missing	-	missing	-
Transformed CSR 04 Ex5 7 Luc97 Z	MAYBE	5.865	TIMEOUT	0.000
Transformed CSR 04 Ex5 DLMMU04 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex5 DLMMU04 FR	MAYBE	32.170	O(n^1)	3.702
Transformed CSR 04 Ex5 DLMMU04 GM	MAYBE	24.031	TIMEOUT	0.000
Transformed CSR 04 Ex5 DLMMU04 L	missing	-	missing	-
Transformed CSR 04 Ex5 DLMMU04 Z	TIMEOUT	0.000	MAYBE	3.274
Transformed CSR 04 Ex5 Zan97 C	O(n^1)	47.662	O(n^2)	37.023
Transformed CSR 04 Ex5 Zan97 FR	O(n^3)	4.529	O(n^2)	3.137
Transformed CSR 04 Ex5 Zan97 GM	MAYBE	6.315	TIMEOUT	0.000
Transformed CSR 04 Ex5 Zan97 L	missing	-	missing	-
Transformed CSR 04 Ex5 Zan97 Z	O(n^1)	3.237	O(n^1)	3.008
Transformed CSR 04 Ex6 15 AEL02 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex6 15 AEL02 FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex6 15 AEL02 GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex6 15 AEL02 L	missing	-	missing	-
Transformed CSR 04 Ex6 15 AEL02 Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex6 9 Luc02c C	TIMEOUT	0.000	O(n^2)	74.921
Transformed CSR 04 Ex6 9 Luc02c FR	O(n^1)	3.897	O(n^1)	3.207
Transformed CSR 04 Ex6 9 Luc02c GM	MAYBE	13.627	TIMEOUT	0.000
Transformed CSR 04 Ex6 9 Luc02c L	missing	-	missing	-
Transformed CSR 04 Ex6 9 Luc02c Z	O(n^2)	3.404	O(1)	2.624
Transformed CSR 04 Ex6 GM04 C	O(n^1)	47.563	O(n^1)	47.633
Transformed CSR 04 Ex6 GM04 FR	MAYBE	4.026	MAYBE	3.758
Transformed CSR 04 Ex6 GM04 GM	O(n^1)	3.120	O(1)	3.053
Transformed CSR 04 Ex6 Luc98 C	TIMEOUT	0.000	O(n^2)	59.787
Transformed CSR 04 Ex6 Luc98 FR	MAYBE	5.428	O(n^2)	3.196
Transformed CSR 04 Ex6 Luc98 GM	MAYBE	14.588	TIMEOUT	0.000
Transformed CSR 04 Ex6 Luc98 L	O(n^1)	2.894	O(1)	2.577
Transformed CSR 04 Ex6 Luc98 Z	O(n^1)	3.147	O(n^1)	3.155
Transformed CSR 04 Ex7 BLR02 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex7 BLR02 FR	MAYBE	6.363	O(n^2)	3.243
Transformed CSR 04 Ex7 BLR02 GM	MAYBE	19.261	TIMEOUT	0.000
Transformed CSR 04 Ex7 BLR02 L	missing	-	missing	-
Transformed CSR 04 Ex7 BLR02 Z	O(n^3)	4.530	O(n^3)	3.654
Transformed CSR 04 Ex8 BLR02 C	TIMEOUT	0.000	O(n^1)	72.264
Transformed CSR 04 Ex8 BLR02 FR	MAYBE	17.035	TIMEOUT	0.000
Transformed CSR 04 Ex8 BLR02 GM	MAYBE	52.661	TIMEOUT	0.000
Transformed CSR 04 Ex8 BLR02 L	missing	-	missing	-
Transformed CSR 04 Ex8 BLR02 Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex9 BLR02 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex9 BLR02 FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex9 BLR02 GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex9 BLR02 L	O(n^1)	3.740	O(1)	2.616
Transformed CSR 04 Ex9 BLR02 Z	MAYBE	7.562	TIMEOUT	0.000
Transformed CSR 04 Ex9 Luc04 C	TIMEOUT	0.000	O(n^2)	24.654
Transformed CSR 04 Ex9 Luc04 GM	MAYBE	5.491	TIMEOUT	0.000
Transformed CSR 04 Ex9 Luc04 L	MAYBE	3.198	MAYBE	5.330
Transformed CSR 04 Ex9 Luc06 C	TIMEOUT	0.000	O(n^3)	29.363
Transformed CSR 04 Ex9 Luc06 FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 Ex9 Luc06 GM	O(n^1)	3.642	O(n^1)	3.369
Transformed CSR 04 ExAppendixB AEL03 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExAppendixB AEL03 FR	O(n^2)	6.263	O(n^3)	3.073
Transformed CSR 04 ExAppendixB AEL03 GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExAppendixB AEL03 L	missing	-	missing	-
Transformed CSR 04 ExAppendixB AEL03 Z	O(n^2)	40.709	O(n^2)	3.780
Transformed CSR 04 ExConc Zan97 C	O(n^1)	47.532	O(n^1)	47.561
Transformed CSR 04 ExConc Zan97 FR	O(n^1)	3.075	O(n^3)	2.981
Transformed CSR 04 ExConc Zan97 GM	O(n^2)	3.622	O(n^3)	2.951
Transformed CSR 04 ExConc Zan97 Z	MAYBE	3.099	MAYBE	3.038
Transformed CSR 04 ExIntrod GM01 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExIntrod GM01 FR	MAYBE	33.395	TIMEOUT	0.000
Transformed CSR 04 ExIntrod GM01 GM	MAYBE	28.106	TIMEOUT	0.000
Transformed CSR 04 ExIntrod GM01 L	missing	-	missing	-
Transformed CSR 04 ExIntrod GM01 Z	MAYBE	55.985	TIMEOUT	0.000
Transformed CSR 04 ExIntrod GM04 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExIntrod GM04 FR	MAYBE	33.943	TIMEOUT	0.000
Transformed CSR 04 ExIntrod GM04 GM	MAYBE	9.127	TIMEOUT	0.000
Transformed CSR 04 ExIntrod GM04 L	missing	-	missing	-
Transformed CSR 04 ExIntrod GM04 Z	MAYBE	31.968	TIMEOUT	0.000
Transformed CSR 04 ExIntrod GM99 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExIntrod GM99 FR	TIMEOUT	0.000	O(n^1)	3.076
Transformed CSR 04 ExIntrod GM99 GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExIntrod GM99 L	missing	-	missing	-
Transformed CSR 04 ExIntrod GM99 Z	O(n^1)	6.028	O(1)	2.611
Transformed CSR 04 ExIntrod Zan97 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExIntrod Zan97 FR	O(n^3)	9.841	O(n^1)	2.996
Transformed CSR 04 ExIntrod Zan97 GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExIntrod Zan97 L	missing	-	missing	-
Transformed CSR 04 ExIntrod Zan97 Z	MAYBE	23.961	MAYBE	43.425
Transformed CSR 04 ExProp7 Luc06 C	O(n^1)	47.642	O(n^1)	48.252
Transformed CSR 04 ExProp7 Luc06 FR	O(n^3)	4.452	O(n^3)	3.024
Transformed CSR 04 ExProp7 Luc06 GM	MAYBE	35.993	TIMEOUT	0.000
Transformed CSR 04 ExProp7 Luc06 L	O(n^1)	47.633	O(1)	3.335
Transformed CSR 04 ExProp7 Luc06 Z	O(n^1)	47.554	O(1)	3.218
Transformed CSR 04 ExSec11 1 Luc02a C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExSec11 1 Luc02a FR	TIMEOUT	0.000	O(n^3)	3.203
Transformed CSR 04 ExSec11 1 Luc02a GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExSec11 1 Luc02a L	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExSec11 1 Luc02a Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExSec4 2 DLMMU04 C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExSec4 2 DLMMU04 FR	O(n^1)	6.319	O(n^3)	3.092
Transformed CSR 04 ExSec4 2 DLMMU04 GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 ExSec4 2 DLMMU04 L	missing	-	missing	-
Transformed CSR 04 ExSec4 2 DLMMU04 Z	O(n^1)	5.339	O(n^1)	3.090
Transformed CSR...TIES complete-noand FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ITIES complete-noand L	missing	-	missing	-
Transformed CSR...ITIES complete-noand Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...STUTILITIES complete C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...TUTILITIES complete FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...TUTILITIES complete GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...STUTILITIES complete L	missing	-	missing	-
Transformed CSR...STUTILITIES complete Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ITIES complete noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...TIES complete noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ITIES nokinds-noand FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...LITIES nokinds-noand L	missing	-	missing	-
Transformed CSR...LITIES nokinds-noand Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ISTUTILITIES nokinds C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...STUTILITIES nokinds FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...STUTILITIES nokinds GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ISTUTILITIES nokinds L	missing	-	missing	-
Transformed CSR...ISTUTILITIES nokinds Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...LITIES nokinds noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ITIES nokinds noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ITIES nosorts-noand FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...LITIES nosorts-noand L	missing	-	missing	-
Transformed CSR...LITIES nosorts-noand Z	TIMEOUT	0.000	O(n^1)	3.561
Transformed CSR...ISTUTILITIES nosorts C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...STUTILITIES nosorts FR	TIMEOUT	0.000	O(n^1)	3.501
Transformed CSR...STUTILITIES nosorts GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ISTUTILITIES nosorts L	missing	-	missing	-
Transformed CSR...ISTUTILITIES nosorts Z	O(n^1)	7.595	O(n^1)	3.241
Transformed CSR...LITIES nosorts noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ITIES nosorts noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ists complete-noand FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...Lists complete-noand L	missing	-	missing	-
Transformed CSR...Lists complete-noand Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...FiniteLists complete C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...initeLists complete FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...initeLists complete GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...FiniteLists complete L	missing	-	missing	-
Transformed CSR...FiniteLists complete Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...Lists complete noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ists complete noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...Lists nokinds-noand FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...eLists nokinds-noand L	missing	-	missing	-
Transformed CSR...eLists nokinds-noand Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...fFiniteLists nokinds C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...FiniteLists nokinds FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...FiniteLists nokinds GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...fFiniteLists nokinds L	missing	-	missing	-
Transformed CSR...fFiniteLists nokinds Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...eLists nokinds noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...Lists nokinds noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...Lists nosorts-noand FR	MAYBE	9.840	TIMEOUT	0.000
Transformed CSR...eLists nosorts-noand L	missing	-	missing	-
Transformed CSR...fFiniteLists nosorts C	O(n^1)	48.796	O(n^1)	48.480
Transformed CSR...FiniteLists nosorts FR	MAYBE	42.937	MAYBE	60.462
Transformed CSR...FiniteLists nosorts GM	MAYBE	5.928	TIMEOUT	0.000
Transformed CSR...fFiniteLists nosorts L	missing	-	missing	-
Transformed CSR...eLists nosorts noand C	O(n^1)	48.521	O(n^1)	48.678
Transformed CSR...Lists nosorts noand GM	MAYBE	7.146	TIMEOUT	0.000
Transformed CSR...YNAT complete-noand FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...MYNAT complete-noand L	missing	-	missing	-
Transformed CSR...MYNAT complete-noand Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 MYNAT complete C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 MYNAT complete FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 MYNAT complete GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 MYNAT complete L	missing	-	missing	-
Transformed CSR 04 MYNAT complete Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...MYNAT complete noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...YNAT complete noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...MYNAT nokinds-noand FR	TIMEOUT	0.000	O(n^2)	7.652
Transformed CSR 04 MYNAT nokinds-noand L	missing	-	missing	-
Transformed CSR 04 MYNAT nokinds-noand Z	TIMEOUT	0.000	O(n^1)	4.148
Transformed CSR 04 MYNAT nokinds C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 MYNAT nokinds FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 MYNAT nokinds GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 MYNAT nokinds L	missing	-	missing	-
Transformed CSR 04 MYNAT nokinds Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 MYNAT nokinds noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...MYNAT nokinds noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...MYNAT nosorts-noand FR	O(n^2)	11.374	O(n^2)	5.229
Transformed CSR 04 MYNAT nosorts-noand L	missing	-	missing	-
Transformed CSR 04 MYNAT nosorts C	TIMEOUT	0.000	O(n^1)	60.601
Transformed CSR 04 MYNAT nosorts FR	O(n^2)	3.519	O(n^2)	3.494
Transformed CSR 04 MYNAT nosorts GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 MYNAT nosorts L	missing	-	missing	-
Transformed CSR 04 MYNAT nosorts noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...MYNAT nosorts noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...nsOS complete-noand FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...onsOS complete-noand L	missing	-	missing	-
Transformed CSR...onsOS complete-noand Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 OvConsOS complete C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 OvConsOS complete FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 OvConsOS complete GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 OvConsOS complete L	missing	-	missing	-
Transformed CSR 04 OvConsOS complete Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...onsOS complete noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...nsOS complete noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...onsOS nokinds-noand FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ConsOS nokinds-noand L	missing	-	missing	-
Transformed CSR...ConsOS nokinds-noand Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 OvConsOS nokinds C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 OvConsOS nokinds FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 OvConsOS nokinds GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 OvConsOS nokinds L	missing	-	missing	-
Transformed CSR 04 OvConsOS nokinds Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ConsOS nokinds noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...onsOS nokinds noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...onsOS nosorts-noand FR	MAYBE	34.117	TIMEOUT	0.000
Transformed CSR...ConsOS nosorts-noand L	missing	-	missing	-
Transformed CSR...ConsOS nosorts-noand Z	MAYBE	30.031	TIMEOUT	0.000
Transformed CSR 04 OvConsOS nosorts C	O(n^1)	48.642	O(n^1)	48.905
Transformed CSR 04 OvConsOS nosorts FR	MAYBE	70.429	TIMEOUT	0.000
Transformed CSR 04 OvConsOS nosorts GM	MAYBE	9.781	TIMEOUT	0.000
Transformed CSR 04 OvConsOS nosorts L	missing	-	missing	-
Transformed CSR 04 OvConsOS nosorts Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ConsOS nosorts noand C	TIMEOUT	0.000	O(n^1)	70.616
Transformed CSR...onsOS nosorts noand GM	MAYBE	36.174	TIMEOUT	0.000
Transformed CSR...ROME complete-noand FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...DROME complete-noand L	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...DROME complete-noand Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PALINDROME complete C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...PALINDROME complete FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...PALINDROME complete GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PALINDROME complete L	missing	-	missing	-
Transformed CSR 04 PALINDROME complete Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...DROME complete noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...ROME complete noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...DROME nokinds-noand FR	TIMEOUT	0.000	O(n^2)	9.785
Transformed CSR...NDROME nokinds-noand L	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...NDROME nokinds-noand Z	O(n^2)	41.583	O(n^1)	4.069
Transformed CSR 04 PALINDROME nokinds C	TIMEOUT	0.000	O(n^1)	68.162
Transformed CSR 04 PALINDROME nokinds FR	MAYBE	59.791	TIMEOUT	0.000
Transformed CSR 04 PALINDROME nokinds GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PALINDROME nokinds L	missing	-	missing	-
Transformed CSR 04 PALINDROME nokinds Z	MAYBE	37.608	TIMEOUT	0.000
Transformed CSR...NDROME nokinds noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...DROME nokinds noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PALINDROME nosorts C	TIMEOUT	0.000	O(n^1)	47.553
Transformed CSR 04 PALINDROME nosorts GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PALINDROME nosorts L	missing	-	missing	-
Transformed CSR...NDROME nosorts noand C	TIMEOUT	0.000	O(n^2)	60.121
Transformed CSR...DROME nosorts noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...EANO complete-noand FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...PEANO complete-noand L	missing	-	missing	-
Transformed CSR...PEANO complete-noand Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PEANO complete C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PEANO complete FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PEANO complete GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PEANO complete L	missing	-	missing	-
Transformed CSR 04 PEANO complete Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...PEANO complete noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...EANO complete noand GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...PEANO nokinds-noand FR	TIMEOUT	0.000	O(n^2)	4.825
Transformed CSR 04 PEANO nokinds-noand L	missing	-	missing	-
Transformed CSR 04 PEANO nokinds-noand Z	TIMEOUT	0.000	O(n^1)	3.631
Transformed CSR 04 PEANO nokinds C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PEANO nokinds FR	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PEANO nokinds GM	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PEANO nokinds L	missing	-	missing	-
Transformed CSR 04 PEANO nokinds Z	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR 04 PEANO nokinds noand C	TIMEOUT	0.000	TIMEOUT	0.000
Transformed CSR...PEANO nokinds noand GM	MAYBE	41.978	TIMEOUT	0.000
Transformed CSR...PEANO nosorts-noand FR	O(n^1)	3.509	O(n^1)	3.197
Transformed CSR 04 PEANO nosorts-noand L	missing	-	missing	-
Transformed CSR 04 PEANO nosorts C	O(n^1)	47.691	O(n^1)	47.650
Transformed CSR 04 PEANO nosorts FR	O(n^2)	3.065	O(n^1)	2.971
Transformed CSR 04 PEANO nosorts GM	MAYBE	7.303	TIMEOUT	0.000
Transformed CSR 04 PEANO nosorts L	missing	-	missing	-
Transformed CSR 04 PEANO nosorts noand C	O(n^1)	47.640	O(n^1)	47.808
Transformed CSR...PEANO nosorts noand GM	MAYBE	8.604	TIMEOUT	0.000
Various 04 04	MAYBE	6.444	O(1)	2.696
Various 04 08	MAYBE	9.594	O(1)	2.713
Various 04 10	TIMEOUT	0.000	TIMEOUT	0.000
Various 04 11	MAYBE	3.671	O(1)	4.927
Various 04 12	TIMEOUT	0.000	TIMEOUT	0.000
Various 04 13	TIMEOUT	0.000	TIMEOUT	0.000
Various 04 14	TIMEOUT	0.000	TIMEOUT	0.000
Various 04 15	MAYBE	4.410	O(n^2)	3.195
Various 04 18	MAYBE	10.120	O(n^1)	3.506
Various 04 22	MAYBE	3.798	O(n^1)	3.552
Various 04 23	O(n^1)	3.297	O(n^1)	3.138
Various 04 24	O(n^1)	47.629	O(n^1)	47.762
Waldmann 06 jwmatchb1	MAYBE	3.529	O(n^1)	47.674
Waldmann 06 jwmatchb2	MAYBE	3.673	O(n^1)	47.688
Waldmann 06 jwno1	TIMEOUT	0.000	TIMEOUT	0.000
Waldmann 06 jwno4	MAYBE	5.845	MAYBE	5.960
Waldmann 06 jwno6	MAYBE	6.132	MAYBE	6.220
Zantema 05 z10	MAYBE	16.430	TIMEOUT	0.000
Zantema 05 z12	TIMEOUT	0.000	TIMEOUT	0.000
Zantema 05 z13	TIMEOUT	0.000	TIMEOUT	0.000
Zantema 05 z14	TIMEOUT	0.000	TIMEOUT	0.000
Zantema 05 z15	TIMEOUT	0.000	TIMEOUT	0.000
Zantema 05 z16	TIMEOUT	0.000	TIMEOUT	0.000
Zantema 05 z17	TIMEOUT	0.000	TIMEOUT	0.000
Zantema 05 z18	TIMEOUT	0.000	TIMEOUT	0.000
Zantema 05 z23	O(n^1)	48.101	O(n^1)	48.109
Zantema 05 z24	TIMEOUT	0.000	TIMEOUT	0.000
Zantema 05 z26	O(n^1)	47.678	O(n^1)	47.664
Zantema 05 z27	MAYBE	3.533	TIMEOUT	0.000
Zantema 05 z28	MAYBE	6.144	TIMEOUT	0.000
raML appendAll.raml	O(n^1)	4.626	O(n^1)	3.800
raML bfs.raml	TIMEOUT	0.000	TIMEOUT	0.000
raML bft mmult.raml	TIMEOUT	0.000	TIMEOUT	0.000
raML bitvectors.raml	TIMEOUT	0.000	TIMEOUT	0.000
raML clevermmult.raml	O(n^2)	17.614	O(n^2)	6.774
raML duplicates.raml	O(n^2)	22.775	O(n^2)	6.874
raML dyade.raml	O(n^2)	6.451	O(n^2)	4.124
raML eratosthenes.raml	TIMEOUT	0.000	TIMEOUT	0.000
raML flatten.raml	O(n^2)	14.450	O(n^2)	7.750
raML insertionsort.raml	TIMEOUT	0.000	TIMEOUT	0.000
raML listsort.raml	TIMEOUT	0.000	TIMEOUT	0.000
raML longestCommonSubsequence.raml	TIMEOUT	0.000	TIMEOUT	0.000
raML matrix.raml	TIMEOUT	0.000	TIMEOUT	0.000
raML mergesort.raml	TIMEOUT	0.000	TIMEOUT	0.000
raML minsort.raml	O(n^2)	9.505	O(n^2)	4.597
raML queue.raml	TIMEOUT	0.000	TIMEOUT	0.000
raML quicksort.raml	TIMEOUT	0.000	TIMEOUT	0.000
raML rationalPotential.raml	O(n^1)	4.174	O(n^1)	3.440
raML splitandsort.raml	TIMEOUT	0.000	TIMEOUT	0.000
raML subtrees.raml	O(n^2)	4.816	O(n^2)	3.753