Detailed Results of KoAT2 + TWN + RF on Complexity_C_Integer_Non_Linear

You can download the tool output here.

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