This is COSTA, version 0.2.
Copyright (C) 2007-2013 E.Albert, P.Arenas, S.Genaim, G.Puebla, and D.Zanardini.
This program comes with ABSOLUTELY NO WARRANTY;
   for details execute 'costa -W'
This is free software, and you are welcome to redistribute it under
   certain conditions; for details execute 'costa -L'
For usage information execute 'costa -H'
For version information execute 'costa -V' or 'costa -version'




------------------------------------------------------------------------------
------------------------------------------------------------------------------
Loaded 500 bytecodes from 18 CFGs involving 12 classes in 140 msecs. 

RBR built in 60 msecs: it contains 375 rules

Nullity analysis performed in 60 msecs

Sign analysis performed in 79 msecs

Optimized RBR computed in 101 msecs: it contains 226 rules

Heap analysis performed in 1880 msecs

Size Analysis performed in 200 msecs

CRS generated in 160 msecs: it contains 224 equations

SCCs computed in 20 msecs: there are 185 SCCs

CRS partially evaluated in 119 msecs

Computed Invariants of CRS in 221 msecs

Applied schemas in 120 msecs

Upper bounds simplified in 20 msecs



------------------------------------------------------------------------------
FINAL RESULTS FOR javaUtilEx/juLinkedListCreateSubList_main(III)V

Total analysis time: 3.240 secs

Asymptotic upper bounds generated in 20 msecs

The Asymptotic Upper Bound for 'javaUtilEx/juLinkedListCreateSubList_main(III)V'(A,B,C) is
nat(A)*c(())+c(())+c(()) instructions

Method 'javaUtilEx/juLinkedListCreateSubList_main(III)V' terminates?: yes