You can download the tool output here.
| Example | Result | Runtime | |
|---|---|---|---|
| size01.koat | O(n) | 0.44 s | |
| size02.koat | EXP | 0.48 s | |
| size03.koat | Maybe | 0.76 s | |
| size04.koat | Maybe | 0.87 s | |
| size05.koat | Maybe | 0.76 s | |
| size06.koat | Maybe | 0.76 s | |
| size07.koat | Maybe | 0.88 s | |
| size08.koat | Maybe | 0.61 s | |
| size09.koat | Maybe | 2.69 s | |
| size10.koat | Maybe | 2.74 s | |
| size11.koat | EXP | 0.44 s | |
| size12.koat | EXP | 0.47 s | |
| size13.koat | Maybe | 1.00 s | |
| size14.koat | Maybe | 0.56 s | |
| size15.koat | Maybe | 0.85 s |