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

You can download the tool output here.

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