You can download the tool output here.
| Example | Result | Runtime |
|---|---|---|
| size01.c | O(n) | 0.63 s |
| size02.c | EXP | 0.77 s |
| size03.c | Maybe | 1.79 s |
| size04.c | Maybe | 3.13 s |
| size05.c | Maybe | 1.96 s |
| size06.c | Maybe | 3.78 s |
| size07.c | Maybe | 2.78 s |
| size08.c | Maybe | 1.37 s |
| size09.c | Maybe | 4.75 s |
| size10.c | Maybe | 6.42 s |
| size11.c | EXP | 0.90 s |
| size12.c | EXP | 2.84 s |
| size13.c | Maybe | 4.43 s |
| size14.c | Maybe | 1.32 s |
| size15.c | Maybe | 13.72 s |