You can download the tool output here
| Example | Result | Runtime |
|---|---|---|
| twn01.koat | O(n) | 0.83 s |
| twn02.koat | O(n²) | 2.32 s |
| twn03.koat | O(n²) | 2.51 s |
| twn04.koat | O(n³) | 3.14 s |
| twn05.koat | O(n³) | 5.57 s |
| twn06.koat | ∞ | 5.94 s |
| twn07.koat | ∞ | 2.51 s |
| twn08.koat | O(n²) | 6.19 s |
| twn09.koat | O(n⁴) | 3.68 s |
| twn10.koat | O(n) | 0.99 s |
| twn11.koat | ∞ | 2.58 s |
| twn12.koat | ∞ | 2.23 s |
| twn13.koat | O(n⁵) | 2.62 s |
| twn14.koat | O(n²) | 4.06 s |
| twn15.koat | O(n²) | 4.34 s |
| twn16.koat | O(n) | 0.84 s |
| twn17.koat | O(EXP) | 4.86 s |
| twn18.koat | ∞ | 1.89 s |
| twn19.koat | O(n) | 0.88 s |
| twn20.koat | O(n) | 0.84 s |