You can download the tool output here.
| Example | Result | Runtime |
|---|---|---|
| twn01.c | ∞ | 7.01 s |
| twn02.c | ∞ | 2.54 s |
| twn03.c | ∞ | 5.51 s |
| twn04.c | ∞ | 2.56 s |
| twn05.c | ∞ | 3.53 s |
| twn06.c | ∞ | 4.01 s |
| twn07.c | O(n) | 0.64 s |
| twn08.c | ∞ | 7.90 s |
| twn09.c | ∞ | 5.44 s |
| twn10.c | ∞ | 27.70 s |
| twn11.c | ∞ | 0.35 s |
| twn12.c | ∞ | 0.38 s |
| twn13.c | ∞ | 0.45 s |
| twn14.c | ∞ | 3.65 s |
| twn15.c | ∞ | 7.91 s |
| twn16.c | O(n) | 0.54 s |
| twn17.c | ∞ | 7.90 s |
| twn18.c | ∞ | 2.51 s |
| twn19.c | ∞ | 2.59 s |
| twn20.c | ∞ | 3.57 s |