Computation with Bounded Resources
Research Group

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)
120154
O(n^2)
1319
O(n^3)
12
O(n^5)
-1
O(n^10)
-1
Total YES
134193
Total MAYBE
640641
Total NO
60-
Strict Wins
689

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)
answertimeanswertime
MAYBE
0.174
O(n^1)
0.595
MAYBE
0.194
MAYBE
297.213
MAYBE
56.621
O(n^3)
138.125
MAYBE
0.195
MAYBE
297.256
O(n^2)
6.508
O(n^1)
24.108
MAYBE
0.187
MAYBE
297.186
MAYBE
59.468
MAYBE
297.464
MAYBE
60.081
MAYBE
298.813
MAYBE
0.187
MAYBE
242.835
MAYBE
0.185
MAYBE
297.403
MAYBE
0.183
MAYBE
102.860
MAYBE
0.192
MAYBE
297.561
MAYBE
0.181
O(n^1)
0.258
O(n^1)
0.228
O(n^1)
0.833
MAYBE
33.480
MAYBE
297.259
MAYBE
0.180
O(n^1)
0.139
MAYBE
0.182
MAYBE
299.986
O(n^1)
0.235
O(1)
0.771
O(n^1)
0.230
O(n^1)
0.170
MAYBE
0.186
MAYBE
297.587
O(n^1)
0.347
O(n^1)
0.899
MAYBE
0.187
MAYBE
300.013
MAYBE
0.189
O(n^1)
228.028
MAYBE
0.187
MAYBE
192.554
MAYBE
0.191
MAYBE
297.268
MAYBE
0.182
O(n^1)
9.714
MAYBE
0.186
MAYBE
47.732
MAYBE
0.181
O(n^2)
9.453
MAYBE
0.186
MAYBE
148.448
MAYBE
55.564
MAYBE
297.160
MAYBE
0.189
O(n^2)
186.690
O(n^1)
0.277
O(n^1)
1.836
MAYBE
0.181
O(n^1)
0.598
MAYBE
0.185
MAYBE
297.372
MAYBE
0.174
O(1)
0.210
MAYBE
0.183
O(n^1)
0.578
MAYBE
0.182
MAYBE
297.284
MAYBE
0.199
MAYBE
297.227
O(n^1)
0.237
O(n^1)
1.755
MAYBE
0.184
MAYBE
297.259
MAYBE
0.188
MAYBE
263.107
MAYBE
0.192
MAYBE
119.730
MAYBE
0.191
MAYBE
297.417
MAYBE
0.190
O(n^2)
297.450
MAYBE
0.193
MAYBE
229.345
O(n^1)
4.211
O(n^1)
24.041
MAYBE
0.186
MAYBE
192.887
MAYBE
0.194
MAYBE
300.018
MAYBE
0.189
MAYBE
297.370
MAYBE
0.199
MAYBE
297.735
MAYBE
0.236
MAYBE
297.287
MAYBE
0.185
O(n^1)
8.524
MAYBE
0.190
MAYBE
297.420
MAYBE
0.197
MAYBE
297.373
MAYBE
0.201
MAYBE
297.293
MAYBE
0.201
MAYBE
297.307
MAYBE
0.190
MAYBE
297.239
MAYBE
0.195
MAYBE
297.746
MAYBE
56.281
MAYBE
297.125
MAYBE
58.981
MAYBE
154.996
O(n^2)
18.126
MAYBE
297.122
O(n^1)
0.294
O(n^1)
211.732
MAYBE
68.024
MAYBE
156.394
O(n^1)
0.426
O(n^1)
297.299
O(n^1)
0.357
O(n^1)
297.440
MAYBE
0.187
MAYBE
230.602
MAYBE
0.193
MAYBE
297.808
MAYBE
0.184
MAYBE
42.299
MAYBE
0.177
MAYBE
298.077
MAYBE
0.194
MAYBE
90.592
MAYBE
0.197
MAYBE
195.491
MAYBE
0.182
MAYBE
286.266
MAYBE
0.181
MAYBE
297.767
MAYBE
38.588
MAYBE
297.134
MAYBE
0.195
MAYBE
297.312
MAYBE
0.190
MAYBE
194.051
MAYBE
55.462
MAYBE
297.911
MAYBE
0.197
MAYBE
297.210
MAYBE
0.188
MAYBE
105.792
MAYBE
0.182
MAYBE
297.154
MAYBE
0.189
MAYBE
297.291
MAYBE
55.856
MAYBE
297.417
MAYBE
0.211
MAYBE
297.378
MAYBE
0.205
MAYBE
297.231
MAYBE
0.192
MAYBE
300.027
MAYBE
0.182
MAYBE
297.327
MAYBE
0.193
MAYBE
297.246
MAYBE
0.188
MAYBE
297.265
MAYBE
0.197
MAYBE
297.342
MAYBE
0.187
MAYBE
89.306
MAYBE
0.198
MAYBE
297.370
MAYBE
0.189
MAYBE
134.758
MAYBE
0.202
MAYBE
297.321
MAYBE
0.187
MAYBE
297.687
MAYBE
0.191
MAYBE
297.392
MAYBE
0.189
MAYBE
75.339
MAYBE
0.191
MAYBE
297.457
MAYBE
0.183
MAYBE
297.380
MAYBE
0.192
MAYBE
297.328
MAYBE
0.183
MAYBE
219.870
MAYBE
0.190
MAYBE
297.480
MAYBE
0.200
MAYBE
297.167
MAYBE
0.181
MAYBE
298.228
MAYBE
0.195
MAYBE
297.192
MAYBE
0.192
MAYBE
297.341
MAYBE
0.194
MAYBE
276.781
MAYBE
0.199
MAYBE
297.234
MAYBE
0.190
MAYBE
298.562
MAYBE
0.196
MAYBE
298.160
MAYBE
0.188
MAYBE
109.153
MAYBE
0.193
MAYBE
264.019
MAYBE
0.181
MAYBE
142.004
MAYBE
0.195
MAYBE
297.411
MAYBE
0.199
MAYBE
297.306
MAYBE
0.187
MAYBE
121.503
MAYBE
0.195
MAYBE
297.244
MAYBE
0.191
MAYBE
297.861
MAYBE
0.204
MAYBE
297.180
MAYBE
0.188
MAYBE
144.340
MAYBE
0.189
MAYBE
282.168
MAYBE
0.206
MAYBE
297.171
MAYBE
0.189
MAYBE
135.473
MAYBE
0.191
MAYBE
180.308
MAYBE
0.189
MAYBE
267.168
MAYBE
0.187
MAYBE
216.497
MAYBE
0.190
MAYBE
297.322
MAYBE
0.186
MAYBE
72.695
MAYBE
0.191
MAYBE
297.315
MAYBE
0.196
MAYBE
297.388
MAYBE
0.197
MAYBE
297.180
MAYBE
0.182
MAYBE
264.807
MAYBE
0.196
MAYBE
297.301
MAYBE
0.191
MAYBE
297.349
MAYBE
0.191
MAYBE
95.413
MAYBE
0.192
MAYBE
263.970
MAYBE
0.199
MAYBE
297.194
MAYBE
0.190
MAYBE
297.395
MAYBE
0.177
MAYBE
298.074
MAYBE
0.191
MAYBE
196.191
MAYBE
0.193
MAYBE
297.258
MAYBE
0.200
MAYBE
297.200
MAYBE
0.206
MAYBE
297.176
MAYBE
0.197
MAYBE
297.278
MAYBE
0.194
MAYBE
297.235
MAYBE
0.195
MAYBE
297.203
MAYBE
0.188
MAYBE
297.284
MAYBE
0.190
MAYBE
297.279
MAYBE
0.207
MAYBE
297.244
MAYBE
0.216
MAYBE
297.179
MAYBE
0.192
MAYBE
297.918
MAYBE
0.193
MAYBE
231.019
MAYBE
0.194
MAYBE
297.324
MAYBE
0.191
MAYBE
297.512
MAYBE
0.194
MAYBE
297.278
MAYBE
0.197
MAYBE
297.254
MAYBE
0.198
MAYBE
297.305
MAYBE
10.198
MAYBE
297.883
MAYBE
13.992
MAYBE
297.458
MAYBE
0.187
MAYBE
214.308
MAYBE
0.191
MAYBE
297.343
MAYBE
0.193
MAYBE
75.067
MAYBE
0.192
MAYBE
185.870
MAYBE
0.198
MAYBE
297.387
MAYBE
0.192
MAYBE
297.323
MAYBE
0.188
MAYBE
159.161
MAYBE
0.196
MAYBE
297.280
MAYBE
0.196
MAYBE
297.282
MAYBE
0.195
MAYBE
297.285
MAYBE
0.193
MAYBE
131.301
MAYBE
0.196
MAYBE
297.277
MAYBE
0.200
MAYBE
297.240
MAYBE
0.208
MAYBE
297.241
MAYBE
0.188
MAYBE
191.863
MAYBE
0.184
MAYBE
46.399
MAYBE
0.191
MAYBE
48.323
MAYBE
0.192
MAYBE
50.776
MAYBE
0.220
MAYBE
47.953
MAYBE
0.186
MAYBE
48.111
MAYBE
0.190
MAYBE
48.754
MAYBE
0.193
MAYBE
176.125
MAYBE
0.192
MAYBE
166.709
MAYBE
0.187
MAYBE
177.589
MAYBE
0.192
MAYBE
148.163
MAYBE
0.193
MAYBE
148.872
MAYBE
0.185
MAYBE
45.068
MAYBE
0.192
MAYBE
148.460
MAYBE
0.193
MAYBE
157.612
MAYBE
0.187
MAYBE
49.296
MAYBE
0.187
MAYBE
48.585
MAYBE
0.194
MAYBE
149.868
MAYBE
0.186
MAYBE
69.978
MAYBE
0.184
MAYBE
297.221
MAYBE
0.187
MAYBE
148.210
MAYBE
0.189
MAYBE
40.595
MAYBE
0.185
MAYBE
151.950
MAYBE
0.188
MAYBE
148.207
MAYBE
0.190
MAYBE
154.220
MAYBE
0.189
MAYBE
297.134
MAYBE
0.185
O(n^1)
0.327
MAYBE
0.186
MAYBE
297.789
MAYBE
0.187
MAYBE
297.790
MAYBE
0.229
MAYBE
297.226
O(n^1)
0.255
O(n^1)
1.262
MAYBE
0.190
MAYBE
297.330
MAYBE
62.091
MAYBE
297.577
MAYBE
52.685
MAYBE
297.468
MAYBE
0.195
MAYBE
298.539
MAYBE
0.196
O(n^2)
297.337
MAYBE
0.188
MAYBE
297.694
MAYBE
0.189
MAYBE
297.679
MAYBE
0.192
MAYBE
298.289
MAYBE
0.193
MAYBE
297.423
MAYBE
0.194
MAYBE
297.275
MAYBE
0.198
MAYBE
297.212
MAYBE
0.205
MAYBE
297.708
MAYBE
0.203
O(n^2)
297.656
MAYBE
0.194
MAYBE
297.281
MAYBE
0.469
MAYBE
297.411
MAYBE
0.200
MAYBE
297.220
MAYBE
0.197
MAYBE
297.183
MAYBE
0.219
MAYBE
297.259
O(n^1)
0.208
O(n^1)
0.086
O(n^1)
0.226
O(n^1)
0.434
MAYBE
0.187
O(n^1)
0.732
MAYBE
0.187
O(n^1)
148.203
MAYBE
0.187
MAYBE
297.630
MAYBE
0.180
O(n^1)
0.114
MAYBE
10.919
MAYBE
297.187
MAYBE
0.184
MAYBE
298.149
O(n^1)
0.212
O(n^1)
0.201
MAYBE
0.184
O(n^2)
81.631
MAYBE
0.188
MAYBE
297.268
MAYBE
0.188
MAYBE
297.165
O(n^1)
1.105
O(n^1)
4.534
MAYBE
0.184
MAYBE
297.807
MAYBE
0.186
MAYBE
298.036
MAYBE
0.186
MAYBE
297.626
MAYBE
0.187
MAYBE
297.574
MAYBE
0.187
MAYBE
148.242
MAYBE
0.186
MAYBE
297.443
MAYBE
0.188
MAYBE
162.106
MAYBE
0.178
MAYBE
299.886
MAYBE
0.192
MAYBE
297.518
MAYBE
0.187
MAYBE
297.996
MAYBE
0.189
MAYBE
201.665
MAYBE
0.181
MAYBE
137.871
MAYBE
0.192
MAYBE
297.216
MAYBE
0.198
MAYBE
297.298
MAYBE
0.194
MAYBE
211.281
MAYBE
0.182
MAYBE
295.785
MAYBE
10.189
MAYBE
24.674
MAYBE
10.193
MAYBE
24.962
MAYBE
10.191
MAYBE
25.388
MAYBE
10.188
MAYBE
297.245
MAYBE
10.195
MAYBE
26.937
MAYBE
0.173
MAYBE
8.662
MAYBE
0.190
MAYBE
297.300
MAYBE
0.188
MAYBE
297.335
MAYBE
0.194
MAYBE
297.493
MAYBE
14.098
MAYBE
297.299
MAYBE
60.842
MAYBE
298.137
O(n^2)
5.838
O(n^1)
24.026
MAYBE
14.491
MAYBE
300.018
MAYBE
0.185
MAYBE
297.479
MAYBE
0.183
MAYBE
245.653
MAYBE
61.208
MAYBE
297.145
MAYBE
0.187
MAYBE
297.502
MAYBE
0.184
MAYBE
297.314
MAYBE
0.194
MAYBE
297.300
MAYBE
0.195
MAYBE
297.233
MAYBE
0.185
O(n^2)
107.798
MAYBE
0.188
MAYBE
299.025
O(n^1)
0.213
O(n^1)
0.282
MAYBE
0.182
O(n^1)
0.548
O(n^1)
0.217
O(n^1)
0.298
MAYBE
0.183
MAYBE
262.780
O(n^1)
0.282
O(n^1)
0.593
MAYBE
0.195
MAYBE
297.292
MAYBE
0.190
O(n^1)
1.261
MAYBE
0.194
MAYBE
297.332
MAYBE
0.182
MAYBE
248.879
MAYBE
0.183
MAYBE
297.449
O(n^1)
4.249
O(n^1)
0.979
MAYBE
0.184
O(n^1)
0.802
MAYBE
0.189
MAYBE
297.314
MAYBE
0.189
O(n^2)
211.820
MAYBE
0.185
MAYBE
297.195
MAYBE
0.182
MAYBE
292.559
MAYBE
0.187
O(n^1)
0.978
O(n^1)
0.300
O(n^1)
0.758
O(n^1)
0.260
O(n^1)
48.186
MAYBE
0.189
O(n^2)
58.866
MAYBE
0.213
MAYBE
297.203
O(n^1)
0.219
O(n^1)
0.137
MAYBE
55.276
MAYBE
297.785
O(n^1)
0.229
O(n^1)
1.494
MAYBE
0.193
O(n^1)
148.189
MAYBE
0.175
O(n^1)
0.524
MAYBE
0.187
MAYBE
297.253
MAYBE
0.179
MAYBE
190.713
MAYBE
0.178
MAYBE
299.167
MAYBE
0.195
MAYBE
297.215
O(n^1)
0.305
O(n^1)
1.893
O(n^1)
0.259
O(n^1)
0.501
MAYBE
0.184
MAYBE
297.546
O(n^1)
0.228
O(n^1)
297.264
O(n^1)
0.209
O(n^1)
0.246
MAYBE
0.184
O(n^2)
103.632
O(n^1)
0.223
O(n^1)
0.218
O(n^1)
0.230
O(n^1)
0.264
MAYBE
0.185
MAYBE
210.415
MAYBE
0.184
O(n^1)
0.680
O(n^1)
0.241
O(n^1)
241.739
MAYBE
0.183
MAYBE
297.296
MAYBE
0.185
O(n^2)
298.037
MAYBE
0.183
O(n^1)
0.155
MAYBE
0.182
O(n^2)
6.110
MAYBE
0.184
MAYBE
115.890
MAYBE
0.184
O(n^1)
0.270
MAYBE
0.180
MAYBE
24.513
MAYBE
0.179
MAYBE
297.425
MAYBE
0.188
MAYBE
200.326
MAYBE
0.183
MAYBE
12.308
MAYBE
0.183
MAYBE
299.766
MAYBE
0.195
MAYBE
300.013
MAYBE
0.182
MAYBE
297.440
MAYBE
0.184
MAYBE
297.913
MAYBE
0.187
O(n^1)
2.358
MAYBE
0.183
O(1)
0.150
O(n^1)
0.301
O(n^1)
0.428
O(n^2)
6.391
O(n^1)
24.035
MAYBE
0.184
O(n^1)
0.181
O(n^1)
0.230
O(n^1)
0.768
MAYBE
10.196
O(n^2)
59.925
MAYBE
0.187
O(n^1)
0.581
O(n^1)
0.371
O(n^1)
0.350
O(n^1)
0.249
MAYBE
300.027
MAYBE
0.189
MAYBE
297.670
MAYBE
0.188
O(n^1)
1.258
MAYBE
0.187
O(n^1)
3.349
O(n^1)
0.215
O(n^1)
0.083
O(n^1)
0.230
O(1)
0.142
O(n^1)
0.259
O(n^1)
4.283
O(n^1)
0.216
O(n^1)
0.068
MAYBE
0.183
MAYBE
298.037
MAYBE
0.196
MAYBE
298.765
O(n^1)
0.220
O(n^1)
0.264
O(n^1)
0.215
O(n^1)
0.193
O(n^2)
5.709
O(n^1)
0.180
MAYBE
0.183
O(n^1)
0.081
O(n^1)
0.696
O(n^1)
297.379
MAYBE
0.189
O(n^2)
5.007
MAYBE
0.192
MAYBE
297.671
O(n^1)
0.263
O(1)
0.476
MAYBE
0.180
O(n^1)
298.695
MAYBE
0.187
O(n^2)
13.361
O(n^1)
1.159
O(n^1)
24.051
MAYBE
0.183
O(n^1)
63.043
O(n^1)
0.267
O(n^1)
0.467
MAYBE
0.184
MAYBE
50.210
MAYBE
0.183
O(n^1)
0.565
MAYBE
0.182
MAYBE
300.035
MAYBE
0.191
MAYBE
297.533
O(n^2)
5.990
O(n^1)
0.240
O(n^1)
0.260
O(n^1)
297.592
MAYBE
0.185
O(n^1)
297.329
O(n^1)
0.310
O(n^1)
0.523
O(n^1)
0.268
O(n^1)
5.944
MAYBE
0.193
MAYBE
297.680
MAYBE
55.243
MAYBE
297.163
O(n^1)
0.218
O(n^1)
0.172
O(n^1)
0.278
O(n^1)
0.618
MAYBE
0.176
MAYBE
297.502
MAYBE
10.196
MAYBE
278.261
O(n^1)
0.218
O(n^1)
0.078
O(n^1)
0.820
O(1)
1.229
O(n^1)
0.231
O(n^1)
1.246
O(n^1)
0.326
O(n^1)
1.277
MAYBE
0.187
O(n^2)
297.485
MAYBE
0.184
MAYBE
298.276
MAYBE
0.188
MAYBE
148.481
MAYBE
0.188
MAYBE
297.744
MAYBE
0.188
MAYBE
297.957
MAYBE
0.195
MAYBE
298.204
MAYBE
0.198
MAYBE
91.973
MAYBE
0.190
MAYBE
292.443
MAYBE
0.180
MAYBE
92.389
MAYBE
0.185
MAYBE
297.918
MAYBE
0.191
MAYBE
297.421
MAYBE
0.197
MAYBE
297.170
MAYBE
0.176
O(1)
4.941
MAYBE
0.237
MAYBE
298.873
MAYBE
0.188
MAYBE
278.090
MAYBE
0.187
MAYBE
297.917
MAYBE
0.188
MAYBE
297.743
MAYBE
0.179
MAYBE
297.393
MAYBE
0.190
MAYBE
148.913
MAYBE
0.185
MAYBE
299.364
MAYBE
10.190
MAYBE
298.328
O(n^1)
0.251
O(n^1)
297.213
O(n^1)
0.236
O(n^1)
297.247
O(n^1)
0.242
O(n^1)
12.794
MAYBE
0.201
MAYBE
297.268
MAYBE
0.189
MAYBE
271.179
MAYBE
0.182
MAYBE
220.841
MAYBE
0.195
MAYBE
297.363
MAYBE
0.182
O(n^1)
12.611
MAYBE
0.192
MAYBE
297.387
MAYBE
0.187
MAYBE
297.785
MAYBE
0.192
MAYBE
206.351
MAYBE
0.192
MAYBE
297.305
MAYBE
0.193
MAYBE
297.780
MAYBE
0.194
MAYBE
297.328
MAYBE
0.196
MAYBE
297.311
MAYBE
0.197
MAYBE
298.271
MAYBE
0.190
MAYBE
297.429
MAYBE
0.191
MAYBE
261.510
MAYBE
0.192
MAYBE
297.278
MAYBE
0.187
MAYBE
297.404
MAYBE
0.189
MAYBE
297.627
MAYBE
0.196
MAYBE
297.244
MAYBE
0.192
MAYBE
297.286
O(n^1)
0.396
MAYBE
297.769
MAYBE
0.200
MAYBE
297.249
MAYBE
0.197
MAYBE
297.337
MAYBE
0.213
MAYBE
297.125
MAYBE
0.199
MAYBE
297.202
MAYBE
0.194
MAYBE
297.262
MAYBE
0.205
MAYBE
297.243
MAYBE
0.192
MAYBE
297.296
MAYBE
0.198
MAYBE
297.203
MAYBE
0.195
MAYBE
297.323
MAYBE
0.188
MAYBE
297.294
MAYBE
0.195
MAYBE
297.459
MAYBE
0.192
MAYBE
297.519
MAYBE
0.187
MAYBE
297.212
MAYBE
0.192
MAYBE
297.910
MAYBE
0.189
MAYBE
297.392
MAYBE
0.207
MAYBE
297.749
MAYBE
0.189
MAYBE
300.024
MAYBE
0.200
O(n^10)
86.104
MAYBE
0.188
O(n^5)
22.184
MAYBE
0.195
MAYBE
297.257
MAYBE
0.200
MAYBE
297.203
MAYBE
0.180
MAYBE
297.459
MAYBE
0.199
MAYBE
297.162
MAYBE
0.187
MAYBE
297.367
O(n^1)
0.296
O(n^1)
297.164
O(n^1)
0.250
O(n^1)
0.822
O(n^1)
0.242
O(n^1)
0.819
O(n^1)
0.271
O(n^1)
0.689
MAYBE
0.209
MAYBE
297.272
MAYBE
0.185
MAYBE
297.272
MAYBE
0.190
O(n^1)
300.012
NO
0.176
MAYBE
0.022
MAYBE
0.193
MAYBE
298.060
O(n^1)
13.392
MAYBE
297.144
O(n^2)
27.946
O(n^1)
24.058
O(n^1)
0.317
O(n^1)
166.954
O(n^1)
0.288
O(n^1)
101.783
O(n^1)
0.278
O(n^1)
0.492
O(n^1)
0.226
O(1)
0.367
MAYBE
0.262
MAYBE
298.061
MAYBE
0.195
MAYBE
297.566
MAYBE
0.209
MAYBE
298.172
NO
0.188
MAYBE
0.025
MAYBE
0.197
MAYBE
297.694
MAYBE
0.195
MAYBE
297.387
MAYBE
0.178
MAYBE
297.305
MAYBE
0.187
MAYBE
297.283
NO
0.183
MAYBE
0.019
MAYBE
0.190
O(n^1)
0.655
MAYBE
0.213
MAYBE
297.367
MAYBE
0.193
MAYBE
297.226
MAYBE
0.199
MAYBE
300.034
MAYBE
0.208
MAYBE
297.225
MAYBE
0.191
MAYBE
297.317
MAYBE
0.197
MAYBE
298.204
NO
0.186
MAYBE
0.024
MAYBE
0.192
MAYBE
297.211
MAYBE
0.185
MAYBE
150.040
MAYBE
0.201
MAYBE
297.252
MAYBE
0.182
MAYBE
297.273
MAYBE
0.183
MAYBE
297.406
NO
0.189
MAYBE
0.021
MAYBE
0.191
O(n^2)
165.775
O(n^1)
2.761
O(n^1)
297.145
MAYBE
64.517
MAYBE
297.192
NO
0.183
MAYBE
0.020
O(n^1)
0.438
O(n^1)
19.527
O(n^1)
0.316
O(n^1)
0.298
O(n^1)
0.361
O(n^1)
297.166
O(n^1)
0.334
O(n^1)
1.191
O(n^1)
0.310
O(n^1)
0.400
O(n^1)
0.232
O(n^1)
0.288
MAYBE
0.196
MAYBE
297.055
MAYBE
0.186
MAYBE
297.586
MAYBE
0.185
MAYBE
256.542
MAYBE
0.175
MAYBE
297.572
MAYBE
0.192
MAYBE
297.137
MAYBE
0.186
MAYBE
147.510
O(n^1)
0.366
O(n^1)
60.381
O(n^1)
0.540
O(n^1)
4.188
O(n^1)
0.436
O(n^1)
0.844
O(n^1)
0.320
O(n^1)
1.018
MAYBE
0.223
MAYBE
297.350
MAYBE
0.197
MAYBE
298.147
MAYBE
0.203
MAYBE
297.886
O(n^1)
0.263
O(1)
0.155
MAYBE
0.195
MAYBE
297.826
MAYBE
0.225
MAYBE
297.895
MAYBE
0.192
MAYBE
300.018
MAYBE
0.198
MAYBE
298.134
MAYBE
0.187
MAYBE
161.739
MAYBE
0.197
MAYBE
297.295
MAYBE
0.215
MAYBE
297.760
MAYBE
0.195
MAYBE
299.788
MAYBE
0.194
MAYBE
297.670
O(n^1)
0.232
O(1)
0.111
MAYBE
0.192
MAYBE
300.017
MAYBE
0.201
MAYBE
297.350
MAYBE
0.178
MAYBE
297.297
MAYBE
0.181
MAYBE
297.283
NO
0.174
MAYBE
0.019
MAYBE
0.186
O(n^1)
148.102
MAYBE
0.217
MAYBE
297.271
MAYBE
0.189
MAYBE
298.084
MAYBE
0.198
MAYBE
298.334
NO
0.185
MAYBE
0.022
MAYBE
0.197
MAYBE
298.044
MAYBE
0.216
MAYBE
297.394
MAYBE
0.193
MAYBE
297.223
MAYBE
0.197
MAYBE
297.651
O(n^1)
0.239
O(1)
0.228
MAYBE
0.213
MAYBE
297.568
MAYBE
0.195
MAYBE
297.437
MAYBE
0.189
MAYBE
298.239
NO
0.186
MAYBE
0.021
MAYBE
0.190
MAYBE
297.435
MAYBE
0.190
MAYBE
297.144
MAYBE
0.183
MAYBE
297.663
O(n^1)
0.204
O(n^1)
0.061
O(n^1)
0.448
O(n^1)
297.084
O(n^1)
0.386
O(n^1)
3.185
O(n^1)
0.406
O(n^1)
5.285
O(n^1)
0.233
O(1)
0.354
O(n^1)
0.273
O(n^1)
0.428
MAYBE
0.229
MAYBE
297.231
MAYBE
0.195
MAYBE
297.195
MAYBE
0.203
MAYBE
298.602
NO
0.187
MAYBE
0.024
MAYBE
0.193
MAYBE
297.279
MAYBE
0.205
MAYBE
297.233
MAYBE
0.186
MAYBE
298.568
MAYBE
0.188
MAYBE
297.279
NO
0.176
MAYBE
0.012
MAYBE
0.186
O(n^1)
0.600
O(n^1)
0.593
O(n^1)
297.142
O(n^1)
0.261
O(1)
0.107
O(n^2)
10.022
O(n^1)
1.305
NO
0.182
MAYBE
0.026
MAYBE
0.250
MAYBE
298.567
MAYBE
0.212
MAYBE
297.079
NO
0.191
MAYBE
0.026
MAYBE
0.208
MAYBE
297.268
MAYBE
0.188
MAYBE
297.284
MAYBE
0.184
MAYBE
297.351
NO
0.184
MAYBE
0.024
MAYBE
0.187
MAYBE
280.432
MAYBE
0.240
MAYBE
297.209
MAYBE
0.204
MAYBE
297.225
MAYBE
0.210
MAYBE
297.461
NO
0.189
MAYBE
0.026
MAYBE
0.201
MAYBE
297.129
MAYBE
0.247
MAYBE
297.323
MAYBE
0.201
MAYBE
297.193
NO
0.178
MAYBE
0.024
O(n^1)
1.032
O(n^1)
297.168
O(n^1)
0.382
O(n^1)
211.810
MAYBE
10.824
MAYBE
297.510
NO
0.182
MAYBE
0.020
O(n^1)
0.332
O(n^1)
0.392
MAYBE
0.268
MAYBE
297.769
MAYBE
0.205
MAYBE
297.244
MAYBE
0.219
MAYBE
300.017
NO
0.192
MAYBE
0.027
MAYBE
0.206
MAYBE
297.420
MAYBE
0.178
MAYBE
297.612
MAYBE
0.191
MAYBE
297.656
NO
0.176
MAYBE
0.019
MAYBE
0.185
O(n^1)
1.595
O(n^1)
0.816
O(n^1)
297.078
O(n^1)
0.278
O(1)
0.198
MAYBE
0.201
MAYBE
297.759
MAYBE
0.188
MAYBE
297.620
MAYBE
0.188
MAYBE
299.533
O(n^1)
0.215
O(1)
0.067
MAYBE
0.178
O(n^1)
0.812
MAYBE
0.222
MAYBE
297.329
MAYBE
0.191
MAYBE
297.286
MAYBE
0.197
MAYBE
297.432
NO
0.183
MAYBE
0.022
MAYBE
0.188
MAYBE
297.656
MAYBE
0.209
MAYBE
297.629
MAYBE
0.190
MAYBE
297.924
MAYBE
0.195
MAYBE
298.638
NO
0.184
MAYBE
0.022
MAYBE
0.186
MAYBE
298.745
MAYBE
0.206
MAYBE
297.291
MAYBE
0.187
MAYBE
298.052
MAYBE
0.201
MAYBE
297.599
O(n^1)
0.255
O(1)
0.540
MAYBE
0.192
MAYBE
298.491
MAYBE
0.193
MAYBE
297.232
MAYBE
0.185
MAYBE
154.375
O(n^1)
26.230
MAYBE
297.180
O(n^2)
31.049
O(n^1)
24.047
MAYBE
0.260
MAYBE
298.042
MAYBE
0.195
MAYBE
297.956
MAYBE
0.214
MAYBE
299.898
NO
0.184
MAYBE
0.026
MAYBE
0.190
MAYBE
299.174
O(n^1)
0.281
O(n^1)
39.474
O(n^1)
0.234
O(n^1)
0.337
O(n^1)
0.261
O(n^1)
0.293
O(n^1)
3.776
O(n^1)
297.145
MAYBE
68.874
MAYBE
297.259
NO
0.176
MAYBE
0.022
O(n^1)
2.647
O(n^1)
297.110
O(n^3)
35.124
O(n^3)
297.226
NO
0.183
MAYBE
0.021
MAYBE
0.235
MAYBE
297.426
MAYBE
0.200
MAYBE
298.005
MAYBE
0.209
MAYBE
298.859
NO
0.188
MAYBE
0.023
MAYBE
0.223
MAYBE
297.206
MAYBE
0.187
MAYBE
297.209
MAYBE
0.198
MAYBE
298.425
NO
0.185
MAYBE
0.023
O(n^1)
0.376
O(n^1)
297.068
O(n^1)
0.400
O(n^1)
270.160
MAYBE
61.078
MAYBE
297.173
O(n^1)
0.235
O(n^1)
1.570
O(n^1)
0.245
O(n^1)
1.804
MAYBE
0.233
MAYBE
297.339
MAYBE
0.193
MAYBE
298.142
MAYBE
0.204
MAYBE
298.137
MAYBE
0.189
MAYBE
276.837
MAYBE
0.192
MAYBE
297.265
MAYBE
0.261
MAYBE
297.242
MAYBE
0.184
MAYBE
297.376
MAYBE
0.212
MAYBE
297.736
NO
0.188
MAYBE
0.025
MAYBE
0.191
MAYBE
297.311
MAYBE
0.373
MAYBE
297.365
NO
0.262
MAYBE
0.090
MAYBE
0.370
MAYBE
297.406
MAYBE
0.538
MAYBE
298.502
MAYBE
0.313
MAYBE
297.259
MAYBE
0.360
MAYBE
297.225
NO
0.224
MAYBE
0.050
MAYBE
0.312
MAYBE
297.247
MAYBE
0.933
MAYBE
300.095
MAYBE
0.528
MAYBE
299.645
MAYBE
0.264
MAYBE
297.212
NO
0.212
MAYBE
0.043
MAYBE
0.264
MAYBE
297.209
MAYBE
0.351
MAYBE
298.315
MAYBE
0.253
MAYBE
297.178
MAYBE
0.264
MAYBE
300.013
NO
0.200
MAYBE
0.038
MAYBE
0.245
MAYBE
297.154
MAYBE
0.496
MAYBE
298.852
MAYBE
0.320
MAYBE
297.405
MAYBE
0.213
MAYBE
297.352
NO
0.200
MAYBE
0.031
MAYBE
0.208
MAYBE
297.061
MAYBE
0.270
MAYBE
297.406
MAYBE
0.195
MAYBE
300.018
MAYBE
0.217
MAYBE
300.024
NO
0.189
MAYBE
0.025
MAYBE
0.192
O(n^1)
148.623
MAYBE
0.360
MAYBE
297.890
MAYBE
0.264
MAYBE
299.393
NO
0.200
MAYBE
0.035
MAYBE
0.297
MAYBE
297.191
MAYBE
0.212
MAYBE
297.246
MAYBE
0.236
MAYBE
297.174
NO
0.194
MAYBE
0.029
MAYBE
0.217
MAYBE
297.253
MAYBE
0.377
MAYBE
297.278
MAYBE
0.278
MAYBE
297.188
NO
0.191
MAYBE
0.026
MAYBE
0.219
MAYBE
297.293
MAYBE
0.204
MAYBE
297.110
NO
0.177
MAYBE
0.015
MAYBE
0.262
MAYBE
297.148
MAYBE
0.214
MAYBE
297.175
NO
0.187
MAYBE
0.021
O(n^1)
0.726
O(n^1)
297.208
MAYBE
60.535
MAYBE
297.140
NO
0.182
MAYBE
0.020
O(n^1)
1.040
O(n^1)
297.220
MAYBE
63.461
MAYBE
297.175
MAYBE
0.228
MAYBE
297.304
NO
0.204
MAYBE
0.036
MAYBE
0.237
MAYBE
297.201
MAYBE
0.298
MAYBE
298.274
MAYBE
0.221
MAYBE
297.357
MAYBE
0.238
MAYBE
299.109
NO
0.195
MAYBE
0.028
MAYBE
0.207
MAYBE
297.244
MAYBE
0.401
MAYBE
297.359
MAYBE
0.290
MAYBE
297.228
MAYBE
0.203
MAYBE
297.180
NO
0.190
MAYBE
0.026
MAYBE
0.210
MAYBE
297.187
MAYBE
0.241
MAYBE
297.408
MAYBE
0.193
MAYBE
297.153
MAYBE
0.206
MAYBE
297.816
NO
0.187
MAYBE
0.025
MAYBE
0.198
MAYBE
297.162
MAYBE
0.268
MAYBE
297.233
MAYBE
0.218
MAYBE
298.423
MAYBE
0.181
MAYBE
297.470
NO
0.185
MAYBE
0.022
MAYBE
0.208
MAYBE
297.241
MAYBE
0.182
O(n^2)
21.167
MAYBE
0.190
MAYBE
297.622
NO
0.176
MAYBE
0.021
MAYBE
0.230
MAYBE
297.255
MAYBE
0.201
MAYBE
297.674
MAYBE
0.267
MAYBE
297.264
NO
0.213
MAYBE
0.065
MAYBE
0.270
MAYBE
297.502
MAYBE
0.336
MAYBE
297.599
MAYBE
0.242
MAYBE
297.221
MAYBE
0.259
MAYBE
297.206
NO
0.199
MAYBE
0.036
MAYBE
0.229
MAYBE
297.240
MAYBE
0.502
MAYBE
297.492
MAYBE
0.321
MAYBE
297.197
NO
0.187
MAYBE
0.029
MAYBE
0.250
MAYBE
297.389
MAYBE
0.202
MAYBE
297.202
MAYBE
0.210
MAYBE
297.173
NO
0.187
MAYBE
0.019
MAYBE
0.209
MAYBE
297.166
MAYBE
0.304
MAYBE
297.214
MAYBE
0.240
MAYBE
297.185
NO
0.187
MAYBE
0.029
O(n^1)
1.098
O(n^1)
297.262
MAYBE
59.271
MAYBE
297.369
NO
0.187
MAYBE
0.021
MAYBE
60.632
MAYBE
297.241
MAYBE
60.347
MAYBE
300.012
MAYBE
0.247
MAYBE
297.397
MAYBE
0.242
MAYBE
297.360
MAYBE
0.323
MAYBE
297.210
MAYBE
0.227
MAYBE
297.277
MAYBE
0.252
MAYBE
300.035
NO
0.196
MAYBE
0.030
MAYBE
0.225
MAYBE
297.223
MAYBE
0.423
MAYBE
297.505
MAYBE
0.304
MAYBE
297.205
MAYBE
22.402
MAYBE
297.326
O(n^2)
13.910
O(n^1)
297.552
O(n^1)
4.410
O(n^1)
297.611
MAYBE
17.502
MAYBE
297.248
MAYBE
25.558
MAYBE
297.438
NO
0.186
MAYBE
0.025
O(n^2)
11.085
O(n^1)
297.235
MAYBE
96.992
O(n^1)
297.145
MAYBE
60.335
MAYBE
300.012
O(n^1)
0.628
O(n^1)
297.281
MAYBE
13.658
MAYBE
299.065
NO
0.174
MAYBE
0.013
O(n^1)
0.653
O(n^1)
297.289
MAYBE
19.022
MAYBE
297.291
MAYBE
0.210
MAYBE
297.264
NO
0.195
MAYBE
0.029
MAYBE
0.213
MAYBE
297.256
MAYBE
0.270
MAYBE
297.600
MAYBE
0.206
MAYBE
297.255
MAYBE
0.211
MAYBE
298.019
NO
0.189
MAYBE
0.025
MAYBE
0.193
MAYBE
297.165
MAYBE
0.311
MAYBE
298.318
MAYBE
0.241
MAYBE
298.401
MAYBE
0.193
MAYBE
297.295
NO
0.186
MAYBE
0.028
MAYBE
0.185
MAYBE
297.283
MAYBE
0.213
MAYBE
297.244
MAYBE
0.193
MAYBE
297.223
MAYBE
0.195
MAYBE
300.013
NO
0.183
MAYBE
0.021
MAYBE
0.192
MAYBE
297.221
MAYBE
0.237
MAYBE
297.288
MAYBE
0.202
MAYBE
297.898
O(n^2)
8.144
O(n^1)
24.045
NO
0.182
MAYBE
0.020
O(n^1)
0.404
O(n^1)
297.144
O(n^1)
0.245
O(n^1)
0.135
MAYBE
18.488
MAYBE
297.771
NO
0.181
MAYBE
0.019
O(n^1)
0.943
O(n^1)
297.159
MAYBE
57.693
MAYBE
297.561
MAYBE
0.198
MAYBE
297.159
MAYBE
0.201
MAYBE
297.255
MAYBE
0.188
MAYBE
297.292
MAYBE
0.184
MAYBE
298.034
MAYBE
0.189
MAYBE
239.297
MAYBE
0.198
MAYBE
297.347
MAYBE
0.219
MAYBE
297.272
O(n^1)
0.231
O(n^1)
96.222
O(n^1)
0.235
O(n^1)
297.493
MAYBE
0.183
MAYBE
300.018
O(n^2)
8.019
O(n^1)
0.815
O(n^1)
3.466
O(n^2)
148.216
O(n^1)
0.575
O(n^1)
3.451
O(n^1)
0.558
O(n^1)
3.440
MAYBE
0.180
MAYBE
299.093
MAYBE
56.023
MAYBE
297.175
MAYBE
57.492
MAYBE
297.077
MAYBE
55.437
MAYBE
297.176
MAYBE
55.374
MAYBE
297.134
MAYBE
55.692
MAYBE
297.170
MAYBE
60.291
MAYBE
297.135
MAYBE
55.555
MAYBE
297.123
MAYBE
70.391
MAYBE
297.130
MAYBE
55.967
MAYBE
297.170
O(n^1)
0.236
O(n^1)
42.190
MAYBE
0.186
MAYBE
300.024
MAYBE
0.184
MAYBE
297.514