You can download the tool output here.
| Example | Result | Runtime |
|---|---|---|
| size01.c | O(n) | 0.81 s |
| size02.c | EXP | 5.33 s |
| size03.c | Maybe | 5.94 s |
| size04.c | Maybe | 8.22 s |
| size05.c | Maybe | 16.52 s |
| size06.c | Maybe | 18.32 s |
| size07.c | Maybe | 7.91 s |
| size08.c | Maybe | 11.44 s |
| size09.c | EXP | 17.78 s |
| size10.c | Maybe | 228.19 s |
| size11.c | EXP | 5.86 s |
| size12.c | EXP | 33.64 s |
| size13.c | Maybe | 15.59 s |
| size14.c | Maybe | 5.92 s |
| size15.c | Maybe | 91.41 s |