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 64 bytecodes from 1 CFGs involving 1 classes in 20 msecs. RBR built in 0 msecs: it contains 48 rules Nullity analysis performed in 20 msecs Sign analysis performed in 100 msecs Optimized RBR computed in 0 msecs: it contains 33 rules Heap analysis performed in 0 msecs Size Analysis performed in 140 msecs CRS generated in 0 msecs: it contains 33 equations SCCs computed in 0 msecs: there are 15 SCCs CRS partially evaluated in 40 msecs Computed Invariants of CRS in 80 msecs Applied schemas in 200 msecs Upper bounds simplified in 0 msecs ------------------------------------------------------------------------------ FINAL RESULTS FOR Iterations_main(I)V Total analysis time: 0.620 secs Asymptotic upper bounds generated in 0 msecs The Asymptotic Upper Bound for 'Iterations_main(I)V'(A) is pow(nat(A),5) instructions Method 'Iterations_main(I)V' terminates?: yes