You can download the tool output here
| Example | Result | Runtime |
|---|---|---|
| twn01.koat | ∞ | 2.55 s |
| twn02.koat | ∞ | 2.55 s |
| twn03.koat | ∞ | 2.99 s |
| twn04.koat | ∞ | 3.17 s |
| twn05.koat | ∞ | 5.43 s |
| twn06.koat | ∞ | 5.71 s |
| twn07.koat | ∞ | 2.72 s |
| twn08.koat | ∞ | 6.19 s |
| twn09.koat | ∞ | 4.23 s |
| twn10.koat | ∞ | 3.06 s |
| twn11.koat | ∞ | 3.01 s |
| twn12.koat | ∞ | 2.62 s |
| twn13.koat | ∞ | 2.91 s |
| twn14.koat | ∞ | 3.99 s |
| twn15.koat | ∞ | 4.87 s |
| twn16.koat | O(n) | 0.92 s |
| twn17.koat | ∞ | 5.51 s |
| twn18.koat | ∞ | 2.27 s |
| twn19.koat | ∞ | 3.26 s |
| twn20.koat | ∞ | 3.03 s |