You can download the tool output here.
| Example | Result | Runtime |
|---|---|---|
| size01.koat | O(n) | 0.48 s |
| size02.koat | EXP | 1.77 s |
| size03.koat | Maybe | 2.29 s |
| size04.koat | Maybe | 2.56 s |
| size05.koat | Maybe | 6.13 s |
| size06.koat | Maybe | 5.21 s |
| size07.koat | Maybe | 2.79 s |
| size08.koat | Maybe | 4.92 s |
| size09.koat | EXP | 4.11 s |
| size10.koat | Maybe | 5.18 s |
| size11.koat | EXP | 2.11 s |
| size12.koat | EXP | 8.22 s |
| size13.koat | Maybe | 6.54 s |
| size14.koat | Maybe | 2.44 s |
| size15.koat | Maybe | 8.46 s |