

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 1069 ms

Transition system stored in /tmp/costabs/ts.ts
Collected parameters: [encode_mcu_AC_refine_Se,encode_mcu_AC_refine_cinfo_Ss,encode_mcu_AC_refine_k,encode_mcu_AC_refine_r,unknown3,unknown4,v_r5,v_r7]
SCCs from Transition System: [(non_recursive,[21]),(recursive,[8,13]),(recursive,[2]),(non_recursive,[0]),(recursive,[10008,10013])]
Processing final SCC [21] with GenCalls = calls
WARNING: direct translation of SCC [8,13]
Processing non-final SCC [2] with GenCalls = calls
Processing non-final SCC [0] with GenCalls = calls
WARNING: direct translation of SCC [10008,10013]
RBR generated

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

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

Abstract compilation performed in 4 ms.

Size analysis performed in 43 ms.

Cost relation system stored in /tmp/costabs/crs.crs
@@@ crs_time = 1.124
Exception when solving with cofloco: irreducible_multual_recursion([p10008/9-p10008/9,p10013/9-p10008/9,p10008/9-p10013/9,p10013/9-p10013/9])
@@@ cofloco_time = 0.026000000000000002
@@@ cofloco_ub = error
