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