Detailed Results of KoAT2 + TWN + MΦRF5 on Complexity_C_Integer_Non_Linear

You can download the tool output here.

Example Result Runtime
twn01.c O(n) 1.34 s
twn02.c O(n²) 3.35 s
twn03.c O(n²) 4.98 s
twn04.c O(n³) 3.91 s
twn05.c O(n³) 9.90 s
twn06.c TIMEOUT 300.44 s
twn07.c 4.43 s
twn08.c O(n²) 64.09 s
twn09.c O(n⁴) 9.66 s
twn10.c O(n) 1.08 s
twn11.c 29.90 s
twn12.c 3.01 s
twn13.c O(n⁵) 2.83 s
twn14.c O(n²) 7.03 s
twn15.c O(n²) 15.91 s
twn16.c O(n) 0.63 s
twn17.c O(EXP) 21.51 s
twn18.c 3.75 s
twn19.c O(n) 1.31 s
twn20.c O(n) 1.25 s