You can download the tool output here.
| Example | Result | Runtime |
|---|---|---|
| size01.koat | O(n) | 0.50 s |
| size02.koat | O(n) | 2.22 s |
| size03.koat | O(n³) | 2.00 s |
| size04.koat | O(n³) | 3.50 s |
| size05.koat | O(n⁶) | 6.38 s |
| size06.koat | O(n⁶) | 4.65 s |
| size07.koat | O(n³) | 3.13 s |
| size08.koat | O(n¹⁴) | 5.52 s |
| size09.koat | O(n²) | 6.97 s |
| size10.koat | O(n⁴) | 6.39 s |
| size11.koat | EXP | 1.97 s |
| size12.koat | EXP | 25.08 s |
| size13.koat | O(n³) | 6.34 s |
| size14.koat | Maybe | 2.41 s |
| size15.koat | O(n⁹) | 9.30 s |