You can download the tool output here.
| Example | Result | Runtime |
|---|---|---|
| size01.c | O(n) | 0.85 s |
| size02.c | O(n) | 5.04 s |
| size03.c | O(n³) | 4.40 s |
| size04.c | O(n³) | 9.23 s |
| size05.c | O(n⁶) | 15.59 s |
| size06.c | O(n⁶) | 15.04 s |
| size07.c | O(n³) | 7.65 s |
| size08.c | O(n¹⁴) | 11.93 s |
| size09.c | O(n²) | 22.43 s |
| size10.c | O(n⁵) | 222.39 s |
| size11.c | EXP | 5.14 s |
| size12.c | EXP | 47.75 s |
| size13.c | O(n³) | 13.13 s |
| size14.c | Maybe | 5.51 s |
| size15.c | O(n⁹) | 93.64 s |