Setup

The testbed can be downloaded from here. Results are also available as a Prolog database.

Overview

	CaT___cat	TCT___RCFULL_O
O(1)	-	16
O(n^1)	120	154
O(n^2)	13	19
O(n^3)	1	2
O(n^5)	-	1
O(n^10)	-	1
Total YES	134	193
Total MAYBE	640	641
Total NO	60	-
Strict Wins	6	89

Average Execution Time (sec)

	CaT___cat	TCT___RCFULL_O
O(1)	0.000 - 0.000	0.067 0.628 4.941
O(n^1)	0.204 0.870 26.230	0.061 79.466 300.012
O(n^2)	5.709 12.211 31.049	5.007 140.390 298.037
O(n^3)	35.124 35.124 35.124	138.125 217.676 297.226
O(n^5)	0.000 - 0.000	22.184 22.184 22.184
O(n^10)	0.000 - 0.000	86.104 86.104 86.104
Total YES	0.204 2.226 35.124	0.061 80.098 300.012
Total MAYBE	0.173 4.022 96.992	0.012 246.070 300.095

Details

	CaT___cat		TCT___RCFULL_O
Problem (all selected)	answer	time	answer	time
AG01 3.1	MAYBE	0.174	O(n^1)	0.595
AG01 3.10	MAYBE	0.194	MAYBE	297.213
AG01 3.12	MAYBE	56.621	O(n^3)	138.125
AG01 3.13	MAYBE	0.195	MAYBE	297.256
AG01 3.15	O(n^2)	6.508	O(n^1)	24.108
AG01 3.16	MAYBE	0.187	MAYBE	297.186
AG01 3.17	MAYBE	59.468	MAYBE	297.464
AG01 3.17a	MAYBE	60.081	MAYBE	298.813
AG01 3.18	MAYBE	0.187	MAYBE	242.835
AG01 3.19	MAYBE	0.185	MAYBE	297.403
AG01 3.2	MAYBE	0.183	MAYBE	102.860
AG01 3.22	MAYBE	0.192	MAYBE	297.561
AG01 3.23	MAYBE	0.181	O(n^1)	0.258
AG01 3.24	O(n^1)	0.228	O(n^1)	0.833
AG01 3.26	MAYBE	33.480	MAYBE	297.259
AG01 3.29	MAYBE	0.180	O(n^1)	0.139
AG01 3.31	MAYBE	0.182	MAYBE	299.986
AG01 3.33	O(n^1)	0.235	O(1)	0.771
AG01 3.35	O(n^1)	0.230	O(n^1)	0.170
AG01 3.36	MAYBE	0.186	MAYBE	297.587
AG01 3.37	O(n^1)	0.347	O(n^1)	0.899
AG01 3.38	MAYBE	0.187	MAYBE	300.013
AG01 3.39	MAYBE	0.189	O(n^1)	228.028
AG01 3.4	MAYBE	0.187	MAYBE	192.554
AG01 3.40	MAYBE	0.191	MAYBE	297.268
AG01 3.41	MAYBE	0.182	O(n^1)	9.714
AG01 3.42	MAYBE	0.186	MAYBE	47.732
AG01 3.47	MAYBE	0.181	O(n^2)	9.453
AG01 3.48	MAYBE	0.186	MAYBE	148.448
AG01 3.49	MAYBE	55.564	MAYBE	297.160
AG01 3.5	MAYBE	0.189	O(n^2)	186.690
AG01 3.51	O(n^1)	0.277	O(n^1)	1.836
AG01 3.52	MAYBE	0.181	O(n^1)	0.598
AG01 3.53	MAYBE	0.185	MAYBE	297.372
AG01 3.53a	MAYBE	0.174	O(1)	0.210
AG01 3.53b	MAYBE	0.183	O(n^1)	0.578
AG01 3.54	MAYBE	0.182	MAYBE	297.284
AG01 3.55	MAYBE	0.199	MAYBE	297.227
AG01 3.56	O(n^1)	0.237	O(n^1)	1.755
AG01 3.57	MAYBE	0.184	MAYBE	297.259
AG01 3.5a	MAYBE	0.188	MAYBE	263.107
AG01 3.5b	MAYBE	0.192	MAYBE	119.730
AG01 3.6	MAYBE	0.191	MAYBE	297.417
AG01 3.6a	MAYBE	0.190	O(n^2)	297.450
AG01 3.6b	MAYBE	0.193	MAYBE	229.345
AG01 3.7	O(n^1)	4.211	O(n^1)	24.041
AG01 3.8a	MAYBE	0.186	MAYBE	192.887
AG01 3.8b	MAYBE	0.194	MAYBE	300.018
AG01 4.30c	MAYBE	0.189	MAYBE	297.370
AProVE 04 AAECC	MAYBE	0.199	MAYBE	297.735
AProVE 04 AAECC-ring	MAYBE	0.236	MAYBE	297.287
AProVE 04 IJCAR 1	MAYBE	0.185	O(n^1)	8.524
AProVE 04 IJCAR 12	MAYBE	0.190	MAYBE	297.420
AProVE 04 IJCAR 18	MAYBE	0.197	MAYBE	297.373
AProVE 04 IJCAR 26	MAYBE	0.201	MAYBE	297.293
AProVE 04 IJCAR 26a	MAYBE	0.201	MAYBE	297.307
AProVE 04 JFP Ex31	MAYBE	0.190	MAYBE	297.239
AProVE 04 JFP Ex51	MAYBE	0.195	MAYBE	297.746
AProVE 04 LPAR intlist	MAYBE	56.281	MAYBE	297.125
AProVE 04 Liveness6.1	MAYBE	58.981	MAYBE	154.996
AProVE 04 Liveness6.2	O(n^2)	18.126	MAYBE	297.122
AProVE 04 Liveness6.3	O(n^1)	0.294	O(n^1)	211.732
AProVE 04 Liveness6.4	MAYBE	68.024	MAYBE	156.394
AProVE 04 Liveness8	O(n^1)	0.426	O(n^1)	297.299
AProVE 04 Liveness WRS	O(n^1)	0.357	O(n^1)	297.440
AProVE 04 fac	MAYBE	0.187	MAYBE	230.602
AProVE 04 rta1	MAYBE	0.193	MAYBE	297.808
AProVE 04 rta2	MAYBE	0.184	MAYBE	42.299
AProVE 04 rta3	MAYBE	0.177	MAYBE	298.077
AProVE 06 div notCeTermin	MAYBE	0.194	MAYBE	90.592
AProVE 06 div notTermin	MAYBE	0.197	MAYBE	195.491
AProVE 06 factorial1	MAYBE	0.182	MAYBE	286.266
AProVE 06 factorial2	MAYBE	0.181	MAYBE	297.767
AProVE 06 identity	MAYBE	38.588	MAYBE	297.134
AProVE 06 logarithm	MAYBE	0.195	MAYBE	297.312
AProVE 06 modulo	MAYBE	0.190	MAYBE	194.051
AProVE 06 nonterm	MAYBE	55.462	MAYBE	297.911
AProVE 06 quicksort	MAYBE	0.197	MAYBE	297.210
AProVE 06 quot	MAYBE	0.188	MAYBE	105.792
AProVE 06 sizeChange	MAYBE	0.182	MAYBE	297.154
AProVE 06 tower	MAYBE	0.189	MAYBE	297.291
AProVE 06 tower sizeChange	MAYBE	55.856	MAYBE	297.417
AProVE 07 kabasci01	MAYBE	0.211	MAYBE	297.378
AProVE 07 kabasci02	MAYBE	0.205	MAYBE	297.231
AProVE 07 kabasci03	MAYBE	0.192	MAYBE	300.027
AProVE 07 kabasci04	MAYBE	0.182	MAYBE	297.327
AProVE 07 kabasci05	MAYBE	0.193	MAYBE	297.246
AProVE 07 otto01	MAYBE	0.188	MAYBE	297.265
AProVE 07 otto02	MAYBE	0.197	MAYBE	297.342
AProVE 07 otto03	MAYBE	0.187	MAYBE	89.306
AProVE 07 otto04	MAYBE	0.198	MAYBE	297.370
AProVE 07 otto05	MAYBE	0.189	MAYBE	134.758
AProVE 07 otto06	MAYBE	0.202	MAYBE	297.321
AProVE 07 otto07	MAYBE	0.187	MAYBE	297.687
AProVE 07 otto08	MAYBE	0.191	MAYBE	297.392
AProVE 07 otto09	MAYBE	0.189	MAYBE	75.339
AProVE 07 otto10	MAYBE	0.191	MAYBE	297.457
AProVE 07 otto11	MAYBE	0.183	MAYBE	297.380
AProVE 07 otto12	MAYBE	0.192	MAYBE	297.328
AProVE 07 otto13	MAYBE	0.183	MAYBE	219.870
AProVE 07 thiemann01	MAYBE	0.190	MAYBE	297.480
AProVE 07 thiemann02	MAYBE	0.200	MAYBE	297.167
AProVE 07 thiemann03	MAYBE	0.181	MAYBE	298.228
AProVE 07 thiemann04	MAYBE	0.195	MAYBE	297.192
AProVE 07 thiemann05	MAYBE	0.192	MAYBE	297.341
AProVE 07 thiemann06	MAYBE	0.194	MAYBE	276.781
AProVE 07 thiemann07	MAYBE	0.199	MAYBE	297.234
AProVE 07 thiemann08	MAYBE	0.190	MAYBE	298.562
AProVE 07 thiemann09	MAYBE	0.196	MAYBE	298.160
AProVE 07 thiemann10	MAYBE	0.188	MAYBE	109.153
AProVE 07 thiemann11	MAYBE	0.193	MAYBE	264.019
AProVE 07 thiemann12	MAYBE	0.181	MAYBE	142.004
AProVE 07 thiemann13	MAYBE	0.195	MAYBE	297.411
AProVE 07 thiemann14	MAYBE	0.199	MAYBE	297.306
AProVE 07 thiemann15	MAYBE	0.187	MAYBE	121.503
AProVE 07 thiemann16	MAYBE	0.195	MAYBE	297.244
AProVE 07 thiemann17	MAYBE	0.191	MAYBE	297.861
AProVE 07 thiemann18	MAYBE	0.204	MAYBE	297.180
AProVE 07 thiemann19	MAYBE	0.188	MAYBE	144.340
AProVE 07 thiemann20	MAYBE	0.189	MAYBE	282.168
AProVE 07 thiemann21	MAYBE	0.206	MAYBE	297.171
AProVE 07 thiemann22	MAYBE	0.189	MAYBE	135.473
AProVE 07 thiemann23	MAYBE	0.191	MAYBE	180.308
AProVE 07 thiemann24	MAYBE	0.189	MAYBE	267.168
AProVE 07 thiemann25	MAYBE	0.187	MAYBE	216.497
AProVE 07 thiemann26	MAYBE	0.190	MAYBE	297.322
AProVE 07 thiemann27	MAYBE	0.186	MAYBE	72.695
AProVE 07 thiemann28	MAYBE	0.191	MAYBE	297.315
AProVE 07 thiemann29	MAYBE	0.196	MAYBE	297.388
AProVE 07 thiemann30	MAYBE	0.197	MAYBE	297.180
AProVE 07 thiemann31	MAYBE	0.182	MAYBE	264.807
AProVE 07 thiemann32	MAYBE	0.196	MAYBE	297.301
AProVE 07 thiemann33	MAYBE	0.191	MAYBE	297.349
AProVE 07 thiemann34	MAYBE	0.191	MAYBE	95.413
AProVE 07 thiemann36	MAYBE	0.192	MAYBE	263.970
AProVE 07 thiemann37	MAYBE	0.199	MAYBE	297.194
AProVE 07 thiemann38	MAYBE	0.190	MAYBE	297.395
AProVE 07 thiemann40	MAYBE	0.177	MAYBE	298.074
AProVE 07 thiemann41	MAYBE	0.191	MAYBE	196.191
AProVE 07 wiehe01	MAYBE	0.193	MAYBE	297.258
AProVE 07 wiehe02	MAYBE	0.200	MAYBE	297.200
AProVE 07 wiehe03	MAYBE	0.206	MAYBE	297.176
AProVE 07 wiehe05	MAYBE	0.197	MAYBE	297.278
AProVE 07 wiehe06	MAYBE	0.194	MAYBE	297.235
AProVE 07 wiehe07	MAYBE	0.195	MAYBE	297.203
AProVE 07 wiehe08	MAYBE	0.188	MAYBE	297.284
AProVE 07 wiehe09	MAYBE	0.190	MAYBE	297.279
AProVE 07 wiehe11	MAYBE	0.207	MAYBE	297.244
AProVE 07 wiehe12	MAYBE	0.216	MAYBE	297.179
AProVE 08 id inc	MAYBE	0.192	MAYBE	297.918
AProVE 08 log	MAYBE	0.193	MAYBE	231.019
AProVE 08 parting01 reverse	MAYBE	0.194	MAYBE	297.324
AProVE 08 parting02 doublelist	MAYBE	0.191	MAYBE	297.512
AProVE 08 parting03 minsort	MAYBE	0.194	MAYBE	297.278
AProVE 08 parting04 maxsort h	MAYBE	0.197	MAYBE	297.254
AProVE 08 parting05 maxsort	MAYBE	0.198	MAYBE	297.305
AProVE 08 round	MAYBE	10.198	MAYBE	297.883
AProVE 08 round nonterm	MAYBE	13.992	MAYBE	297.458
AProVE 08 thiemann40 modified	MAYBE	0.187	MAYBE	214.308
AProVE 09 Inductive div	MAYBE	0.191	MAYBE	297.343
AProVE 09 Inductive divhard	MAYBE	0.193	MAYBE	75.067
AProVE 09 Inductive gcd	MAYBE	0.192	MAYBE	185.870
AProVE 09 Inductive gcd2	MAYBE	0.198	MAYBE	297.387
AProVE 09 Inductive gcdhard	MAYBE	0.192	MAYBE	297.323
AProVE 09 Inductive log	MAYBE	0.188	MAYBE	159.161
AProVE 09 Inductive maxsort	MAYBE	0.196	MAYBE	297.280
AProVE 09 Inductive maxsortcondition	MAYBE	0.196	MAYBE	297.282
AProVE 09 Inductive minsort	MAYBE	0.195	MAYBE	297.285
AProVE 09 Inductive mod	MAYBE	0.193	MAYBE	131.301
AProVE 09 Inductive qsort	MAYBE	0.196	MAYBE	297.277
AProVE 09 Inductive qsortlast	MAYBE	0.200	MAYBE	297.240
AProVE 09 Inductive qsortmiddle	MAYBE	0.208	MAYBE	297.241
AProVE 09 Inductive zerolist	MAYBE	0.188	MAYBE	191.863
Beerendonk 07 1	MAYBE	0.184	MAYBE	46.399
Beerendonk 07 10	MAYBE	0.191	MAYBE	48.323
Beerendonk 07 11	MAYBE	0.192	MAYBE	50.776
Beerendonk 07 12	MAYBE	0.220	MAYBE	47.953
Beerendonk 07 13	MAYBE	0.186	MAYBE	48.111
Beerendonk 07 14	MAYBE	0.190	MAYBE	48.754
Beerendonk 07 15	MAYBE	0.193	MAYBE	176.125
Beerendonk 07 16	MAYBE	0.192	MAYBE	166.709
Beerendonk 07 17	MAYBE	0.187	MAYBE	177.589
Beerendonk 07 18	MAYBE	0.192	MAYBE	148.163
Beerendonk 07 19	MAYBE	0.193	MAYBE	148.872
Beerendonk 07 2	MAYBE	0.185	MAYBE	45.068
Beerendonk 07 20	MAYBE	0.192	MAYBE	148.460
Beerendonk 07 21	MAYBE	0.193	MAYBE	157.612
Beerendonk 07 22	MAYBE	0.187	MAYBE	49.296
Beerendonk 07 23	MAYBE	0.187	MAYBE	48.585
Beerendonk 07 24	MAYBE	0.194	MAYBE	149.868
Beerendonk 07 3	MAYBE	0.186	MAYBE	69.978
Beerendonk 07 4	MAYBE	0.184	MAYBE	297.221
Beerendonk 07 5	MAYBE	0.187	MAYBE	148.210
Beerendonk 07 6	MAYBE	0.189	MAYBE	40.595
Beerendonk 07 7	MAYBE	0.185	MAYBE	151.950
Beerendonk 07 8	MAYBE	0.188	MAYBE	148.207
Beerendonk 07 9	MAYBE	0.190	MAYBE	154.220
CiME 04 ack prolog	MAYBE	0.189	MAYBE	297.134
CiME 04 append	MAYBE	0.185	O(n^1)	0.327
CiME 04 append-hard	MAYBE	0.186	MAYBE	297.789
CiME 04 append-wrong	MAYBE	0.187	MAYBE	297.790
CiME 04 big	MAYBE	0.229	MAYBE	297.226
CiME 04 dpqs	O(n^1)	0.255	O(n^1)	1.262
CiME 04 fact-hard	MAYBE	0.190	MAYBE	297.330
CiME 04 filliatre	MAYBE	62.091	MAYBE	297.577
CiME 04 filliatre2	MAYBE	52.685	MAYBE	297.468
CiME 04 filliatre3	MAYBE	0.195	MAYBE	298.539
CiME 04 intersect	MAYBE	0.196	O(n^2)	297.337
CiME 04 list-sum-prod	MAYBE	0.188	MAYBE	297.694
CiME 04 list-sum-prod-assoc	MAYBE	0.189	MAYBE	297.679
CiME 04 list-sum-prod-assoc-append	MAYBE	0.192	MAYBE	298.289
CiME 04 list-sum-prod-bin	MAYBE	0.193	MAYBE	297.423
CiME 04 list-sum-prod-bin-assoc	MAYBE	0.194	MAYBE	297.275
CiME 04 list-su...od-bin-assoc-distr-app	MAYBE	0.198	MAYBE	297.212
CiME 04 log2	MAYBE	0.205	MAYBE	297.708
CiME 04 lse	MAYBE	0.203	O(n^2)	297.656
CiME 04 maude2	MAYBE	0.194	MAYBE	297.281
CiME 04 mucrl1	MAYBE	0.469	MAYBE	297.411
CiME 04 ternary	MAYBE	0.200	MAYBE	297.220
CiME 04 ternary-hard	MAYBE	0.197	MAYBE	297.183
CiME 04 tree	MAYBE	0.219	MAYBE	297.259
Der95 06	O(n^1)	0.208	O(n^1)	0.086
Der95 07	O(n^1)	0.226	O(n^1)	0.434
Der95 08	MAYBE	0.187	O(n^1)	0.732
Der95 11	MAYBE	0.187	O(n^1)	148.203
Der95 12	MAYBE	0.187	MAYBE	297.630
Der95 18	MAYBE	0.180	O(n^1)	0.114
Der95 20	MAYBE	10.919	MAYBE	297.187
Der95 21	MAYBE	0.184	MAYBE	298.149
Der95 27	O(n^1)	0.212	O(n^1)	0.201
Der95 31	MAYBE	0.184	O(n^2)	81.631
Der95 32	MAYBE	0.188	MAYBE	297.268
Der95 33	MAYBE	0.188	MAYBE	297.165
Endrullis 06 direct	O(n^1)	1.105	O(n^1)	4.534
GTSSK07 cade01	MAYBE	0.184	MAYBE	297.807
GTSSK07 cade03	MAYBE	0.186	MAYBE	298.036
GTSSK07 cade04t	MAYBE	0.186	MAYBE	297.626
GTSSK07 cade05t	MAYBE	0.187	MAYBE	297.574
GTSSK07 cade06	MAYBE	0.187	MAYBE	148.242
GTSSK07 cade07	MAYBE	0.186	MAYBE	297.443
GTSSK07 cade08	MAYBE	0.188	MAYBE	162.106
GTSSK07 cade09	MAYBE	0.178	MAYBE	299.886
GTSSK07 cade10	MAYBE	0.192	MAYBE	297.518
GTSSK07 cade11	MAYBE	0.187	MAYBE	297.996
GTSSK07 cade12t	MAYBE	0.189	MAYBE	201.665
GTSSK07 cade13t	MAYBE	0.181	MAYBE	137.871
GTSSK07 cade14	MAYBE	0.192	MAYBE	297.216
GTSSK07 cade15	MAYBE	0.198	MAYBE	297.298
GTSSK07 cade16	MAYBE	0.194	MAYBE	211.281
GTSSK07 cade17	MAYBE	0.182	MAYBE	295.785
HirokawaMiddeldorp 04 n002	MAYBE	10.189	MAYBE	24.674
HirokawaMiddeldorp 04 n003	MAYBE	10.193	MAYBE	24.962
HirokawaMiddeldorp 04 n004	MAYBE	10.191	MAYBE	25.388
HirokawaMiddeldorp 04 n005	MAYBE	10.188	MAYBE	297.245
HirokawaMiddeldorp 04 n006	MAYBE	10.195	MAYBE	26.937
HirokawaMiddeldorp 04 n007	MAYBE	0.173	MAYBE	8.662
HirokawaMiddeldorp 04 t001	MAYBE	0.190	MAYBE	297.300
HirokawaMiddeldorp 04 t002	MAYBE	0.188	MAYBE	297.335
HirokawaMiddeldorp 04 t003	MAYBE	0.194	MAYBE	297.493
HirokawaMiddeldorp 04 t004	MAYBE	14.098	MAYBE	297.299
HirokawaMiddeldorp 04 t009	MAYBE	60.842	MAYBE	298.137
HirokawaMiddeldorp 04 t011	O(n^2)	5.838	O(n^1)	24.026
HirokawaMiddeldorp 04 t012	MAYBE	14.491	MAYBE	300.018
HirokawaMiddeldorp 04 t013	MAYBE	0.185	MAYBE	297.479
HirokawaMiddeldorp 04 t014	MAYBE	0.183	MAYBE	245.653
Mixed TRS Ex1 Luc04b GM	MAYBE	61.208	MAYBE	297.145
Mixed TRS fossacs	MAYBE	0.187	MAYBE	297.502
Mixed TRS gcd	MAYBE	0.184	MAYBE	297.314
Mixed TRS gcdMinMax	MAYBE	0.194	MAYBE	297.300
Mixed TRS gcd triple	MAYBE	0.195	MAYBE	297.233
Mixed TRS hydra	MAYBE	0.185	O(n^2)	107.798
Mixed TRS hydra-Zantema06	MAYBE	0.188	MAYBE	299.025
Mixed TRS jones1	O(n^1)	0.213	O(n^1)	0.282
Mixed TRS jones2	MAYBE	0.182	O(n^1)	0.548
Mixed TRS jones4	O(n^1)	0.217	O(n^1)	0.298
Mixed TRS jones5	MAYBE	0.183	MAYBE	262.780
Mixed TRS jones6	O(n^1)	0.282	O(n^1)	0.593
Mixed TRS minsort	MAYBE	0.195	MAYBE	297.292
Mixed TRS perfect	MAYBE	0.190	O(n^1)	1.261
Mixed TRS perfect2	MAYBE	0.194	MAYBE	297.332
Mixed TRS test1	MAYBE	0.182	MAYBE	248.879
Mixed TRS while	MAYBE	0.183	MAYBE	297.449
Rubio 04 bintrees	O(n^1)	4.249	O(n^1)	0.979
Rubio 04 bn122	MAYBE	0.184	O(n^1)	0.802
Rubio 04 division	MAYBE	0.189	MAYBE	297.314
Rubio 04 elimdupl	MAYBE	0.189	O(n^2)	211.820
Rubio 04 enno	MAYBE	0.185	MAYBE	297.195
Rubio 04 gcd	MAYBE	0.182	MAYBE	292.559
Rubio 04 gm	MAYBE	0.187	O(n^1)	0.978
Rubio 04 gmnp	O(n^1)	0.300	O(n^1)	0.758
Rubio 04 koen	O(n^1)	0.260	O(n^1)	48.186
Rubio 04 logarquot	MAYBE	0.189	O(n^2)	58.866
Rubio 04 ma96	MAYBE	0.213	MAYBE	297.203
Rubio 04 mfp95	O(n^1)	0.219	O(n^1)	0.137
Rubio 04 nestrec	MAYBE	55.276	MAYBE	297.785
Rubio 04 p266	O(n^1)	0.229	O(n^1)	1.494
Rubio 04 polo2	MAYBE	0.193	O(n^1)	148.189
Rubio 04 prov	MAYBE	0.175	O(n^1)	0.524
Rubio 04 quick	MAYBE	0.187	MAYBE	297.253
Rubio 04 quotminus	MAYBE	0.179	MAYBE	190.713
Rubio 04 revlist	MAYBE	0.178	MAYBE	299.167
Rubio 04 selsort	MAYBE	0.195	MAYBE	297.215
Rubio 04 test4	O(n^1)	0.305	O(n^1)	1.893
Rubio 04 test829	O(n^1)	0.259	O(n^1)	0.501
Rubio 04 wst99	MAYBE	0.184	MAYBE	297.546
SK90 2.02	O(n^1)	0.228	O(n^1)	297.264
SK90 2.03	O(n^1)	0.209	O(n^1)	0.246
SK90 2.07	MAYBE	0.184	O(n^2)	103.632
SK90 2.09	O(n^1)	0.223	O(n^1)	0.218
SK90 2.11	O(n^1)	0.230	O(n^1)	0.264
SK90 2.12	MAYBE	0.185	MAYBE	210.415
SK90 2.13	MAYBE	0.184	O(n^1)	0.680
SK90 2.14	O(n^1)	0.241	O(n^1)	241.739
SK90 2.15	MAYBE	0.183	MAYBE	297.296
SK90 2.16	MAYBE	0.185	O(n^2)	298.037
SK90 2.17	MAYBE	0.183	O(n^1)	0.155
SK90 2.18	MAYBE	0.182	O(n^2)	6.110
SK90 2.19	MAYBE	0.184	MAYBE	115.890
SK90 2.20	MAYBE	0.184	O(n^1)	0.270
SK90 2.21	MAYBE	0.180	MAYBE	24.513
SK90 2.22	MAYBE	0.179	MAYBE	297.425
SK90 2.23	MAYBE	0.188	MAYBE	200.326
SK90 2.24	MAYBE	0.183	MAYBE	12.308
SK90 2.25	MAYBE	0.183	MAYBE	299.766
SK90 2.26	MAYBE	0.195	MAYBE	300.013
SK90 2.27	MAYBE	0.182	MAYBE	297.440
SK90 2.28	MAYBE	0.184	MAYBE	297.913
SK90 2.29	MAYBE	0.187	O(n^1)	2.358
SK90 2.30	MAYBE	0.183	O(1)	0.150
SK90 2.31	O(n^1)	0.301	O(n^1)	0.428
SK90 2.36	O(n^2)	6.391	O(n^1)	24.035
SK90 2.37	MAYBE	0.184	O(n^1)	0.181
SK90 2.38	O(n^1)	0.230	O(n^1)	0.768
SK90 2.39	MAYBE	10.196	O(n^2)	59.925
SK90 2.40	MAYBE	0.187	O(n^1)	0.581
SK90 2.41	O(n^1)	0.371	O(n^1)	0.350
SK90 2.42	O(n^1)	0.249	MAYBE	300.027
SK90 2.43	MAYBE	0.189	MAYBE	297.670
SK90 2.44	MAYBE	0.188	O(n^1)	1.258
SK90 2.45	MAYBE	0.187	O(n^1)	3.349
SK90 2.47	O(n^1)	0.215	O(n^1)	0.083
SK90 2.48	O(n^1)	0.230	O(1)	0.142
SK90 2.49	O(n^1)	0.259	O(n^1)	4.283
SK90 2.50	O(n^1)	0.216	O(n^1)	0.068
SK90 2.51	MAYBE	0.183	MAYBE	298.037
SK90 2.52	MAYBE	0.196	MAYBE	298.765
SK90 2.53	O(n^1)	0.220	O(n^1)	0.264
SK90 2.54	O(n^1)	0.215	O(n^1)	0.193
SK90 2.55	O(n^2)	5.709	O(n^1)	0.180
SK90 2.59	MAYBE	0.183	O(n^1)	0.081
SK90 2.61	O(n^1)	0.696	O(n^1)	297.379
SK90 4.05	MAYBE	0.189	O(n^2)	5.007
SK90 4.06	MAYBE	0.192	MAYBE	297.671
SK90 4.07	O(n^1)	0.263	O(1)	0.476
SK90 4.09	MAYBE	0.180	O(n^1)	298.695
SK90 4.10	MAYBE	0.187	O(n^2)	13.361
SK90 4.12	O(n^1)	1.159	O(n^1)	24.051
SK90 4.13	MAYBE	0.183	O(n^1)	63.043
SK90 4.16	O(n^1)	0.267	O(n^1)	0.467
SK90 4.17	MAYBE	0.184	MAYBE	50.210
SK90 4.18	MAYBE	0.183	O(n^1)	0.565
SK90 4.22	MAYBE	0.182	MAYBE	300.035
SK90 4.24	MAYBE	0.191	MAYBE	297.533
SK90 4.25	O(n^2)	5.990	O(n^1)	0.240
SK90 4.26	O(n^1)	0.260	O(n^1)	297.592
SK90 4.28	MAYBE	0.185	O(n^1)	297.329
SK90 4.29	O(n^1)	0.310	O(n^1)	0.523
SK90 4.30	O(n^1)	0.268	O(n^1)	5.944
SK90 4.31	MAYBE	0.193	MAYBE	297.680
SK90 4.34	MAYBE	55.243	MAYBE	297.163
SK90 4.35	O(n^1)	0.218	O(n^1)	0.172
SK90 4.38	O(n^1)	0.278	O(n^1)	0.618
SK90 4.42	MAYBE	0.176	MAYBE	297.502
SK90 4.43	MAYBE	10.196	MAYBE	278.261
SK90 4.45	O(n^1)	0.218	O(n^1)	0.078
SK90 4.47	O(n^1)	0.820	O(1)	1.229
SK90 4.48	O(n^1)	0.231	O(n^1)	1.246
SK90 4.51	O(n^1)	0.326	O(n^1)	1.277
SK90 4.53	MAYBE	0.187	O(n^2)	297.485
SK90 4.54	MAYBE	0.184	MAYBE	298.276
SK90 4.57	MAYBE	0.188	MAYBE	148.481
SK90 4.59	MAYBE	0.188	MAYBE	297.744
SK90 4.60	MAYBE	0.188	MAYBE	297.957
SK90 4.61	MAYBE	0.195	MAYBE	298.204
Secret 05 TRS aprove2	MAYBE	0.198	MAYBE	91.973
Secret 05 TRS aprove3	MAYBE	0.190	MAYBE	292.443
Secret 05 TRS aprove4	MAYBE	0.180	MAYBE	92.389
Secret 05 TRS aprove5	MAYBE	0.185	MAYBE	297.918
Secret 05 TRS cime2	MAYBE	0.191	MAYBE	297.421
Secret 05 TRS cime3	MAYBE	0.197	MAYBE	297.170
Secret 05 TRS cime4	MAYBE	0.176	O(1)	4.941
Secret 05 TRS cime5	MAYBE	0.237	MAYBE	298.873
Secret 05 TRS tpa1	MAYBE	0.188	MAYBE	278.090
Secret 05 TRS tpa2	MAYBE	0.187	MAYBE	297.917
Secret 05 TRS tpa3	MAYBE	0.188	MAYBE	297.743
Secret 05 TRS tpa4	MAYBE	0.179	MAYBE	297.393
Secret 05 TRS tpa5	MAYBE	0.190	MAYBE	148.913
Secret 05 TRS ttt1	MAYBE	0.185	MAYBE	299.364
Secret 05 TRS ttt2	MAYBE	10.190	MAYBE	298.328
Secret 06 TRS 10	O(n^1)	0.251	O(n^1)	297.213
Secret 06 TRS 4	O(n^1)	0.236	O(n^1)	297.247
Secret 06 TRS 6	O(n^1)	0.242	O(n^1)	12.794
Secret 06 TRS addList	MAYBE	0.201	MAYBE	297.268
Secret 06 TRS divExp	MAYBE	0.189	MAYBE	271.179
Secret 06 TRS division	MAYBE	0.182	MAYBE	220.841
Secret 06 TRS double	MAYBE	0.195	MAYBE	297.363
Secret 06 TRS gen-1	MAYBE	0.182	O(n^1)	12.611
Secret 06 TRS gen-17	MAYBE	0.192	MAYBE	297.387
Secret 06 TRS gen-28	MAYBE	0.187	MAYBE	297.785
Secret 06 TRS logarithm	MAYBE	0.192	MAYBE	206.351
Secret 06 TRS nrOfNodes	MAYBE	0.192	MAYBE	297.305
Secret 06 TRS reverse	MAYBE	0.193	MAYBE	297.780
Secret 06 TRS sumList	MAYBE	0.194	MAYBE	297.328
Secret 06 TRS times	MAYBE	0.196	MAYBE	297.311
Secret 06 TRS toList	MAYBE	0.197	MAYBE	298.271
Secret 06 TRS tpa04	MAYBE	0.190	MAYBE	297.429
Secret 06 TRS tpa05	MAYBE	0.191	MAYBE	261.510
Secret 06 TRS tpa06	MAYBE	0.192	MAYBE	297.278
Secret 06 TRS tpa07	MAYBE	0.187	MAYBE	297.404
Secret 06 TRS tpa08	MAYBE	0.189	MAYBE	297.627
Secret 06 TRS tpa09	MAYBE	0.196	MAYBE	297.244
Secret 06 TRS tpa10	MAYBE	0.192	MAYBE	297.286
Secret 07 TRS 3	O(n^1)	0.396	MAYBE	297.769
Secret 07 TRS aprove01	MAYBE	0.200	MAYBE	297.249
Secret 07 TRS aprove02	MAYBE	0.197	MAYBE	297.337
Secret 07 TRS aprove03	MAYBE	0.213	MAYBE	297.125
Secret 07 TRS aprove04	MAYBE	0.199	MAYBE	297.202
Secret 07 TRS aprove05	MAYBE	0.194	MAYBE	297.262
Secret 07 TRS aprove06	MAYBE	0.205	MAYBE	297.243
Secret 07 TRS aprove07	MAYBE	0.192	MAYBE	297.296
Secret 07 TRS aprove08	MAYBE	0.198	MAYBE	297.203
Secret 07 TRS aprove09	MAYBE	0.195	MAYBE	297.323
Secret 07 TRS aprove10	MAYBE	0.188	MAYBE	297.294
Secret 07 TRS secret1	MAYBE	0.195	MAYBE	297.459
Secret 07 TRS secret3	MAYBE	0.192	MAYBE	297.519
Secret 07 TRS secret4	MAYBE	0.187	MAYBE	297.212
Secret 07 TRS secret5	MAYBE	0.192	MAYBE	297.910
Strategy removed AG01 4.30c	MAYBE	0.189	MAYBE	297.392
TCT 12 polycounter-10	MAYBE	0.207	MAYBE	297.749
TCT 12 polycounter-5	MAYBE	0.189	MAYBE	300.024
TCT 12 recursion-10	MAYBE	0.200	O(n^10)	86.104
TCT 12 recursion-5	MAYBE	0.188	O(n^5)	22.184
TCT 12 sat	MAYBE	0.195	MAYBE	297.257
Transformed CSR 04 Ex14 AEGL02 C	MAYBE	0.200	MAYBE	297.203
Transformed CSR 04 Ex14 AEGL02 GM	MAYBE	0.180	MAYBE	297.459
Transformed CSR 04 Ex14 Luc06 C	MAYBE	0.199	MAYBE	297.162
Transformed CSR 04 Ex14 Luc06 GM	MAYBE	0.187	MAYBE	297.367
Transformed CSR 04 Ex15 Luc06 C	O(n^1)	0.296	O(n^1)	297.164
Transformed CSR 04 Ex15 Luc06 FR	O(n^1)	0.250	O(n^1)	0.822
Transformed CSR 04 Ex15 Luc06 GM	O(n^1)	0.242	O(n^1)	0.819
Transformed CSR 04 Ex15 Luc06 Z	O(n^1)	0.271	O(n^1)	0.689
Transformed CSR 04 Ex15 Luc98 C	MAYBE	0.209	MAYBE	297.272
Transformed CSR 04 Ex15 Luc98 FR	MAYBE	0.185	MAYBE	297.272
Transformed CSR 04 Ex15 Luc98 GM	MAYBE	0.190	O(n^1)	300.012
Transformed CSR 04 Ex15 Luc98 L	NO	0.176	MAYBE	0.022
Transformed CSR 04 Ex15 Luc98 Z	MAYBE	0.193	MAYBE	298.060
Transformed CSR 04 Ex16 Luc06 C	O(n^1)	13.392	MAYBE	297.144
Transformed CSR 04 Ex16 Luc06 GM	O(n^2)	27.946	O(n^1)	24.058
Transformed CSR 04 Ex18 Luc06 C	O(n^1)	0.317	O(n^1)	166.954
Transformed CSR 04 Ex18 Luc06 FR	O(n^1)	0.288	O(n^1)	101.783
Transformed CSR 04 Ex18 Luc06 GM	O(n^1)	0.278	O(n^1)	0.492
Transformed CSR 04 Ex18 Luc06 Z	O(n^1)	0.226	O(1)	0.367
Transformed CSR 04 Ex1 2 AEL03 C	MAYBE	0.262	MAYBE	298.061
Transformed CSR 04 Ex1 2 AEL03 FR	MAYBE	0.195	MAYBE	297.566
Transformed CSR 04 Ex1 2 AEL03 GM	MAYBE	0.209	MAYBE	298.172
Transformed CSR 04 Ex1 2 AEL03 L	NO	0.188	MAYBE	0.025
Transformed CSR 04 Ex1 2 AEL03 Z	MAYBE	0.197	MAYBE	297.694
Transformed CSR 04 Ex1 2 Luc02c C	MAYBE	0.195	MAYBE	297.387
Transformed CSR 04 Ex1 2 Luc02c FR	MAYBE	0.178	MAYBE	297.305
Transformed CSR 04 Ex1 2 Luc02c GM	MAYBE	0.187	MAYBE	297.283
Transformed CSR 04 Ex1 2 Luc02c L	NO	0.183	MAYBE	0.019
Transformed CSR 04 Ex1 2 Luc02c Z	MAYBE	0.190	O(n^1)	0.655
Transformed CSR 04 Ex1 GL02a C	MAYBE	0.213	MAYBE	297.367
Transformed CSR 04 Ex1 GL02a FR	MAYBE	0.193	MAYBE	297.226
Transformed CSR 04 Ex1 GL02a GM	MAYBE	0.199	MAYBE	300.034
Transformed CSR 04 Ex1 GM03 C	MAYBE	0.208	MAYBE	297.225
Transformed CSR 04 Ex1 GM03 FR	MAYBE	0.191	MAYBE	297.317
Transformed CSR 04 Ex1 GM03 GM	MAYBE	0.197	MAYBE	298.204
Transformed CSR 04 Ex1 GM03 L	NO	0.186	MAYBE	0.024
Transformed CSR 04 Ex1 GM99 C	MAYBE	0.192	MAYBE	297.211
Transformed CSR 04 Ex1 GM99 GM	MAYBE	0.185	MAYBE	150.040
Transformed CSR 04 Ex1 Luc02b C	MAYBE	0.201	MAYBE	297.252
Transformed CSR 04 Ex1 Luc02b FR	MAYBE	0.182	MAYBE	297.273
Transformed CSR 04 Ex1 Luc02b GM	MAYBE	0.183	MAYBE	297.406
Transformed CSR 04 Ex1 Luc02b L	NO	0.189	MAYBE	0.021
Transformed CSR 04 Ex1 Luc02b Z	MAYBE	0.191	O(n^2)	165.775
Transformed CSR 04 Ex1 Luc04b C	O(n^1)	2.761	O(n^1)	297.145
Transformed CSR 04 Ex1 Luc04b GM	MAYBE	64.517	MAYBE	297.192
Transformed CSR 04 Ex1 Luc04b L	NO	0.183	MAYBE	0.020
Transformed CSR 04 Ex1 Zan97 C	O(n^1)	0.438	O(n^1)	19.527
Transformed CSR 04 Ex1 Zan97 GM	O(n^1)	0.316	O(n^1)	0.298
Transformed CSR 04 Ex23 Luc06 C	O(n^1)	0.361	O(n^1)	297.166
Transformed CSR 04 Ex23 Luc06 FR	O(n^1)	0.334	O(n^1)	1.191
Transformed CSR 04 Ex23 Luc06 GM	O(n^1)	0.310	O(n^1)	0.400
Transformed CSR 04 Ex23 Luc06 Z	O(n^1)	0.232	O(n^1)	0.288
Transformed CSR 04 Ex24 GM04 C	MAYBE	0.196	MAYBE	297.055
Transformed CSR 04 Ex24 GM04 FR	MAYBE	0.186	MAYBE	297.586
Transformed CSR 04 Ex24 GM04 GM	MAYBE	0.185	MAYBE	256.542
Transformed CSR 04 Ex24 GM04 Z	MAYBE	0.175	MAYBE	297.572
Transformed CSR 04 Ex24 Luc06 C	MAYBE	0.192	MAYBE	297.137
Transformed CSR 04 Ex24 Luc06 GM	MAYBE	0.186	MAYBE	147.510
Transformed CSR 04 Ex25 Luc06 C	O(n^1)	0.366	O(n^1)	60.381
Transformed CSR 04 Ex25 Luc06 FR	O(n^1)	0.540	O(n^1)	4.188
Transformed CSR 04 Ex25 Luc06 GM	O(n^1)	0.436	O(n^1)	0.844
Transformed CSR 04 Ex25 Luc06 Z	O(n^1)	0.320	O(n^1)	1.018
Transformed CSR 04 Ex26 Luc03b C	MAYBE	0.223	MAYBE	297.350
Transformed CSR 04 Ex26 Luc03b FR	MAYBE	0.197	MAYBE	298.147
Transformed CSR 04 Ex26 Luc03b GM	MAYBE	0.203	MAYBE	297.886
Transformed CSR 04 Ex26 Luc03b L	O(n^1)	0.263	O(1)	0.155
Transformed CSR 04 Ex26 Luc03b Z	MAYBE	0.195	MAYBE	297.826
Transformed CSR 04 Ex2 Luc02a C	MAYBE	0.225	MAYBE	297.895
Transformed CSR 04 Ex2 Luc02a FR	MAYBE	0.192	MAYBE	300.018
Transformed CSR 04 Ex2 Luc02a GM	MAYBE	0.198	MAYBE	298.134
Transformed CSR 04 Ex2 Luc02a L	MAYBE	0.187	MAYBE	161.739
Transformed CSR 04 Ex2 Luc02a Z	MAYBE	0.197	MAYBE	297.295
Transformed CSR 04 Ex2 Luc03b C	MAYBE	0.215	MAYBE	297.760
Transformed CSR 04 Ex2 Luc03b FR	MAYBE	0.195	MAYBE	299.788
Transformed CSR 04 Ex2 Luc03b GM	MAYBE	0.194	MAYBE	297.670
Transformed CSR 04 Ex2 Luc03b L	O(n^1)	0.232	O(1)	0.111
Transformed CSR 04 Ex2 Luc03b Z	MAYBE	0.192	MAYBE	300.017
Transformed CSR 04 Ex3 12 Luc96a C	MAYBE	0.201	MAYBE	297.350
Transformed CSR 04 Ex3 12 Luc96a FR	MAYBE	0.178	MAYBE	297.297
Transformed CSR 04 Ex3 12 Luc96a GM	MAYBE	0.181	MAYBE	297.283
Transformed CSR 04 Ex3 12 Luc96a L	NO	0.174	MAYBE	0.019
Transformed CSR 04 Ex3 12 Luc96a Z	MAYBE	0.186	O(n^1)	148.102
Transformed CSR 04 Ex3 2 Luc97 C	MAYBE	0.217	MAYBE	297.271
Transformed CSR 04 Ex3 2 Luc97 FR	MAYBE	0.189	MAYBE	298.084
Transformed CSR 04 Ex3 2 Luc97 GM	MAYBE	0.198	MAYBE	298.334
Transformed CSR 04 Ex3 2 Luc97 L	NO	0.185	MAYBE	0.022
Transformed CSR 04 Ex3 2 Luc97 Z	MAYBE	0.197	MAYBE	298.044
Transformed CSR 04 Ex3 3 25 Bor03 C	MAYBE	0.216	MAYBE	297.394
Transformed CSR 04 Ex3 3 25 Bor03 FR	MAYBE	0.193	MAYBE	297.223
Transformed CSR 04 Ex3 3 25 Bor03 GM	MAYBE	0.197	MAYBE	297.651
Transformed CSR 04 Ex3 3 25 Bor03 L	O(n^1)	0.239	O(1)	0.228
Transformed CSR 04 Ex49 GM04 C	MAYBE	0.213	MAYBE	297.568
Transformed CSR 04 Ex49 GM04 FR	MAYBE	0.195	MAYBE	297.437
Transformed CSR 04 Ex49 GM04 GM	MAYBE	0.189	MAYBE	298.239
Transformed CSR 04 Ex49 GM04 L	NO	0.186	MAYBE	0.021
Transformed CSR 04 Ex49 GM04 Z	MAYBE	0.190	MAYBE	297.435
Transformed CSR 04 Ex4 4 Luc96b C	MAYBE	0.190	MAYBE	297.144
Transformed CSR 04 Ex4 4 Luc96b GM	MAYBE	0.183	MAYBE	297.663
Transformed CSR 04 Ex4 4 Luc96b L	O(n^1)	0.204	O(n^1)	0.061
Transformed CSR 04 Ex4 7 15 Bor03 C	O(n^1)	0.448	O(n^1)	297.084
Transformed CSR 04 Ex4 7 15 Bor03 FR	O(n^1)	0.386	O(n^1)	3.185
Transformed CSR 04 Ex4 7 15 Bor03 GM	O(n^1)	0.406	O(n^1)	5.285
Transformed CSR 04 Ex4 7 15 Bor03 L	O(n^1)	0.233	O(1)	0.354
Transformed CSR 04 Ex4 7 15 Bor03 Z	O(n^1)	0.273	O(n^1)	0.428
Transformed CSR 04 Ex4 7 37 Bor03 C	MAYBE	0.229	MAYBE	297.231
Transformed CSR 04 Ex4 7 37 Bor03 FR	MAYBE	0.195	MAYBE	297.195
Transformed CSR 04 Ex4 7 37 Bor03 GM	MAYBE	0.203	MAYBE	298.602
Transformed CSR 04 Ex4 7 37 Bor03 L	NO	0.187	MAYBE	0.024
Transformed CSR 04 Ex4 7 37 Bor03 Z	MAYBE	0.193	MAYBE	297.279
Transformed CSR 04 Ex4 7 56 Bor03 C	MAYBE	0.205	MAYBE	297.233
Transformed CSR 04 Ex4 7 56 Bor03 FR	MAYBE	0.186	MAYBE	298.568
Transformed CSR 04 Ex4 7 56 Bor03 GM	MAYBE	0.188	MAYBE	297.279
Transformed CSR 04 Ex4 7 56 Bor03 L	NO	0.176	MAYBE	0.012
Transformed CSR 04 Ex4 7 56 Bor03 Z	MAYBE	0.186	O(n^1)	0.600
Transformed CSR 04 Ex4 7 77 Bor03 C	O(n^1)	0.593	O(n^1)	297.142
Transformed CSR 04 Ex4 7 77 Bor03 FR	O(n^1)	0.261	O(1)	0.107
Transformed CSR 04 Ex4 7 77 Bor03 GM	O(n^2)	10.022	O(n^1)	1.305
Transformed CSR 04 Ex4 7 77 Bor03 L	NO	0.182	MAYBE	0.026
Transformed CSR 04 Ex4 DLMMU04 C	MAYBE	0.250	MAYBE	298.567
Transformed CSR 04 Ex4 DLMMU04 GM	MAYBE	0.212	MAYBE	297.079
Transformed CSR 04 Ex4 DLMMU04 L	NO	0.191	MAYBE	0.026
Transformed CSR 04 Ex4 Zan97 C	MAYBE	0.208	MAYBE	297.268
Transformed CSR 04 Ex4 Zan97 FR	MAYBE	0.188	MAYBE	297.284
Transformed CSR 04 Ex4 Zan97 GM	MAYBE	0.184	MAYBE	297.351
Transformed CSR 04 Ex4 Zan97 L	NO	0.184	MAYBE	0.024
Transformed CSR 04 Ex4 Zan97 Z	MAYBE	0.187	MAYBE	280.432
Transformed CSR 04 Ex5 7 Luc97 C	MAYBE	0.240	MAYBE	297.209
Transformed CSR 04 Ex5 7 Luc97 FR	MAYBE	0.204	MAYBE	297.225
Transformed CSR 04 Ex5 7 Luc97 GM	MAYBE	0.210	MAYBE	297.461
Transformed CSR 04 Ex5 7 Luc97 L	NO	0.189	MAYBE	0.026
Transformed CSR 04 Ex5 7 Luc97 Z	MAYBE	0.201	MAYBE	297.129
Transformed CSR 04 Ex5 DLMMU04 C	MAYBE	0.247	MAYBE	297.323
Transformed CSR 04 Ex5 DLMMU04 GM	MAYBE	0.201	MAYBE	297.193
Transformed CSR 04 Ex5 DLMMU04 L	NO	0.178	MAYBE	0.024
Transformed CSR 04 Ex5 Zan97 C	O(n^1)	1.032	O(n^1)	297.168
Transformed CSR 04 Ex5 Zan97 FR	O(n^1)	0.382	O(n^1)	211.810
Transformed CSR 04 Ex5 Zan97 GM	MAYBE	10.824	MAYBE	297.510
Transformed CSR 04 Ex5 Zan97 L	NO	0.182	MAYBE	0.020
Transformed CSR 04 Ex5 Zan97 Z	O(n^1)	0.332	O(n^1)	0.392
Transformed CSR 04 Ex6 15 AEL02 C	MAYBE	0.268	MAYBE	297.769
Transformed CSR 04 Ex6 15 AEL02 FR	MAYBE	0.205	MAYBE	297.244
Transformed CSR 04 Ex6 15 AEL02 GM	MAYBE	0.219	MAYBE	300.017
Transformed CSR 04 Ex6 15 AEL02 L	NO	0.192	MAYBE	0.027
Transformed CSR 04 Ex6 9 Luc02c C	MAYBE	0.206	MAYBE	297.420
Transformed CSR 04 Ex6 9 Luc02c FR	MAYBE	0.178	MAYBE	297.612
Transformed CSR 04 Ex6 9 Luc02c GM	MAYBE	0.191	MAYBE	297.656
Transformed CSR 04 Ex6 9 Luc02c L	NO	0.176	MAYBE	0.019
Transformed CSR 04 Ex6 9 Luc02c Z	MAYBE	0.185	O(n^1)	1.595
Transformed CSR 04 Ex6 GM04 C	O(n^1)	0.816	O(n^1)	297.078
Transformed CSR 04 Ex6 GM04 GM	O(n^1)	0.278	O(1)	0.198
Transformed CSR 04 Ex6 Luc98 C	MAYBE	0.201	MAYBE	297.759
Transformed CSR 04 Ex6 Luc98 FR	MAYBE	0.188	MAYBE	297.620
Transformed CSR 04 Ex6 Luc98 GM	MAYBE	0.188	MAYBE	299.533
Transformed CSR 04 Ex6 Luc98 L	O(n^1)	0.215	O(1)	0.067
Transformed CSR 04 Ex6 Luc98 Z	MAYBE	0.178	O(n^1)	0.812
Transformed CSR 04 Ex7 BLR02 C	MAYBE	0.222	MAYBE	297.329
Transformed CSR 04 Ex7 BLR02 FR	MAYBE	0.191	MAYBE	297.286
Transformed CSR 04 Ex7 BLR02 GM	MAYBE	0.197	MAYBE	297.432
Transformed CSR 04 Ex7 BLR02 L	NO	0.183	MAYBE	0.022
Transformed CSR 04 Ex7 BLR02 Z	MAYBE	0.188	MAYBE	297.656
Transformed CSR 04 Ex8 BLR02 C	MAYBE	0.209	MAYBE	297.629
Transformed CSR 04 Ex8 BLR02 FR	MAYBE	0.190	MAYBE	297.924
Transformed CSR 04 Ex8 BLR02 GM	MAYBE	0.195	MAYBE	298.638
Transformed CSR 04 Ex8 BLR02 L	NO	0.184	MAYBE	0.022
Transformed CSR 04 Ex8 BLR02 Z	MAYBE	0.186	MAYBE	298.745
Transformed CSR 04 Ex9 BLR02 C	MAYBE	0.206	MAYBE	297.291
Transformed CSR 04 Ex9 BLR02 FR	MAYBE	0.187	MAYBE	298.052
Transformed CSR 04 Ex9 BLR02 GM	MAYBE	0.201	MAYBE	297.599
Transformed CSR 04 Ex9 BLR02 L	O(n^1)	0.255	O(1)	0.540
Transformed CSR 04 Ex9 BLR02 Z	MAYBE	0.192	MAYBE	298.491
Transformed CSR 04 Ex9 Luc04 C	MAYBE	0.193	MAYBE	297.232
Transformed CSR 04 Ex9 Luc04 GM	MAYBE	0.185	MAYBE	154.375
Transformed CSR 04 Ex9 Luc06 C	O(n^1)	26.230	MAYBE	297.180
Transformed CSR 04 Ex9 Luc06 GM	O(n^2)	31.049	O(n^1)	24.047
Transformed CSR 04 ExAppendixB AEL03 C	MAYBE	0.260	MAYBE	298.042
Transformed CSR 04 ExAppendixB AEL03 FR	MAYBE	0.195	MAYBE	297.956
Transformed CSR 04 ExAppendixB AEL03 GM	MAYBE	0.214	MAYBE	299.898
Transformed CSR 04 ExAppendixB AEL03 L	NO	0.184	MAYBE	0.026
Transformed CSR 04 ExAppendixB AEL03 Z	MAYBE	0.190	MAYBE	299.174
Transformed CSR 04 ExConc Zan97 C	O(n^1)	0.281	O(n^1)	39.474
Transformed CSR 04 ExConc Zan97 FR	O(n^1)	0.234	O(n^1)	0.337
Transformed CSR 04 ExConc Zan97 GM	O(n^1)	0.261	O(n^1)	0.293
Transformed CSR 04 ExIntrod GM01 C	O(n^1)	3.776	O(n^1)	297.145
Transformed CSR 04 ExIntrod GM01 GM	MAYBE	68.874	MAYBE	297.259
Transformed CSR 04 ExIntrod GM01 L	NO	0.176	MAYBE	0.022
Transformed CSR 04 ExIntrod GM04 C	O(n^1)	2.647	O(n^1)	297.110
Transformed CSR 04 ExIntrod GM04 GM	O(n^3)	35.124	O(n^3)	297.226
Transformed CSR 04 ExIntrod GM04 L	NO	0.183	MAYBE	0.021
Transformed CSR 04 ExIntrod GM99 C	MAYBE	0.235	MAYBE	297.426
Transformed CSR 04 ExIntrod GM99 FR	MAYBE	0.200	MAYBE	298.005
Transformed CSR 04 ExIntrod GM99 GM	MAYBE	0.209	MAYBE	298.859
Transformed CSR 04 ExIntrod GM99 L	NO	0.188	MAYBE	0.023
Transformed CSR 04 ExIntrod Zan97 C	MAYBE	0.223	MAYBE	297.206
Transformed CSR 04 ExIntrod Zan97 FR	MAYBE	0.187	MAYBE	297.209
Transformed CSR 04 ExIntrod Zan97 GM	MAYBE	0.198	MAYBE	298.425
Transformed CSR 04 ExIntrod Zan97 L	NO	0.185	MAYBE	0.023
Transformed CSR 04 ExProp7 Luc06 C	O(n^1)	0.376	O(n^1)	297.068
Transformed CSR 04 ExProp7 Luc06 FR	O(n^1)	0.400	O(n^1)	270.160
Transformed CSR 04 ExProp7 Luc06 GM	MAYBE	61.078	MAYBE	297.173
Transformed CSR 04 ExProp7 Luc06 L	O(n^1)	0.235	O(n^1)	1.570
Transformed CSR 04 ExProp7 Luc06 Z	O(n^1)	0.245	O(n^1)	1.804
Transformed CSR 04 ExSec11 1 Luc02a C	MAYBE	0.233	MAYBE	297.339
Transformed CSR 04 ExSec11 1 Luc02a FR	MAYBE	0.193	MAYBE	298.142
Transformed CSR 04 ExSec11 1 Luc02a GM	MAYBE	0.204	MAYBE	298.137
Transformed CSR 04 ExSec11 1 Luc02a L	MAYBE	0.189	MAYBE	276.837
Transformed CSR 04 ExSec11 1 Luc02a Z	MAYBE	0.192	MAYBE	297.265
Transformed CSR 04 ExSec4 2 DLMMU04 C	MAYBE	0.261	MAYBE	297.242
Transformed CSR 04 ExSec4 2 DLMMU04 FR	MAYBE	0.184	MAYBE	297.376
Transformed CSR 04 ExSec4 2 DLMMU04 GM	MAYBE	0.212	MAYBE	297.736
Transformed CSR 04 ExSec4 2 DLMMU04 L	NO	0.188	MAYBE	0.025
Transformed CSR 04 ExSec4 2 DLMMU04 Z	MAYBE	0.191	MAYBE	297.311
Transformed CSR...TIES complete-noand FR	MAYBE	0.373	MAYBE	297.365
Transformed CSR...ITIES complete-noand L	NO	0.262	MAYBE	0.090
Transformed CSR...ITIES complete-noand Z	MAYBE	0.370	MAYBE	297.406
Transformed CSR...STUTILITIES complete C	MAYBE	0.538	MAYBE	298.502
Transformed CSR...TUTILITIES complete FR	MAYBE	0.313	MAYBE	297.259
Transformed CSR...TUTILITIES complete GM	MAYBE	0.360	MAYBE	297.225
Transformed CSR...STUTILITIES complete L	NO	0.224	MAYBE	0.050
Transformed CSR...STUTILITIES complete Z	MAYBE	0.312	MAYBE	297.247
Transformed CSR...ITIES complete noand C	MAYBE	0.933	MAYBE	300.095
Transformed CSR...TIES complete noand GM	MAYBE	0.528	MAYBE	299.645
Transformed CSR...ITIES nokinds-noand FR	MAYBE	0.264	MAYBE	297.212
Transformed CSR...LITIES nokinds-noand L	NO	0.212	MAYBE	0.043
Transformed CSR...LITIES nokinds-noand Z	MAYBE	0.264	MAYBE	297.209
Transformed CSR...ISTUTILITIES nokinds C	MAYBE	0.351	MAYBE	298.315
Transformed CSR...STUTILITIES nokinds FR	MAYBE	0.253	MAYBE	297.178
Transformed CSR...STUTILITIES nokinds GM	MAYBE	0.264	MAYBE	300.013
Transformed CSR...ISTUTILITIES nokinds L	NO	0.200	MAYBE	0.038
Transformed CSR...ISTUTILITIES nokinds Z	MAYBE	0.245	MAYBE	297.154
Transformed CSR...LITIES nokinds noand C	MAYBE	0.496	MAYBE	298.852
Transformed CSR...ITIES nokinds noand GM	MAYBE	0.320	MAYBE	297.405
Transformed CSR...ITIES nosorts-noand FR	MAYBE	0.213	MAYBE	297.352
Transformed CSR...LITIES nosorts-noand L	NO	0.200	MAYBE	0.031
Transformed CSR...LITIES nosorts-noand Z	MAYBE	0.208	MAYBE	297.061
Transformed CSR...ISTUTILITIES nosorts C	MAYBE	0.270	MAYBE	297.406
Transformed CSR...STUTILITIES nosorts FR	MAYBE	0.195	MAYBE	300.018
Transformed CSR...STUTILITIES nosorts GM	MAYBE	0.217	MAYBE	300.024
Transformed CSR...ISTUTILITIES nosorts L	NO	0.189	MAYBE	0.025
Transformed CSR...ISTUTILITIES nosorts Z	MAYBE	0.192	O(n^1)	148.623
Transformed CSR...LITIES nosorts noand C	MAYBE	0.360	MAYBE	297.890
Transformed CSR...ITIES nosorts noand GM	MAYBE	0.264	MAYBE	299.393
Transformed CSR...Lists complete-noand L	NO	0.200	MAYBE	0.035
Transformed CSR...FiniteLists complete C	MAYBE	0.297	MAYBE	297.191
Transformed CSR...initeLists complete FR	MAYBE	0.212	MAYBE	297.246
Transformed CSR...initeLists complete GM	MAYBE	0.236	MAYBE	297.174
Transformed CSR...FiniteLists complete L	NO	0.194	MAYBE	0.029
Transformed CSR...FiniteLists complete Z	MAYBE	0.217	MAYBE	297.253
Transformed CSR...Lists complete noand C	MAYBE	0.377	MAYBE	297.278
Transformed CSR...ists complete noand GM	MAYBE	0.278	MAYBE	297.188
Transformed CSR...eLists nokinds-noand L	NO	0.191	MAYBE	0.026
Transformed CSR...fFiniteLists nokinds C	MAYBE	0.219	MAYBE	297.293
Transformed CSR...FiniteLists nokinds GM	MAYBE	0.204	MAYBE	297.110
Transformed CSR...fFiniteLists nokinds L	NO	0.177	MAYBE	0.015
Transformed CSR...eLists nokinds noand C	MAYBE	0.262	MAYBE	297.148
Transformed CSR...Lists nokinds noand GM	MAYBE	0.214	MAYBE	297.175
Transformed CSR...eLists nosorts-noand L	NO	0.187	MAYBE	0.021
Transformed CSR...fFiniteLists nosorts C	O(n^1)	0.726	O(n^1)	297.208
Transformed CSR...FiniteLists nosorts GM	MAYBE	60.535	MAYBE	297.140
Transformed CSR...fFiniteLists nosorts L	NO	0.182	MAYBE	0.020
Transformed CSR...eLists nosorts noand C	O(n^1)	1.040	O(n^1)	297.220
Transformed CSR...Lists nosorts noand GM	MAYBE	63.461	MAYBE	297.175
Transformed CSR...YNAT complete-noand FR	MAYBE	0.228	MAYBE	297.304
Transformed CSR...MYNAT complete-noand L	NO	0.204	MAYBE	0.036
Transformed CSR...MYNAT complete-noand Z	MAYBE	0.237	MAYBE	297.201
Transformed CSR 04 MYNAT complete C	MAYBE	0.298	MAYBE	298.274
Transformed CSR 04 MYNAT complete FR	MAYBE	0.221	MAYBE	297.357
Transformed CSR 04 MYNAT complete GM	MAYBE	0.238	MAYBE	299.109
Transformed CSR 04 MYNAT complete L	NO	0.195	MAYBE	0.028
Transformed CSR 04 MYNAT complete Z	MAYBE	0.207	MAYBE	297.244
Transformed CSR...MYNAT complete noand C	MAYBE	0.401	MAYBE	297.359
Transformed CSR...YNAT complete noand GM	MAYBE	0.290	MAYBE	297.228
Transformed CSR...MYNAT nokinds-noand FR	MAYBE	0.203	MAYBE	297.180
Transformed CSR 04 MYNAT nokinds-noand L	NO	0.190	MAYBE	0.026
Transformed CSR 04 MYNAT nokinds-noand Z	MAYBE	0.210	MAYBE	297.187
Transformed CSR 04 MYNAT nokinds C	MAYBE	0.241	MAYBE	297.408
Transformed CSR 04 MYNAT nokinds FR	MAYBE	0.193	MAYBE	297.153
Transformed CSR 04 MYNAT nokinds GM	MAYBE	0.206	MAYBE	297.816
Transformed CSR 04 MYNAT nokinds L	NO	0.187	MAYBE	0.025
Transformed CSR 04 MYNAT nokinds Z	MAYBE	0.198	MAYBE	297.162
Transformed CSR 04 MYNAT nokinds noand C	MAYBE	0.268	MAYBE	297.233
Transformed CSR...MYNAT nokinds noand GM	MAYBE	0.218	MAYBE	298.423
Transformed CSR...MYNAT nosorts-noand FR	MAYBE	0.181	MAYBE	297.470
Transformed CSR 04 MYNAT nosorts-noand L	NO	0.185	MAYBE	0.022
Transformed CSR 04 MYNAT nosorts C	MAYBE	0.208	MAYBE	297.241
Transformed CSR 04 MYNAT nosorts FR	MAYBE	0.182	O(n^2)	21.167
Transformed CSR 04 MYNAT nosorts GM	MAYBE	0.190	MAYBE	297.622
Transformed CSR 04 MYNAT nosorts L	NO	0.176	MAYBE	0.021
Transformed CSR 04 MYNAT nosorts noand C	MAYBE	0.230	MAYBE	297.255
Transformed CSR...MYNAT nosorts noand GM	MAYBE	0.201	MAYBE	297.674
Transformed CSR...nsOS complete-noand FR	MAYBE	0.267	MAYBE	297.264
Transformed CSR...onsOS complete-noand L	NO	0.213	MAYBE	0.065
Transformed CSR...onsOS complete-noand Z	MAYBE	0.270	MAYBE	297.502
Transformed CSR 04 OvConsOS complete C	MAYBE	0.336	MAYBE	297.599
Transformed CSR 04 OvConsOS complete FR	MAYBE	0.242	MAYBE	297.221
Transformed CSR 04 OvConsOS complete GM	MAYBE	0.259	MAYBE	297.206
Transformed CSR 04 OvConsOS complete L	NO	0.199	MAYBE	0.036
Transformed CSR 04 OvConsOS complete Z	MAYBE	0.229	MAYBE	297.240
Transformed CSR...onsOS complete noand C	MAYBE	0.502	MAYBE	297.492
Transformed CSR...nsOS complete noand GM	MAYBE	0.321	MAYBE	297.197
Transformed CSR...ConsOS nokinds-noand L	NO	0.187	MAYBE	0.029
Transformed CSR 04 OvConsOS nokinds C	MAYBE	0.250	MAYBE	297.389
Transformed CSR 04 OvConsOS nokinds FR	MAYBE	0.202	MAYBE	297.202
Transformed CSR 04 OvConsOS nokinds GM	MAYBE	0.210	MAYBE	297.173
Transformed CSR 04 OvConsOS nokinds L	NO	0.187	MAYBE	0.019
Transformed CSR 04 OvConsOS nokinds Z	MAYBE	0.209	MAYBE	297.166
Transformed CSR...ConsOS nokinds noand C	MAYBE	0.304	MAYBE	297.214
Transformed CSR...onsOS nokinds noand GM	MAYBE	0.240	MAYBE	297.185
Transformed CSR...ConsOS nosorts-noand L	NO	0.187	MAYBE	0.029
Transformed CSR 04 OvConsOS nosorts C	O(n^1)	1.098	O(n^1)	297.262
Transformed CSR 04 OvConsOS nosorts GM	MAYBE	59.271	MAYBE	297.369
Transformed CSR 04 OvConsOS nosorts L	NO	0.187	MAYBE	0.021
Transformed CSR...ConsOS nosorts noand C	MAYBE	60.632	MAYBE	297.241
Transformed CSR...onsOS nosorts noand GM	MAYBE	60.347	MAYBE	300.012
Transformed CSR...ROME complete-noand FR	MAYBE	0.247	MAYBE	297.397
Transformed CSR...DROME complete-noand Z	MAYBE	0.242	MAYBE	297.360
Transformed CSR 04 PALINDROME complete C	MAYBE	0.323	MAYBE	297.210
Transformed CSR...PALINDROME complete FR	MAYBE	0.227	MAYBE	297.277
Transformed CSR...PALINDROME complete GM	MAYBE	0.252	MAYBE	300.035
Transformed CSR 04 PALINDROME complete L	NO	0.196	MAYBE	0.030
Transformed CSR 04 PALINDROME complete Z	MAYBE	0.225	MAYBE	297.223
Transformed CSR...DROME complete noand C	MAYBE	0.423	MAYBE	297.505
Transformed CSR...ROME complete noand GM	MAYBE	0.304	MAYBE	297.205
Transformed CSR...DROME nokinds-noand FR	MAYBE	22.402	MAYBE	297.326
Transformed CSR...NDROME nokinds-noand Z	O(n^2)	13.910	O(n^1)	297.552
Transformed CSR 04 PALINDROME nokinds C	O(n^1)	4.410	O(n^1)	297.611
Transformed CSR 04 PALINDROME nokinds FR	MAYBE	17.502	MAYBE	297.248
Transformed CSR 04 PALINDROME nokinds GM	MAYBE	25.558	MAYBE	297.438
Transformed CSR 04 PALINDROME nokinds L	NO	0.186	MAYBE	0.025
Transformed CSR 04 PALINDROME nokinds Z	O(n^2)	11.085	O(n^1)	297.235
Transformed CSR...NDROME nokinds noand C	MAYBE	96.992	O(n^1)	297.145
Transformed CSR...DROME nokinds noand GM	MAYBE	60.335	MAYBE	300.012
Transformed CSR 04 PALINDROME nosorts C	O(n^1)	0.628	O(n^1)	297.281
Transformed CSR 04 PALINDROME nosorts GM	MAYBE	13.658	MAYBE	299.065
Transformed CSR 04 PALINDROME nosorts L	NO	0.174	MAYBE	0.013
Transformed CSR...NDROME nosorts noand C	O(n^1)	0.653	O(n^1)	297.289
Transformed CSR...DROME nosorts noand GM	MAYBE	19.022	MAYBE	297.291
Transformed CSR...EANO complete-noand FR	MAYBE	0.210	MAYBE	297.264
Transformed CSR...PEANO complete-noand L	NO	0.195	MAYBE	0.029
Transformed CSR...PEANO complete-noand Z	MAYBE	0.213	MAYBE	297.256
Transformed CSR 04 PEANO complete C	MAYBE	0.270	MAYBE	297.600
Transformed CSR 04 PEANO complete FR	MAYBE	0.206	MAYBE	297.255
Transformed CSR 04 PEANO complete GM	MAYBE	0.211	MAYBE	298.019
Transformed CSR 04 PEANO complete L	NO	0.189	MAYBE	0.025
Transformed CSR 04 PEANO complete Z	MAYBE	0.193	MAYBE	297.165
Transformed CSR...PEANO complete noand C	MAYBE	0.311	MAYBE	298.318
Transformed CSR...EANO complete noand GM	MAYBE	0.241	MAYBE	298.401
Transformed CSR...PEANO nokinds-noand FR	MAYBE	0.193	MAYBE	297.295
Transformed CSR 04 PEANO nokinds-noand L	NO	0.186	MAYBE	0.028
Transformed CSR 04 PEANO nokinds-noand Z	MAYBE	0.185	MAYBE	297.283
Transformed CSR 04 PEANO nokinds C	MAYBE	0.213	MAYBE	297.244
Transformed CSR 04 PEANO nokinds FR	MAYBE	0.193	MAYBE	297.223
Transformed CSR 04 PEANO nokinds GM	MAYBE	0.195	MAYBE	300.013
Transformed CSR 04 PEANO nokinds L	NO	0.183	MAYBE	0.021
Transformed CSR 04 PEANO nokinds Z	MAYBE	0.192	MAYBE	297.221
Transformed CSR 04 PEANO nokinds noand C	MAYBE	0.237	MAYBE	297.288
Transformed CSR...PEANO nokinds noand GM	MAYBE	0.202	MAYBE	297.898
Transformed CSR...PEANO nosorts-noand FR	O(n^2)	8.144	O(n^1)	24.045
Transformed CSR 04 PEANO nosorts-noand L	NO	0.182	MAYBE	0.020
Transformed CSR 04 PEANO nosorts C	O(n^1)	0.404	O(n^1)	297.144
Transformed CSR 04 PEANO nosorts FR	O(n^1)	0.245	O(n^1)	0.135
Transformed CSR 04 PEANO nosorts GM	MAYBE	18.488	MAYBE	297.771
Transformed CSR 04 PEANO nosorts L	NO	0.181	MAYBE	0.019
Transformed CSR 04 PEANO nosorts noand C	O(n^1)	0.943	O(n^1)	297.159
Transformed CSR...PEANO nosorts noand GM	MAYBE	57.693	MAYBE	297.561
Various 04 04	MAYBE	0.198	MAYBE	297.159
Various 04 08	MAYBE	0.201	MAYBE	297.255
Various 04 10	MAYBE	0.188	MAYBE	297.292
Various 04 11	MAYBE	0.184	MAYBE	298.034
Various 04 12	MAYBE	0.189	MAYBE	239.297
Various 04 13	MAYBE	0.198	MAYBE	297.347
Various 04 14	MAYBE	0.219	MAYBE	297.272
Various 04 15	O(n^1)	0.231	O(n^1)	96.222
Various 04 18	O(n^1)	0.235	O(n^1)	297.493
Various 04 22	MAYBE	0.183	MAYBE	300.018
Various 04 23	O(n^2)	8.019	O(n^1)	0.815
Various 04 24	O(n^1)	3.466	O(n^2)	148.216
Waldmann 06 jwmatchb1	O(n^1)	0.575	O(n^1)	3.451
Waldmann 06 jwmatchb2	O(n^1)	0.558	O(n^1)	3.440
Zantema 05 z10	MAYBE	0.180	MAYBE	299.093
Zantema 05 z12	MAYBE	56.023	MAYBE	297.175
Zantema 05 z13	MAYBE	57.492	MAYBE	297.077
Zantema 05 z14	MAYBE	55.437	MAYBE	297.176
Zantema 05 z15	MAYBE	55.374	MAYBE	297.134
Zantema 05 z16	MAYBE	55.692	MAYBE	297.170
Zantema 05 z17	MAYBE	60.291	MAYBE	297.135
Zantema 05 z18	MAYBE	55.555	MAYBE	297.123
Zantema 05 z23	MAYBE	70.391	MAYBE	297.130
Zantema 05 z24	MAYBE	55.967	MAYBE	297.170
Zantema 05 z26	O(n^1)	0.236	O(n^1)	42.190
Zantema 05 z27	MAYBE	0.186	MAYBE	300.024
Zantema 05 z28	MAYBE	0.184	MAYBE	297.514