You can download the tool output here.
| Example | Result | Runtime |
|---|---|---|
| twn01.c | O(n) | 1.07 s |
| twn02.c | O(n²) | 3.04 s |
| twn03.c | O(n²) | 5.80 s |
| twn04. | ∞ | 4.77 s |
| twn05.c | ∞ | 13.07 s |
| twn06.c | ∞ | 26.41 s |
| twn07.c | ∞ | 3.69 s |
| twn08.c | ∞ | 77.39 s |
| twn09.c | O(n⁴) | 9.54 s |
| twn10.c | O(n) | 0.87 s |
| twn11.c | ∞ | 41.94 s |
| twn12.c | ∞ | 7.57 s |
| twn13.c | O(n⁵) | 2.17 s |
| twn14.c | ∞ | 14.51 s |
| twn15.c | ∞ | 25.23 s |
| twn16.c | O(1) | 1.70 s |
| twn17.c | ∞ | 69.24 s |
| twn18.c | ∞ | 5.17 s |
| twn19.c | O(n) | 2.12 s |
| twn20.c | O(n) | 1.93 s |