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 35 bytecodes from 1 CFGs involving 2 classes in 20 msecs.
RBR built in 0 msecs: it contains 43 rules
Nullity analysis performed in 0 msecs
Sign analysis performed in 20 msecs
Optimized RBR computed in 0 msecs: it contains 35 rules
Heap analysis performed in 20 msecs
Size Analysis performed in 120 msecs
CRS generated in 0 msecs: it contains 32 equations
SCCs computed in 0 msecs: there are 11 SCCs
CRS partially evaluated in 39 msecs
Computed Invariants of CRS in 21 msecs
Applied schemas in 20 msecs
Upper bounds simplified in 0 msecs
------------------------------------------------------------------------------
FINAL RESULTS FOR PastaC10_main(II)V
Total analysis time: 0.280 secs
Asymptotic upper bounds generated in 19 msecs
The Asymptotic Upper Bound for 'PastaC10_main(II)V'(A,B) is
nat(A-B)*c(())+nat(A-B)*c(hashCode()) instructions
Method 'PastaC10_main(II)V' terminates?: yes