You can download the tool output here.
| Example | Result | Runtime |
|---|---|---|
| size01.c | O(n) | 0.58 s |
| size02.c | Maybe | 0.66 s |
| size03.c | O(n³) | 0.63 s |
| size04.c | Maybe | 0.65 s |
| size05.c | Maybe | 0.56 s |
| size06.c | Maybe | 0.65 s |
| size07.c | Maybe | 0.48 s |
| size08.c | Maybe | 0.47 s |
| size09.c | Maybe | 0.51 s |
| size10.c | Maybe | 0.53 s |
| size11.c | O(n²) | 0.49 s |
| size14.c | Maybe | 0.52 s |
| size15.c | Maybe | 0.50 s |