Detailed Results of KoAT1 on Complexity_C_Integer_Non_Linear

You can download the tool output here.

Example Result Runtime
twn01.c ∞ 0.60 s
twn02.c ∞ 0.53 s
twn03.c ∞ 1.52 s
twn04.c ∞ 1.91 s
twn05.c ∞ 3.25 s
twn06.c ∞ 11.47 s
twn07.c ∞ 1.29 s
twn08.c ∞ 6.99 s
twn09.c ∞ 1.48 s
twn10.c ∞ 1.47 s
twn11.c ∞ 94.50 s
twn12.c ∞ 0.49 s
twn13.c ∞ 0.78 s
twn14.c ∞ 1.59 s
twn15.c ∞ 2.78 s
twn16.c O(n) 0.38 s
twn17.c ∞ 4.59 s
twn18.c ∞ 0.59 s
twn19.c ∞ 0.64 s
twn20.c ∞ 0.53 s