You can download the tool output here.
| Example | Result | Runtime |
|---|---|---|
| twn01.c | ∞ | 3.98 s |
| twn02.c | ∞ | 4.11 s |
| twn03.c | ∞ | 5.57 s |
| twn04.c | ∞ | 5.05 s |
| twn05.c | ∞ | 11.97 s |
| twn06.c | TIMEOUT | 300.67 s |
| twn07.c | ∞ | 4.69 s |
| twn08.c | ∞ | 53.85 s |
| twn09.c | ∞ | 5.92 s |
| twn10.c | ∞ | 4.25 s |
| twn11.c | ∞ | 25.80 s |
| twn12.c | ∞ | 3.55 s |
| twn13.c | ∞ | 3.93 s |
| twn14.c | ∞ | 7.11 s |
| twn15.c | ∞ | 14.22 s |
| twn16.c | O(n) | 1.71 s |
| twn17.c | ∞ | 21.24 s |
| twn18.c | ∞ | 4.40 s |
| twn19.c | ∞ | 4.64 s |
| twn20.c | ∞ | 3.59 s |