Computation with Bounded Resources
Research Group

Setup

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

Overview

AProVE_JRE2___trs
TCT___RCINNER_O
O(1)
4836
O(n^1)
206231
O(n^2)
11776
O(n^3)
2423
O(n^4)
-2
O(n^5)
-1
O(n^6)
-1
O(n^10)
-1
POLY
-3
Total YES
395374
Total MAYBE
546567
Strict Wins
9380

Average Execution Time (sec)

AProVE_JRE2___trs
TCT___RCINNER_O
O(1)
0.576
1.243
30.929
0.038
12.673
148.415
O(n^1)
0.726
13.825
191.429
0.059
47.199
298.176
O(n^2)
0.785
31.724
259.951
2.532
107.991
297.855
O(n^3)
1.499
42.796
118.536
31.677
133.323
297.231
O(n^4)
0.000
-
0.000
196.642
246.912
297.182
O(n^5)
0.000
-
0.000
18.233
18.233
18.233
O(n^6)
0.000
-
0.000
289.124
289.124
289.124
O(n^10)
0.000
-
0.000
84.034
84.034
84.034
POLY
0.000
-
0.000
21.710
138.606
217.499
Total YES
0.576
19.358
259.951
0.038
63.994
298.176
Total MAYBE
0.225
249.806
300.117
0.012
255.004
300.046

Details

AProVE_JRE2___trs
TCT___RCINNER_O
Problem (all selected)
answertimeanswertime
O(n^2)
1.005
O(n^1)
0.512
MAYBE
300.041
MAYBE
297.423
O(n^3)
1.499
O(n^3)
137.359
MAYBE
300.033
MAYBE
297.220
O(n^1)
0.790
O(n^1)
24.098
O(n^3)
1.944
O(n^3)
51.694
O(n^2)
1.218
O(n^2)
149.703
O(n^2)
1.230
O(n^2)
148.381
MAYBE
123.791
MAYBE
124.398
MAYBE
300.047
MAYBE
144.483
O(n^2)
1.068
O(n^2)
11.471
O(n^2)
1.126
O(n^2)
3.096
O(n^1)
0.852
O(n^1)
0.280
O(n^2)
0.968
O(n^1)
0.837
MAYBE
300.035
MAYBE
297.262
O(1)
0.584
O(1)
0.156
MAYBE
1.961
MAYBE
297.282
O(1)
0.584
O(1)
0.792
O(n^1)
0.757
O(n^1)
0.174
MAYBE
300.051
MAYBE
297.195
O(n^1)
0.788
O(n^1)
0.879
MAYBE
300.052
MAYBE
297.133
O(n^2)
3.575
O(n^1)
18.719
MAYBE
189.043
MAYBE
83.050
O(n^2)
4.748
O(n^2)
148.588
O(n^1)
0.901
O(n^1)
10.142
O(n^2)
1.650
O(n^1)
77.189
O(n^1)
1.364
O(n^1)
2.929
O(n^2)
0.885
O(n^2)
148.247
MAYBE
300.037
MAYBE
297.158
O(n^2)
2.001
O(n^2)
2.532
O(n^1)
0.785
O(n^1)
1.450
O(n^1)
0.787
O(n^1)
0.580
O(n^3)
6.883
O(n^3)
150.348
O(1)
0.584
O(1)
0.168
O(n^1)
0.785
O(n^1)
0.669
MAYBE
300.021
MAYBE
297.190
MAYBE
300.021
MAYBE
297.155
O(n^1)
0.892
O(n^1)
1.065
MAYBE
300.036
MAYBE
155.952
O(n^2)
2.058
O(n^2)
79.147
O(n^3)
5.568
O(n^3)
92.287
O(n^2)
2.233
O(n^2)
56.751
O(n^2)
2.191
O(n^2)
3.284
O(n^3)
5.291
O(n^3)
96.591
O(n^2)
0.949
O(n^1)
24.026
O(n^2)
3.209
O(n^3)
150.659
MAYBE
300.036
O(n^4)
196.642
MAYBE
300.028
MAYBE
297.155
MAYBE
300.021
MAYBE
297.234
MAYBE
300.026
MAYBE
297.294
O(n^1)
0.794
O(n^1)
8.644
O(n^2)
1.514
O(n^2)
7.717
MAYBE
300.061
MAYBE
297.229
MAYBE
300.061
MAYBE
297.319
MAYBE
300.021
MAYBE
297.327
O(n^2)
26.962
MAYBE
297.131
MAYBE
300.022
O(n^1)
112.617
MAYBE
300.041
MAYBE
297.120
MAYBE
300.059
MAYBE
297.150
MAYBE
300.028
MAYBE
297.144
O(n^1)
3.526
O(n^1)
2.143
MAYBE
300.028
MAYBE
297.193
O(n^1)
45.784
O(n^1)
262.488
O(n^1)
23.221
O(n^1)
297.276
MAYBE
300.045
MAYBE
297.445
MAYBE
300.042
MAYBE
297.409
MAYBE
2.907
MAYBE
43.015
MAYBE
300.021
MAYBE
297.603
MAYBE
300.022
MAYBE
297.177
MAYBE
300.021
MAYBE
297.206
MAYBE
300.076
MAYBE
297.286
MAYBE
300.064
MAYBE
297.382
MAYBE
300.037
MAYBE
297.196
MAYBE
300.022
MAYBE
297.138
MAYBE
300.044
MAYBE
297.227
MAYBE
300.038
MAYBE
297.387
MAYBE
300.021
MAYBE
297.401
MAYBE
300.021
MAYBE
297.312
O(n^2)
3.145
MAYBE
297.152
MAYBE
300.028
MAYBE
297.171
MAYBE
300.025
MAYBE
297.431
O(n^1)
17.264
MAYBE
297.241
MAYBE
300.021
MAYBE
297.572
O(1)
0.634
O(1)
0.038
MAYBE
300.045
MAYBE
297.292
MAYBE
300.041
MAYBE
297.267
MAYBE
300.053
MAYBE
297.329
MAYBE
300.022
MAYBE
297.438
MAYBE
300.034
MAYBE
297.187
MAYBE
300.042
MAYBE
297.262
O(n^2)
8.696
MAYBE
297.135
MAYBE
300.022
MAYBE
297.456
MAYBE
300.030
MAYBE
297.167
MAYBE
300.040
MAYBE
297.163
MAYBE
300.028
MAYBE
297.165
MAYBE
300.040
MAYBE
297.325
MAYBE
300.033
MAYBE
297.174
MAYBE
300.041
MAYBE
297.201
MAYBE
300.021
MAYBE
297.230
MAYBE
300.029
MAYBE
297.187
MAYBE
300.024
MAYBE
297.348
MAYBE
300.074
MAYBE
297.280
MAYBE
300.021
MAYBE
300.038
MAYBE
300.021
MAYBE
297.276
MAYBE
300.057
MAYBE
297.503
MAYBE
300.021
MAYBE
297.154
MAYBE
300.021
MAYBE
297.192
MAYBE
300.021
MAYBE
297.332
O(n^3)
82.144
MAYBE
297.157
MAYBE
300.055
MAYBE
297.176
MAYBE
300.038
MAYBE
297.195
MAYBE
300.022
MAYBE
297.144
MAYBE
300.021
MAYBE
297.272
MAYBE
300.034
MAYBE
297.135
MAYBE
300.054
MAYBE
297.468
MAYBE
300.027
MAYBE
298.053
MAYBE
300.060
MAYBE
297.257
MAYBE
300.028
MAYBE
297.250
MAYBE
300.022
MAYBE
297.180
MAYBE
300.021
MAYBE
297.234
MAYBE
300.035
MAYBE
297.207
MAYBE
300.021
MAYBE
298.195
MAYBE
300.039
MAYBE
297.159
MAYBE
300.025
MAYBE
297.193
O(n^2)
158.147
MAYBE
297.103
MAYBE
300.034
MAYBE
297.181
O(n^2)
128.095
MAYBE
297.175
MAYBE
300.062
MAYBE
297.101
MAYBE
300.021
MAYBE
297.166
MAYBE
300.052
MAYBE
297.158
MAYBE
300.038
MAYBE
298.070
MAYBE
300.028
MAYBE
297.449
MAYBE
300.047
MAYBE
297.174
MAYBE
300.021
MAYBE
297.208
MAYBE
300.053
MAYBE
297.266
MAYBE
300.041
MAYBE
297.228
O(n^1)
2.465
MAYBE
297.835
MAYBE
300.056
MAYBE
297.309
MAYBE
300.021
MAYBE
297.213
MAYBE
300.053
MAYBE
297.208
MAYBE
300.052
MAYBE
297.190
MAYBE
300.065
MAYBE
297.311
MAYBE
300.021
MAYBE
297.263
MAYBE
300.021
MAYBE
297.358
MAYBE
300.028
MAYBE
297.685
MAYBE
300.021
MAYBE
297.121
MAYBE
300.053
MAYBE
297.118
MAYBE
300.054
MAYBE
297.248
MAYBE
300.039
MAYBE
297.160
MAYBE
300.062
MAYBE
297.215
MAYBE
300.039
MAYBE
299.057
MAYBE
300.047
MAYBE
300.013
MAYBE
300.043
MAYBE
298.269
MAYBE
300.055
MAYBE
297.657
MAYBE
300.021
MAYBE
299.079
O(n^1)
46.412
MAYBE
297.425
MAYBE
300.035
MAYBE
297.457
MAYBE
300.034
MAYBE
297.116
MAYBE
300.051
MAYBE
297.118
MAYBE
300.055
MAYBE
297.180
MAYBE
300.033
MAYBE
297.180
MAYBE
300.021
MAYBE
297.165
MAYBE
300.043
MAYBE
297.305
MAYBE
300.044
MAYBE
297.183
MAYBE
300.053
MAYBE
298.168
MAYBE
300.054
MAYBE
297.321
MAYBE
300.021
MAYBE
297.308
MAYBE
300.028
MAYBE
297.125
MAYBE
300.021
MAYBE
297.219
MAYBE
300.054
MAYBE
297.442
MAYBE
300.054
MAYBE
297.296
MAYBE
300.021
MAYBE
297.101
O(n^2)
44.928
MAYBE
297.183
O(n^2)
75.661
MAYBE
297.142
MAYBE
300.035
MAYBE
297.110
MAYBE
300.025
MAYBE
297.156
MAYBE
300.024
MAYBE
297.108
MAYBE
300.038
MAYBE
297.505
O(n^2)
218.330
MAYBE
297.149
MAYBE
300.022
MAYBE
297.155
MAYBE
300.022
MAYBE
297.151
MAYBE
300.021
MAYBE
297.138
MAYBE
300.021
MAYBE
297.162
O(n^2)
38.960
MAYBE
297.192
MAYBE
300.028
MAYBE
297.172
MAYBE
300.026
MAYBE
297.154
O(n^2)
59.293
MAYBE
297.133
O(n^2)
123.038
MAYBE
297.132
O(n^2)
161.874
MAYBE
297.159
MAYBE
300.037
MAYBE
297.227
MAYBE
300.028
MAYBE
297.176
O(n^2)
231.841
MAYBE
297.195
O(n^2)
43.417
MAYBE
297.451
O(n^2)
125.024
MAYBE
297.393
MAYBE
300.021
MAYBE
297.224
MAYBE
300.070
MAYBE
297.204
MAYBE
300.021
MAYBE
297.308
O(n^1)
0.784
O(n^1)
0.220
O(n^1)
1.301
MAYBE
297.591
MAYBE
6.790
MAYBE
297.126
MAYBE
300.028
MAYBE
297.501
O(1)
0.584
O(1)
1.045
MAYBE
300.021
MAYBE
297.441
MAYBE
300.021
MAYBE
297.575
MAYBE
300.055
MAYBE
297.460
MAYBE
300.021
MAYBE
297.350
O(n^2)
8.971
O(n^2)
297.855
MAYBE
300.058
MAYBE
119.374
MAYBE
300.066
MAYBE
297.178
MAYBE
300.072
MAYBE
297.173
MAYBE
300.021
MAYBE
297.326
MAYBE
300.022
MAYBE
297.329
MAYBE
300.028
MAYBE
297.339
MAYBE
300.022
MAYBE
297.593
O(n^2)
9.636
O(n^2)
255.978
MAYBE
300.022
MAYBE
297.220
O(n^1)
17.525
O(n^1)
291.834
MAYBE
300.023
MAYBE
297.561
MAYBE
300.021
MAYBE
297.218
MAYBE
300.053
MAYBE
297.147
O(n^1)
0.735
O(n^1)
0.087
O(n^1)
0.920
O(n^1)
0.395
O(n^1)
0.786
O(n^1)
0.845
O(n^1)
1.111
O(n^1)
148.185
MAYBE
300.021
MAYBE
42.433
O(n^1)
0.736
O(n^1)
0.122
MAYBE
300.053
MAYBE
297.111
MAYBE
218.846
MAYBE
297.325
O(n^1)
0.727
O(n^1)
0.203
O(n^1)
0.955
O(n^1)
1.389
O(n^2)
2.032
O(n^2)
156.819
O(n^1)
6.839
MAYBE
297.164
O(n^1)
46.271
O(n^1)
4.499
MAYBE
300.021
MAYBE
297.363
O(n^1)
0.789
O(n^1)
0.479
O(n^1)
0.897
O(n^1)
0.456
O(n^1)
0.778
O(n^1)
0.455
O(n^1)
0.735
O(n^1)
0.161
O(1)
0.584
O(1)
0.212
MAYBE
300.028
MAYBE
297.201
MAYBE
300.064
MAYBE
297.376
O(n^1)
0.786
O(n^1)
0.359
O(n^1)
0.949
O(n^1)
1.183
MAYBE
300.021
MAYBE
40.155
O(n^1)
0.735
O(n^1)
0.141
MAYBE
0.941
MAYBE
148.163
O(n^1)
0.788
O(n^1)
0.250
O(n^1)
0.910
O(n^1)
0.882
O(n^1)
1.008
O(n^1)
0.640
O(n^2)
7.014
O(n^2)
148.340
O(n^2)
7.096
O(n^2)
148.501
MAYBE
300.021
MAYBE
297.880
O(n^1)
7.288
O(n^1)
15.555
MAYBE
2.562
MAYBE
297.478
O(n^1)
1.217
O(n^1)
35.352
MAYBE
300.057
MAYBE
298.065
O(n^1)
0.734
O(n^1)
0.145
O(n^2)
0.891
O(n^1)
0.766
O(n^1)
0.840
O(n^1)
0.660
O(n^1)
0.907
O(n^1)
0.883
O(1)
0.588
O(n^1)
0.350
O(n^2)
3.331
MAYBE
297.166
MAYBE
300.033
MAYBE
297.255
O(n^3)
1.980
O(n^3)
31.677
O(n^3)
1.967
O(n^3)
32.657
O(n^2)
1.067
O(n^2)
64.324
O(n^1)
1.491
O(n^1)
148.167
MAYBE
2.128
MAYBE
297.441
MAYBE
300.021
MAYBE
297.184
MAYBE
300.033
MAYBE
297.184
O(n^1)
1.363
O(n^1)
148.684
O(1)
0.584
O(n^1)
0.335
O(1)
0.583
O(n^1)
0.352
O(n^2)
1.962
O(n^2)
26.517
MAYBE
300.023
MAYBE
297.430
MAYBE
300.073
MAYBE
300.046
MAYBE
300.037
MAYBE
297.153
MAYBE
300.074
MAYBE
297.238
O(n^1)
0.738
O(n^1)
0.298
O(n^2)
0.961
O(n^2)
15.322
O(n^3)
1.519
O(n^3)
149.510
MAYBE
2.150
MAYBE
185.892
MAYBE
300.021
MAYBE
78.212
MAYBE
300.021
MAYBE
297.637
O(n^1)
0.937
O(n^1)
2.517
MAYBE
300.023
MAYBE
297.183
O(n^1)
0.726
O(n^1)
0.470
MAYBE
300.021
O(n^1)
148.446
O(1)
0.695
O(1)
2.722
O(n^2)
2.894
O(n^2)
148.114
MAYBE
0.794
MAYBE
24.792
O(n^1)
0.795
O(n^1)
0.932
O(n^1)
0.736
O(n^1)
0.467
O(n^1)
0.899
O(n^1)
0.968
O(n^1)
0.843
O(n^1)
0.979
O(n^1)
0.734
O(n^1)
0.173
O(n^2)
0.950
O(n^1)
0.509
MAYBE
300.054
MAYBE
297.260
MAYBE
300.056
MAYBE
297.167
O(n^1)
5.491
O(n^1)
25.037
O(n^1)
0.952
O(n^1)
0.783
MAYBE
300.055
POLY
217.499
MAYBE
300.022
MAYBE
300.021
MAYBE
300.027
MAYBE
297.752
MAYBE
300.066
MAYBE
299.349
O(n^2)
2.127
O(n^2)
148.074
O(n^2)
1.900
O(n^2)
148.096
O(1)
0.584
O(n^1)
0.417
MAYBE
300.040
MAYBE
297.298
O(n^1)
0.735
O(n^1)
0.383
O(n^1)
0.726
O(n^1)
0.394
O(n^1)
0.735
O(n^1)
0.154
O(n^1)
0.737
O(n^1)
0.124
MAYBE
300.021
MAYBE
297.151
O(n^2)
10.020
O(n^2)
148.392
MAYBE
300.021
MAYBE
298.440
O(n^1)
33.992
MAYBE
297.260
MAYBE
300.021
MAYBE
299.909
O(n^2)
2.836
O(n^2)
6.959
O(n^1)
2.379
O(n^1)
20.772
MAYBE
300.030
MAYBE
297.172
MAYBE
300.034
MAYBE
297.574
MAYBE
300.032
MAYBE
297.166
MAYBE
300.037
MAYBE
297.182
MAYBE
300.054
MAYBE
297.447
MAYBE
300.022
MAYBE
297.092
MAYBE
300.021
MAYBE
297.680
MAYBE
300.028
MAYBE
297.152
MAYBE
300.021
MAYBE
297.138
MAYBE
300.033
MAYBE
297.188
MAYBE
300.021
MAYBE
297.170
MAYBE
300.038
MAYBE
297.144
MAYBE
300.036
MAYBE
297.176
MAYBE
300.051
MAYBE
297.122
MAYBE
300.022
MAYBE
297.227
MAYBE
300.028
MAYBE
297.155
MAYBE
0.785
MAYBE
24.664
MAYBE
0.834
MAYBE
24.915
MAYBE
0.835
MAYBE
25.380
MAYBE
300.024
MAYBE
297.242
MAYBE
22.073
MAYBE
26.952
MAYBE
0.854
MAYBE
8.744
MAYBE
300.052
MAYBE
297.413
O(n^2)
2.349
MAYBE
297.357
MAYBE
300.053
MAYBE
297.502
MAYBE
242.710
MAYBE
297.299
MAYBE
300.027
MAYBE
297.190
O(n^1)
0.809
O(n^1)
24.049
MAYBE
300.028
MAYBE
297.207
MAYBE
300.021
MAYBE
297.189
O(n^2)
1.329
O(n^2)
12.021
MAYBE
300.059
MAYBE
297.151
MAYBE
300.021
MAYBE
297.183
MAYBE
300.041
MAYBE
297.267
MAYBE
300.072
MAYBE
300.013
MAYBE
300.072
MAYBE
299.724
O(n^2)
0.934
O(n^1)
0.365
O(n^1)
6.953
MAYBE
297.179
O(n^1)
0.734
O(n^1)
0.267
O(n^1)
0.789
O(n^1)
0.630
O(n^1)
0.779
O(n^1)
0.307
MAYBE
300.023
MAYBE
262.070
O(n^1)
0.835
O(n^1)
0.616
MAYBE
300.054
MAYBE
297.463
O(n^1)
0.942
O(n^1)
1.089
MAYBE
300.033
MAYBE
297.490
MAYBE
8.270
MAYBE
245.949
MAYBE
300.033
MAYBE
297.189
O(n^2)
1.337
O(n^1)
1.008
O(n^2)
1.404
O(n^1)
0.649
O(n^3)
3.979
O(n^3)
96.580
O(n^2)
2.534
O(n^2)
77.691
O(n^2)
6.242
O(n^2)
148.136
O(n^2)
2.374
O(n^2)
60.037
O(n^2)
1.079
O(n^1)
0.678
O(n^1)
0.785
O(n^1)
0.731
O(1)
0.584
O(1)
0.244
O(n^2)
2.691
O(n^2)
59.289
MAYBE
300.062
MAYBE
297.244
O(1)
0.584
O(n^1)
0.117
MAYBE
300.021
MAYBE
297.194
O(1)
0.576
O(n^1)
1.143
O(n^2)
1.206
O(n^1)
148.163
O(n^1)
1.142
O(n^1)
0.552
MAYBE
300.024
MAYBE
297.260
MAYBE
300.021
MAYBE
96.435
MAYBE
300.044
MAYBE
297.286
MAYBE
300.066
O(n^3)
174.233
O(n^2)
1.269
O(n^1)
1.897
O(n^1)
0.778
O(n^1)
0.513
O(n^2)
3.895
MAYBE
297.269
MAYBE
9.375
O(n^1)
297.203
O(n^1)
0.740
O(n^1)
0.262
O(n^1)
0.970
O(n^1)
2.040
O(n^2)
0.785
O(n^1)
0.221
O(n^1)
0.838
O(n^1)
0.255
O(n^3)
4.490
O(n^3)
50.078
O(n^1)
0.789
O(n^1)
0.549
O(n^1)
0.970
O(n^1)
0.348
MAYBE
5.729
MAYBE
5.962
O(n^2)
1.468
O(n^2)
11.790
O(n^1)
0.786
O(n^1)
0.154
O(n^2)
1.070
O(n^2)
3.325
O(n^2)
1.860
O(n^2)
60.834
O(n^1)
0.735
O(n^1)
0.214
MAYBE
6.261
MAYBE
24.640
O(n^2)
1.318
O(n^2)
3.803
MAYBE
300.038
MAYBE
297.148
MAYBE
9.125
MAYBE
11.970
MAYBE
300.052
MAYBE
298.699
MAYBE
300.055
MAYBE
297.378
MAYBE
300.035
MAYBE
297.132
MAYBE
300.021
MAYBE
297.180
O(n^1)
0.735
O(n^1)
0.678
O(1)
0.585
O(1)
0.050
O(n^1)
0.899
O(n^1)
0.489
O(n^1)
0.828
O(n^1)
24.051
O(n^1)
0.792
O(n^1)
0.201
O(n^1)
0.969
O(n^1)
0.480
O(n^2)
1.241
O(n^2)
59.073
O(n^1)
0.787
O(n^1)
0.558
O(n^2)
0.956
O(n^1)
0.439
O(n^1)
2.235
O(n^1)
32.415
MAYBE
6.682
MAYBE
297.355
O(n^1)
1.173
O(n^1)
1.522
O(n^1)
0.795
O(n^1)
3.429
O(n^1)
0.735
O(n^1)
0.080
O(1)
0.576
O(1)
0.150
O(1)
0.584
O(n^1)
1.399
O(n^1)
0.735
O(n^1)
0.061
MAYBE
300.021
MAYBE
297.600
MAYBE
300.022
MAYBE
297.351
O(n^1)
0.788
O(n^1)
0.268
O(n^1)
0.735
O(n^1)
0.191
O(n^1)
0.735
O(n^1)
0.168
O(n^1)
0.735
O(n^1)
0.108
O(n^2)
3.240
O(n^1)
2.090
O(n^2)
0.788
O(n^2)
4.981
MAYBE
225.849
MAYBE
297.487
O(1)
0.598
O(1)
0.341
O(1)
0.585
O(1)
2.553
O(n^2)
0.899
O(n^2)
13.427
O(n^1)
0.857
O(n^1)
24.051
O(n^1)
0.897
O(n^1)
13.778
O(n^1)
0.781
O(n^1)
0.446
MAYBE
300.028
O(n^2)
75.670
O(1)
0.584
O(1)
0.437
MAYBE
300.021
MAYBE
117.472
MAYBE
300.028
MAYBE
297.291
O(n^1)
0.732
O(n^1)
0.229
O(n^2)
1.246
O(n^1)
31.171
O(n^1)
0.908
O(n^1)
1.021
O(n^1)
0.845
O(n^1)
0.509
O(n^2)
32.654
O(n^1)
6.050
MAYBE
2.972
MAYBE
297.210
MAYBE
35.865
MAYBE
297.159
O(1)
0.586
O(n^1)
0.183
O(n^1)
0.885
O(n^1)
0.585
MAYBE
300.022
MAYBE
297.507
MAYBE
27.265
O(n^3)
90.245
O(n^1)
0.775
O(n^1)
0.072
O(1)
0.577
O(1)
1.274
O(1)
0.584
O(1)
0.517
O(n^2)
0.892
O(n^1)
1.267
O(n^1)
0.863
O(n^1)
1.621
MAYBE
123.991
MAYBE
297.089
O(1)
0.636
O(1)
92.052
MAYBE
7.395
MAYBE
39.877
MAYBE
300.021
MAYBE
297.268
MAYBE
300.071
MAYBE
297.385
O(n^2)
42.708
MAYBE
297.189
MAYBE
300.021
MAYBE
297.409
O(n^2)
8.042
MAYBE
297.190
MAYBE
300.055
MAYBE
297.253
O(n^1)
1.622
O(n^1)
3.940
MAYBE
300.055
MAYBE
297.991
O(1)
0.585
O(1)
4.867
MAYBE
300.021
MAYBE
162.929
MAYBE
300.028
MAYBE
297.508
O(n^2)
19.904
MAYBE
297.377
MAYBE
300.033
MAYBE
298.736
MAYBE
300.077
MAYBE
297.911
MAYBE
300.021
MAYBE
297.228
O(1)
0.585
O(1)
148.415
MAYBE
1.290
MAYBE
298.368
O(n^1)
0.909
O(n^1)
0.710
O(n^1)
6.978
O(n^1)
297.181
O(1)
0.581
O(1)
0.243
MAYBE
300.066
MAYBE
297.601
MAYBE
300.021
MAYBE
297.443
MAYBE
300.021
MAYBE
297.155
MAYBE
300.044
MAYBE
297.149
O(1)
0.584
O(1)
0.114
O(1)
0.584
O(1)
148.260
O(1)
30.929
O(n^1)
94.687
MAYBE
300.027
MAYBE
297.148
MAYBE
300.021
MAYBE
297.609
MAYBE
300.039
MAYBE
297.187
MAYBE
300.060
MAYBE
297.611
MAYBE
300.021
MAYBE
297.482
MAYBE
300.035
MAYBE
297.647
MAYBE
300.045
MAYBE
299.187
MAYBE
300.021
MAYBE
297.478
MAYBE
300.073
MAYBE
297.253
MAYBE
300.032
MAYBE
298.142
MAYBE
300.021
MAYBE
297.231
MAYBE
300.054
MAYBE
297.103
MAYBE
300.082
MAYBE
297.483
O(n^1)
1.408
O(n^1)
149.235
MAYBE
300.038
MAYBE
298.058
MAYBE
300.021
MAYBE
297.176
MAYBE
300.050
MAYBE
297.304
MAYBE
300.021
MAYBE
297.593
MAYBE
300.045
MAYBE
297.965
MAYBE
300.022
MAYBE
297.189
MAYBE
300.025
MAYBE
297.325
MAYBE
300.032
MAYBE
297.195
MAYBE
300.077
MAYBE
297.422
MAYBE
300.058
MAYBE
297.734
MAYBE
300.022
MAYBE
297.413
MAYBE
300.021
MAYBE
297.434
MAYBE
300.057
MAYBE
297.850
O(n^1)
1.390
O(n^1)
0.884
O(n^2)
19.099
MAYBE
297.147
MAYBE
300.029
POLY
176.609
MAYBE
300.038
POLY
21.710
MAYBE
300.037
O(n^10)
84.034
MAYBE
20.721
O(n^5)
18.233
O(n^2)
2.079
O(n^2)
9.913
O(n^2)
66.974
MAYBE
297.144
MAYBE
300.058
O(n^2)
297.721
O(n^2)
52.182
MAYBE
297.150
MAYBE
300.046
MAYBE
297.263
O(n^1)
33.123
O(n^1)
232.379
O(n^1)
0.785
O(n^1)
0.845
O(n^1)
0.786
O(n^1)
0.872
O(1)
0.585
O(n^1)
0.685
O(n^2)
79.926
MAYBE
297.093
MAYBE
300.054
MAYBE
297.262
O(n^1)
2.228
O(n^1)
2.862
MAYBE
0.234
MAYBE
0.036
MAYBE
137.770
MAYBE
17.014
O(n^1)
22.071
MAYBE
297.144
O(n^2)
1.005
O(n^1)
24.044
O(n^1)
33.213
O(n^1)
125.357
O(n^1)
0.785
O(n^1)
0.210
O(n^1)
0.841
O(n^1)
0.492
O(1)
0.582
O(1)
0.072
O(n^1)
150.132
MAYBE
297.712
O(n^1)
1.268
O(n^1)
1.075
MAYBE
300.054
MAYBE
298.905
MAYBE
0.233
MAYBE
0.026
O(n^2)
1.229
O(n^2)
3.707
O(n^1)
64.003
MAYBE
297.055
O(n^1)
1.250
O(n^1)
0.690
MAYBE
300.077
O(n^4)
297.182
MAYBE
0.234
MAYBE
0.020
O(1)
0.584
O(1)
0.300
O(n^2)
72.147
MAYBE
297.247
MAYBE
300.041
MAYBE
297.148
O(n^1)
0.991
O(n^1)
1.636
O(n^2)
68.893
MAYBE
297.360
O(n^1)
1.800
O(n^1)
3.444
MAYBE
300.021
MAYBE
297.581
MAYBE
0.235
MAYBE
0.023
O(n^1)
27.304
MAYBE
297.141
MAYBE
300.021
MAYBE
297.347
O(n^3)
66.374
MAYBE
297.276
O(n^1)
0.897
O(n^1)
0.758
MAYBE
300.022
MAYBE
297.837
MAYBE
0.250
MAYBE
0.021
O(n^2)
1.305
O(n^2)
148.097
MAYBE
300.028
O(n^1)
297.220
MAYBE
300.070
MAYBE
297.371
MAYBE
0.232
MAYBE
0.013
O(n^1)
20.464
O(n^1)
123.977
O(n^1)
0.788
O(n^1)
0.272
O(n^1)
45.612
O(n^1)
241.267
O(n^1)
0.785
O(n^1)
0.345
O(n^1)
0.838
O(n^1)
0.409
O(1)
0.585
O(1)
0.064
O(n^1)
34.154
MAYBE
297.134
MAYBE
300.021
MAYBE
297.342
O(n^1)
0.890
O(n^1)
5.711
MAYBE
48.302
MAYBE
297.589
O(n^1)
25.639
O(n^2)
295.041
O(n^1)
1.035
O(n^1)
10.767
O(n^1)
45.662
O(n^1)
105.972
O(n^1)
0.837
O(n^1)
0.475
O(n^1)
1.122
O(n^1)
0.852
O(1)
0.594
O(1)
0.324
O(n^1)
101.678
MAYBE
298.512
O(n^1)
2.271
O(n^1)
1.395
MAYBE
300.053
O(n^2)
297.242
O(1)
0.584
O(1)
0.159
O(1)
0.634
O(1)
0.405
O(n^2)
104.490
MAYBE
297.424
O(n^1)
1.348
O(n^1)
0.818
MAYBE
300.021
MAYBE
299.622
MAYBE
300.042
O(n^3)
83.002
MAYBE
300.046
O(n^3)
117.702
O(n^3)
72.208
MAYBE
297.432
MAYBE
300.021
O(n^1)
11.399
MAYBE
300.054
O(n^2)
19.296
O(1)
0.584
O(1)
0.135
O(n^1)
0.892
O(n^1)
0.975
O(n^2)
59.024
MAYBE
297.173
O(n^1)
0.836
O(n^1)
0.398
MAYBE
300.021
MAYBE
297.207
MAYBE
0.233
MAYBE
0.021
O(n^1)
0.845
O(n^1)
0.335
O(n^3)
86.038
MAYBE
297.253
MAYBE
300.021
MAYBE
297.230
MAYBE
300.021
MAYBE
297.622
MAYBE
0.225
MAYBE
0.022
MAYBE
300.066
MAYBE
32.010
O(n^2)
77.693
MAYBE
297.746
MAYBE
300.021
MAYBE
297.643
MAYBE
300.046
O(n^2)
30.993
O(1)
0.584
O(1)
0.212
O(n^1)
72.107
MAYBE
297.171
MAYBE
300.054
O(n^2)
24.071
MAYBE
300.068
O(n^1)
105.449
MAYBE
0.232
MAYBE
0.022
O(n^1)
1.422
O(n^1)
1.026
O(n^2)
48.658
O(n^2)
155.596
MAYBE
300.022
O(n^2)
17.099
O(n^1)
0.739
O(n^1)
0.059
O(n^1)
51.939
O(n^1)
297.096
O(n^1)
0.789
O(n^1)
0.358
O(n^1)
3.773
O(n^1)
5.614
O(n^1)
0.844
O(1)
0.359
O(n^1)
0.839
O(n^1)
0.439
O(n^2)
78.748
MAYBE
297.751
MAYBE
300.055
MAYBE
297.801
MAYBE
300.021
MAYBE
298.366
MAYBE
0.233
MAYBE
0.025
MAYBE
300.021
MAYBE
297.231
O(n^3)
58.296
MAYBE
297.175
O(n^1)
0.826
O(n^1)
0.386
MAYBE
300.074
MAYBE
297.226
MAYBE
0.232
MAYBE
0.020
O(n^1)
0.840
O(n^1)
0.399
O(n^1)
47.061
O(n^1)
297.088
O(1)
0.586
O(1)
0.106
O(n^1)
45.832
O(n^1)
1.294
MAYBE
0.233
MAYBE
0.025
MAYBE
300.078
MAYBE
297.224
MAYBE
300.045
MAYBE
299.832
MAYBE
0.233
MAYBE
0.028
O(n^3)
72.539
MAYBE
297.183
MAYBE
300.021
MAYBE
297.141
MAYBE
300.055
MAYBE
297.140
MAYBE
0.225
MAYBE
0.021
MAYBE
155.425
MAYBE
297.266
O(n^2)
127.391
MAYBE
297.475
MAYBE
300.055
MAYBE
297.226
MAYBE
300.076
MAYBE
299.945
MAYBE
0.233
MAYBE
0.025
MAYBE
300.028
MAYBE
31.918
MAYBE
300.053
MAYBE
297.236
MAYBE
300.028
MAYBE
300.024
MAYBE
0.233
MAYBE
0.024
O(n^2)
33.345
O(n^1)
297.165
O(n^2)
1.297
O(n^1)
13.997
MAYBE
300.028
MAYBE
298.990
MAYBE
0.233
MAYBE
0.012
O(n^1)
0.780
O(n^1)
0.383
O(n^2)
176.665
MAYBE
297.783
MAYBE
300.021
MAYBE
297.289
MAYBE
300.073
MAYBE
298.919
MAYBE
0.232
MAYBE
0.026
O(n^3)
72.034
MAYBE
297.524
O(n^1)
0.789
O(n^1)
31.710
MAYBE
300.021
MAYBE
300.027
MAYBE
0.233
MAYBE
0.020
O(1)
0.584
O(n^1)
0.876
O(n^1)
45.626
O(n^1)
187.489
O(1)
0.585
O(1)
0.184
O(n^3)
57.269
MAYBE
297.167
O(n^1)
0.839
O(n^1)
0.742
MAYBE
300.054
O(n^2)
18.790
O(1)
0.584
O(1)
0.060
O(n^1)
0.839
O(n^1)
0.260
O(n^2)
89.624
MAYBE
297.193
O(n^1)
1.008
O(n^1)
26.042
MAYBE
300.054
MAYBE
297.589
MAYBE
0.233
MAYBE
0.022
O(n^2)
1.235
O(n^1)
148.100
O(n^3)
73.035
MAYBE
297.273
MAYBE
300.021
MAYBE
297.435
MAYBE
300.045
MAYBE
297.430
MAYBE
0.235
MAYBE
0.022
MAYBE
154.892
MAYBE
298.210
MAYBE
300.021
MAYBE
297.639
MAYBE
300.021
MAYBE
297.415
MAYBE
300.021
O(n^2)
297.240
O(1)
0.584
O(1)
0.539
MAYBE
300.035
MAYBE
297.226
O(n^2)
21.677
MAYBE
297.134
MAYBE
300.055
MAYBE
297.325
O(n^1)
24.623
O(n^2)
148.140
O(n^1)
1.248
O(n^1)
24.036
O(n^1)
160.178
MAYBE
297.775
O(n^1)
0.909
O(n^1)
0.739
MAYBE
300.033
MAYBE
299.205
MAYBE
0.225
MAYBE
0.019
O(n^2)
2.584
O(n^2)
71.923
O(n^3)
44.099
O(n^1)
62.808
O(n^1)
0.792
O(n^1)
0.360
O(n^1)
0.788
O(n^1)
0.311
MAYBE
300.067
O(n^1)
297.246
MAYBE
300.021
MAYBE
297.145
MAYBE
0.233
MAYBE
0.024
MAYBE
300.042
O(n^1)
297.214
MAYBE
300.021
O(n^3)
297.231
MAYBE
0.233
MAYBE
0.020
MAYBE
300.021
MAYBE
297.209
O(n^1)
1.956
O(n^1)
2.198
MAYBE
300.028
MAYBE
300.012
MAYBE
0.233
MAYBE
0.021
O(n^1)
91.781
MAYBE
297.408
O(n^1)
1.687
O(n^1)
10.262
MAYBE
300.021
MAYBE
299.146
MAYBE
0.233
MAYBE
0.022
O(n^1)
46.801
O(n^1)
297.154
O(n^1)
0.785
O(n^1)
0.383
MAYBE
300.054
MAYBE
297.181
O(1)
1.005
O(n^1)
1.586
O(1)
1.010
O(n^1)
1.677
O(n^3)
118.536
MAYBE
297.468
O(n^1)
1.411
O(n^1)
0.872
MAYBE
300.021
MAYBE
299.892
MAYBE
300.021
O(n^3)
102.231
MAYBE
300.048
O(n^3)
124.942
O(n^2)
162.913
MAYBE
297.161
O(n^1)
0.900
O(n^1)
1.088
MAYBE
300.021
MAYBE
299.816
MAYBE
0.225
MAYBE
0.016
O(n^1)
1.140
O(n^1)
1.256
MAYBE
300.028
MAYBE
297.240
MAYBE
0.326
MAYBE
0.077
MAYBE
300.030
MAYBE
297.229
MAYBE
300.057
MAYBE
297.247
MAYBE
300.063
MAYBE
298.420
MAYBE
300.028
MAYBE
298.560
MAYBE
0.283
MAYBE
0.051
MAYBE
300.021
MAYBE
297.114
MAYBE
300.053
MAYBE
297.606
MAYBE
300.054
MAYBE
297.351
MAYBE
300.035
MAYBE
297.173
MAYBE
0.275
MAYBE
0.043
MAYBE
300.064
MAYBE
297.167
MAYBE
300.021
MAYBE
297.664
MAYBE
300.021
MAYBE
299.422
MAYBE
300.021
MAYBE
300.012
MAYBE
0.233
MAYBE
0.038
MAYBE
300.076
MAYBE
300.012
MAYBE
300.058
MAYBE
297.225
MAYBE
300.060
MAYBE
297.199
MAYBE
300.021
O(n^1)
148.423
MAYBE
0.234
MAYBE
0.031
O(n^1)
2.653
O(n^1)
149.459
O(n^1)
191.429
MAYBE
297.216
O(n^1)
1.053
O(n^1)
68.985
MAYBE
300.060
MAYBE
298.891
MAYBE
0.232
MAYBE
0.025
O(n^1)
1.915
O(n^1)
149.553
MAYBE
300.021
MAYBE
297.767
MAYBE
300.028
MAYBE
299.239
MAYBE
0.233
MAYBE
0.037
MAYBE
300.021
MAYBE
297.589
MAYBE
300.065
MAYBE
297.199
MAYBE
300.021
MAYBE
300.012
MAYBE
0.232
MAYBE
0.030
MAYBE
300.063
MAYBE
297.202
MAYBE
300.021
MAYBE
298.176
MAYBE
300.021
MAYBE
297.420
MAYBE
0.233
MAYBE
0.028
MAYBE
300.033
MAYBE
297.319
MAYBE
300.054
MAYBE
297.171
MAYBE
0.232
MAYBE
0.024
MAYBE
300.021
MAYBE
297.151
MAYBE
300.043
MAYBE
300.012
MAYBE
0.233
MAYBE
0.013
O(n^1)
46.613
O(n^1)
297.166
MAYBE
300.055
MAYBE
297.147
MAYBE
0.233
MAYBE
0.030
O(n^1)
46.643
O(n^1)
297.186
MAYBE
300.054
MAYBE
297.165
MAYBE
300.029
MAYBE
297.089
MAYBE
0.232
MAYBE
0.029
MAYBE
300.062
O(n^2)
185.865
O(n^2)
259.951
MAYBE
297.243
MAYBE
300.021
MAYBE
299.427
MAYBE
300.021
MAYBE
300.024
MAYBE
0.256
MAYBE
0.020
MAYBE
300.021
MAYBE
297.124
MAYBE
300.021
MAYBE
297.912
MAYBE
300.060
MAYBE
297.183
O(n^2)
6.688
O(n^2)
163.746
MAYBE
0.234
MAYBE
0.026
O(n^1)
4.228
O(n^1)
7.377
O(n^2)
114.406
MAYBE
297.486
MAYBE
300.021
O(n^2)
297.251
MAYBE
300.065
MAYBE
298.618
MAYBE
0.232
MAYBE
0.023
MAYBE
300.021
O(n^1)
13.493
O(n^2)
214.040
MAYBE
297.168
MAYBE
300.060
MAYBE
298.511
O(n^2)
2.943
O(n^2)
148.219
MAYBE
0.255
MAYBE
0.022
O(n^3)
62.751
MAYBE
297.164
O(n^2)
1.065
O(n^2)
3.132
MAYBE
300.046
MAYBE
297.369
MAYBE
0.233
MAYBE
0.020
O(n^1)
102.613
MAYBE
297.492
MAYBE
300.028
MAYBE
298.310
MAYBE
300.021
MAYBE
297.104
MAYBE
0.283
MAYBE
0.044
MAYBE
300.075
MAYBE
297.114
MAYBE
300.037
MAYBE
298.051
MAYBE
300.067
MAYBE
299.701
MAYBE
300.055
MAYBE
299.975
MAYBE
0.232
MAYBE
0.032
MAYBE
300.021
MAYBE
297.947
MAYBE
300.064
MAYBE
297.205
MAYBE
300.053
MAYBE
297.207
MAYBE
0.232
MAYBE
0.036
MAYBE
300.021
MAYBE
297.219
MAYBE
300.021
MAYBE
299.176
MAYBE
300.021
MAYBE
300.012
MAYBE
0.225
MAYBE
0.025
MAYBE
300.040
MAYBE
297.298
MAYBE
300.117
MAYBE
297.275
MAYBE
300.054
MAYBE
300.031
MAYBE
0.233
MAYBE
0.023
O(n^1)
46.716
O(n^1)
297.184
MAYBE
300.061
MAYBE
297.368
MAYBE
0.232
MAYBE
0.021
O(n^1)
63.287
MAYBE
297.322
MAYBE
300.067
MAYBE
300.013
MAYBE
300.053
O(n^3)
276.030
MAYBE
300.071
O(n^2)
151.421
MAYBE
300.021
MAYBE
297.581
MAYBE
300.055
MAYBE
297.229
MAYBE
300.027
MAYBE
299.959
MAYBE
0.233
MAYBE
0.031
MAYBE
300.060
O(n^2)
148.593
MAYBE
300.021
MAYBE
297.188
MAYBE
300.060
MAYBE
297.193
O(n^2)
7.059
O(n^2)
59.216
O(n^1)
2.233
O(n^1)
24.124
O(n^1)
50.748
O(n^1)
297.214
MAYBE
300.070
O(n^2)
297.400
MAYBE
300.021
MAYBE
297.427
MAYBE
0.232
MAYBE
0.016
MAYBE
300.021
O(n^1)
297.351
O(n^1)
69.081
O(n^1)
298.176
MAYBE
300.071
MAYBE
299.192
O(n^3)
44.414
O(n^1)
261.069
MAYBE
300.068
MAYBE
297.367
MAYBE
0.232
MAYBE
0.020
O(n^1)
47.008
O(n^1)
297.148
MAYBE
300.054
MAYBE
298.277
MAYBE
300.051
O(n^3)
208.329
MAYBE
0.233
MAYBE
0.028
MAYBE
300.028
O(n^2)
111.501
O(n^1)
170.351
MAYBE
297.190
MAYBE
300.028
MAYBE
297.125
MAYBE
300.021
MAYBE
300.024
MAYBE
0.232
MAYBE
0.024
MAYBE
300.021
O(n^2)
118.113
MAYBE
300.021
MAYBE
297.284
MAYBE
300.028
MAYBE
299.199
O(n^2)
3.792
O(n^2)
70.620
MAYBE
0.232
MAYBE
0.015
O(n^1)
2.380
O(n^1)
3.982
O(n^3)
82.240
MAYBE
297.293
MAYBE
300.021
O(n^2)
297.142
MAYBE
300.033
MAYBE
298.348
MAYBE
0.232
MAYBE
0.022
MAYBE
300.032
O(n^1)
3.693
O(n^1)
119.008
MAYBE
297.631
MAYBE
300.061
MAYBE
298.625
O(n^1)
0.900
O(n^1)
24.052
MAYBE
0.233
MAYBE
0.020
O(n^1)
45.751
O(n^1)
237.630
O(n^1)
0.735
O(n^1)
0.152
MAYBE
300.067
MAYBE
297.237
MAYBE
0.232
MAYBE
0.020
O(n^1)
45.906
O(n^1)
297.150
MAYBE
300.064
MAYBE
297.581
O(1)
0.645
O(1)
1.542
O(1)
0.688
O(1)
47.119
O(n^2)
22.149
O(n^3)
156.402
O(n^1)
2.474
MAYBE
297.462
MAYBE
300.053
MAYBE
297.378
MAYBE
300.021
MAYBE
297.154
O(n^2)
12.759
MAYBE
297.634
O(n^1)
0.847
O(n^1)
96.296
O(n^1)
1.302
O(n^1)
297.266
O(n^1)
1.107
O(n^1)
5.127
O(n^1)
0.793
O(n^1)
0.842
O(n^1)
45.851
O(n^2)
148.199
MAYBE
39.745
O(n^1)
3.438
O(n^1)
45.554
O(n^1)
3.479
MAYBE
34.801
MAYBE
297.695
MAYBE
300.021
MAYBE
297.182
MAYBE
300.074
MAYBE
297.158
MAYBE
300.068
MAYBE
297.148
MAYBE
300.028
MAYBE
297.128
MAYBE
300.025
MAYBE
297.174
MAYBE
300.063
MAYBE
297.142
MAYBE
300.039
MAYBE
297.135
O(n^1)
46.171
MAYBE
297.130
MAYBE
300.038
MAYBE
297.181
O(n^1)
45.591
O(n^1)
225.457
MAYBE
300.021
MAYBE
297.810
MAYBE
80.693
MAYBE
297.365
O(n^1)
1.596
O(n^1)
1.966
MAYBE
300.035
O(n^1)
148.893
MAYBE
300.039
O(n^3)
183.489
MAYBE
300.046
O(n^2)
150.019
O(n^2)
4.988
O(n^2)
52.837
O(n^2)
7.139
O(n^2)
143.093
O(n^2)
2.915
O(n^2)
11.596
MAYBE
300.021
O(n^2)
148.379
O(n^2)
6.270
O(n^2)
150.098
MAYBE
300.028
MAYBE
297.572
MAYBE
300.021
O(n^2)
151.024
MAYBE
300.065
O(n^2)
150.419
MAYBE
300.022
O(n^3)
213.150
MAYBE
300.021
MAYBE
297.133
O(n^2)
2.916
O(n^2)
76.533
MAYBE
300.022
MAYBE
297.286
MAYBE
300.033
MAYBE
297.392
O(n^1)
1.166
O(n^1)
1.613
MAYBE
300.078
O(n^6)
289.124
O(n^2)
1.990
O(n^2)
75.724