You can download the tool output here.
Example | Result | Runtime |
---|---|---|
twn01.c | ∞ | 0.57 s |
twn02.c | ∞ | 0.56 s |
twn03.c | ∞ | 0.67 s |
twn04.c | ∞ | 0.67 s |
twn05.c | ∞ | 0.71 s |
twn06.c | ∞ | 0.72 s |
twn07.c | ∞ | 0.67 s |
twn08.c | ∞ | 0.72 s |
twn09.c | ∞ | 0.62 s |
twn10.c | ∞ | 0.60 s |
twn11.c | ∞ | 0.68 s |
twn12.c | ∞ | 0.59 s |
twn13.c | ∞ | 0.59 s |
twn14.c | ∞ | 0.64 s |
twn15.c | ∞ | 0.86 s |
twn16.c | O(n) | 0.56 s |
twn17.c | ∞ | 0.86 s |
twn18.c | ∞ | 0.48 s |
twn19.c | ∞ | 0.52 s |
twn20.c | ∞ | 0.48 s |