You can download the tool output here.
| Example | Result | Runtime |
|---|---|---|
| size01.c | O(n) | 0.79 s |
| size02.c | Maybe | 1.05 s |
| size03.c | O(n) | 0.91 s |
| size04.c | Maybe | 1.08 s |
| size05.c | Maybe | 3.16 s |
| size06.c | Maybe | 6.80 s |
| size07.c | O(n) | 0.85 s |
| size08.c | Maybe | 2.53 s |
| size09.c | Maybe | 1.29 s |
| size10.c | Maybe | 1.88 s |
| size11.c | O(n²) | 0.85 s |
| size12.c | Maybe | 1.83 s |
| size13.c | Maybe | 1.86 s |
| size14.c | O(n) | 0.76 s |
| size15.c | Maybe | 22.75 s |