

MaxCore parameters: [sabu=yes,dropoutputvars=yes]

Selected extra parameters: [cost_model=termination,enable_sabu=yes,output_vars_crs_file=no]

Generated TS from C program in 1403 ms

Transition system stored in /tmp/costabs/ts.ts
Collected parameters: [analyse_other_atoms_nr,analyse_other_atoms_nres,analyse_other_bASK,analyse_other_i,analyse_other_j,analyse_other_k,analyse_other_l,analyse_other_naaid,analyse_other_naid,analyse_other_natp,analyse_other_nrestp,unknown10,unknown11,unknown12,unknown13,unknown14,unknown8,unknown9,v_r15,v_r17,v_r19]
SCCs from Transition System: [(non_recursive,[82]),(recursive,[33,47,65]),(recursive,[11,15]),(recursive,[2]),(non_recursive,[0])]
Processing final SCC [82] with GenCalls = calls
WARNING: direct translation of SCC [33,47,65]
Processing SCC [11,15] with GenCalls = calls
Processing non-final SCC [15] with GenCalls = no_calls
Processing non-final SCC [2] with GenCalls = calls
Processing non-final SCC [0] with GenCalls = calls
RBR generated

Rule based representation stored in /tmp/costabs/rbr.rbr

RBR properties stored in /tmp/costabs/rbr.properties

Abstract compilation performed in 25 ms.

Size analysis performed in 580 ms.

Cost relation system stored in /tmp/costabs/crs.crs
@@@ crs_time = 2.036
Warning: the following predicates are never called:[and_op/2,eq/2,geq/2,gt/2,leq/2,lt/2,maxNorm/2,neg/1,neq/2,or/2]

### Maximum cost of p0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V): inf 
Asymptotic class: infinity 
@@@ cofloco_time = 29.754
@@@ cofloco_ub = inf
