Detailed Results of MaxCore on Complexity_C_Integer_Non_Linear

You can download the tool output here.

Example	Result	Runtime
twn01.c	∞	7.01 s
twn02.c	∞	2.54 s
twn03.c	∞	5.51 s
twn04.c	∞	2.56 s
twn05.c	∞	3.53 s
twn06.c	∞	4.01 s
twn07.c	O(n)	0.64 s
twn08.c	∞	7.90 s
twn09.c	∞	5.44 s
twn10.c	∞	27.70 s
twn11.c	∞	0.35 s
twn12.c	∞	0.38 s
twn13.c	∞	0.45 s
twn14.c	∞	3.65 s
twn15.c	∞	7.91 s
twn16.c	O(n)	0.54 s
twn17.c	∞	7.90 s
twn18.c	∞	2.51 s
twn19.c	∞	2.59 s
twn20.c	∞	3.57 s