Computation with Bounded Resources
Research Group

Descripton

On this page we compare Small Polynomial Path Orders with Small Polynomial Path Orders in the Dependency Pair setting and various other thechniques. The experiments were generated using this test file and this TCT configuration. The testbed can be downloaded from here.

Overview

PopstarSmall
DP+PopstarSmall
DP+Matrices
Mpo
O(1)
42020-
O(n^1)
207298-
O(n^2)
231117-
O(n^3)
638-
O(n^7)
1---
PRIMREC
---76
Total YES
5410614376
Total MAYBE
702583411677
Total TIMEOUT
-151371
Strict Wins
-14620

Average Execution Time (in seconds)

PopstarSmall
DP+PopstarSmall
DP+Matrices
Mpo
O(1)
0.168
0.237
0.268
-
O(n^1)
0.168
0.308
0.437
-
O(n^2)
0.189
0.445
4.668
-
O(n^3)
0.227
0.604
11.720
-
O(n^7)
0.415
-
-
-
PRIMREC
-
-
-
0.236
Total YES
0.188
0.317
1.547
0.236
Total MAYBE
0.340
1.196
18.297
0.414

Details

Problem (all selected)
PopstarSmall
DP+PopstarSmall
DP+Matrices
Mpo
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(1)
O(1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(1)
O(1)
MAYBE
O(n^1)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
O(n^3)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(1)
O(1)
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missing
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(1)
O(1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
O(n^1)
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
O(1)
O(1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
O(n^1)
PRIMREC
MAYBE
MAYBE
O(n^1)
PRIMREC
MAYBE
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
O(n^2)
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
O(n^1)
O(n^1)
PRIMREC
MAYBE
O(n^1)
O(n^1)
PRIMREC
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
TIMEOUT
TIMEOUT
MAYBE
MAYBE
TIMEOUT
TIMEOUT
MAYBE
MAYBE
TIMEOUT
TIMEOUT
MAYBE
MAYBE
TIMEOUT
TIMEOUT
MAYBE
MAYBE
TIMEOUT
TIMEOUT
MAYBE
MAYBE
TIMEOUT
TIMEOUT
MAYBE
MAYBE
TIMEOUT
TIMEOUT
MAYBE
MAYBE
TIMEOUT
TIMEOUT
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
O(n^2)
MAYBE
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
MAYBE
O(n^1)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
O(n^2)
O(n^1)
O(n^1)
MAYBE
MAYBE
missingmissing
MAYBE
O(n^1)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^3)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
O(n^1)
O(n^1)
PRIMREC
MAYBE
O(n^3)
O(n^3)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
PRIMREC
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
O(n^1)
O(n^1)
O(n^1)
MAYBE
O(n^2)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
PRIMREC
O(n^2)
O(n^2)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
PRIMREC
O(n^2)
O(n^2)
O(n^2)
MAYBE
O(n^1)
O(n^2)
O(n^1)
PRIMREC
O(n^2)
O(n^3)
O(n^2)
PRIMREC
MAYBE
MAYBE
MAYBE
PRIMREC
O(n^2)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
PRIMREC
O(n^2)
O(n^2)
MAYBE
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
PRIMREC
MAYBE
MAYBE
MAYBE
PRIMREC
MAYBE
MAYBE
MAYBE
PRIMREC
MAYBE
MAYBE
TIMEOUT
PRIMREC
MAYBE
missingmissing
MAYBE
O(n^3)
O(n^1)
O(n^1)
PRIMREC
O(1)
O(1)
O(1)
PRIMREC
O(n^2)
O(n^1)
O(n^1)
PRIMREC
MAYBE
missingmissing
MAYBE
MAYBE
O(1)
O(1)
MAYBE
MAYBE
MAYBE
MAYBE
PRIMREC
MAYBE
O(n^1)
O(n^1)
PRIMREC
O(n^1)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
PRIMREC
MAYBE
MAYBE
O(n^1)
MAYBE
O(n^2)
O(n^1)
O(n^1)
MAYBE
O(n^1)
O(n^1)
O(n^1)
PRIMREC
O(n^3)
O(n^1)
O(n^1)
PRIMREC
O(n^1)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missingmissing
MAYBE
O(n^1)
O(n^1)
O(n^1)
MAYBE
O(n^1)
O(n^1)
O(n^1)
MAYBE
O(n^1)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
PRIMREC
MAYBE
MAYBE
O(n^1)
MAYBE
MAYBE
MAYBE
O(n^3)
MAYBE
MAYBE
MAYBE
O(n^1)
PRIMREC
MAYBE
MAYBE
O(n^3)
MAYBE
MAYBE
O(1)
O(1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
PRIMREC
O(n^1)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
O(n^3)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
O(n^1)
PRIMREC
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
O(1)
O(1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
missing
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(1)
O(1)
MAYBE
MAYBE
O(1)
O(1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
O(1)
O(1)
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
O(1)
O(1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(1)
O(1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
O(n^1)
PRIMREC
O(n^2)
O(n^2)
MAYBE
PRIMREC
O(n^1)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
PRIMREC
MAYBE
MAYBE
MAYBE
PRIMREC
MAYBE
MAYBE
MAYBE
PRIMREC
O(n^2)
O(n^1)
O(n^1)
MAYBE
O(n^2)
O(n^2)
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
PRIMREC
O(n^3)
O(n^3)
MAYBE
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
O(1)
O(1)
MAYBE
MAYBE
MAYBE
O(n^1)
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
missing
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
O(n^1)
PRIMREC
O(n^2)
O(n^1)
O(n^1)
PRIMREC
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
O(n^3)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
missing
MAYBE
O(n^2)
O(1)
O(1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
PRIMREC
MAYBE
MAYBE
MAYBE
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
O(1)
O(1)
O(1)
PRIMREC
MAYBE
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
O(n^3)
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
O(n^1)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
O(1)
O(1)
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^3)
O(n^1)
O(n^1)
MAYBE
O(n^2)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
missing
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
MAYBE
MAYBE
MAYBE
missing
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
O(n^2)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
O(1)
O(1)
O(1)
PRIMREC
O(n^1)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
O(1)
O(1)
O(1)
PRIMREC
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^1)
MAYBE
MAYBE
MAYBE
missing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
O(n^1)
O(n^1)
PRIMREC
O(n^2)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
MAYBE
O(n^2)
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
O(n^7)
O(n^1)
O(n^1)
MAYBE
MAYBE
TIMEOUT
TIMEOUT
missing
missing
TIMEOUT
TIMEOUT
TIMEOUT
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
TIMEOUT
TIMEOUT
missing
MAYBE
MAYBE
O(n^1)
MAYBE
MAYBE
MAYBE
missing
MAYBE
MAYBE
MAYBE
O(n^1)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
TIMEOUT
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
TIMEOUT
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^2)
O(n^2)
MAYBE
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
TIMEOUT
TIMEOUT
missing
MAYBE
MAYBE
missing
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missing
MAYBE
MAYBE
MAYBE
O(n^1)
MAYBE
O(n^2)
O(n^1)
O(n^1)
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
O(n^3)
MAYBE
MAYBE
O(n^1)
O(n^1)
MAYBE
MAYBE
MAYBE
O(n^1)
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
TIMEOUT
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
O(n^3)
MAYBE
MAYBE
MAYBE
MAYBE
PRIMREC
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
missingmissing
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE
MAYBE