Detailed Results of KoAT2 + TWN + RF on Complexity_C_Integer_Non_Linear

You can download the tool output here.

Example Result Runtime
twn01.c O(n) 1.14 s
twn02.c O(n²) 2.80 s
twn03.c O(n²) 4.23 s
twn04.c O(n³) 3.63 s
twn05.c O(n³) 8.81 s
twn06.c TIMEOUT 300.42 s
twn07.c 3.74 s
twn08.c O(n²) 34.07 s
twn09.c O(n⁴) 8.55 s
twn10.c O(n) 0.87 s
twn11.c 24.26 s
twn12.c 2.37 s
twn13.c O(n⁵) 2.25 s
twn14.c O(n²) 5.34 s
twn15.c O(n²) 11.06 s
twn16.c O(n) 0.53 s
twn17.c O(EXP) 16.22 s
twn18.c 2.45 s
twn19.c O(n) 1.00 s
twn20.c O(n) 0.81 s