DOING LOCALIZATION... Starting conversion of file: /home/bekkouche/eclipse-workspace/Benchmarks_LocFaults/BubbleSort/Progs_with_spec/BubbleSortv11.java Loops are unwound 14 times. The size of the constructed CFG: 3087 From the counterexample, LocFaults calculates MCS and IIS by exploring the graph in DFS from top to bottom and by deviating at most '2' conditional statements. /***************************************************************/ By deviating '0' condition(s), we obtain: Solver: CPLEX 1. CSP_d: empty set ------------------------ 2. CSP_a: bubbleSort_0_tab_0[0] := 974 --> line -1 bubbleSort_0_tab_0[1] := 971 --> line -1 bubbleSort_0_tab_0[2] := 946 --> line -1 bubbleSort_0_tab_0[3] := 926 --> line -1 bubbleSort_0_tab_0[4] := 892 --> line -1 bubbleSort_0_tab_0[5] := 864 --> line -1 bubbleSort_0_tab_0[6] := 848 --> line -1 bubbleSort_0_tab_0[7] := 829 --> line -1 bubbleSort_0_tab_0[8] := 586 --> line -1 bubbleSort_0_tab_0[9] := 544 --> line -1 bubbleSort_0_tab_0[10] := 504 --> line -1 bubbleSort_0_tab_0[11] := 445 --> line -1 bubbleSort_0_tab_0[12] := 278 --> line -1 bubbleSort_0_tab_0[13] := 971 --> line -1 bubbleSort_0_i_0 := 0 --> line 8 bubbleSort_0_j_0 := ( 14 - 1 ) --> line 9 bubbleSort_0_aux_0 := 0 --> line 10 bubbleSort_0_fini_0 := 0 --> line 11 bubbleSort_0_fini_1 := 1 --> line 13 bubbleSort_0_i_1 := 1 --> line 14 bubbleSort_0_aux_1 := bubbleSort_0_tab_0[( bubbleSort_0_i_1 - 1 )] --> line 18 bubbleSort_0_fini_2 := 0 --> line 21 bubbleSort_0_i_2 := ( bubbleSort_0_i_1 + 1 ) --> line 23 bubbleSort_0_aux_2 := bubbleSort_0_tab_2[( bubbleSort_0_i_2 - 1 )] --> line 18 bubbleSort_0_fini_3 := 0 --> line 21 bubbleSort_0_i_3 := ( bubbleSort_0_i_2 + 1 ) --> line 23 bubbleSort_0_aux_3 := bubbleSort_0_tab_4[( bubbleSort_0_i_3 - 1 )] --> line 18 bubbleSort_0_fini_4 := 0 --> line 21 bubbleSort_0_i_4 := ( bubbleSort_0_i_3 + 1 ) --> line 23 bubbleSort_0_aux_4 := bubbleSort_0_tab_6[( bubbleSort_0_i_4 - 1 )] --> line 18 bubbleSort_0_fini_5 := 0 --> line 21 bubbleSort_0_i_5 := ( bubbleSort_0_i_4 + 1 ) --> line 23 bubbleSort_0_aux_5 := bubbleSort_0_tab_8[( bubbleSort_0_i_5 - 1 )] --> line 18 bubbleSort_0_fini_6 := 0 --> line 21 bubbleSort_0_i_6 := ( bubbleSort_0_i_5 + 1 ) --> line 23 bubbleSort_0_aux_6 := bubbleSort_0_tab_10[( bubbleSort_0_i_6 - 1 )] --> line 18 bubbleSort_0_fini_7 := 0 --> line 21 bubbleSort_0_i_7 := ( bubbleSort_0_i_6 + 1 ) --> line 23 bubbleSort_0_aux_7 := bubbleSort_0_tab_12[( bubbleSort_0_i_7 - 1 )] --> line 18 bubbleSort_0_fini_8 := 0 --> line 21 bubbleSort_0_i_8 := ( bubbleSort_0_i_7 + 1 ) --> line 23 bubbleSort_0_aux_8 := bubbleSort_0_tab_14[( bubbleSort_0_i_8 - 1 )] --> line 18 bubbleSort_0_fini_9 := 0 --> line 21 bubbleSort_0_i_9 := ( bubbleSort_0_i_8 + 1 ) --> line 23 bubbleSort_0_aux_9 := bubbleSort_0_tab_16[( bubbleSort_0_i_9 - 1 )] --> line 18 bubbleSort_0_fini_10 := 0 --> line 21 bubbleSort_0_i_10 := ( bubbleSort_0_i_9 + 1 ) --> line 23 bubbleSort_0_aux_10 := bubbleSort_0_tab_18[( bubbleSort_0_i_10 - 1 )] --> line 18 bubbleSort_0_fini_11 := 0 --> line 21 bubbleSort_0_i_11 := ( bubbleSort_0_i_10 + 1 ) --> line 23 bubbleSort_0_aux_11 := bubbleSort_0_tab_20[( bubbleSort_0_i_11 - 1 )] --> line 18 bubbleSort_0_fini_12 := 0 --> line 21 bubbleSort_0_i_12 := ( bubbleSort_0_i_11 + 1 ) --> line 23 bubbleSort_0_aux_12 := bubbleSort_0_tab_22[( bubbleSort_0_i_12 - 1 )] --> line 18 bubbleSort_0_fini_13 := 0 --> line 21 bubbleSort_0_i_13 := ( bubbleSort_0_i_12 + 1 ) --> line 23 bubbleSort_0_fini_15 := bubbleSort_0_fini_13 --> line 0 bubbleSort_0_i_15 := bubbleSort_0_i_13 --> line 0 bubbleSort_0_aux_14 := bubbleSort_0_aux_12 --> line 0 bubbleSort_0_j_1 := ( bubbleSort_0_j_0 - 1 ) --> line 25 bubbleSort_0_fini_16 := 1 --> line 13 bubbleSort_0_i_16 := 1 --> line 14 bubbleSort_0_aux_15 := bubbleSort_0_tab_28[( bubbleSort_0_i_16 - 1 )] --> line 18 bubbleSort_0_fini_17 := 0 --> line 21 bubbleSort_0_i_17 := ( bubbleSort_0_i_16 + 1 ) --> line 23 bubbleSort_0_aux_16 := bubbleSort_0_tab_30[( bubbleSort_0_i_17 - 1 )] --> line 18 bubbleSort_0_fini_18 := 0 --> line 21 bubbleSort_0_i_18 := ( bubbleSort_0_i_17 + 1 ) --> line 23 bubbleSort_0_aux_17 := bubbleSort_0_tab_32[( bubbleSort_0_i_18 - 1 )] --> line 18 bubbleSort_0_fini_19 := 0 --> line 21 bubbleSort_0_i_19 := ( bubbleSort_0_i_18 + 1 ) --> line 23 bubbleSort_0_aux_18 := bubbleSort_0_tab_34[( bubbleSort_0_i_19 - 1 )] --> line 18 bubbleSort_0_fini_20 := 0 --> line 21 bubbleSort_0_i_20 := ( bubbleSort_0_i_19 + 1 ) --> line 23 bubbleSort_0_aux_19 := bubbleSort_0_tab_36[( bubbleSort_0_i_20 - 1 )] --> line 18 bubbleSort_0_fini_21 := 0 --> line 21 bubbleSort_0_i_21 := ( bubbleSort_0_i_20 + 1 ) --> line 23 bubbleSort_0_aux_20 := bubbleSort_0_tab_38[( bubbleSort_0_i_21 - 1 )] --> line 18 bubbleSort_0_fini_22 := 0 --> line 21 bubbleSort_0_i_22 := ( bubbleSort_0_i_21 + 1 ) --> line 23 bubbleSort_0_aux_21 := bubbleSort_0_tab_40[( bubbleSort_0_i_22 - 1 )] --> line 18 bubbleSort_0_fini_23 := 0 --> line 21 bubbleSort_0_i_23 := ( bubbleSort_0_i_22 + 1 ) --> line 23 bubbleSort_0_aux_22 := bubbleSort_0_tab_42[( bubbleSort_0_i_23 - 1 )] --> line 18 bubbleSort_0_fini_24 := 0 --> line 21 bubbleSort_0_i_24 := ( bubbleSort_0_i_23 + 1 ) --> line 23 bubbleSort_0_aux_23 := bubbleSort_0_tab_44[( bubbleSort_0_i_24 - 1 )] --> line 18 bubbleSort_0_fini_25 := 0 --> line 21 bubbleSort_0_i_25 := ( bubbleSort_0_i_24 + 1 ) --> line 23 bubbleSort_0_aux_24 := bubbleSort_0_tab_46[( bubbleSort_0_i_25 - 1 )] --> line 18 bubbleSort_0_fini_26 := 0 --> line 21 bubbleSort_0_i_26 := ( bubbleSort_0_i_25 + 1 ) --> line 23 bubbleSort_0_aux_25 := bubbleSort_0_tab_48[( bubbleSort_0_i_26 - 1 )] --> line 18 bubbleSort_0_fini_27 := 0 --> line 21 bubbleSort_0_i_27 := ( bubbleSort_0_i_26 + 1 ) --> line 23 bubbleSort_0_fini_30 := bubbleSort_0_fini_27 --> line 0 bubbleSort_0_i_30 := bubbleSort_0_i_27 --> line 0 bubbleSort_0_aux_28 := bubbleSort_0_aux_25 --> line 0 bubbleSort_0_j_2 := ( bubbleSort_0_j_1 - 1 ) --> line 25 bubbleSort_0_fini_31 := 1 --> line 13 bubbleSort_0_i_31 := 1 --> line 14 bubbleSort_0_aux_29 := bubbleSort_0_tab_56[( bubbleSort_0_i_31 - 1 )] --> line 18 bubbleSort_0_fini_32 := 0 --> line 21 bubbleSort_0_i_32 := ( bubbleSort_0_i_31 + 1 ) --> line 23 bubbleSort_0_aux_30 := bubbleSort_0_tab_58[( bubbleSort_0_i_32 - 1 )] --> line 18 bubbleSort_0_fini_33 := 0 --> line 21 bubbleSort_0_i_33 := ( bubbleSort_0_i_32 + 1 ) --> line 23 bubbleSort_0_aux_31 := bubbleSort_0_tab_60[( bubbleSort_0_i_33 - 1 )] --> line 18 bubbleSort_0_fini_34 := 0 --> line 21 bubbleSort_0_i_34 := ( bubbleSort_0_i_33 + 1 ) --> line 23 bubbleSort_0_aux_32 := bubbleSort_0_tab_62[( bubbleSort_0_i_34 - 1 )] --> line 18 bubbleSort_0_fini_35 := 0 --> line 21 bubbleSort_0_i_35 := ( bubbleSort_0_i_34 + 1 ) --> line 23 bubbleSort_0_aux_33 := bubbleSort_0_tab_64[( bubbleSort_0_i_35 - 1 )] --> line 18 bubbleSort_0_fini_36 := 0 --> line 21 bubbleSort_0_i_36 := ( bubbleSort_0_i_35 + 1 ) --> line 23 bubbleSort_0_aux_34 := bubbleSort_0_tab_66[( bubbleSort_0_i_36 - 1 )] --> line 18 bubbleSort_0_fini_37 := 0 --> line 21 bubbleSort_0_i_37 := ( bubbleSort_0_i_36 + 1 ) --> line 23 bubbleSort_0_aux_35 := bubbleSort_0_tab_68[( bubbleSort_0_i_37 - 1 )] --> line 18 bubbleSort_0_fini_38 := 0 --> line 21 bubbleSort_0_i_38 := ( bubbleSort_0_i_37 + 1 ) --> line 23 bubbleSort_0_aux_36 := bubbleSort_0_tab_70[( bubbleSort_0_i_38 - 1 )] --> line 18 bubbleSort_0_fini_39 := 0 --> line 21 bubbleSort_0_i_39 := ( bubbleSort_0_i_38 + 1 ) --> line 23 bubbleSort_0_aux_37 := bubbleSort_0_tab_72[( bubbleSort_0_i_39 - 1 )] --> line 18 bubbleSort_0_fini_40 := 0 --> line 21 bubbleSort_0_i_40 := ( bubbleSort_0_i_39 + 1 ) --> line 23 bubbleSort_0_aux_38 := bubbleSort_0_tab_74[( bubbleSort_0_i_40 - 1 )] --> line 18 bubbleSort_0_fini_41 := 0 --> line 21 bubbleSort_0_i_41 := ( bubbleSort_0_i_40 + 1 ) --> line 23 bubbleSort_0_fini_45 := bubbleSort_0_fini_41 --> line 0 bubbleSort_0_i_45 := bubbleSort_0_i_41 --> line 0 bubbleSort_0_aux_42 := bubbleSort_0_aux_38 --> line 0 bubbleSort_0_j_3 := ( bubbleSort_0_j_2 - 1 ) --> line 25 bubbleSort_0_fini_46 := 1 --> line 13 bubbleSort_0_i_46 := 1 --> line 14 bubbleSort_0_aux_43 := bubbleSort_0_tab_84[( bubbleSort_0_i_46 - 1 )] --> line 18 bubbleSort_0_fini_47 := 0 --> line 21 bubbleSort_0_i_47 := ( bubbleSort_0_i_46 + 1 ) --> line 23 bubbleSort_0_aux_44 := bubbleSort_0_tab_86[( bubbleSort_0_i_47 - 1 )] --> line 18 bubbleSort_0_fini_48 := 0 --> line 21 bubbleSort_0_i_48 := ( bubbleSort_0_i_47 + 1 ) --> line 23 bubbleSort_0_aux_45 := bubbleSort_0_tab_88[( bubbleSort_0_i_48 - 1 )] --> line 18 bubbleSort_0_fini_49 := 0 --> line 21 bubbleSort_0_i_49 := ( bubbleSort_0_i_48 + 1 ) --> line 23 bubbleSort_0_aux_46 := bubbleSort_0_tab_90[( bubbleSort_0_i_49 - 1 )] --> line 18 bubbleSort_0_fini_50 := 0 --> line 21 bubbleSort_0_i_50 := ( bubbleSort_0_i_49 + 1 ) --> line 23 bubbleSort_0_aux_47 := bubbleSort_0_tab_92[( bubbleSort_0_i_50 - 1 )] --> line 18 bubbleSort_0_fini_51 := 0 --> line 21 bubbleSort_0_i_51 := ( bubbleSort_0_i_50 + 1 ) --> line 23 bubbleSort_0_aux_48 := bubbleSort_0_tab_94[( bubbleSort_0_i_51 - 1 )] --> line 18 bubbleSort_0_fini_52 := 0 --> line 21 bubbleSort_0_i_52 := ( bubbleSort_0_i_51 + 1 ) --> line 23 bubbleSort_0_aux_49 := bubbleSort_0_tab_96[( bubbleSort_0_i_52 - 1 )] --> line 18 bubbleSort_0_fini_53 := 0 --> line 21 bubbleSort_0_i_53 := ( bubbleSort_0_i_52 + 1 ) --> line 23 bubbleSort_0_aux_50 := bubbleSort_0_tab_98[( bubbleSort_0_i_53 - 1 )] --> line 18 bubbleSort_0_fini_54 := 0 --> line 21 bubbleSort_0_i_54 := ( bubbleSort_0_i_53 + 1 ) --> line 23 bubbleSort_0_aux_51 := bubbleSort_0_tab_100[( bubbleSort_0_i_54 - 1 )] --> line 18 bubbleSort_0_fini_55 := 0 --> line 21 bubbleSort_0_i_55 := ( bubbleSort_0_i_54 + 1 ) --> line 23 bubbleSort_0_fini_60 := bubbleSort_0_fini_55 --> line 0 bubbleSort_0_i_60 := bubbleSort_0_i_55 --> line 0 bubbleSort_0_aux_56 := bubbleSort_0_aux_51 --> line 0 bubbleSort_0_j_4 := ( bubbleSort_0_j_3 - 1 ) --> line 25 bubbleSort_0_fini_61 := 1 --> line 13 bubbleSort_0_i_61 := 1 --> line 14 bubbleSort_0_aux_57 := bubbleSort_0_tab_112[( bubbleSort_0_i_61 - 1 )] --> line 18 bubbleSort_0_fini_62 := 0 --> line 21 bubbleSort_0_i_62 := ( bubbleSort_0_i_61 + 1 ) --> line 23 bubbleSort_0_aux_58 := bubbleSort_0_tab_114[( bubbleSort_0_i_62 - 1 )] --> line 18 bubbleSort_0_fini_63 := 0 --> line 21 bubbleSort_0_i_63 := ( bubbleSort_0_i_62 + 1 ) --> line 23 bubbleSort_0_aux_59 := bubbleSort_0_tab_116[( bubbleSort_0_i_63 - 1 )] --> line 18 bubbleSort_0_fini_64 := 0 --> line 21 bubbleSort_0_i_64 := ( bubbleSort_0_i_63 + 1 ) --> line 23 bubbleSort_0_aux_60 := bubbleSort_0_tab_118[( bubbleSort_0_i_64 - 1 )] --> line 18 bubbleSort_0_fini_65 := 0 --> line 21 bubbleSort_0_i_65 := ( bubbleSort_0_i_64 + 1 ) --> line 23 bubbleSort_0_aux_61 := bubbleSort_0_tab_120[( bubbleSort_0_i_65 - 1 )] --> line 18 bubbleSort_0_fini_66 := 0 --> line 21 bubbleSort_0_i_66 := ( bubbleSort_0_i_65 + 1 ) --> line 23 bubbleSort_0_aux_62 := bubbleSort_0_tab_122[( bubbleSort_0_i_66 - 1 )] --> line 18 bubbleSort_0_fini_67 := 0 --> line 21 bubbleSort_0_i_67 := ( bubbleSort_0_i_66 + 1 ) --> line 23 bubbleSort_0_aux_63 := bubbleSort_0_tab_124[( bubbleSort_0_i_67 - 1 )] --> line 18 bubbleSort_0_fini_68 := 0 --> line 21 bubbleSort_0_i_68 := ( bubbleSort_0_i_67 + 1 ) --> line 23 bubbleSort_0_aux_64 := bubbleSort_0_tab_126[( bubbleSort_0_i_68 - 1 )] --> line 18 bubbleSort_0_fini_69 := 0 --> line 21 bubbleSort_0_i_69 := ( bubbleSort_0_i_68 + 1 ) --> line 23 bubbleSort_0_fini_75 := bubbleSort_0_fini_69 --> line 0 bubbleSort_0_i_75 := bubbleSort_0_i_69 --> line 0 bubbleSort_0_aux_70 := bubbleSort_0_aux_64 --> line 0 bubbleSort_0_j_5 := ( bubbleSort_0_j_4 - 1 ) --> line 25 bubbleSort_0_fini_76 := 1 --> line 13 bubbleSort_0_i_76 := 1 --> line 14 bubbleSort_0_aux_71 := bubbleSort_0_tab_140[( bubbleSort_0_i_76 - 1 )] --> line 18 bubbleSort_0_fini_77 := 0 --> line 21 bubbleSort_0_i_77 := ( bubbleSort_0_i_76 + 1 ) --> line 23 bubbleSort_0_aux_72 := bubbleSort_0_tab_142[( bubbleSort_0_i_77 - 1 )] --> line 18 bubbleSort_0_fini_78 := 0 --> line 21 bubbleSort_0_i_78 := ( bubbleSort_0_i_77 + 1 ) --> line 23 bubbleSort_0_aux_73 := bubbleSort_0_tab_144[( bubbleSort_0_i_78 - 1 )] --> line 18 bubbleSort_0_fini_79 := 0 --> line 21 bubbleSort_0_i_79 := ( bubbleSort_0_i_78 + 1 ) --> line 23 bubbleSort_0_aux_74 := bubbleSort_0_tab_146[( bubbleSort_0_i_79 - 1 )] --> line 18 bubbleSort_0_fini_80 := 0 --> line 21 bubbleSort_0_i_80 := ( bubbleSort_0_i_79 + 1 ) --> line 23 bubbleSort_0_aux_75 := bubbleSort_0_tab_148[( bubbleSort_0_i_80 - 1 )] --> line 18 bubbleSort_0_fini_81 := 0 --> line 21 bubbleSort_0_i_81 := ( bubbleSort_0_i_80 + 1 ) --> line 23 bubbleSort_0_aux_76 := bubbleSort_0_tab_150[( bubbleSort_0_i_81 - 1 )] --> line 18 bubbleSort_0_fini_82 := 0 --> line 21 bubbleSort_0_i_82 := ( bubbleSort_0_i_81 + 1 ) --> line 23 bubbleSort_0_aux_77 := bubbleSort_0_tab_152[( bubbleSort_0_i_82 - 1 )] --> line 18 bubbleSort_0_fini_83 := 0 --> line 21 bubbleSort_0_i_83 := ( bubbleSort_0_i_82 + 1 ) --> line 23 bubbleSort_0_fini_90 := bubbleSort_0_fini_83 --> line 0 bubbleSort_0_i_90 := bubbleSort_0_i_83 --> line 0 bubbleSort_0_aux_84 := bubbleSort_0_aux_77 --> line 0 bubbleSort_0_j_6 := ( bubbleSort_0_j_5 - 1 ) --> line 25 bubbleSort_0_fini_91 := 1 --> line 13 bubbleSort_0_i_91 := 1 --> line 14 bubbleSort_0_aux_85 := bubbleSort_0_tab_168[( bubbleSort_0_i_91 - 1 )] --> line 18 bubbleSort_0_fini_92 := 0 --> line 21 bubbleSort_0_i_92 := ( bubbleSort_0_i_91 + 1 ) --> line 23 bubbleSort_0_aux_86 := bubbleSort_0_tab_170[( bubbleSort_0_i_92 - 1 )] --> line 18 bubbleSort_0_fini_93 := 0 --> line 21 bubbleSort_0_i_93 := ( bubbleSort_0_i_92 + 1 ) --> line 23 bubbleSort_0_aux_87 := bubbleSort_0_tab_172[( bubbleSort_0_i_93 - 1 )] --> line 18 bubbleSort_0_fini_94 := 0 --> line 21 bubbleSort_0_i_94 := ( bubbleSort_0_i_93 + 1 ) --> line 23 bubbleSort_0_aux_88 := bubbleSort_0_tab_174[( bubbleSort_0_i_94 - 1 )] --> line 18 bubbleSort_0_fini_95 := 0 --> line 21 bubbleSort_0_i_95 := ( bubbleSort_0_i_94 + 1 ) --> line 23 bubbleSort_0_aux_89 := bubbleSort_0_tab_176[( bubbleSort_0_i_95 - 1 )] --> line 18 bubbleSort_0_fini_96 := 0 --> line 21 bubbleSort_0_i_96 := ( bubbleSort_0_i_95 + 1 ) --> line 23 bubbleSort_0_aux_90 := bubbleSort_0_tab_178[( bubbleSort_0_i_96 - 1 )] --> line 18 bubbleSort_0_fini_97 := 0 --> line 21 bubbleSort_0_i_97 := ( bubbleSort_0_i_96 + 1 ) --> line 23 bubbleSort_0_fini_105 := bubbleSort_0_fini_97 --> line 0 bubbleSort_0_i_105 := bubbleSort_0_i_97 --> line 0 bubbleSort_0_aux_98 := bubbleSort_0_aux_90 --> line 0 bubbleSort_0_j_7 := ( bubbleSort_0_j_6 - 1 ) --> line 25 bubbleSort_0_fini_106 := 1 --> line 13 bubbleSort_0_i_106 := 1 --> line 14 bubbleSort_0_aux_99 := bubbleSort_0_tab_196[( bubbleSort_0_i_106 - 1 )] --> line 18 bubbleSort_0_fini_107 := 0 --> line 21 bubbleSort_0_i_107 := ( bubbleSort_0_i_106 + 1 ) --> line 23 bubbleSort_0_aux_100 := bubbleSort_0_tab_198[( bubbleSort_0_i_107 - 1 )] --> line 18 bubbleSort_0_fini_108 := 0 --> line 21 bubbleSort_0_i_108 := ( bubbleSort_0_i_107 + 1 ) --> line 23 bubbleSort_0_aux_101 := bubbleSort_0_tab_200[( bubbleSort_0_i_108 - 1 )] --> line 18 bubbleSort_0_fini_109 := 0 --> line 21 bubbleSort_0_i_109 := ( bubbleSort_0_i_108 + 1 ) --> line 23 bubbleSort_0_aux_102 := bubbleSort_0_tab_202[( bubbleSort_0_i_109 - 1 )] --> line 18 bubbleSort_0_fini_110 := 0 --> line 21 bubbleSort_0_i_110 := ( bubbleSort_0_i_109 + 1 ) --> line 23 bubbleSort_0_aux_103 := bubbleSort_0_tab_204[( bubbleSort_0_i_110 - 1 )] --> line 18 bubbleSort_0_fini_111 := 0 --> line 21 bubbleSort_0_i_111 := ( bubbleSort_0_i_110 + 1 ) --> line 23 bubbleSort_0_fini_120 := bubbleSort_0_fini_111 --> line 0 bubbleSort_0_i_120 := bubbleSort_0_i_111 --> line 0 bubbleSort_0_aux_112 := bubbleSort_0_aux_103 --> line 0 bubbleSort_0_j_8 := ( bubbleSort_0_j_7 - 1 ) --> line 25 bubbleSort_0_fini_121 := 1 --> line 13 bubbleSort_0_i_121 := 1 --> line 14 bubbleSort_0_aux_113 := bubbleSort_0_tab_224[( bubbleSort_0_i_121 - 1 )] --> line 18 bubbleSort_0_fini_122 := 0 --> line 21 bubbleSort_0_i_122 := ( bubbleSort_0_i_121 + 1 ) --> line 23 bubbleSort_0_aux_114 := bubbleSort_0_tab_226[( bubbleSort_0_i_122 - 1 )] --> line 18 bubbleSort_0_fini_123 := 0 --> line 21 bubbleSort_0_i_123 := ( bubbleSort_0_i_122 + 1 ) --> line 23 bubbleSort_0_aux_115 := bubbleSort_0_tab_228[( bubbleSort_0_i_123 - 1 )] --> line 18 bubbleSort_0_fini_124 := 0 --> line 21 bubbleSort_0_i_124 := ( bubbleSort_0_i_123 + 1 ) --> line 23 bubbleSort_0_aux_116 := bubbleSort_0_tab_230[( bubbleSort_0_i_124 - 1 )] --> line 18 bubbleSort_0_fini_125 := 0 --> line 21 bubbleSort_0_i_125 := ( bubbleSort_0_i_124 + 1 ) --> line 23 bubbleSort_0_fini_135 := bubbleSort_0_fini_125 --> line 0 bubbleSort_0_i_135 := bubbleSort_0_i_125 --> line 0 bubbleSort_0_aux_126 := bubbleSort_0_aux_116 --> line 0 bubbleSort_0_j_9 := ( bubbleSort_0_j_8 - 1 ) --> line 25 bubbleSort_0_fini_136 := 1 --> line 13 bubbleSort_0_i_136 := 1 --> line 14 bubbleSort_0_aux_127 := bubbleSort_0_tab_252[( bubbleSort_0_i_136 - 1 )] --> line 18 bubbleSort_0_fini_137 := 0 --> line 21 bubbleSort_0_i_137 := ( bubbleSort_0_i_136 + 1 ) --> line 23 bubbleSort_0_aux_128 := bubbleSort_0_tab_254[( bubbleSort_0_i_137 - 1 )] --> line 18 bubbleSort_0_fini_138 := 0 --> line 21 bubbleSort_0_i_138 := ( bubbleSort_0_i_137 + 1 ) --> line 23 bubbleSort_0_aux_129 := bubbleSort_0_tab_256[( bubbleSort_0_i_138 - 1 )] --> line 18 bubbleSort_0_fini_139 := 0 --> line 21 bubbleSort_0_i_139 := ( bubbleSort_0_i_138 + 1 ) --> line 23 bubbleSort_0_fini_150 := bubbleSort_0_fini_139 --> line 0 bubbleSort_0_i_150 := bubbleSort_0_i_139 --> line 0 bubbleSort_0_aux_140 := bubbleSort_0_aux_129 --> line 0 bubbleSort_0_j_10 := ( bubbleSort_0_j_9 - 1 ) --> line 25 bubbleSort_0_fini_151 := 1 --> line 13 bubbleSort_0_i_151 := 1 --> line 14 bubbleSort_0_aux_141 := bubbleSort_0_tab_280[( bubbleSort_0_i_151 - 1 )] --> line 18 bubbleSort_0_fini_152 := 0 --> line 21 bubbleSort_0_i_152 := ( bubbleSort_0_i_151 + 1 ) --> line 23 bubbleSort_0_aux_142 := bubbleSort_0_tab_282[( bubbleSort_0_i_152 - 1 )] --> line 18 bubbleSort_0_fini_153 := 0 --> line 21 bubbleSort_0_i_153 := ( bubbleSort_0_i_152 + 1 ) --> line 23 bubbleSort_0_fini_165 := bubbleSort_0_fini_153 --> line 0 bubbleSort_0_i_165 := bubbleSort_0_i_153 --> line 0 bubbleSort_0_aux_154 := bubbleSort_0_aux_142 --> line 0 bubbleSort_0_j_11 := ( bubbleSort_0_j_10 - 1 ) --> line 25 bubbleSort_0_fini_166 := 1 --> line 13 bubbleSort_0_i_166 := 1 --> line 14 bubbleSort_0_aux_155 := bubbleSort_0_tab_308[( bubbleSort_0_i_166 - 1 )] --> line 18 bubbleSort_0_fini_167 := 0 --> line 21 bubbleSort_0_i_167 := ( bubbleSort_0_i_166 + 1 ) --> line 23 bubbleSort_0_fini_180 := bubbleSort_0_fini_167 --> line 0 bubbleSort_0_i_180 := bubbleSort_0_i_167 --> line 0 bubbleSort_0_aux_168 := bubbleSort_0_aux_155 --> line 0 bubbleSort_0_j_12 := ( bubbleSort_0_j_11 - 1 ) --> line 25 bubbleSort_0_fini_181 := 1 --> line 13 bubbleSort_0_i_181 := 1 --> line 14 bubbleSort_0_fini_195 := bubbleSort_0_fini_181 --> line 0 bubbleSort_0_i_195 := bubbleSort_0_i_181 --> line 0 bubbleSort_0_aux_182 := bubbleSort_0_aux_168 --> line 0 bubbleSort_0_j_13 := ( bubbleSort_0_j_12 - 1 ) --> line 25 bubbleSort_0_fini_210 := bubbleSort_0_fini_195 --> line 0 bubbleSort_0_j_14 := bubbleSort_0_j_13 --> line 0 bubbleSort_0_i_210 := bubbleSort_0_i_195 --> line 0 bubbleSort_0_aux_196 := bubbleSort_0_aux_182 --> line 0 bubbleSort_0_tab_1[( bubbleSort_0_i_1 - 1 )] := bubbleSort_0_tab_0[bubbleSort_0_i_1] --> line 19 bubbleSort_0_tab_2[bubbleSort_0_i_1] := bubbleSort_0_aux_1 --> line 20 bubbleSort_0_tab_3[( bubbleSort_0_i_2 - 1 )] := bubbleSort_0_tab_2[bubbleSort_0_i_2] --> line 19 bubbleSort_0_tab_4[bubbleSort_0_i_2] := bubbleSort_0_aux_2 --> line 20 bubbleSort_0_tab_5[( bubbleSort_0_i_3 - 1 )] := bubbleSort_0_tab_4[bubbleSort_0_i_3] --> line 19 bubbleSort_0_tab_6[bubbleSort_0_i_3] := bubbleSort_0_aux_3 --> line 20 bubbleSort_0_tab_7[( bubbleSort_0_i_4 - 1 )] := bubbleSort_0_tab_6[bubbleSort_0_i_4] --> line 19 bubbleSort_0_tab_8[bubbleSort_0_i_4] := bubbleSort_0_aux_4 --> line 20 bubbleSort_0_tab_9[( bubbleSort_0_i_5 - 1 )] := bubbleSort_0_tab_8[bubbleSort_0_i_5] --> line 19 bubbleSort_0_tab_10[bubbleSort_0_i_5] := bubbleSort_0_aux_5 --> line 20 bubbleSort_0_tab_11[( bubbleSort_0_i_6 - 1 )] := bubbleSort_0_tab_10[bubbleSort_0_i_6] --> line 19 bubbleSort_0_tab_12[bubbleSort_0_i_6] := bubbleSort_0_aux_6 --> line 20 bubbleSort_0_tab_13[( bubbleSort_0_i_7 - 1 )] := bubbleSort_0_tab_12[bubbleSort_0_i_7] --> line 19 bubbleSort_0_tab_14[bubbleSort_0_i_7] := bubbleSort_0_aux_7 --> line 20 bubbleSort_0_tab_15[( bubbleSort_0_i_8 - 1 )] := bubbleSort_0_tab_14[bubbleSort_0_i_8] --> line 19 bubbleSort_0_tab_16[bubbleSort_0_i_8] := bubbleSort_0_aux_8 --> line 20 bubbleSort_0_tab_17[( bubbleSort_0_i_9 - 1 )] := bubbleSort_0_tab_16[bubbleSort_0_i_9] --> line 19 bubbleSort_0_tab_18[bubbleSort_0_i_9] := bubbleSort_0_aux_9 --> line 20 bubbleSort_0_tab_19[( bubbleSort_0_i_10 - 1 )] := bubbleSort_0_tab_18[bubbleSort_0_i_10] --> line 19 bubbleSort_0_tab_20[bubbleSort_0_i_10] := bubbleSort_0_aux_10 --> line 20 bubbleSort_0_tab_21[( bubbleSort_0_i_11 - 1 )] := bubbleSort_0_tab_20[bubbleSort_0_i_11] --> line 19 bubbleSort_0_tab_22[bubbleSort_0_i_11] := bubbleSort_0_aux_11 --> line 20 bubbleSort_0_tab_23[( bubbleSort_0_i_12 - 1 )] := bubbleSort_0_tab_22[bubbleSort_0_i_12] --> line 19 bubbleSort_0_tab_24[bubbleSort_0_i_12] := bubbleSort_0_aux_12 --> line 20 bubbleSort_0_tab_28 := bubbleSort_0_tab_24 --> line 0 bubbleSort_0_tab_29[( bubbleSort_0_i_16 - 1 )] := bubbleSort_0_tab_28[bubbleSort_0_i_16] --> line 19 bubbleSort_0_tab_30[bubbleSort_0_i_16] := bubbleSort_0_aux_15 --> line 20 bubbleSort_0_tab_31[( bubbleSort_0_i_17 - 1 )] := bubbleSort_0_tab_30[bubbleSort_0_i_17] --> line 19 bubbleSort_0_tab_32[bubbleSort_0_i_17] := bubbleSort_0_aux_16 --> line 20 bubbleSort_0_tab_33[( bubbleSort_0_i_18 - 1 )] := bubbleSort_0_tab_32[bubbleSort_0_i_18] --> line 19 bubbleSort_0_tab_34[bubbleSort_0_i_18] := bubbleSort_0_aux_17 --> line 20 bubbleSort_0_tab_35[( bubbleSort_0_i_19 - 1 )] := bubbleSort_0_tab_34[bubbleSort_0_i_19] --> line 19 bubbleSort_0_tab_36[bubbleSort_0_i_19] := bubbleSort_0_aux_18 --> line 20 bubbleSort_0_tab_37[( bubbleSort_0_i_20 - 1 )] := bubbleSort_0_tab_36[bubbleSort_0_i_20] --> line 19 bubbleSort_0_tab_38[bubbleSort_0_i_20] := bubbleSort_0_aux_19 --> line 20 bubbleSort_0_tab_39[( bubbleSort_0_i_21 - 1 )] := bubbleSort_0_tab_38[bubbleSort_0_i_21] --> line 19 bubbleSort_0_tab_40[bubbleSort_0_i_21] := bubbleSort_0_aux_20 --> line 20 bubbleSort_0_tab_41[( bubbleSort_0_i_22 - 1 )] := bubbleSort_0_tab_40[bubbleSort_0_i_22] --> line 19 bubbleSort_0_tab_42[bubbleSort_0_i_22] := bubbleSort_0_aux_21 --> line 20 bubbleSort_0_tab_43[( bubbleSort_0_i_23 - 1 )] := bubbleSort_0_tab_42[bubbleSort_0_i_23] --> line 19 bubbleSort_0_tab_44[bubbleSort_0_i_23] := bubbleSort_0_aux_22 --> line 20 bubbleSort_0_tab_45[( bubbleSort_0_i_24 - 1 )] := bubbleSort_0_tab_44[bubbleSort_0_i_24] --> line 19 bubbleSort_0_tab_46[bubbleSort_0_i_24] := bubbleSort_0_aux_23 --> line 20 bubbleSort_0_tab_47[( bubbleSort_0_i_25 - 1 )] := bubbleSort_0_tab_46[bubbleSort_0_i_25] --> line 19 bubbleSort_0_tab_48[bubbleSort_0_i_25] := bubbleSort_0_aux_24 --> line 20 bubbleSort_0_tab_49[( bubbleSort_0_i_26 - 1 )] := bubbleSort_0_tab_48[bubbleSort_0_i_26] --> line 19 bubbleSort_0_tab_50[bubbleSort_0_i_26] := bubbleSort_0_aux_25 --> line 20 bubbleSort_0_tab_56 := bubbleSort_0_tab_50 --> line 0 bubbleSort_0_tab_57[( bubbleSort_0_i_31 - 1 )] := bubbleSort_0_tab_56[bubbleSort_0_i_31] --> line 19 bubbleSort_0_tab_58[bubbleSort_0_i_31] := bubbleSort_0_aux_29 --> line 20 bubbleSort_0_tab_59[( bubbleSort_0_i_32 - 1 )] := bubbleSort_0_tab_58[bubbleSort_0_i_32] --> line 19 bubbleSort_0_tab_60[bubbleSort_0_i_32] := bubbleSort_0_aux_30 --> line 20 bubbleSort_0_tab_61[( bubbleSort_0_i_33 - 1 )] := bubbleSort_0_tab_60[bubbleSort_0_i_33] --> line 19 bubbleSort_0_tab_62[bubbleSort_0_i_33] := bubbleSort_0_aux_31 --> line 20 bubbleSort_0_tab_63[( bubbleSort_0_i_34 - 1 )] := bubbleSort_0_tab_62[bubbleSort_0_i_34] --> line 19 bubbleSort_0_tab_64[bubbleSort_0_i_34] := bubbleSort_0_aux_32 --> line 20 bubbleSort_0_tab_65[( bubbleSort_0_i_35 - 1 )] := bubbleSort_0_tab_64[bubbleSort_0_i_35] --> line 19 bubbleSort_0_tab_66[bubbleSort_0_i_35] := bubbleSort_0_aux_33 --> line 20 bubbleSort_0_tab_67[( bubbleSort_0_i_36 - 1 )] := bubbleSort_0_tab_66[bubbleSort_0_i_36] --> line 19 bubbleSort_0_tab_68[bubbleSort_0_i_36] := bubbleSort_0_aux_34 --> line 20 bubbleSort_0_tab_69[( bubbleSort_0_i_37 - 1 )] := bubbleSort_0_tab_68[bubbleSort_0_i_37] --> line 19 bubbleSort_0_tab_70[bubbleSort_0_i_37] := bubbleSort_0_aux_35 --> line 20 bubbleSort_0_tab_71[( bubbleSort_0_i_38 - 1 )] := bubbleSort_0_tab_70[bubbleSort_0_i_38] --> line 19 bubbleSort_0_tab_72[bubbleSort_0_i_38] := bubbleSort_0_aux_36 --> line 20 bubbleSort_0_tab_73[( bubbleSort_0_i_39 - 1 )] := bubbleSort_0_tab_72[bubbleSort_0_i_39] --> line 19 bubbleSort_0_tab_74[bubbleSort_0_i_39] := bubbleSort_0_aux_37 --> line 20 bubbleSort_0_tab_75[( bubbleSort_0_i_40 - 1 )] := bubbleSort_0_tab_74[bubbleSort_0_i_40] --> line 19 bubbleSort_0_tab_76[bubbleSort_0_i_40] := bubbleSort_0_aux_38 --> line 20 bubbleSort_0_tab_84 := bubbleSort_0_tab_76 --> line 0 bubbleSort_0_tab_85[( bubbleSort_0_i_46 - 1 )] := bubbleSort_0_tab_84[bubbleSort_0_i_46] --> line 19 bubbleSort_0_tab_86[bubbleSort_0_i_46] := bubbleSort_0_aux_43 --> line 20 bubbleSort_0_tab_87[( bubbleSort_0_i_47 - 1 )] := bubbleSort_0_tab_86[bubbleSort_0_i_47] --> line 19 bubbleSort_0_tab_88[bubbleSort_0_i_47] := bubbleSort_0_aux_44 --> line 20 bubbleSort_0_tab_89[( bubbleSort_0_i_48 - 1 )] := bubbleSort_0_tab_88[bubbleSort_0_i_48] --> line 19 bubbleSort_0_tab_90[bubbleSort_0_i_48] := bubbleSort_0_aux_45 --> line 20 bubbleSort_0_tab_91[( bubbleSort_0_i_49 - 1 )] := bubbleSort_0_tab_90[bubbleSort_0_i_49] --> line 19 bubbleSort_0_tab_92[bubbleSort_0_i_49] := bubbleSort_0_aux_46 --> line 20 bubbleSort_0_tab_93[( bubbleSort_0_i_50 - 1 )] := bubbleSort_0_tab_92[bubbleSort_0_i_50] --> line 19 bubbleSort_0_tab_94[bubbleSort_0_i_50] := bubbleSort_0_aux_47 --> line 20 bubbleSort_0_tab_95[( bubbleSort_0_i_51 - 1 )] := bubbleSort_0_tab_94[bubbleSort_0_i_51] --> line 19 bubbleSort_0_tab_96[bubbleSort_0_i_51] := bubbleSort_0_aux_48 --> line 20 bubbleSort_0_tab_97[( bubbleSort_0_i_52 - 1 )] := bubbleSort_0_tab_96[bubbleSort_0_i_52] --> line 19 bubbleSort_0_tab_98[bubbleSort_0_i_52] := bubbleSort_0_aux_49 --> line 20 bubbleSort_0_tab_99[( bubbleSort_0_i_53 - 1 )] := bubbleSort_0_tab_98[bubbleSort_0_i_53] --> line 19 bubbleSort_0_tab_100[bubbleSort_0_i_53] := bubbleSort_0_aux_50 --> line 20 bubbleSort_0_tab_101[( bubbleSort_0_i_54 - 1 )] := bubbleSort_0_tab_100[bubbleSort_0_i_54] --> line 19 bubbleSort_0_tab_102[bubbleSort_0_i_54] := bubbleSort_0_aux_51 --> line 20 bubbleSort_0_tab_112 := bubbleSort_0_tab_102 --> line 0 bubbleSort_0_tab_113[( bubbleSort_0_i_61 - 1 )] := bubbleSort_0_tab_112[bubbleSort_0_i_61] --> line 19 bubbleSort_0_tab_114[bubbleSort_0_i_61] := bubbleSort_0_aux_57 --> line 20 bubbleSort_0_tab_115[( bubbleSort_0_i_62 - 1 )] := bubbleSort_0_tab_114[bubbleSort_0_i_62] --> line 19 bubbleSort_0_tab_116[bubbleSort_0_i_62] := bubbleSort_0_aux_58 --> line 20 bubbleSort_0_tab_117[( bubbleSort_0_i_63 - 1 )] := bubbleSort_0_tab_116[bubbleSort_0_i_63] --> line 19 bubbleSort_0_tab_118[bubbleSort_0_i_63] := bubbleSort_0_aux_59 --> line 20 bubbleSort_0_tab_119[( bubbleSort_0_i_64 - 1 )] := bubbleSort_0_tab_118[bubbleSort_0_i_64] --> line 19 bubbleSort_0_tab_120[bubbleSort_0_i_64] := bubbleSort_0_aux_60 --> line 20 bubbleSort_0_tab_121[( bubbleSort_0_i_65 - 1 )] := bubbleSort_0_tab_120[bubbleSort_0_i_65] --> line 19 bubbleSort_0_tab_122[bubbleSort_0_i_65] := bubbleSort_0_aux_61 --> line 20 bubbleSort_0_tab_123[( bubbleSort_0_i_66 - 1 )] := bubbleSort_0_tab_122[bubbleSort_0_i_66] --> line 19 bubbleSort_0_tab_124[bubbleSort_0_i_66] := bubbleSort_0_aux_62 --> line 20 bubbleSort_0_tab_125[( bubbleSort_0_i_67 - 1 )] := bubbleSort_0_tab_124[bubbleSort_0_i_67] --> line 19 bubbleSort_0_tab_126[bubbleSort_0_i_67] := bubbleSort_0_aux_63 --> line 20 bubbleSort_0_tab_127[( bubbleSort_0_i_68 - 1 )] := bubbleSort_0_tab_126[bubbleSort_0_i_68] --> line 19 bubbleSort_0_tab_128[bubbleSort_0_i_68] := bubbleSort_0_aux_64 --> line 20 bubbleSort_0_tab_140 := bubbleSort_0_tab_128 --> line 0 bubbleSort_0_tab_141[( bubbleSort_0_i_76 - 1 )] := bubbleSort_0_tab_140[bubbleSort_0_i_76] --> line 19 bubbleSort_0_tab_142[bubbleSort_0_i_76] := bubbleSort_0_aux_71 --> line 20 bubbleSort_0_tab_143[( bubbleSort_0_i_77 - 1 )] := bubbleSort_0_tab_142[bubbleSort_0_i_77] --> line 19 bubbleSort_0_tab_144[bubbleSort_0_i_77] := bubbleSort_0_aux_72 --> line 20 bubbleSort_0_tab_145[( bubbleSort_0_i_78 - 1 )] := bubbleSort_0_tab_144[bubbleSort_0_i_78] --> line 19 bubbleSort_0_tab_146[bubbleSort_0_i_78] := bubbleSort_0_aux_73 --> line 20 bubbleSort_0_tab_147[( bubbleSort_0_i_79 - 1 )] := bubbleSort_0_tab_146[bubbleSort_0_i_79] --> line 19 bubbleSort_0_tab_148[bubbleSort_0_i_79] := bubbleSort_0_aux_74 --> line 20 bubbleSort_0_tab_149[( bubbleSort_0_i_80 - 1 )] := bubbleSort_0_tab_148[bubbleSort_0_i_80] --> line 19 bubbleSort_0_tab_150[bubbleSort_0_i_80] := bubbleSort_0_aux_75 --> line 20 bubbleSort_0_tab_151[( bubbleSort_0_i_81 - 1 )] := bubbleSort_0_tab_150[bubbleSort_0_i_81] --> line 19 bubbleSort_0_tab_152[bubbleSort_0_i_81] := bubbleSort_0_aux_76 --> line 20 bubbleSort_0_tab_153[( bubbleSort_0_i_82 - 1 )] := bubbleSort_0_tab_152[bubbleSort_0_i_82] --> line 19 bubbleSort_0_tab_154[bubbleSort_0_i_82] := bubbleSort_0_aux_77 --> line 20 bubbleSort_0_tab_168 := bubbleSort_0_tab_154 --> line 0 bubbleSort_0_tab_169[( bubbleSort_0_i_91 - 1 )] := bubbleSort_0_tab_168[bubbleSort_0_i_91] --> line 19 bubbleSort_0_tab_170[bubbleSort_0_i_91] := bubbleSort_0_aux_85 --> line 20 bubbleSort_0_tab_171[( bubbleSort_0_i_92 - 1 )] := bubbleSort_0_tab_170[bubbleSort_0_i_92] --> line 19 bubbleSort_0_tab_172[bubbleSort_0_i_92] := bubbleSort_0_aux_86 --> line 20 bubbleSort_0_tab_173[( bubbleSort_0_i_93 - 1 )] := bubbleSort_0_tab_172[bubbleSort_0_i_93] --> line 19 bubbleSort_0_tab_174[bubbleSort_0_i_93] := bubbleSort_0_aux_87 --> line 20 bubbleSort_0_tab_175[( bubbleSort_0_i_94 - 1 )] := bubbleSort_0_tab_174[bubbleSort_0_i_94] --> line 19 bubbleSort_0_tab_176[bubbleSort_0_i_94] := bubbleSort_0_aux_88 --> line 20 bubbleSort_0_tab_177[( bubbleSort_0_i_95 - 1 )] := bubbleSort_0_tab_176[bubbleSort_0_i_95] --> line 19 bubbleSort_0_tab_178[bubbleSort_0_i_95] := bubbleSort_0_aux_89 --> line 20 bubbleSort_0_tab_179[( bubbleSort_0_i_96 - 1 )] := bubbleSort_0_tab_178[bubbleSort_0_i_96] --> line 19 bubbleSort_0_tab_180[bubbleSort_0_i_96] := bubbleSort_0_aux_90 --> line 20 bubbleSort_0_tab_196 := bubbleSort_0_tab_180 --> line 0 bubbleSort_0_tab_197[( bubbleSort_0_i_106 - 1 )] := bubbleSort_0_tab_196[bubbleSort_0_i_106] --> line 19 bubbleSort_0_tab_198[bubbleSort_0_i_106] := bubbleSort_0_aux_99 --> line 20 bubbleSort_0_tab_199[( bubbleSort_0_i_107 - 1 )] := bubbleSort_0_tab_198[bubbleSort_0_i_107] --> line 19 bubbleSort_0_tab_200[bubbleSort_0_i_107] := bubbleSort_0_aux_100 --> line 20 bubbleSort_0_tab_201[( bubbleSort_0_i_108 - 1 )] := bubbleSort_0_tab_200[bubbleSort_0_i_108] --> line 19 bubbleSort_0_tab_202[bubbleSort_0_i_108] := bubbleSort_0_aux_101 --> line 20 bubbleSort_0_tab_203[( bubbleSort_0_i_109 - 1 )] := bubbleSort_0_tab_202[bubbleSort_0_i_109] --> line 19 bubbleSort_0_tab_204[bubbleSort_0_i_109] := bubbleSort_0_aux_102 --> line 20 bubbleSort_0_tab_205[( bubbleSort_0_i_110 - 1 )] := bubbleSort_0_tab_204[bubbleSort_0_i_110] --> line 19 bubbleSort_0_tab_206[bubbleSort_0_i_110] := bubbleSort_0_aux_103 --> line 20 bubbleSort_0_tab_224 := bubbleSort_0_tab_206 --> line 0 bubbleSort_0_tab_225[( bubbleSort_0_i_121 - 1 )] := bubbleSort_0_tab_224[bubbleSort_0_i_121] --> line 19 bubbleSort_0_tab_226[bubbleSort_0_i_121] := bubbleSort_0_aux_113 --> line 20 bubbleSort_0_tab_227[( bubbleSort_0_i_122 - 1 )] := bubbleSort_0_tab_226[bubbleSort_0_i_122] --> line 19 bubbleSort_0_tab_228[bubbleSort_0_i_122] := bubbleSort_0_aux_114 --> line 20 bubbleSort_0_tab_229[( bubbleSort_0_i_123 - 1 )] := bubbleSort_0_tab_228[bubbleSort_0_i_123] --> line 19 bubbleSort_0_tab_230[bubbleSort_0_i_123] := bubbleSort_0_aux_115 --> line 20 bubbleSort_0_tab_231[( bubbleSort_0_i_124 - 1 )] := bubbleSort_0_tab_230[bubbleSort_0_i_124] --> line 19 bubbleSort_0_tab_232[bubbleSort_0_i_124] := bubbleSort_0_aux_116 --> line 20 bubbleSort_0_tab_252 := bubbleSort_0_tab_232 --> line 0 bubbleSort_0_tab_253[( bubbleSort_0_i_136 - 1 )] := bubbleSort_0_tab_252[bubbleSort_0_i_136] --> line 19 bubbleSort_0_tab_254[bubbleSort_0_i_136] := bubbleSort_0_aux_127 --> line 20 bubbleSort_0_tab_255[( bubbleSort_0_i_137 - 1 )] := bubbleSort_0_tab_254[bubbleSort_0_i_137] --> line 19 bubbleSort_0_tab_256[bubbleSort_0_i_137] := bubbleSort_0_aux_128 --> line 20 bubbleSort_0_tab_257[( bubbleSort_0_i_138 - 1 )] := bubbleSort_0_tab_256[bubbleSort_0_i_138] --> line 19 bubbleSort_0_tab_258[bubbleSort_0_i_138] := bubbleSort_0_aux_129 --> line 20 bubbleSort_0_tab_280 := bubbleSort_0_tab_258 --> line 0 bubbleSort_0_tab_281[( bubbleSort_0_i_151 - 1 )] := bubbleSort_0_tab_280[bubbleSort_0_i_151] --> line 19 bubbleSort_0_tab_282[bubbleSort_0_i_151] := bubbleSort_0_aux_141 --> line 20 bubbleSort_0_tab_283[( bubbleSort_0_i_152 - 1 )] := bubbleSort_0_tab_282[bubbleSort_0_i_152] --> line 19 bubbleSort_0_tab_284[bubbleSort_0_i_152] := bubbleSort_0_aux_142 --> line 20 bubbleSort_0_tab_308 := bubbleSort_0_tab_284 --> line 0 bubbleSort_0_tab_309[( bubbleSort_0_i_166 - 1 )] := bubbleSort_0_tab_308[bubbleSort_0_i_166] --> line 19 bubbleSort_0_tab_310[bubbleSort_0_i_166] := bubbleSort_0_aux_155 --> line 20 bubbleSort_0_tab_336 := bubbleSort_0_tab_310 --> line 0 bubbleSort_0_tab_364 := bubbleSort_0_tab_336 --> line 0 bubbleSort_0_tab_392 := bubbleSort_0_tab_364 --> line 0 ( ( ( ( ( ( ( ( ( ( ( ( ( ( bubbleSort_0_tab_392[0] <= bubbleSort_0_tab_392[1] ) && ( bubbleSort_0_tab_392[1] <= bubbleSort_0_tab_392[2] ) ) && ( bubbleSort_0_tab_392[2] <= bubbleSort_0_tab_392[3] ) ) && ( bubbleSort_0_tab_392[3] <= bubbleSort_0_tab_392[4] ) ) && ( bubbleSort_0_tab_392[4] <= bubbleSort_0_tab_392[5] ) ) && ( bubbleSort_0_tab_392[5] <= bubbleSort_0_tab_392[6] ) ) && ( bubbleSort_0_tab_392[6] <= bubbleSort_0_tab_392[7] ) ) && ( bubbleSort_0_tab_392[7] <= bubbleSort_0_tab_392[8] ) ) && ( bubbleSort_0_tab_392[8] <= bubbleSort_0_tab_392[9] ) ) && ( bubbleSort_0_tab_392[9] <= bubbleSort_0_tab_392[10] ) ) && ( bubbleSort_0_tab_392[10] <= bubbleSort_0_tab_392[11] ) ) && ( bubbleSort_0_tab_392[11] <= bubbleSort_0_tab_392[12] ) ) && ( bubbleSort_0_tab_392[12] <= bubbleSort_0_tab_392[13] ) ) ) --> line -2 The system is infeasible ------------------------ 3. MCS in CSP_a: {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 20} {line 19} {line 20} {line 19} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 0} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 0} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 0} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 0} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 0} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 0} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 0} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 0} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 0} {line 19} {line 20} {line 19} {line 20} {line 19} {line 20} {line 0} {line 19} {line 20} {line 19} {line 20} {line 0} {line 19} {line 20} {line 0} {line 0} {line 0} {line 18} {line 18} {line 18} {line 18} {line 18} {line 18} {line 18} {line 18} {line 18} {line 18} {line 18} {line 18} Runtime of the method that compute MCS: 94.681 MIVcard(ctrs,line 18)=1.0 MIVcard(ctrs,line 18)=1.0 MIVcard(ctrs,line 18)=1.0 MIVcard(ctrs,line 18)=1.0 MIVcard(ctrs,line 18)=1.0 MIVcard(ctrs,line 18)=1.0 MIVcard(ctrs,line 18)=1.0 MIVcard(ctrs,line 18)=1.0 MIVcard(ctrs,line 18)=1.0 MIVcard(ctrs,line 18)=1.0 MIVcard(ctrs,line 18)=1.0 MIVcard(ctrs,line 18)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 19)=1.0 MIVcard(ctrs,line 20)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 0)=1.0 MIVcard(ctrs,line 0)=1.0 The number of instructions suspected: 168 IIS in CSP_a using Deletion Filter: {CE,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 0,line 0,line 0,POST} Runtime of the method that compute IIS using Deletion Filter: 14.663 IIS in CSP_a using QuickExplain: Length of the set of soft constraints : 490 {CE,line 0,line 0,line 0,line 20,line 19,line 0,line 20,line 19,line 20,line 19,line 0,line 20,line 19,line 20,line 19,line 20,line 19,line 0,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 0,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 0,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 0,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 0,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 0,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 0,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 0,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 0,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,POST} Runtime of the method that compute IIS using QuickExplain: 234.322 IIS in CSP_a using the conflict refiner implementation of CPLEX: {CE,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 18,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 19,line 20,line 0,line 19,line 20,line 0,line 0,line 0,POST} Runtime of the method that compute IIS using the conflict refiner implementation of CPLEX: 18.504 The resulats: 1. Elapsed time during DFS exploration: 0.622 2. Elapsed time during MCS calculation: 94.681 3. Elapsed time during IIS isolation using Deletion Filter: 14.663 4. Elapsed time during IIS isolation using QuickExplain: 234.322 5. Elapsed time during IIS isolation using Conflict Refiner: 18.504 /***************************************************************/ By deviating '1' condition(s), we obtain: The resulats: 1. Elapsed time during DFS exploration: 0.028 2. Elapsed time during MCS calculation: 0.0 3. Elapsed time during IIS isolation using Deletion Filter: 0.0 4. Elapsed time during IIS isolation using QuickExplain: 0.0 5. Elapsed time during IIS isolation using Conflict Refiner: 0.0 /***************************************************************/ By deviating '2' condition(s), we obtain: Solver: CPLEX 1. CSP_d: line 15(Else) : ( bubbleSort_0_i_13 < bubbleSort_0_j_0 ) line 12(If) : ( bubbleSort_0_fini_180 == 0 ) ------------------------ 2. CSP_a: bubbleSort_0_tab_0[0] := 974 --> line -1 bubbleSort_0_tab_0[1] := 971 --> line -1 bubbleSort_0_tab_0[2] := 946 --> line -1 bubbleSort_0_tab_0[3] := 926 --> line -1 bubbleSort_0_tab_0[4] := 892 --> line -1 bubbleSort_0_tab_0[5] := 864 --> line -1 bubbleSort_0_tab_0[6] := 848 --> line -1 bubbleSort_0_tab_0[7] := 829 --> line -1 bubbleSort_0_tab_0[8] := 586 --> line -1 bubbleSort_0_tab_0[9] := 544 --> line -1 bubbleSort_0_tab_0[10] := 504 --> line -1 bubbleSort_0_tab_0[11] := 445 --> line -1 bubbleSort_0_tab_0[12] := 278 --> line -1 bubbleSort_0_tab_0[13] := 971 --> line -1 bubbleSort_0_i_0 := 0 --> line 8 bubbleSort_0_j_0 := ( 14 - 1 ) --> line 9 bubbleSort_0_aux_0 := 0 --> line 10 bubbleSort_0_fini_0 := 0 --> line 11 bubbleSort_0_fini_1 := 1 --> line 13 bubbleSort_0_i_1 := 1 --> line 14 bubbleSort_0_aux_1 := bubbleSort_0_tab_0[( bubbleSort_0_i_1 - 1 )] --> line 18 bubbleSort_0_fini_2 := 0 --> line 21 bubbleSort_0_i_2 := ( bubbleSort_0_i_1 + 1 ) --> line 23 bubbleSort_0_aux_2 := bubbleSort_0_tab_2[( bubbleSort_0_i_2 - 1 )] --> line 18 bubbleSort_0_fini_3 := 0 --> line 21 bubbleSort_0_i_3 := ( bubbleSort_0_i_2 + 1 ) --> line 23 bubbleSort_0_aux_3 := bubbleSort_0_tab_4[( bubbleSort_0_i_3 - 1 )] --> line 18 bubbleSort_0_fini_4 := 0 --> line 21 bubbleSort_0_i_4 := ( bubbleSort_0_i_3 + 1 ) --> line 23 bubbleSort_0_aux_4 := bubbleSort_0_tab_6[( bubbleSort_0_i_4 - 1 )] --> line 18 bubbleSort_0_fini_5 := 0 --> line 21 bubbleSort_0_i_5 := ( bubbleSort_0_i_4 + 1 ) --> line 23 bubbleSort_0_aux_5 := bubbleSort_0_tab_8[( bubbleSort_0_i_5 - 1 )] --> line 18 bubbleSort_0_fini_6 := 0 --> line 21 bubbleSort_0_i_6 := ( bubbleSort_0_i_5 + 1 ) --> line 23 bubbleSort_0_aux_6 := bubbleSort_0_tab_10[( bubbleSort_0_i_6 - 1 )] --> line 18 bubbleSort_0_fini_7 := 0 --> line 21 bubbleSort_0_i_7 := ( bubbleSort_0_i_6 + 1 ) --> line 23 bubbleSort_0_aux_7 := bubbleSort_0_tab_12[( bubbleSort_0_i_7 - 1 )] --> line 18 bubbleSort_0_fini_8 := 0 --> line 21 bubbleSort_0_i_8 := ( bubbleSort_0_i_7 + 1 ) --> line 23 bubbleSort_0_aux_8 := bubbleSort_0_tab_14[( bubbleSort_0_i_8 - 1 )] --> line 18 bubbleSort_0_fini_9 := 0 --> line 21 bubbleSort_0_i_9 := ( bubbleSort_0_i_8 + 1 ) --> line 23 bubbleSort_0_aux_9 := bubbleSort_0_tab_16[( bubbleSort_0_i_9 - 1 )] --> line 18 bubbleSort_0_fini_10 := 0 --> line 21 bubbleSort_0_i_10 := ( bubbleSort_0_i_9 + 1 ) --> line 23 bubbleSort_0_aux_10 := bubbleSort_0_tab_18[( bubbleSort_0_i_10 - 1 )] --> line 18 bubbleSort_0_fini_11 := 0 --> line 21 bubbleSort_0_i_11 := ( bubbleSort_0_i_10 + 1 ) --> line 23 bubbleSort_0_aux_11 := bubbleSort_0_tab_20[( bubbleSort_0_i_11 - 1 )] --> line 18 bubbleSort_0_fini_12 := 0 --> line 21 bubbleSort_0_i_12 := ( bubbleSort_0_i_11 + 1 ) --> line 23 bubbleSort_0_aux_12 := bubbleSort_0_tab_22[( bubbleSort_0_i_12 - 1 )] --> line 18 bubbleSort_0_fini_13 := 0 --> line 21 bubbleSort_0_i_13 := ( bubbleSort_0_i_12 + 1 ) --> line 23 bubbleSort_0_aux_13 := bubbleSort_0_tab_24[( bubbleSort_0_i_13 - 1 )] --> line 18 bubbleSort_0_fini_14 := 0 --> line 21 bubbleSort_0_i_14 := ( bubbleSort_0_i_13 + 1 ) --> line 23 bubbleSort_0_fini_15 := bubbleSort_0_fini_14 --> line 0 bubbleSort_0_i_15 := bubbleSort_0_i_14 --> line 0 bubbleSort_0_aux_14 := bubbleSort_0_aux_13 --> line 0 bubbleSort_0_j_1 := ( bubbleSort_0_j_0 - 1 ) --> line 25 bubbleSort_0_fini_16 := 1 --> line 13 bubbleSort_0_i_16 := 1 --> line 14 bubbleSort_0_aux_15 := bubbleSort_0_tab_28[( bubbleSort_0_i_16 - 1 )] --> line 18 bubbleSort_0_fini_17 := 0 --> line 21 bubbleSort_0_i_17 := ( bubbleSort_0_i_16 + 1 ) --> line 23 bubbleSort_0_aux_16 := bubbleSort_0_tab_30[( bubbleSort_0_i_17 - 1 )] --> line 18 bubbleSort_0_fini_18 := 0 --> line 21 bubbleSort_0_i_18 := ( bubbleSort_0_i_17 + 1 ) --> line 23 bubbleSort_0_aux_17 := bubbleSort_0_tab_32[( bubbleSort_0_i_18 - 1 )] --> line 18 bubbleSort_0_fini_19 := 0 --> line 21 bubbleSort_0_i_19 := ( bubbleSort_0_i_18 + 1 ) --> line 23 bubbleSort_0_aux_18 := bubbleSort_0_tab_34[( bubbleSort_0_i_19 - 1 )] --> line 18 bubbleSort_0_fini_20 := 0 --> line 21 bubbleSort_0_i_20 := ( bubbleSort_0_i_19 + 1 ) --> line 23 bubbleSort_0_aux_19 := bubbleSort_0_tab_36[( bubbleSort_0_i_20 - 1 )] --> line 18 bubbleSort_0_fini_21 := 0 --> line 21 bubbleSort_0_i_21 := ( bubbleSort_0_i_20 + 1 ) --> line 23 bubbleSort_0_aux_20 := bubbleSort_0_tab_38[( bubbleSort_0_i_21 - 1 )] --> line 18 bubbleSort_0_fini_22 := 0 --> line 21 bubbleSort_0_i_22 := ( bubbleSort_0_i_21 + 1 ) --> line 23 bubbleSort_0_aux_21 := bubbleSort_0_tab_40[( bubbleSort_0_i_22 - 1 )] --> line 18 bubbleSort_0_fini_23 := 0 --> line 21 bubbleSort_0_i_23 := ( bubbleSort_0_i_22 + 1 ) --> line 23 bubbleSort_0_aux_22 := bubbleSort_0_tab_42[( bubbleSort_0_i_23 - 1 )] --> line 18 bubbleSort_0_fini_24 := 0 --> line 21 bubbleSort_0_i_24 := ( bubbleSort_0_i_23 + 1 ) --> line 23 bubbleSort_0_aux_23 := bubbleSort_0_tab_44[( bubbleSort_0_i_24 - 1 )] --> line 18 bubbleSort_0_fini_25 := 0 --> line 21 bubbleSort_0_i_25 := ( bubbleSort_0_i_24 + 1 ) --> line 23 bubbleSort_0_aux_24 := bubbleSort_0_tab_46[( bubbleSort_0_i_25 - 1 )] --> line 18 bubbleSort_0_fini_26 := 0 --> line 21 bubbleSort_0_i_26 := ( bubbleSort_0_i_25 + 1 ) --> line 23 bubbleSort_0_aux_25 := bubbleSort_0_tab_48[( bubbleSort_0_i_26 - 1 )] --> line 18 bubbleSort_0_fini_27 := 0 --> line 21 bubbleSort_0_i_27 := ( bubbleSort_0_i_26 + 1 ) --> line 23 bubbleSort_0_fini_30 := bubbleSort_0_fini_27 --> line 0 bubbleSort_0_i_30 := bubbleSort_0_i_27 --> line 0 bubbleSort_0_aux_28 := bubbleSort_0_aux_25 --> line 0 bubbleSort_0_j_2 := ( bubbleSort_0_j_1 - 1 ) --> line 25 bubbleSort_0_fini_31 := 1 --> line 13 bubbleSort_0_i_31 := 1 --> line 14 bubbleSort_0_aux_29 := bubbleSort_0_tab_56[( bubbleSort_0_i_31 - 1 )] --> line 18 bubbleSort_0_fini_32 := 0 --> line 21 bubbleSort_0_i_32 := ( bubbleSort_0_i_31 + 1 ) --> line 23 bubbleSort_0_aux_30 := bubbleSort_0_tab_58[( bubbleSort_0_i_32 - 1 )] --> line 18 bubbleSort_0_fini_33 := 0 --> line 21 bubbleSort_0_i_33 := ( bubbleSort_0_i_32 + 1 ) --> line 23 bubbleSort_0_aux_31 := bubbleSort_0_tab_60[( bubbleSort_0_i_33 - 1 )] --> line 18 bubbleSort_0_fini_34 := 0 --> line 21 bubbleSort_0_i_34 := ( bubbleSort_0_i_33 + 1 ) --> line 23 bubbleSort_0_aux_32 := bubbleSort_0_tab_62[( bubbleSort_0_i_34 - 1 )] --> line 18 bubbleSort_0_fini_35 := 0 --> line 21 bubbleSort_0_i_35 := ( bubbleSort_0_i_34 + 1 ) --> line 23 bubbleSort_0_aux_33 := bubbleSort_0_tab_64[( bubbleSort_0_i_35 - 1 )] --> line 18 bubbleSort_0_fini_36 := 0 --> line 21 bubbleSort_0_i_36 := ( bubbleSort_0_i_35 + 1 ) --> line 23 bubbleSort_0_aux_34 := bubbleSort_0_tab_66[( bubbleSort_0_i_36 - 1 )] --> line 18 bubbleSort_0_fini_37 := 0 --> line 21 bubbleSort_0_i_37 := ( bubbleSort_0_i_36 + 1 ) --> line 23 bubbleSort_0_aux_35 := bubbleSort_0_tab_68[( bubbleSort_0_i_37 - 1 )] --> line 18 bubbleSort_0_fini_38 := 0 --> line 21 bubbleSort_0_i_38 := ( bubbleSort_0_i_37 + 1 ) --> line 23 bubbleSort_0_aux_36 := bubbleSort_0_tab_70[( bubbleSort_0_i_38 - 1 )] --> line 18 bubbleSort_0_fini_39 := 0 --> line 21 bubbleSort_0_i_39 := ( bubbleSort_0_i_38 + 1 ) --> line 23 bubbleSort_0_aux_37 := bubbleSort_0_tab_72[( bubbleSort_0_i_39 - 1 )] --> line 18 bubbleSort_0_fini_40 := 0 --> line 21 bubbleSort_0_i_40 := ( bubbleSort_0_i_39 + 1 ) --> line 23 bubbleSort_0_aux_38 := bubbleSort_0_tab_74[( bubbleSort_0_i_40 - 1 )] --> line 18 bubbleSort_0_fini_41 := 0 --> line 21 bubbleSort_0_i_41 := ( bubbleSort_0_i_40 + 1 ) --> line 23 bubbleSort_0_fini_45 := bubbleSort_0_fini_41 --> line 0 bubbleSort_0_i_45 := bubbleSort_0_i_41 --> line 0 bubbleSort_0_aux_42 := bubbleSort_0_aux_38 --> line 0 bubbleSort_0_j_3 := ( bubbleSort_0_j_2 - 1 ) --> line 25 bubbleSort_0_fini_46 := 1 --> line 13 bubbleSort_0_i_46 := 1 --> line 14 bubbleSort_0_aux_43 := bubbleSort_0_tab_84[( bubbleSort_0_i_46 - 1 )] --> line 18 bubbleSort_0_fini_47 := 0 --> line 21 bubbleSort_0_i_47 := ( bubbleSort_0_i_46 + 1 ) --> line 23 bubbleSort_0_aux_44 := bubbleSort_0_tab_86[( bubbleSort_0_i_47 - 1 )] --> line 18 bubbleSort_0_fini_48 := 0 --> line 21 bubbleSort_0_i_48 := ( bubbleSort_0_i_47 + 1 ) --> line 23 bubbleSort_0_aux_45 := bubbleSort_0_tab_88[( bubbleSort_0_i_48 - 1 )] --> line 18 bubbleSort_0_fini_49 := 0 --> line 21 bubbleSort_0_i_49 := ( bubbleSort_0_i_48 + 1 ) --> line 23 bubbleSort_0_aux_46 := bubbleSort_0_tab_90[( bubbleSort_0_i_49 - 1 )] --> line 18 bubbleSort_0_fini_50 := 0 --> line 21 bubbleSort_0_i_50 := ( bubbleSort_0_i_49 + 1 ) --> line 23 bubbleSort_0_aux_47 := bubbleSort_0_tab_92[( bubbleSort_0_i_50 - 1 )] --> line 18 bubbleSort_0_fini_51 := 0 --> line 21 bubbleSort_0_i_51 := ( bubbleSort_0_i_50 + 1 ) --> line 23 bubbleSort_0_aux_48 := bubbleSort_0_tab_94[( bubbleSort_0_i_51 - 1 )] --> line 18 bubbleSort_0_fini_52 := 0 --> line 21 bubbleSort_0_i_52 := ( bubbleSort_0_i_51 + 1 ) --> line 23 bubbleSort_0_aux_49 := bubbleSort_0_tab_96[( bubbleSort_0_i_52 - 1 )] --> line 18 bubbleSort_0_fini_53 := 0 --> line 21 bubbleSort_0_i_53 := ( bubbleSort_0_i_52 + 1 ) --> line 23 bubbleSort_0_aux_50 := bubbleSort_0_tab_98[( bubbleSort_0_i_53 - 1 )] --> line 18 bubbleSort_0_fini_54 := 0 --> line 21 bubbleSort_0_i_54 := ( bubbleSort_0_i_53 + 1 ) --> line 23 bubbleSort_0_aux_51 := bubbleSort_0_tab_100[( bubbleSort_0_i_54 - 1 )] --> line 18 bubbleSort_0_fini_55 := 0 --> line 21 bubbleSort_0_i_55 := ( bubbleSort_0_i_54 + 1 ) --> line 23 bubbleSort_0_fini_60 := bubbleSort_0_fini_55 --> line 0 bubbleSort_0_i_60 := bubbleSort_0_i_55 --> line 0 bubbleSort_0_aux_56 := bubbleSort_0_aux_51 --> line 0 bubbleSort_0_j_4 := ( bubbleSort_0_j_3 - 1 ) --> line 25 bubbleSort_0_fini_61 := 1 --> line 13 bubbleSort_0_i_61 := 1 --> line 14 bubbleSort_0_aux_57 := bubbleSort_0_tab_112[( bubbleSort_0_i_61 - 1 )] --> line 18 bubbleSort_0_fini_62 := 0 --> line 21 bubbleSort_0_i_62 := ( bubbleSort_0_i_61 + 1 ) --> line 23 bubbleSort_0_aux_58 := bubbleSort_0_tab_114[( bubbleSort_0_i_62 - 1 )] --> line 18 bubbleSort_0_fini_63 := 0 --> line 21 bubbleSort_0_i_63 := ( bubbleSort_0_i_62 + 1 ) --> line 23 bubbleSort_0_aux_59 := bubbleSort_0_tab_116[( bubbleSort_0_i_63 - 1 )] --> line 18 bubbleSort_0_fini_64 := 0 --> line 21 bubbleSort_0_i_64 := ( bubbleSort_0_i_63 + 1 ) --> line 23 bubbleSort_0_aux_60 := bubbleSort_0_tab_118[( bubbleSort_0_i_64 - 1 )] --> line 18 bubbleSort_0_fini_65 := 0 --> line 21 bubbleSort_0_i_65 := ( bubbleSort_0_i_64 + 1 ) --> line 23 bubbleSort_0_aux_61 := bubbleSort_0_tab_120[( bubbleSort_0_i_65 - 1 )] --> line 18 bubbleSort_0_fini_66 := 0 --> line 21 bubbleSort_0_i_66 := ( bubbleSort_0_i_65 + 1 ) --> line 23 bubbleSort_0_aux_62 := bubbleSort_0_tab_122[( bubbleSort_0_i_66 - 1 )] --> line 18 bubbleSort_0_fini_67 := 0 --> line 21 bubbleSort_0_i_67 := ( bubbleSort_0_i_66 + 1 ) --> line 23 bubbleSort_0_aux_63 := bubbleSort_0_tab_124[( bubbleSort_0_i_67 - 1 )] --> line 18 bubbleSort_0_fini_68 := 0 --> line 21 bubbleSort_0_i_68 := ( bubbleSort_0_i_67 + 1 ) --> line 23 bubbleSort_0_aux_64 := bubbleSort_0_tab_126[( bubbleSort_0_i_68 - 1 )] --> line 18 bubbleSort_0_fini_69 := 0 --> line 21 bubbleSort_0_i_69 := ( bubbleSort_0_i_68 + 1 ) --> line 23 bubbleSort_0_fini_75 := bubbleSort_0_fini_69 --> line 0 bubbleSort_0_i_75 := bubbleSort_0_i_69 --> line 0 bubbleSort_0_aux_70 := bubbleSort_0_aux_64 --> line 0 bubbleSort_0_j_5 := ( bubbleSort_0_j_4 - 1 ) --> line 25 bubbleSort_0_fini_76 := 1 --> line 13 bubbleSort_0_i_76 := 1 --> line 14 bubbleSort_0_aux_71 := bubbleSort_0_tab_140[( bubbleSort_0_i_76 - 1 )] --> line 18 bubbleSort_0_fini_77 := 0 --> line 21 bubbleSort_0_i_77 := ( bubbleSort_0_i_76 + 1 ) --> line 23 bubbleSort_0_aux_72 := bubbleSort_0_tab_142[( bubbleSort_0_i_77 - 1 )] --> line 18 bubbleSort_0_fini_78 := 0 --> line 21 bubbleSort_0_i_78 := ( bubbleSort_0_i_77 + 1 ) --> line 23 bubbleSort_0_aux_73 := bubbleSort_0_tab_144[( bubbleSort_0_i_78 - 1 )] --> line 18 bubbleSort_0_fini_79 := 0 --> line 21 bubbleSort_0_i_79 := ( bubbleSort_0_i_78 + 1 ) --> line 23 bubbleSort_0_aux_74 := bubbleSort_0_tab_146[( bubbleSort_0_i_79 - 1 )] --> line 18 bubbleSort_0_fini_80 := 0 --> line 21 bubbleSort_0_i_80 := ( bubbleSort_0_i_79 + 1 ) --> line 23 bubbleSort_0_aux_75 := bubbleSort_0_tab_148[( bubbleSort_0_i_80 - 1 )] --> line 18 bubbleSort_0_fini_81 := 0 --> line 21 bubbleSort_0_i_81 := ( bubbleSort_0_i_80 + 1 ) --> line 23 bubbleSort_0_aux_76 := bubbleSort_0_tab_150[( bubbleSort_0_i_81 - 1 )] --> line 18 bubbleSort_0_fini_82 := 0 --> line 21 bubbleSort_0_i_82 := ( bubbleSort_0_i_81 + 1 ) --> line 23 bubbleSort_0_aux_77 := bubbleSort_0_tab_152[( bubbleSort_0_i_82 - 1 )] --> line 18 bubbleSort_0_fini_83 := 0 --> line 21 bubbleSort_0_i_83 := ( bubbleSort_0_i_82 + 1 ) --> line 23 bubbleSort_0_fini_90 := bubbleSort_0_fini_83 --> line 0 bubbleSort_0_i_90 := bubbleSort_0_i_83 --> line 0 bubbleSort_0_aux_84 := bubbleSort_0_aux_77 --> line 0 bubbleSort_0_j_6 := ( bubbleSort_0_j_5 - 1 ) --> line 25 bubbleSort_0_fini_91 := 1 --> line 13 bubbleSort_0_i_91 := 1 --> line 14 bubbleSort_0_aux_85 := bubbleSort_0_tab_168[( bubbleSort_0_i_91 - 1 )] --> line 18 bubbleSort_0_fini_92 := 0 --> line 21 bubbleSort_0_i_92 := ( bubbleSort_0_i_91 + 1 ) --> line 23 bubbleSort_0_aux_86 := bubbleSort_0_tab_170[( bubbleSort_0_i_92 - 1 )] --> line 18 bubbleSort_0_fini_93 := 0 --> line 21 bubbleSort_0_i_93 := ( bubbleSort_0_i_92 + 1 ) --> line 23 bubbleSort_0_aux_87 := bubbleSort_0_tab_172[( bubbleSort_0_i_93 - 1 )] --> line 18 bubbleSort_0_fini_94 := 0 --> line 21 bubbleSort_0_i_94 := ( bubbleSort_0_i_93 + 1 ) --> line 23 bubbleSort_0_aux_88 := bubbleSort_0_tab_174[( bubbleSort_0_i_94 - 1 )] --> line 18 bubbleSort_0_fini_95 := 0 --> line 21 bubbleSort_0_i_95 := ( bubbleSort_0_i_94 + 1 ) --> line 23 bubbleSort_0_aux_89 := bubbleSort_0_tab_176[( bubbleSort_0_i_95 - 1 )] --> line 18 bubbleSort_0_fini_96 := 0 --> line 21 bubbleSort_0_i_96 := ( bubbleSort_0_i_95 + 1 ) --> line 23 bubbleSort_0_aux_90 := bubbleSort_0_tab_178[( bubbleSort_0_i_96 - 1 )] --> line 18 bubbleSort_0_fini_97 := 0 --> line 21 bubbleSort_0_i_97 := ( bubbleSort_0_i_96 + 1 ) --> line 23 bubbleSort_0_fini_105 := bubbleSort_0_fini_97 --> line 0 bubbleSort_0_i_105 := bubbleSort_0_i_97 --> line 0 bubbleSort_0_aux_98 := bubbleSort_0_aux_90 --> line 0 bubbleSort_0_j_7 := ( bubbleSort_0_j_6 - 1 ) --> line 25 bubbleSort_0_fini_106 := 1 --> line 13 bubbleSort_0_i_106 := 1 --> line 14 bubbleSort_0_aux_99 := bubbleSort_0_tab_196[( bubbleSort_0_i_106 - 1 )] --> line 18 bubbleSort_0_fini_107 := 0 --> line 21 bubbleSort_0_i_107 := ( bubbleSort_0_i_106 + 1 ) --> line 23 bubbleSort_0_aux_100 := bubbleSort_0_tab_198[( bubbleSort_0_i_107 - 1 )] --> line 18 bubbleSort_0_fini_108 := 0 --> line 21 bubbleSort_0_i_108 := ( bubbleSort_0_i_107 + 1 ) --> line 23 bubbleSort_0_aux_101 := bubbleSort_0_tab_200[( bubbleSort_0_i_108 - 1 )] --> line 18 bubbleSort_0_fini_109 := 0 --> line 21 bubbleSort_0_i_109 := ( bubbleSort_0_i_108 + 1 ) --> line 23 bubbleSort_0_aux_102 := bubbleSort_0_tab_202[( bubbleSort_0_i_109 - 1 )] --> line 18 bubbleSort_0_fini_110 := 0 --> line 21 bubbleSort_0_i_110 := ( bubbleSort_0_i_109 + 1 ) --> line 23 bubbleSort_0_aux_103 := bubbleSort_0_tab_204[( bubbleSort_0_i_110 - 1 )] --> line 18 bubbleSort_0_fini_111 := 0 --> line 21 bubbleSort_0_i_111 := ( bubbleSort_0_i_110 + 1 ) --> line 23 bubbleSort_0_fini_120 := bubbleSort_0_fini_111 --> line 0 bubbleSort_0_i_120 := bubbleSort_0_i_111 --> line 0 bubbleSort_0_aux_112 := bubbleSort_0_aux_103 --> line 0 bubbleSort_0_j_8 := ( bubbleSort_0_j_7 - 1 ) --> line 25 bubbleSort_0_fini_121 := 1 --> line 13 bubbleSort_0_i_121 := 1 --> line 14 bubbleSort_0_aux_113 := bubbleSort_0_tab_224[( bubbleSort_0_i_121 - 1 )] --> line 18 bubbleSort_0_fini_122 := 0 --> line 21 bubbleSort_0_i_122 := ( bubbleSort_0_i_121 + 1 ) --> line 23 bubbleSort_0_aux_114 := bubbleSort_0_tab_226[( bubbleSort_0_i_122 - 1 )] --> line 18 bubbleSort_0_fini_123 := 0 --> line 21 bubbleSort_0_i_123 := ( bubbleSort_0_i_122 + 1 ) --> line 23 bubbleSort_0_aux_115 := bubbleSort_0_tab_228[( bubbleSort_0_i_123 - 1 )] --> line 18 bubbleSort_0_fini_124 := 0 --> line 21 bubbleSort_0_i_124 := ( bubbleSort_0_i_123 + 1 ) --> line 23 bubbleSort_0_aux_116 := bubbleSort_0_tab_230[( bubbleSort_0_i_124 - 1 )] --> line 18 bubbleSort_0_fini_125 := 0 --> line 21 bubbleSort_0_i_125 := ( bubbleSort_0_i_124 + 1 ) --> line 23 bubbleSort_0_fini_135 := bubbleSort_0_fini_125 --> line 0 bubbleSort_0_i_135 := bubbleSort_0_i_125 --> line 0 bubbleSort_0_aux_126 := bubbleSort_0_aux_116 --> line 0 bubbleSort_0_j_9 := ( bubbleSort_0_j_8 - 1 ) --> line 25 bubbleSort_0_fini_136 := 1 --> line 13 bubbleSort_0_i_136 := 1 --> line 14 bubbleSort_0_aux_127 := bubbleSort_0_tab_252[( bubbleSort_0_i_136 - 1 )] --> line 18 bubbleSort_0_fini_137 := 0 --> line 21 bubbleSort_0_i_137 := ( bubbleSort_0_i_136 + 1 ) --> line 23 bubbleSort_0_aux_128 := bubbleSort_0_tab_254[( bubbleSort_0_i_137 - 1 )] --> line 18 bubbleSort_0_fini_138 := 0 --> line 21 bubbleSort_0_i_138 := ( bubbleSort_0_i_137 + 1 ) --> line 23 bubbleSort_0_aux_129 := bubbleSort_0_tab_256[( bubbleSort_0_i_138 - 1 )] --> line 18 bubbleSort_0_fini_139 := 0 --> line 21 bubbleSort_0_i_139 := ( bubbleSort_0_i_138 + 1 ) --> line 23 bubbleSort_0_fini_150 := bubbleSort_0_fini_139 --> line 0 bubbleSort_0_i_150 := bubbleSort_0_i_139 --> line 0 bubbleSort_0_aux_140 := bubbleSort_0_aux_129 --> line 0 bubbleSort_0_j_10 := ( bubbleSort_0_j_9 - 1 ) --> line 25 bubbleSort_0_fini_151 := 1 --> line 13 bubbleSort_0_i_151 := 1 --> line 14 bubbleSort_0_aux_141 := bubbleSort_0_tab_280[( bubbleSort_0_i_151 - 1 )] --> line 18 bubbleSort_0_fini_152 := 0 --> line 21 bubbleSort_0_i_152 := ( bubbleSort_0_i_151 + 1 ) --> line 23 bubbleSort_0_aux_142 := bubbleSort_0_tab_282[( bubbleSort_0_i_152 - 1 )] --> line 18 bubbleSort_0_fini_153 := 0 --> line 21 bubbleSort_0_i_153 := ( bubbleSort_0_i_152 + 1 ) --> line 23 bubbleSort_0_fini_165 := bubbleSort_0_fini_153 --> line 0 bubbleSort_0_i_165 := bubbleSort_0_i_153 --> line 0 bubbleSort_0_aux_154 := bubbleSort_0_aux_142 --> line 0 bubbleSort_0_j_11 := ( bubbleSort_0_j_10 - 1 ) --> line 25 bubbleSort_0_fini_166 := 1 --> line 13 bubbleSort_0_i_166 := 1 --> line 14 bubbleSort_0_aux_155 := bubbleSort_0_tab_308[( bubbleSort_0_i_166 - 1 )] --> line 18 bubbleSort_0_fini_167 := 0 --> line 21 bubbleSort_0_i_167 := ( bubbleSort_0_i_166 + 1 ) --> line 23 bubbleSort_0_fini_180 := bubbleSort_0_fini_167 --> line 0 bubbleSort_0_i_180 := bubbleSort_0_i_167 --> line 0 bubbleSort_0_aux_168 := bubbleSort_0_aux_155 --> line 0 bubbleSort_0_j_12 := ( bubbleSort_0_j_11 - 1 ) --> line 25 ( bubbleSort_0_i_13 < bubbleSort_0_j_0 ) --> line -2 bubbleSort_0_tab_1[( bubbleSort_0_i_1 - 1 )] := bubbleSort_0_tab_0[bubbleSort_0_i_1] --> line 19 bubbleSort_0_tab_2[bubbleSort_0_i_1] := bubbleSort_0_aux_1 --> line 20 bubbleSort_0_tab_3[( bubbleSort_0_i_2 - 1 )] := bubbleSort_0_tab_2[bubbleSort_0_i_2] --> line 19 bubbleSort_0_tab_4[bubbleSort_0_i_2] := bubbleSort_0_aux_2 --> line 20 bubbleSort_0_tab_5[( bubbleSort_0_i_3 - 1 )] := bubbleSort_0_tab_4[bubbleSort_0_i_3] --> line 19 bubbleSort_0_tab_6[bubbleSort_0_i_3] := bubbleSort_0_aux_3 --> line 20 bubbleSort_0_tab_7[( bubbleSort_0_i_4 - 1 )] := bubbleSort_0_tab_6[bubbleSort_0_i_4] --> line 19 bubbleSort_0_tab_8[bubbleSort_0_i_4] := bubbleSort_0_aux_4 --> line 20 bubbleSort_0_tab_9[( bubbleSort_0_i_5 - 1 )] := bubbleSort_0_tab_8[bubbleSort_0_i_5] --> line 19 bubbleSort_0_tab_10[bubbleSort_0_i_5] := bubbleSort_0_aux_5 --> line 20 bubbleSort_0_tab_11[( bubbleSort_0_i_6 - 1 )] := bubbleSort_0_tab_10[bubbleSort_0_i_6] --> line 19 bubbleSort_0_tab_12[bubbleSort_0_i_6] := bubbleSort_0_aux_6 --> line 20 bubbleSort_0_tab_13[( bubbleSort_0_i_7 - 1 )] := bubbleSort_0_tab_12[bubbleSort_0_i_7] --> line 19 bubbleSort_0_tab_14[bubbleSort_0_i_7] := bubbleSort_0_aux_7 --> line 20 bubbleSort_0_tab_15[( bubbleSort_0_i_8 - 1 )] := bubbleSort_0_tab_14[bubbleSort_0_i_8] --> line 19 bubbleSort_0_tab_16[bubbleSort_0_i_8] := bubbleSort_0_aux_8 --> line 20 bubbleSort_0_tab_17[( bubbleSort_0_i_9 - 1 )] := bubbleSort_0_tab_16[bubbleSort_0_i_9] --> line 19 bubbleSort_0_tab_18[bubbleSort_0_i_9] := bubbleSort_0_aux_9 --> line 20 bubbleSort_0_tab_19[( bubbleSort_0_i_10 - 1 )] := bubbleSort_0_tab_18[bubbleSort_0_i_10] --> line 19 bubbleSort_0_tab_20[bubbleSort_0_i_10] := bubbleSort_0_aux_10 --> line 20 bubbleSort_0_tab_21[( bubbleSort_0_i_11 - 1 )] := bubbleSort_0_tab_20[bubbleSort_0_i_11] --> line 19 bubbleSort_0_tab_22[bubbleSort_0_i_11] := bubbleSort_0_aux_11 --> line 20 bubbleSort_0_tab_23[( bubbleSort_0_i_12 - 1 )] := bubbleSort_0_tab_22[bubbleSort_0_i_12] --> line 19 bubbleSort_0_tab_24[bubbleSort_0_i_12] := bubbleSort_0_aux_12 --> line 20 bubbleSort_0_tab_25[( bubbleSort_0_i_13 - 1 )] := bubbleSort_0_tab_24[bubbleSort_0_i_13] --> line 19 bubbleSort_0_tab_26[bubbleSort_0_i_13] := bubbleSort_0_aux_13 --> line 20 bubbleSort_0_tab_28 := bubbleSort_0_tab_26 --> line 0 bubbleSort_0_tab_29[( bubbleSort_0_i_16 - 1 )] := bubbleSort_0_tab_28[bubbleSort_0_i_16] --> line 19 bubbleSort_0_tab_30[bubbleSort_0_i_16] := bubbleSort_0_aux_15 --> line 20 bubbleSort_0_tab_31[( bubbleSort_0_i_17 - 1 )] := bubbleSort_0_tab_30[bubbleSort_0_i_17] --> line 19 bubbleSort_0_tab_32[bubbleSort_0_i_17] := bubbleSort_0_aux_16 --> line 20 bubbleSort_0_tab_33[( bubbleSort_0_i_18 - 1 )] := bubbleSort_0_tab_32[bubbleSort_0_i_18] --> line 19 bubbleSort_0_tab_34[bubbleSort_0_i_18] := bubbleSort_0_aux_17 --> line 20 bubbleSort_0_tab_35[( bubbleSort_0_i_19 - 1 )] := bubbleSort_0_tab_34[bubbleSort_0_i_19] --> line 19 bubbleSort_0_tab_36[bubbleSort_0_i_19] := bubbleSort_0_aux_18 --> line 20 bubbleSort_0_tab_37[( bubbleSort_0_i_20 - 1 )] := bubbleSort_0_tab_36[bubbleSort_0_i_20] --> line 19 bubbleSort_0_tab_38[bubbleSort_0_i_20] := bubbleSort_0_aux_19 --> line 20 bubbleSort_0_tab_39[( bubbleSort_0_i_21 - 1 )] := bubbleSort_0_tab_38[bubbleSort_0_i_21] --> line 19 bubbleSort_0_tab_40[bubbleSort_0_i_21] := bubbleSort_0_aux_20 --> line 20 bubbleSort_0_tab_41[( bubbleSort_0_i_22 - 1 )] := bubbleSort_0_tab_40[bubbleSort_0_i_22] --> line 19 bubbleSort_0_tab_42[bubbleSort_0_i_22] := bubbleSort_0_aux_21 --> line 20 bubbleSort_0_tab_43[( bubbleSort_0_i_23 - 1 )] := bubbleSort_0_tab_42[bubbleSort_0_i_23] --> line 19 bubbleSort_0_tab_44[bubbleSort_0_i_23] := bubbleSort_0_aux_22 --> line 20 bubbleSort_0_tab_45[( bubbleSort_0_i_24 - 1 )] := bubbleSort_0_tab_44[bubbleSort_0_i_24] --> line 19 bubbleSort_0_tab_46[bubbleSort_0_i_24] := bubbleSort_0_aux_23 --> line 20 bubbleSort_0_tab_47[( bubbleSort_0_i_25 - 1 )] := bubbleSort_0_tab_46[bubbleSort_0_i_25] --> line 19 bubbleSort_0_tab_48[bubbleSort_0_i_25] := bubbleSort_0_aux_24 --> line 20 bubbleSort_0_tab_49[( bubbleSort_0_i_26 - 1 )] := bubbleSort_0_tab_48[bubbleSort_0_i_26] --> line 19 bubbleSort_0_tab_50[bubbleSort_0_i_26] := bubbleSort_0_aux_25 --> line 20 bubbleSort_0_tab_56 := bubbleSort_0_tab_50 --> line 0 bubbleSort_0_tab_57[( bubbleSort_0_i_31 - 1 )] := bubbleSort_0_tab_56[bubbleSort_0_i_31] --> line 19 bubbleSort_0_tab_58[bubbleSort_0_i_31] := bubbleSort_0_aux_29 --> line 20 bubbleSort_0_tab_59[( bubbleSort_0_i_32 - 1 )] := bubbleSort_0_tab_58[bubbleSort_0_i_32] --> line 19 bubbleSort_0_tab_60[bubbleSort_0_i_32] := bubbleSort_0_aux_30 --> line 20 bubbleSort_0_tab_61[( bubbleSort_0_i_33 - 1 )] := bubbleSort_0_tab_60[bubbleSort_0_i_33] --> line 19 bubbleSort_0_tab_62[bubbleSort_0_i_33] := bubbleSort_0_aux_31 --> line 20 bubbleSort_0_tab_63[( bubbleSort_0_i_34 - 1 )] := bubbleSort_0_tab_62[bubbleSort_0_i_34] --> line 19 bubbleSort_0_tab_64[bubbleSort_0_i_34] := bubbleSort_0_aux_32 --> line 20 bubbleSort_0_tab_65[( bubbleSort_0_i_35 - 1 )] := bubbleSort_0_tab_64[bubbleSort_0_i_35] --> line 19 bubbleSort_0_tab_66[bubbleSort_0_i_35] := bubbleSort_0_aux_33 --> line 20 bubbleSort_0_tab_67[( bubbleSort_0_i_36 - 1 )] := bubbleSort_0_tab_66[bubbleSort_0_i_36] --> line 19 bubbleSort_0_tab_68[bubbleSort_0_i_36] := bubbleSort_0_aux_34 --> line 20 bubbleSort_0_tab_69[( bubbleSort_0_i_37 - 1 )] := bubbleSort_0_tab_68[bubbleSort_0_i_37] --> line 19 bubbleSort_0_tab_70[bubbleSort_0_i_37] := bubbleSort_0_aux_35 --> line 20 bubbleSort_0_tab_71[( bubbleSort_0_i_38 - 1 )] := bubbleSort_0_tab_70[bubbleSort_0_i_38] --> line 19 bubbleSort_0_tab_72[bubbleSort_0_i_38] := bubbleSort_0_aux_36 --> line 20 bubbleSort_0_tab_73[( bubbleSort_0_i_39 - 1 )] := bubbleSort_0_tab_72[bubbleSort_0_i_39] --> line 19 bubbleSort_0_tab_74[bubbleSort_0_i_39] := bubbleSort_0_aux_37 --> line 20 bubbleSort_0_tab_75[( bubbleSort_0_i_40 - 1 )] := bubbleSort_0_tab_74[bubbleSort_0_i_40] --> line 19 bubbleSort_0_tab_76[bubbleSort_0_i_40] := bubbleSort_0_aux_38 --> line 20 bubbleSort_0_tab_84 := bubbleSort_0_tab_76 --> line 0 bubbleSort_0_tab_85[( bubbleSort_0_i_46 - 1 )] := bubbleSort_0_tab_84[bubbleSort_0_i_46] --> line 19 bubbleSort_0_tab_86[bubbleSort_0_i_46] := bubbleSort_0_aux_43 --> line 20 bubbleSort_0_tab_87[( bubbleSort_0_i_47 - 1 )] := bubbleSort_0_tab_86[bubbleSort_0_i_47] --> line 19 bubbleSort_0_tab_88[bubbleSort_0_i_47] := bubbleSort_0_aux_44 --> line 20 bubbleSort_0_tab_89[( bubbleSort_0_i_48 - 1 )] := bubbleSort_0_tab_88[bubbleSort_0_i_48] --> line 19 bubbleSort_0_tab_90[bubbleSort_0_i_48] := bubbleSort_0_aux_45 --> line 20 bubbleSort_0_tab_91[( bubbleSort_0_i_49 - 1 )] := bubbleSort_0_tab_90[bubbleSort_0_i_49] --> line 19 bubbleSort_0_tab_92[bubbleSort_0_i_49] := bubbleSort_0_aux_46 --> line 20 bubbleSort_0_tab_93[( bubbleSort_0_i_50 - 1 )] := bubbleSort_0_tab_92[bubbleSort_0_i_50] --> line 19 bubbleSort_0_tab_94[bubbleSort_0_i_50] := bubbleSort_0_aux_47 --> line 20 bubbleSort_0_tab_95[( bubbleSort_0_i_51 - 1 )] := bubbleSort_0_tab_94[bubbleSort_0_i_51] --> line 19 bubbleSort_0_tab_96[bubbleSort_0_i_51] := bubbleSort_0_aux_48 --> line 20 bubbleSort_0_tab_97[( bubbleSort_0_i_52 - 1 )] := bubbleSort_0_tab_96[bubbleSort_0_i_52] --> line 19 bubbleSort_0_tab_98[bubbleSort_0_i_52] := bubbleSort_0_aux_49 --> line 20 bubbleSort_0_tab_99[( bubbleSort_0_i_53 - 1 )] := bubbleSort_0_tab_98[bubbleSort_0_i_53] --> line 19 bubbleSort_0_tab_100[bubbleSort_0_i_53] := bubbleSort_0_aux_50 --> line 20 bubbleSort_0_tab_101[( bubbleSort_0_i_54 - 1 )] := bubbleSort_0_tab_100[bubbleSort_0_i_54] --> line 19 bubbleSort_0_tab_102[bubbleSort_0_i_54] := bubbleSort_0_aux_51 --> line 20 bubbleSort_0_tab_112 := bubbleSort_0_tab_102 --> line 0 bubbleSort_0_tab_113[( bubbleSort_0_i_61 - 1 )] := bubbleSort_0_tab_112[bubbleSort_0_i_61] --> line 19 bubbleSort_0_tab_114[bubbleSort_0_i_61] := bubbleSort_0_aux_57 --> line 20 bubbleSort_0_tab_115[( bubbleSort_0_i_62 - 1 )] := bubbleSort_0_tab_114[bubbleSort_0_i_62] --> line 19 bubbleSort_0_tab_116[bubbleSort_0_i_62] := bubbleSort_0_aux_58 --> line 20 bubbleSort_0_tab_117[( bubbleSort_0_i_63 - 1 )] := bubbleSort_0_tab_116[bubbleSort_0_i_63] --> line 19 bubbleSort_0_tab_118[bubbleSort_0_i_63] := bubbleSort_0_aux_59 --> line 20 bubbleSort_0_tab_119[( bubbleSort_0_i_64 - 1 )] := bubbleSort_0_tab_118[bubbleSort_0_i_64] --> line 19 bubbleSort_0_tab_120[bubbleSort_0_i_64] := bubbleSort_0_aux_60 --> line 20 bubbleSort_0_tab_121[( bubbleSort_0_i_65 - 1 )] := bubbleSort_0_tab_120[bubbleSort_0_i_65] --> line 19 bubbleSort_0_tab_122[bubbleSort_0_i_65] := bubbleSort_0_aux_61 --> line 20 bubbleSort_0_tab_123[( bubbleSort_0_i_66 - 1 )] := bubbleSort_0_tab_122[bubbleSort_0_i_66] --> line 19 bubbleSort_0_tab_124[bubbleSort_0_i_66] := bubbleSort_0_aux_62 --> line 20 bubbleSort_0_tab_125[( bubbleSort_0_i_67 - 1 )] := bubbleSort_0_tab_124[bubbleSort_0_i_67] --> line 19 bubbleSort_0_tab_126[bubbleSort_0_i_67] := bubbleSort_0_aux_63 --> line 20 bubbleSort_0_tab_127[( bubbleSort_0_i_68 - 1 )] := bubbleSort_0_tab_126[bubbleSort_0_i_68] --> line 19 bubbleSort_0_tab_128[bubbleSort_0_i_68] := bubbleSort_0_aux_64 --> line 20 bubbleSort_0_tab_140 := bubbleSort_0_tab_128 --> line 0 bubbleSort_0_tab_141[( bubbleSort_0_i_76 - 1 )] := bubbleSort_0_tab_140[bubbleSort_0_i_76] --> line 19 bubbleSort_0_tab_142[bubbleSort_0_i_76] := bubbleSort_0_aux_71 --> line 20 bubbleSort_0_tab_143[( bubbleSort_0_i_77 - 1 )] := bubbleSort_0_tab_142[bubbleSort_0_i_77] --> line 19 bubbleSort_0_tab_144[bubbleSort_0_i_77] := bubbleSort_0_aux_72 --> line 20 bubbleSort_0_tab_145[( bubbleSort_0_i_78 - 1 )] := bubbleSort_0_tab_144[bubbleSort_0_i_78] --> line 19 bubbleSort_0_tab_146[bubbleSort_0_i_78] := bubbleSort_0_aux_73 --> line 20 bubbleSort_0_tab_147[( bubbleSort_0_i_79 - 1 )] := bubbleSort_0_tab_146[bubbleSort_0_i_79] --> line 19 bubbleSort_0_tab_148[bubbleSort_0_i_79] := bubbleSort_0_aux_74 --> line 20 bubbleSort_0_tab_149[( bubbleSort_0_i_80 - 1 )] := bubbleSort_0_tab_148[bubbleSort_0_i_80] --> line 19 bubbleSort_0_tab_150[bubbleSort_0_i_80] := bubbleSort_0_aux_75 --> line 20 bubbleSort_0_tab_151[( bubbleSort_0_i_81 - 1 )] := bubbleSort_0_tab_150[bubbleSort_0_i_81] --> line 19 bubbleSort_0_tab_152[bubbleSort_0_i_81] := bubbleSort_0_aux_76 --> line 20 bubbleSort_0_tab_153[( bubbleSort_0_i_82 - 1 )] := bubbleSort_0_tab_152[bubbleSort_0_i_82] --> line 19 bubbleSort_0_tab_154[bubbleSort_0_i_82] := bubbleSort_0_aux_77 --> line 20 bubbleSort_0_tab_168 := bubbleSort_0_tab_154 --> line 0 bubbleSort_0_tab_169[( bubbleSort_0_i_91 - 1 )] := bubbleSort_0_tab_168[bubbleSort_0_i_91] --> line 19 bubbleSort_0_tab_170[bubbleSort_0_i_91] := bubbleSort_0_aux_85 --> line 20 bubbleSort_0_tab_171[( bubbleSort_0_i_92 - 1 )] := bubbleSort_0_tab_170[bubbleSort_0_i_92] --> line 19 bubbleSort_0_tab_172[bubbleSort_0_i_92] := bubbleSort_0_aux_86 --> line 20 bubbleSort_0_tab_173[( bubbleSort_0_i_93 - 1 )] := bubbleSort_0_tab_172[bubbleSort_0_i_93] --> line 19 bubbleSort_0_tab_174[bubbleSort_0_i_93] := bubbleSort_0_aux_87 --> line 20 bubbleSort_0_tab_175[( bubbleSort_0_i_94 - 1 )] := bubbleSort_0_tab_174[bubbleSort_0_i_94] --> line 19 bubbleSort_0_tab_176[bubbleSort_0_i_94] := bubbleSort_0_aux_88 --> line 20 bubbleSort_0_tab_177[( bubbleSort_0_i_95 - 1 )] := bubbleSort_0_tab_176[bubbleSort_0_i_95] --> line 19 bubbleSort_0_tab_178[bubbleSort_0_i_95] := bubbleSort_0_aux_89 --> line 20 bubbleSort_0_tab_179[( bubbleSort_0_i_96 - 1 )] := bubbleSort_0_tab_178[bubbleSort_0_i_96] --> line 19 bubbleSort_0_tab_180[bubbleSort_0_i_96] := bubbleSort_0_aux_90 --> line 20 bubbleSort_0_tab_196 := bubbleSort_0_tab_180 --> line 0 bubbleSort_0_tab_197[( bubbleSort_0_i_106 - 1 )] := bubbleSort_0_tab_196[bubbleSort_0_i_106] --> line 19 bubbleSort_0_tab_198[bubbleSort_0_i_106] := bubbleSort_0_aux_99 --> line 20 bubbleSort_0_tab_199[( bubbleSort_0_i_107 - 1 )] := bubbleSort_0_tab_198[bubbleSort_0_i_107] --> line 19 bubbleSort_0_tab_200[bubbleSort_0_i_107] := bubbleSort_0_aux_100 --> line 20 bubbleSort_0_tab_201[( bubbleSort_0_i_108 - 1 )] := bubbleSort_0_tab_200[bubbleSort_0_i_108] --> line 19 bubbleSort_0_tab_202[bubbleSort_0_i_108] := bubbleSort_0_aux_101 --> line 20 bubbleSort_0_tab_203[( bubbleSort_0_i_109 - 1 )] := bubbleSort_0_tab_202[bubbleSort_0_i_109] --> line 19 bubbleSort_0_tab_204[bubbleSort_0_i_109] := bubbleSort_0_aux_102 --> line 20 bubbleSort_0_tab_205[( bubbleSort_0_i_110 - 1 )] := bubbleSort_0_tab_204[bubbleSort_0_i_110] --> line 19 bubbleSort_0_tab_206[bubbleSort_0_i_110] := bubbleSort_0_aux_103 --> line 20 bubbleSort_0_tab_224 := bubbleSort_0_tab_206 --> line 0 bubbleSort_0_tab_225[( bubbleSort_0_i_121 - 1 )] := bubbleSort_0_tab_224[bubbleSort_0_i_121] --> line 19 bubbleSort_0_tab_226[bubbleSort_0_i_121] := bubbleSort_0_aux_113 --> line 20 bubbleSort_0_tab_227[( bubbleSort_0_i_122 - 1 )] := bubbleSort_0_tab_226[bubbleSort_0_i_122] --> line 19 bubbleSort_0_tab_228[bubbleSort_0_i_122] := bubbleSort_0_aux_114 --> line 20 bubbleSort_0_tab_229[( bubbleSort_0_i_123 - 1 )] := bubbleSort_0_tab_228[bubbleSort_0_i_123] --> line 19 bubbleSort_0_tab_230[bubbleSort_0_i_123] := bubbleSort_0_aux_115 --> line 20 bubbleSort_0_tab_231[( bubbleSort_0_i_124 - 1 )] := bubbleSort_0_tab_230[bubbleSort_0_i_124] --> line 19 bubbleSort_0_tab_232[bubbleSort_0_i_124] := bubbleSort_0_aux_116 --> line 20 bubbleSort_0_tab_252 := bubbleSort_0_tab_232 --> line 0 bubbleSort_0_tab_253[( bubbleSort_0_i_136 - 1 )] := bubbleSort_0_tab_252[bubbleSort_0_i_136] --> line 19 bubbleSort_0_tab_254[bubbleSort_0_i_136] := bubbleSort_0_aux_127 --> line 20 bubbleSort_0_tab_255[( bubbleSort_0_i_137 - 1 )] := bubbleSort_0_tab_254[bubbleSort_0_i_137] --> line 19 bubbleSort_0_tab_256[bubbleSort_0_i_137] := bubbleSort_0_aux_128 --> line 20 bubbleSort_0_tab_257[( bubbleSort_0_i_138 - 1 )] := bubbleSort_0_tab_256[bubbleSort_0_i_138] --> line 19 bubbleSort_0_tab_258[bubbleSort_0_i_138] := bubbleSort_0_aux_129 --> line 20 bubbleSort_0_tab_280 := bubbleSort_0_tab_258 --> line 0 bubbleSort_0_tab_281[( bubbleSort_0_i_151 - 1 )] := bubbleSort_0_tab_280[bubbleSort_0_i_151] --> line 19 bubbleSort_0_tab_282[bubbleSort_0_i_151] := bubbleSort_0_aux_141 --> line 20 bubbleSort_0_tab_283[( bubbleSort_0_i_152 - 1 )] := bubbleSort_0_tab_282[bubbleSort_0_i_152] --> line 19 bubbleSort_0_tab_284[bubbleSort_0_i_152] := bubbleSort_0_aux_142 --> line 20 bubbleSort_0_tab_308 := bubbleSort_0_tab_284 --> line 0 bubbleSort_0_tab_309[( bubbleSort_0_i_166 - 1 )] := bubbleSort_0_tab_308[bubbleSort_0_i_166] --> line 19 bubbleSort_0_tab_310[bubbleSort_0_i_166] := bubbleSort_0_aux_155 --> line 20 bubbleSort_0_tab_336 := bubbleSort_0_tab_310 --> line 0 !( ( bubbleSort_0_fini_180 == 0 ) ) --> line -2 The system is infeasible ------------------------ 3. MCS in CSP_a: {line 23,line 21} {line 23,line 0} {line 23,line 21} {line 23,line 21} {line 9,line 21} {line 14,line 21} {line 23,line 21} {line 23,line 21} {line 23,line 21} {line 9,line 0} {line 23,line 21} {line 14,line 0} {line 23,line 21} {line 23,line 0} {line 23,line 0} {line 23,line 21} {line 23,line 0} {line 23,line 0} {line 23,line 0} {line 23,line 0} {line 23,line 21} {line 23,line 0} {line 23,line 21} {line 23,line 21} {line 23,line 0} {line 23,line 0} {line 23,line 0} {line 23,line 0} Runtime of the method that compute MCS: 365.188 MIVcard(ctrs,line 9)=1.0 MIVcard(ctrs,line 14)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 21)=7.0 MIVcard(ctrs,line 0)=7.0 The number of instructions suspected: 15 IIS in CSP_a using Deletion Filter: {CE,line 21,line 0,POST} Runtime of the method that compute IIS using Deletion Filter: 8.671 IIS in CSP_a using QuickExplain: Length of the set of soft constraints : 483 {CE,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 14,line 9,POST} Runtime of the method that compute IIS using QuickExplain: 2.376 IIS in CSP_a using the conflict refiner implementation of CPLEX: {CE,line 9,line 14,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,POST} Runtime of the method that compute IIS using the conflict refiner implementation of CPLEX: 1.094 Solver: CPLEX 1. CSP_d: line 15(Else) : ( bubbleSort_0_i_13 < bubbleSort_0_j_0 ) line 15(Else) : ( bubbleSort_0_i_181 < bubbleSort_0_j_12 ) ------------------------ 2. CSP_a: bubbleSort_0_tab_0[0] := 974 --> line -1 bubbleSort_0_tab_0[1] := 971 --> line -1 bubbleSort_0_tab_0[2] := 946 --> line -1 bubbleSort_0_tab_0[3] := 926 --> line -1 bubbleSort_0_tab_0[4] := 892 --> line -1 bubbleSort_0_tab_0[5] := 864 --> line -1 bubbleSort_0_tab_0[6] := 848 --> line -1 bubbleSort_0_tab_0[7] := 829 --> line -1 bubbleSort_0_tab_0[8] := 586 --> line -1 bubbleSort_0_tab_0[9] := 544 --> line -1 bubbleSort_0_tab_0[10] := 504 --> line -1 bubbleSort_0_tab_0[11] := 445 --> line -1 bubbleSort_0_tab_0[12] := 278 --> line -1 bubbleSort_0_tab_0[13] := 971 --> line -1 bubbleSort_0_i_0 := 0 --> line 8 bubbleSort_0_j_0 := ( 14 - 1 ) --> line 9 bubbleSort_0_aux_0 := 0 --> line 10 bubbleSort_0_fini_0 := 0 --> line 11 bubbleSort_0_fini_1 := 1 --> line 13 bubbleSort_0_i_1 := 1 --> line 14 bubbleSort_0_aux_1 := bubbleSort_0_tab_0[( bubbleSort_0_i_1 - 1 )] --> line 18 bubbleSort_0_fini_2 := 0 --> line 21 bubbleSort_0_i_2 := ( bubbleSort_0_i_1 + 1 ) --> line 23 bubbleSort_0_aux_2 := bubbleSort_0_tab_2[( bubbleSort_0_i_2 - 1 )] --> line 18 bubbleSort_0_fini_3 := 0 --> line 21 bubbleSort_0_i_3 := ( bubbleSort_0_i_2 + 1 ) --> line 23 bubbleSort_0_aux_3 := bubbleSort_0_tab_4[( bubbleSort_0_i_3 - 1 )] --> line 18 bubbleSort_0_fini_4 := 0 --> line 21 bubbleSort_0_i_4 := ( bubbleSort_0_i_3 + 1 ) --> line 23 bubbleSort_0_aux_4 := bubbleSort_0_tab_6[( bubbleSort_0_i_4 - 1 )] --> line 18 bubbleSort_0_fini_5 := 0 --> line 21 bubbleSort_0_i_5 := ( bubbleSort_0_i_4 + 1 ) --> line 23 bubbleSort_0_aux_5 := bubbleSort_0_tab_8[( bubbleSort_0_i_5 - 1 )] --> line 18 bubbleSort_0_fini_6 := 0 --> line 21 bubbleSort_0_i_6 := ( bubbleSort_0_i_5 + 1 ) --> line 23 bubbleSort_0_aux_6 := bubbleSort_0_tab_10[( bubbleSort_0_i_6 - 1 )] --> line 18 bubbleSort_0_fini_7 := 0 --> line 21 bubbleSort_0_i_7 := ( bubbleSort_0_i_6 + 1 ) --> line 23 bubbleSort_0_aux_7 := bubbleSort_0_tab_12[( bubbleSort_0_i_7 - 1 )] --> line 18 bubbleSort_0_fini_8 := 0 --> line 21 bubbleSort_0_i_8 := ( bubbleSort_0_i_7 + 1 ) --> line 23 bubbleSort_0_aux_8 := bubbleSort_0_tab_14[( bubbleSort_0_i_8 - 1 )] --> line 18 bubbleSort_0_fini_9 := 0 --> line 21 bubbleSort_0_i_9 := ( bubbleSort_0_i_8 + 1 ) --> line 23 bubbleSort_0_aux_9 := bubbleSort_0_tab_16[( bubbleSort_0_i_9 - 1 )] --> line 18 bubbleSort_0_fini_10 := 0 --> line 21 bubbleSort_0_i_10 := ( bubbleSort_0_i_9 + 1 ) --> line 23 bubbleSort_0_aux_10 := bubbleSort_0_tab_18[( bubbleSort_0_i_10 - 1 )] --> line 18 bubbleSort_0_fini_11 := 0 --> line 21 bubbleSort_0_i_11 := ( bubbleSort_0_i_10 + 1 ) --> line 23 bubbleSort_0_aux_11 := bubbleSort_0_tab_20[( bubbleSort_0_i_11 - 1 )] --> line 18 bubbleSort_0_fini_12 := 0 --> line 21 bubbleSort_0_i_12 := ( bubbleSort_0_i_11 + 1 ) --> line 23 bubbleSort_0_aux_12 := bubbleSort_0_tab_22[( bubbleSort_0_i_12 - 1 )] --> line 18 bubbleSort_0_fini_13 := 0 --> line 21 bubbleSort_0_i_13 := ( bubbleSort_0_i_12 + 1 ) --> line 23 bubbleSort_0_aux_13 := bubbleSort_0_tab_24[( bubbleSort_0_i_13 - 1 )] --> line 18 bubbleSort_0_fini_14 := 0 --> line 21 bubbleSort_0_i_14 := ( bubbleSort_0_i_13 + 1 ) --> line 23 bubbleSort_0_fini_15 := bubbleSort_0_fini_14 --> line 0 bubbleSort_0_i_15 := bubbleSort_0_i_14 --> line 0 bubbleSort_0_aux_14 := bubbleSort_0_aux_13 --> line 0 bubbleSort_0_j_1 := ( bubbleSort_0_j_0 - 1 ) --> line 25 bubbleSort_0_fini_16 := 1 --> line 13 bubbleSort_0_i_16 := 1 --> line 14 bubbleSort_0_aux_15 := bubbleSort_0_tab_28[( bubbleSort_0_i_16 - 1 )] --> line 18 bubbleSort_0_fini_17 := 0 --> line 21 bubbleSort_0_i_17 := ( bubbleSort_0_i_16 + 1 ) --> line 23 bubbleSort_0_aux_16 := bubbleSort_0_tab_30[( bubbleSort_0_i_17 - 1 )] --> line 18 bubbleSort_0_fini_18 := 0 --> line 21 bubbleSort_0_i_18 := ( bubbleSort_0_i_17 + 1 ) --> line 23 bubbleSort_0_aux_17 := bubbleSort_0_tab_32[( bubbleSort_0_i_18 - 1 )] --> line 18 bubbleSort_0_fini_19 := 0 --> line 21 bubbleSort_0_i_19 := ( bubbleSort_0_i_18 + 1 ) --> line 23 bubbleSort_0_aux_18 := bubbleSort_0_tab_34[( bubbleSort_0_i_19 - 1 )] --> line 18 bubbleSort_0_fini_20 := 0 --> line 21 bubbleSort_0_i_20 := ( bubbleSort_0_i_19 + 1 ) --> line 23 bubbleSort_0_aux_19 := bubbleSort_0_tab_36[( bubbleSort_0_i_20 - 1 )] --> line 18 bubbleSort_0_fini_21 := 0 --> line 21 bubbleSort_0_i_21 := ( bubbleSort_0_i_20 + 1 ) --> line 23 bubbleSort_0_aux_20 := bubbleSort_0_tab_38[( bubbleSort_0_i_21 - 1 )] --> line 18 bubbleSort_0_fini_22 := 0 --> line 21 bubbleSort_0_i_22 := ( bubbleSort_0_i_21 + 1 ) --> line 23 bubbleSort_0_aux_21 := bubbleSort_0_tab_40[( bubbleSort_0_i_22 - 1 )] --> line 18 bubbleSort_0_fini_23 := 0 --> line 21 bubbleSort_0_i_23 := ( bubbleSort_0_i_22 + 1 ) --> line 23 bubbleSort_0_aux_22 := bubbleSort_0_tab_42[( bubbleSort_0_i_23 - 1 )] --> line 18 bubbleSort_0_fini_24 := 0 --> line 21 bubbleSort_0_i_24 := ( bubbleSort_0_i_23 + 1 ) --> line 23 bubbleSort_0_aux_23 := bubbleSort_0_tab_44[( bubbleSort_0_i_24 - 1 )] --> line 18 bubbleSort_0_fini_25 := 0 --> line 21 bubbleSort_0_i_25 := ( bubbleSort_0_i_24 + 1 ) --> line 23 bubbleSort_0_aux_24 := bubbleSort_0_tab_46[( bubbleSort_0_i_25 - 1 )] --> line 18 bubbleSort_0_fini_26 := 0 --> line 21 bubbleSort_0_i_26 := ( bubbleSort_0_i_25 + 1 ) --> line 23 bubbleSort_0_aux_25 := bubbleSort_0_tab_48[( bubbleSort_0_i_26 - 1 )] --> line 18 bubbleSort_0_fini_27 := 0 --> line 21 bubbleSort_0_i_27 := ( bubbleSort_0_i_26 + 1 ) --> line 23 bubbleSort_0_fini_30 := bubbleSort_0_fini_27 --> line 0 bubbleSort_0_i_30 := bubbleSort_0_i_27 --> line 0 bubbleSort_0_aux_28 := bubbleSort_0_aux_25 --> line 0 bubbleSort_0_j_2 := ( bubbleSort_0_j_1 - 1 ) --> line 25 bubbleSort_0_fini_31 := 1 --> line 13 bubbleSort_0_i_31 := 1 --> line 14 bubbleSort_0_aux_29 := bubbleSort_0_tab_56[( bubbleSort_0_i_31 - 1 )] --> line 18 bubbleSort_0_fini_32 := 0 --> line 21 bubbleSort_0_i_32 := ( bubbleSort_0_i_31 + 1 ) --> line 23 bubbleSort_0_aux_30 := bubbleSort_0_tab_58[( bubbleSort_0_i_32 - 1 )] --> line 18 bubbleSort_0_fini_33 := 0 --> line 21 bubbleSort_0_i_33 := ( bubbleSort_0_i_32 + 1 ) --> line 23 bubbleSort_0_aux_31 := bubbleSort_0_tab_60[( bubbleSort_0_i_33 - 1 )] --> line 18 bubbleSort_0_fini_34 := 0 --> line 21 bubbleSort_0_i_34 := ( bubbleSort_0_i_33 + 1 ) --> line 23 bubbleSort_0_aux_32 := bubbleSort_0_tab_62[( bubbleSort_0_i_34 - 1 )] --> line 18 bubbleSort_0_fini_35 := 0 --> line 21 bubbleSort_0_i_35 := ( bubbleSort_0_i_34 + 1 ) --> line 23 bubbleSort_0_aux_33 := bubbleSort_0_tab_64[( bubbleSort_0_i_35 - 1 )] --> line 18 bubbleSort_0_fini_36 := 0 --> line 21 bubbleSort_0_i_36 := ( bubbleSort_0_i_35 + 1 ) --> line 23 bubbleSort_0_aux_34 := bubbleSort_0_tab_66[( bubbleSort_0_i_36 - 1 )] --> line 18 bubbleSort_0_fini_37 := 0 --> line 21 bubbleSort_0_i_37 := ( bubbleSort_0_i_36 + 1 ) --> line 23 bubbleSort_0_aux_35 := bubbleSort_0_tab_68[( bubbleSort_0_i_37 - 1 )] --> line 18 bubbleSort_0_fini_38 := 0 --> line 21 bubbleSort_0_i_38 := ( bubbleSort_0_i_37 + 1 ) --> line 23 bubbleSort_0_aux_36 := bubbleSort_0_tab_70[( bubbleSort_0_i_38 - 1 )] --> line 18 bubbleSort_0_fini_39 := 0 --> line 21 bubbleSort_0_i_39 := ( bubbleSort_0_i_38 + 1 ) --> line 23 bubbleSort_0_aux_37 := bubbleSort_0_tab_72[( bubbleSort_0_i_39 - 1 )] --> line 18 bubbleSort_0_fini_40 := 0 --> line 21 bubbleSort_0_i_40 := ( bubbleSort_0_i_39 + 1 ) --> line 23 bubbleSort_0_aux_38 := bubbleSort_0_tab_74[( bubbleSort_0_i_40 - 1 )] --> line 18 bubbleSort_0_fini_41 := 0 --> line 21 bubbleSort_0_i_41 := ( bubbleSort_0_i_40 + 1 ) --> line 23 bubbleSort_0_fini_45 := bubbleSort_0_fini_41 --> line 0 bubbleSort_0_i_45 := bubbleSort_0_i_41 --> line 0 bubbleSort_0_aux_42 := bubbleSort_0_aux_38 --> line 0 bubbleSort_0_j_3 := ( bubbleSort_0_j_2 - 1 ) --> line 25 bubbleSort_0_fini_46 := 1 --> line 13 bubbleSort_0_i_46 := 1 --> line 14 bubbleSort_0_aux_43 := bubbleSort_0_tab_84[( bubbleSort_0_i_46 - 1 )] --> line 18 bubbleSort_0_fini_47 := 0 --> line 21 bubbleSort_0_i_47 := ( bubbleSort_0_i_46 + 1 ) --> line 23 bubbleSort_0_aux_44 := bubbleSort_0_tab_86[( bubbleSort_0_i_47 - 1 )] --> line 18 bubbleSort_0_fini_48 := 0 --> line 21 bubbleSort_0_i_48 := ( bubbleSort_0_i_47 + 1 ) --> line 23 bubbleSort_0_aux_45 := bubbleSort_0_tab_88[( bubbleSort_0_i_48 - 1 )] --> line 18 bubbleSort_0_fini_49 := 0 --> line 21 bubbleSort_0_i_49 := ( bubbleSort_0_i_48 + 1 ) --> line 23 bubbleSort_0_aux_46 := bubbleSort_0_tab_90[( bubbleSort_0_i_49 - 1 )] --> line 18 bubbleSort_0_fini_50 := 0 --> line 21 bubbleSort_0_i_50 := ( bubbleSort_0_i_49 + 1 ) --> line 23 bubbleSort_0_aux_47 := bubbleSort_0_tab_92[( bubbleSort_0_i_50 - 1 )] --> line 18 bubbleSort_0_fini_51 := 0 --> line 21 bubbleSort_0_i_51 := ( bubbleSort_0_i_50 + 1 ) --> line 23 bubbleSort_0_aux_48 := bubbleSort_0_tab_94[( bubbleSort_0_i_51 - 1 )] --> line 18 bubbleSort_0_fini_52 := 0 --> line 21 bubbleSort_0_i_52 := ( bubbleSort_0_i_51 + 1 ) --> line 23 bubbleSort_0_aux_49 := bubbleSort_0_tab_96[( bubbleSort_0_i_52 - 1 )] --> line 18 bubbleSort_0_fini_53 := 0 --> line 21 bubbleSort_0_i_53 := ( bubbleSort_0_i_52 + 1 ) --> line 23 bubbleSort_0_aux_50 := bubbleSort_0_tab_98[( bubbleSort_0_i_53 - 1 )] --> line 18 bubbleSort_0_fini_54 := 0 --> line 21 bubbleSort_0_i_54 := ( bubbleSort_0_i_53 + 1 ) --> line 23 bubbleSort_0_aux_51 := bubbleSort_0_tab_100[( bubbleSort_0_i_54 - 1 )] --> line 18 bubbleSort_0_fini_55 := 0 --> line 21 bubbleSort_0_i_55 := ( bubbleSort_0_i_54 + 1 ) --> line 23 bubbleSort_0_fini_60 := bubbleSort_0_fini_55 --> line 0 bubbleSort_0_i_60 := bubbleSort_0_i_55 --> line 0 bubbleSort_0_aux_56 := bubbleSort_0_aux_51 --> line 0 bubbleSort_0_j_4 := ( bubbleSort_0_j_3 - 1 ) --> line 25 bubbleSort_0_fini_61 := 1 --> line 13 bubbleSort_0_i_61 := 1 --> line 14 bubbleSort_0_aux_57 := bubbleSort_0_tab_112[( bubbleSort_0_i_61 - 1 )] --> line 18 bubbleSort_0_fini_62 := 0 --> line 21 bubbleSort_0_i_62 := ( bubbleSort_0_i_61 + 1 ) --> line 23 bubbleSort_0_aux_58 := bubbleSort_0_tab_114[( bubbleSort_0_i_62 - 1 )] --> line 18 bubbleSort_0_fini_63 := 0 --> line 21 bubbleSort_0_i_63 := ( bubbleSort_0_i_62 + 1 ) --> line 23 bubbleSort_0_aux_59 := bubbleSort_0_tab_116[( bubbleSort_0_i_63 - 1 )] --> line 18 bubbleSort_0_fini_64 := 0 --> line 21 bubbleSort_0_i_64 := ( bubbleSort_0_i_63 + 1 ) --> line 23 bubbleSort_0_aux_60 := bubbleSort_0_tab_118[( bubbleSort_0_i_64 - 1 )] --> line 18 bubbleSort_0_fini_65 := 0 --> line 21 bubbleSort_0_i_65 := ( bubbleSort_0_i_64 + 1 ) --> line 23 bubbleSort_0_aux_61 := bubbleSort_0_tab_120[( bubbleSort_0_i_65 - 1 )] --> line 18 bubbleSort_0_fini_66 := 0 --> line 21 bubbleSort_0_i_66 := ( bubbleSort_0_i_65 + 1 ) --> line 23 bubbleSort_0_aux_62 := bubbleSort_0_tab_122[( bubbleSort_0_i_66 - 1 )] --> line 18 bubbleSort_0_fini_67 := 0 --> line 21 bubbleSort_0_i_67 := ( bubbleSort_0_i_66 + 1 ) --> line 23 bubbleSort_0_aux_63 := bubbleSort_0_tab_124[( bubbleSort_0_i_67 - 1 )] --> line 18 bubbleSort_0_fini_68 := 0 --> line 21 bubbleSort_0_i_68 := ( bubbleSort_0_i_67 + 1 ) --> line 23 bubbleSort_0_aux_64 := bubbleSort_0_tab_126[( bubbleSort_0_i_68 - 1 )] --> line 18 bubbleSort_0_fini_69 := 0 --> line 21 bubbleSort_0_i_69 := ( bubbleSort_0_i_68 + 1 ) --> line 23 bubbleSort_0_fini_75 := bubbleSort_0_fini_69 --> line 0 bubbleSort_0_i_75 := bubbleSort_0_i_69 --> line 0 bubbleSort_0_aux_70 := bubbleSort_0_aux_64 --> line 0 bubbleSort_0_j_5 := ( bubbleSort_0_j_4 - 1 ) --> line 25 bubbleSort_0_fini_76 := 1 --> line 13 bubbleSort_0_i_76 := 1 --> line 14 bubbleSort_0_aux_71 := bubbleSort_0_tab_140[( bubbleSort_0_i_76 - 1 )] --> line 18 bubbleSort_0_fini_77 := 0 --> line 21 bubbleSort_0_i_77 := ( bubbleSort_0_i_76 + 1 ) --> line 23 bubbleSort_0_aux_72 := bubbleSort_0_tab_142[( bubbleSort_0_i_77 - 1 )] --> line 18 bubbleSort_0_fini_78 := 0 --> line 21 bubbleSort_0_i_78 := ( bubbleSort_0_i_77 + 1 ) --> line 23 bubbleSort_0_aux_73 := bubbleSort_0_tab_144[( bubbleSort_0_i_78 - 1 )] --> line 18 bubbleSort_0_fini_79 := 0 --> line 21 bubbleSort_0_i_79 := ( bubbleSort_0_i_78 + 1 ) --> line 23 bubbleSort_0_aux_74 := bubbleSort_0_tab_146[( bubbleSort_0_i_79 - 1 )] --> line 18 bubbleSort_0_fini_80 := 0 --> line 21 bubbleSort_0_i_80 := ( bubbleSort_0_i_79 + 1 ) --> line 23 bubbleSort_0_aux_75 := bubbleSort_0_tab_148[( bubbleSort_0_i_80 - 1 )] --> line 18 bubbleSort_0_fini_81 := 0 --> line 21 bubbleSort_0_i_81 := ( bubbleSort_0_i_80 + 1 ) --> line 23 bubbleSort_0_aux_76 := bubbleSort_0_tab_150[( bubbleSort_0_i_81 - 1 )] --> line 18 bubbleSort_0_fini_82 := 0 --> line 21 bubbleSort_0_i_82 := ( bubbleSort_0_i_81 + 1 ) --> line 23 bubbleSort_0_aux_77 := bubbleSort_0_tab_152[( bubbleSort_0_i_82 - 1 )] --> line 18 bubbleSort_0_fini_83 := 0 --> line 21 bubbleSort_0_i_83 := ( bubbleSort_0_i_82 + 1 ) --> line 23 bubbleSort_0_fini_90 := bubbleSort_0_fini_83 --> line 0 bubbleSort_0_i_90 := bubbleSort_0_i_83 --> line 0 bubbleSort_0_aux_84 := bubbleSort_0_aux_77 --> line 0 bubbleSort_0_j_6 := ( bubbleSort_0_j_5 - 1 ) --> line 25 bubbleSort_0_fini_91 := 1 --> line 13 bubbleSort_0_i_91 := 1 --> line 14 bubbleSort_0_aux_85 := bubbleSort_0_tab_168[( bubbleSort_0_i_91 - 1 )] --> line 18 bubbleSort_0_fini_92 := 0 --> line 21 bubbleSort_0_i_92 := ( bubbleSort_0_i_91 + 1 ) --> line 23 bubbleSort_0_aux_86 := bubbleSort_0_tab_170[( bubbleSort_0_i_92 - 1 )] --> line 18 bubbleSort_0_fini_93 := 0 --> line 21 bubbleSort_0_i_93 := ( bubbleSort_0_i_92 + 1 ) --> line 23 bubbleSort_0_aux_87 := bubbleSort_0_tab_172[( bubbleSort_0_i_93 - 1 )] --> line 18 bubbleSort_0_fini_94 := 0 --> line 21 bubbleSort_0_i_94 := ( bubbleSort_0_i_93 + 1 ) --> line 23 bubbleSort_0_aux_88 := bubbleSort_0_tab_174[( bubbleSort_0_i_94 - 1 )] --> line 18 bubbleSort_0_fini_95 := 0 --> line 21 bubbleSort_0_i_95 := ( bubbleSort_0_i_94 + 1 ) --> line 23 bubbleSort_0_aux_89 := bubbleSort_0_tab_176[( bubbleSort_0_i_95 - 1 )] --> line 18 bubbleSort_0_fini_96 := 0 --> line 21 bubbleSort_0_i_96 := ( bubbleSort_0_i_95 + 1 ) --> line 23 bubbleSort_0_aux_90 := bubbleSort_0_tab_178[( bubbleSort_0_i_96 - 1 )] --> line 18 bubbleSort_0_fini_97 := 0 --> line 21 bubbleSort_0_i_97 := ( bubbleSort_0_i_96 + 1 ) --> line 23 bubbleSort_0_fini_105 := bubbleSort_0_fini_97 --> line 0 bubbleSort_0_i_105 := bubbleSort_0_i_97 --> line 0 bubbleSort_0_aux_98 := bubbleSort_0_aux_90 --> line 0 bubbleSort_0_j_7 := ( bubbleSort_0_j_6 - 1 ) --> line 25 bubbleSort_0_fini_106 := 1 --> line 13 bubbleSort_0_i_106 := 1 --> line 14 bubbleSort_0_aux_99 := bubbleSort_0_tab_196[( bubbleSort_0_i_106 - 1 )] --> line 18 bubbleSort_0_fini_107 := 0 --> line 21 bubbleSort_0_i_107 := ( bubbleSort_0_i_106 + 1 ) --> line 23 bubbleSort_0_aux_100 := bubbleSort_0_tab_198[( bubbleSort_0_i_107 - 1 )] --> line 18 bubbleSort_0_fini_108 := 0 --> line 21 bubbleSort_0_i_108 := ( bubbleSort_0_i_107 + 1 ) --> line 23 bubbleSort_0_aux_101 := bubbleSort_0_tab_200[( bubbleSort_0_i_108 - 1 )] --> line 18 bubbleSort_0_fini_109 := 0 --> line 21 bubbleSort_0_i_109 := ( bubbleSort_0_i_108 + 1 ) --> line 23 bubbleSort_0_aux_102 := bubbleSort_0_tab_202[( bubbleSort_0_i_109 - 1 )] --> line 18 bubbleSort_0_fini_110 := 0 --> line 21 bubbleSort_0_i_110 := ( bubbleSort_0_i_109 + 1 ) --> line 23 bubbleSort_0_aux_103 := bubbleSort_0_tab_204[( bubbleSort_0_i_110 - 1 )] --> line 18 bubbleSort_0_fini_111 := 0 --> line 21 bubbleSort_0_i_111 := ( bubbleSort_0_i_110 + 1 ) --> line 23 bubbleSort_0_fini_120 := bubbleSort_0_fini_111 --> line 0 bubbleSort_0_i_120 := bubbleSort_0_i_111 --> line 0 bubbleSort_0_aux_112 := bubbleSort_0_aux_103 --> line 0 bubbleSort_0_j_8 := ( bubbleSort_0_j_7 - 1 ) --> line 25 bubbleSort_0_fini_121 := 1 --> line 13 bubbleSort_0_i_121 := 1 --> line 14 bubbleSort_0_aux_113 := bubbleSort_0_tab_224[( bubbleSort_0_i_121 - 1 )] --> line 18 bubbleSort_0_fini_122 := 0 --> line 21 bubbleSort_0_i_122 := ( bubbleSort_0_i_121 + 1 ) --> line 23 bubbleSort_0_aux_114 := bubbleSort_0_tab_226[( bubbleSort_0_i_122 - 1 )] --> line 18 bubbleSort_0_fini_123 := 0 --> line 21 bubbleSort_0_i_123 := ( bubbleSort_0_i_122 + 1 ) --> line 23 bubbleSort_0_aux_115 := bubbleSort_0_tab_228[( bubbleSort_0_i_123 - 1 )] --> line 18 bubbleSort_0_fini_124 := 0 --> line 21 bubbleSort_0_i_124 := ( bubbleSort_0_i_123 + 1 ) --> line 23 bubbleSort_0_aux_116 := bubbleSort_0_tab_230[( bubbleSort_0_i_124 - 1 )] --> line 18 bubbleSort_0_fini_125 := 0 --> line 21 bubbleSort_0_i_125 := ( bubbleSort_0_i_124 + 1 ) --> line 23 bubbleSort_0_fini_135 := bubbleSort_0_fini_125 --> line 0 bubbleSort_0_i_135 := bubbleSort_0_i_125 --> line 0 bubbleSort_0_aux_126 := bubbleSort_0_aux_116 --> line 0 bubbleSort_0_j_9 := ( bubbleSort_0_j_8 - 1 ) --> line 25 bubbleSort_0_fini_136 := 1 --> line 13 bubbleSort_0_i_136 := 1 --> line 14 bubbleSort_0_aux_127 := bubbleSort_0_tab_252[( bubbleSort_0_i_136 - 1 )] --> line 18 bubbleSort_0_fini_137 := 0 --> line 21 bubbleSort_0_i_137 := ( bubbleSort_0_i_136 + 1 ) --> line 23 bubbleSort_0_aux_128 := bubbleSort_0_tab_254[( bubbleSort_0_i_137 - 1 )] --> line 18 bubbleSort_0_fini_138 := 0 --> line 21 bubbleSort_0_i_138 := ( bubbleSort_0_i_137 + 1 ) --> line 23 bubbleSort_0_aux_129 := bubbleSort_0_tab_256[( bubbleSort_0_i_138 - 1 )] --> line 18 bubbleSort_0_fini_139 := 0 --> line 21 bubbleSort_0_i_139 := ( bubbleSort_0_i_138 + 1 ) --> line 23 bubbleSort_0_fini_150 := bubbleSort_0_fini_139 --> line 0 bubbleSort_0_i_150 := bubbleSort_0_i_139 --> line 0 bubbleSort_0_aux_140 := bubbleSort_0_aux_129 --> line 0 bubbleSort_0_j_10 := ( bubbleSort_0_j_9 - 1 ) --> line 25 bubbleSort_0_fini_151 := 1 --> line 13 bubbleSort_0_i_151 := 1 --> line 14 bubbleSort_0_aux_141 := bubbleSort_0_tab_280[( bubbleSort_0_i_151 - 1 )] --> line 18 bubbleSort_0_fini_152 := 0 --> line 21 bubbleSort_0_i_152 := ( bubbleSort_0_i_151 + 1 ) --> line 23 bubbleSort_0_aux_142 := bubbleSort_0_tab_282[( bubbleSort_0_i_152 - 1 )] --> line 18 bubbleSort_0_fini_153 := 0 --> line 21 bubbleSort_0_i_153 := ( bubbleSort_0_i_152 + 1 ) --> line 23 bubbleSort_0_fini_165 := bubbleSort_0_fini_153 --> line 0 bubbleSort_0_i_165 := bubbleSort_0_i_153 --> line 0 bubbleSort_0_aux_154 := bubbleSort_0_aux_142 --> line 0 bubbleSort_0_j_11 := ( bubbleSort_0_j_10 - 1 ) --> line 25 bubbleSort_0_fini_166 := 1 --> line 13 bubbleSort_0_i_166 := 1 --> line 14 bubbleSort_0_aux_155 := bubbleSort_0_tab_308[( bubbleSort_0_i_166 - 1 )] --> line 18 bubbleSort_0_fini_167 := 0 --> line 21 bubbleSort_0_i_167 := ( bubbleSort_0_i_166 + 1 ) --> line 23 bubbleSort_0_fini_180 := bubbleSort_0_fini_167 --> line 0 bubbleSort_0_i_180 := bubbleSort_0_i_167 --> line 0 bubbleSort_0_aux_168 := bubbleSort_0_aux_155 --> line 0 bubbleSort_0_j_12 := ( bubbleSort_0_j_11 - 1 ) --> line 25 bubbleSort_0_fini_181 := 1 --> line 13 bubbleSort_0_i_181 := 1 --> line 14 ( bubbleSort_0_i_13 < bubbleSort_0_j_0 ) --> line -2 ( bubbleSort_0_i_181 < bubbleSort_0_j_12 ) --> line -2 bubbleSort_0_tab_1[( bubbleSort_0_i_1 - 1 )] := bubbleSort_0_tab_0[bubbleSort_0_i_1] --> line 19 bubbleSort_0_tab_2[bubbleSort_0_i_1] := bubbleSort_0_aux_1 --> line 20 bubbleSort_0_tab_3[( bubbleSort_0_i_2 - 1 )] := bubbleSort_0_tab_2[bubbleSort_0_i_2] --> line 19 bubbleSort_0_tab_4[bubbleSort_0_i_2] := bubbleSort_0_aux_2 --> line 20 bubbleSort_0_tab_5[( bubbleSort_0_i_3 - 1 )] := bubbleSort_0_tab_4[bubbleSort_0_i_3] --> line 19 bubbleSort_0_tab_6[bubbleSort_0_i_3] := bubbleSort_0_aux_3 --> line 20 bubbleSort_0_tab_7[( bubbleSort_0_i_4 - 1 )] := bubbleSort_0_tab_6[bubbleSort_0_i_4] --> line 19 bubbleSort_0_tab_8[bubbleSort_0_i_4] := bubbleSort_0_aux_4 --> line 20 bubbleSort_0_tab_9[( bubbleSort_0_i_5 - 1 )] := bubbleSort_0_tab_8[bubbleSort_0_i_5] --> line 19 bubbleSort_0_tab_10[bubbleSort_0_i_5] := bubbleSort_0_aux_5 --> line 20 bubbleSort_0_tab_11[( bubbleSort_0_i_6 - 1 )] := bubbleSort_0_tab_10[bubbleSort_0_i_6] --> line 19 bubbleSort_0_tab_12[bubbleSort_0_i_6] := bubbleSort_0_aux_6 --> line 20 bubbleSort_0_tab_13[( bubbleSort_0_i_7 - 1 )] := bubbleSort_0_tab_12[bubbleSort_0_i_7] --> line 19 bubbleSort_0_tab_14[bubbleSort_0_i_7] := bubbleSort_0_aux_7 --> line 20 bubbleSort_0_tab_15[( bubbleSort_0_i_8 - 1 )] := bubbleSort_0_tab_14[bubbleSort_0_i_8] --> line 19 bubbleSort_0_tab_16[bubbleSort_0_i_8] := bubbleSort_0_aux_8 --> line 20 bubbleSort_0_tab_17[( bubbleSort_0_i_9 - 1 )] := bubbleSort_0_tab_16[bubbleSort_0_i_9] --> line 19 bubbleSort_0_tab_18[bubbleSort_0_i_9] := bubbleSort_0_aux_9 --> line 20 bubbleSort_0_tab_19[( bubbleSort_0_i_10 - 1 )] := bubbleSort_0_tab_18[bubbleSort_0_i_10] --> line 19 bubbleSort_0_tab_20[bubbleSort_0_i_10] := bubbleSort_0_aux_10 --> line 20 bubbleSort_0_tab_21[( bubbleSort_0_i_11 - 1 )] := bubbleSort_0_tab_20[bubbleSort_0_i_11] --> line 19 bubbleSort_0_tab_22[bubbleSort_0_i_11] := bubbleSort_0_aux_11 --> line 20 bubbleSort_0_tab_23[( bubbleSort_0_i_12 - 1 )] := bubbleSort_0_tab_22[bubbleSort_0_i_12] --> line 19 bubbleSort_0_tab_24[bubbleSort_0_i_12] := bubbleSort_0_aux_12 --> line 20 bubbleSort_0_tab_25[( bubbleSort_0_i_13 - 1 )] := bubbleSort_0_tab_24[bubbleSort_0_i_13] --> line 19 bubbleSort_0_tab_26[bubbleSort_0_i_13] := bubbleSort_0_aux_13 --> line 20 bubbleSort_0_tab_28 := bubbleSort_0_tab_26 --> line 0 bubbleSort_0_tab_29[( bubbleSort_0_i_16 - 1 )] := bubbleSort_0_tab_28[bubbleSort_0_i_16] --> line 19 bubbleSort_0_tab_30[bubbleSort_0_i_16] := bubbleSort_0_aux_15 --> line 20 bubbleSort_0_tab_31[( bubbleSort_0_i_17 - 1 )] := bubbleSort_0_tab_30[bubbleSort_0_i_17] --> line 19 bubbleSort_0_tab_32[bubbleSort_0_i_17] := bubbleSort_0_aux_16 --> line 20 bubbleSort_0_tab_33[( bubbleSort_0_i_18 - 1 )] := bubbleSort_0_tab_32[bubbleSort_0_i_18] --> line 19 bubbleSort_0_tab_34[bubbleSort_0_i_18] := bubbleSort_0_aux_17 --> line 20 bubbleSort_0_tab_35[( bubbleSort_0_i_19 - 1 )] := bubbleSort_0_tab_34[bubbleSort_0_i_19] --> line 19 bubbleSort_0_tab_36[bubbleSort_0_i_19] := bubbleSort_0_aux_18 --> line 20 bubbleSort_0_tab_37[( bubbleSort_0_i_20 - 1 )] := bubbleSort_0_tab_36[bubbleSort_0_i_20] --> line 19 bubbleSort_0_tab_38[bubbleSort_0_i_20] := bubbleSort_0_aux_19 --> line 20 bubbleSort_0_tab_39[( bubbleSort_0_i_21 - 1 )] := bubbleSort_0_tab_38[bubbleSort_0_i_21] --> line 19 bubbleSort_0_tab_40[bubbleSort_0_i_21] := bubbleSort_0_aux_20 --> line 20 bubbleSort_0_tab_41[( bubbleSort_0_i_22 - 1 )] := bubbleSort_0_tab_40[bubbleSort_0_i_22] --> line 19 bubbleSort_0_tab_42[bubbleSort_0_i_22] := bubbleSort_0_aux_21 --> line 20 bubbleSort_0_tab_43[( bubbleSort_0_i_23 - 1 )] := bubbleSort_0_tab_42[bubbleSort_0_i_23] --> line 19 bubbleSort_0_tab_44[bubbleSort_0_i_23] := bubbleSort_0_aux_22 --> line 20 bubbleSort_0_tab_45[( bubbleSort_0_i_24 - 1 )] := bubbleSort_0_tab_44[bubbleSort_0_i_24] --> line 19 bubbleSort_0_tab_46[bubbleSort_0_i_24] := bubbleSort_0_aux_23 --> line 20 bubbleSort_0_tab_47[( bubbleSort_0_i_25 - 1 )] := bubbleSort_0_tab_46[bubbleSort_0_i_25] --> line 19 bubbleSort_0_tab_48[bubbleSort_0_i_25] := bubbleSort_0_aux_24 --> line 20 bubbleSort_0_tab_49[( bubbleSort_0_i_26 - 1 )] := bubbleSort_0_tab_48[bubbleSort_0_i_26] --> line 19 bubbleSort_0_tab_50[bubbleSort_0_i_26] := bubbleSort_0_aux_25 --> line 20 bubbleSort_0_tab_56 := bubbleSort_0_tab_50 --> line 0 bubbleSort_0_tab_57[( bubbleSort_0_i_31 - 1 )] := bubbleSort_0_tab_56[bubbleSort_0_i_31] --> line 19 bubbleSort_0_tab_58[bubbleSort_0_i_31] := bubbleSort_0_aux_29 --> line 20 bubbleSort_0_tab_59[( bubbleSort_0_i_32 - 1 )] := bubbleSort_0_tab_58[bubbleSort_0_i_32] --> line 19 bubbleSort_0_tab_60[bubbleSort_0_i_32] := bubbleSort_0_aux_30 --> line 20 bubbleSort_0_tab_61[( bubbleSort_0_i_33 - 1 )] := bubbleSort_0_tab_60[bubbleSort_0_i_33] --> line 19 bubbleSort_0_tab_62[bubbleSort_0_i_33] := bubbleSort_0_aux_31 --> line 20 bubbleSort_0_tab_63[( bubbleSort_0_i_34 - 1 )] := bubbleSort_0_tab_62[bubbleSort_0_i_34] --> line 19 bubbleSort_0_tab_64[bubbleSort_0_i_34] := bubbleSort_0_aux_32 --> line 20 bubbleSort_0_tab_65[( bubbleSort_0_i_35 - 1 )] := bubbleSort_0_tab_64[bubbleSort_0_i_35] --> line 19 bubbleSort_0_tab_66[bubbleSort_0_i_35] := bubbleSort_0_aux_33 --> line 20 bubbleSort_0_tab_67[( bubbleSort_0_i_36 - 1 )] := bubbleSort_0_tab_66[bubbleSort_0_i_36] --> line 19 bubbleSort_0_tab_68[bubbleSort_0_i_36] := bubbleSort_0_aux_34 --> line 20 bubbleSort_0_tab_69[( bubbleSort_0_i_37 - 1 )] := bubbleSort_0_tab_68[bubbleSort_0_i_37] --> line 19 bubbleSort_0_tab_70[bubbleSort_0_i_37] := bubbleSort_0_aux_35 --> line 20 bubbleSort_0_tab_71[( bubbleSort_0_i_38 - 1 )] := bubbleSort_0_tab_70[bubbleSort_0_i_38] --> line 19 bubbleSort_0_tab_72[bubbleSort_0_i_38] := bubbleSort_0_aux_36 --> line 20 bubbleSort_0_tab_73[( bubbleSort_0_i_39 - 1 )] := bubbleSort_0_tab_72[bubbleSort_0_i_39] --> line 19 bubbleSort_0_tab_74[bubbleSort_0_i_39] := bubbleSort_0_aux_37 --> line 20 bubbleSort_0_tab_75[( bubbleSort_0_i_40 - 1 )] := bubbleSort_0_tab_74[bubbleSort_0_i_40] --> line 19 bubbleSort_0_tab_76[bubbleSort_0_i_40] := bubbleSort_0_aux_38 --> line 20 bubbleSort_0_tab_84 := bubbleSort_0_tab_76 --> line 0 bubbleSort_0_tab_85[( bubbleSort_0_i_46 - 1 )] := bubbleSort_0_tab_84[bubbleSort_0_i_46] --> line 19 bubbleSort_0_tab_86[bubbleSort_0_i_46] := bubbleSort_0_aux_43 --> line 20 bubbleSort_0_tab_87[( bubbleSort_0_i_47 - 1 )] := bubbleSort_0_tab_86[bubbleSort_0_i_47] --> line 19 bubbleSort_0_tab_88[bubbleSort_0_i_47] := bubbleSort_0_aux_44 --> line 20 bubbleSort_0_tab_89[( bubbleSort_0_i_48 - 1 )] := bubbleSort_0_tab_88[bubbleSort_0_i_48] --> line 19 bubbleSort_0_tab_90[bubbleSort_0_i_48] := bubbleSort_0_aux_45 --> line 20 bubbleSort_0_tab_91[( bubbleSort_0_i_49 - 1 )] := bubbleSort_0_tab_90[bubbleSort_0_i_49] --> line 19 bubbleSort_0_tab_92[bubbleSort_0_i_49] := bubbleSort_0_aux_46 --> line 20 bubbleSort_0_tab_93[( bubbleSort_0_i_50 - 1 )] := bubbleSort_0_tab_92[bubbleSort_0_i_50] --> line 19 bubbleSort_0_tab_94[bubbleSort_0_i_50] := bubbleSort_0_aux_47 --> line 20 bubbleSort_0_tab_95[( bubbleSort_0_i_51 - 1 )] := bubbleSort_0_tab_94[bubbleSort_0_i_51] --> line 19 bubbleSort_0_tab_96[bubbleSort_0_i_51] := bubbleSort_0_aux_48 --> line 20 bubbleSort_0_tab_97[( bubbleSort_0_i_52 - 1 )] := bubbleSort_0_tab_96[bubbleSort_0_i_52] --> line 19 bubbleSort_0_tab_98[bubbleSort_0_i_52] := bubbleSort_0_aux_49 --> line 20 bubbleSort_0_tab_99[( bubbleSort_0_i_53 - 1 )] := bubbleSort_0_tab_98[bubbleSort_0_i_53] --> line 19 bubbleSort_0_tab_100[bubbleSort_0_i_53] := bubbleSort_0_aux_50 --> line 20 bubbleSort_0_tab_101[( bubbleSort_0_i_54 - 1 )] := bubbleSort_0_tab_100[bubbleSort_0_i_54] --> line 19 bubbleSort_0_tab_102[bubbleSort_0_i_54] := bubbleSort_0_aux_51 --> line 20 bubbleSort_0_tab_112 := bubbleSort_0_tab_102 --> line 0 bubbleSort_0_tab_113[( bubbleSort_0_i_61 - 1 )] := bubbleSort_0_tab_112[bubbleSort_0_i_61] --> line 19 bubbleSort_0_tab_114[bubbleSort_0_i_61] := bubbleSort_0_aux_57 --> line 20 bubbleSort_0_tab_115[( bubbleSort_0_i_62 - 1 )] := bubbleSort_0_tab_114[bubbleSort_0_i_62] --> line 19 bubbleSort_0_tab_116[bubbleSort_0_i_62] := bubbleSort_0_aux_58 --> line 20 bubbleSort_0_tab_117[( bubbleSort_0_i_63 - 1 )] := bubbleSort_0_tab_116[bubbleSort_0_i_63] --> line 19 bubbleSort_0_tab_118[bubbleSort_0_i_63] := bubbleSort_0_aux_59 --> line 20 bubbleSort_0_tab_119[( bubbleSort_0_i_64 - 1 )] := bubbleSort_0_tab_118[bubbleSort_0_i_64] --> line 19 bubbleSort_0_tab_120[bubbleSort_0_i_64] := bubbleSort_0_aux_60 --> line 20 bubbleSort_0_tab_121[( bubbleSort_0_i_65 - 1 )] := bubbleSort_0_tab_120[bubbleSort_0_i_65] --> line 19 bubbleSort_0_tab_122[bubbleSort_0_i_65] := bubbleSort_0_aux_61 --> line 20 bubbleSort_0_tab_123[( bubbleSort_0_i_66 - 1 )] := bubbleSort_0_tab_122[bubbleSort_0_i_66] --> line 19 bubbleSort_0_tab_124[bubbleSort_0_i_66] := bubbleSort_0_aux_62 --> line 20 bubbleSort_0_tab_125[( bubbleSort_0_i_67 - 1 )] := bubbleSort_0_tab_124[bubbleSort_0_i_67] --> line 19 bubbleSort_0_tab_126[bubbleSort_0_i_67] := bubbleSort_0_aux_63 --> line 20 bubbleSort_0_tab_127[( bubbleSort_0_i_68 - 1 )] := bubbleSort_0_tab_126[bubbleSort_0_i_68] --> line 19 bubbleSort_0_tab_128[bubbleSort_0_i_68] := bubbleSort_0_aux_64 --> line 20 bubbleSort_0_tab_140 := bubbleSort_0_tab_128 --> line 0 bubbleSort_0_tab_141[( bubbleSort_0_i_76 - 1 )] := bubbleSort_0_tab_140[bubbleSort_0_i_76] --> line 19 bubbleSort_0_tab_142[bubbleSort_0_i_76] := bubbleSort_0_aux_71 --> line 20 bubbleSort_0_tab_143[( bubbleSort_0_i_77 - 1 )] := bubbleSort_0_tab_142[bubbleSort_0_i_77] --> line 19 bubbleSort_0_tab_144[bubbleSort_0_i_77] := bubbleSort_0_aux_72 --> line 20 bubbleSort_0_tab_145[( bubbleSort_0_i_78 - 1 )] := bubbleSort_0_tab_144[bubbleSort_0_i_78] --> line 19 bubbleSort_0_tab_146[bubbleSort_0_i_78] := bubbleSort_0_aux_73 --> line 20 bubbleSort_0_tab_147[( bubbleSort_0_i_79 - 1 )] := bubbleSort_0_tab_146[bubbleSort_0_i_79] --> line 19 bubbleSort_0_tab_148[bubbleSort_0_i_79] := bubbleSort_0_aux_74 --> line 20 bubbleSort_0_tab_149[( bubbleSort_0_i_80 - 1 )] := bubbleSort_0_tab_148[bubbleSort_0_i_80] --> line 19 bubbleSort_0_tab_150[bubbleSort_0_i_80] := bubbleSort_0_aux_75 --> line 20 bubbleSort_0_tab_151[( bubbleSort_0_i_81 - 1 )] := bubbleSort_0_tab_150[bubbleSort_0_i_81] --> line 19 bubbleSort_0_tab_152[bubbleSort_0_i_81] := bubbleSort_0_aux_76 --> line 20 bubbleSort_0_tab_153[( bubbleSort_0_i_82 - 1 )] := bubbleSort_0_tab_152[bubbleSort_0_i_82] --> line 19 bubbleSort_0_tab_154[bubbleSort_0_i_82] := bubbleSort_0_aux_77 --> line 20 bubbleSort_0_tab_168 := bubbleSort_0_tab_154 --> line 0 bubbleSort_0_tab_169[( bubbleSort_0_i_91 - 1 )] := bubbleSort_0_tab_168[bubbleSort_0_i_91] --> line 19 bubbleSort_0_tab_170[bubbleSort_0_i_91] := bubbleSort_0_aux_85 --> line 20 bubbleSort_0_tab_171[( bubbleSort_0_i_92 - 1 )] := bubbleSort_0_tab_170[bubbleSort_0_i_92] --> line 19 bubbleSort_0_tab_172[bubbleSort_0_i_92] := bubbleSort_0_aux_86 --> line 20 bubbleSort_0_tab_173[( bubbleSort_0_i_93 - 1 )] := bubbleSort_0_tab_172[bubbleSort_0_i_93] --> line 19 bubbleSort_0_tab_174[bubbleSort_0_i_93] := bubbleSort_0_aux_87 --> line 20 bubbleSort_0_tab_175[( bubbleSort_0_i_94 - 1 )] := bubbleSort_0_tab_174[bubbleSort_0_i_94] --> line 19 bubbleSort_0_tab_176[bubbleSort_0_i_94] := bubbleSort_0_aux_88 --> line 20 bubbleSort_0_tab_177[( bubbleSort_0_i_95 - 1 )] := bubbleSort_0_tab_176[bubbleSort_0_i_95] --> line 19 bubbleSort_0_tab_178[bubbleSort_0_i_95] := bubbleSort_0_aux_89 --> line 20 bubbleSort_0_tab_179[( bubbleSort_0_i_96 - 1 )] := bubbleSort_0_tab_178[bubbleSort_0_i_96] --> line 19 bubbleSort_0_tab_180[bubbleSort_0_i_96] := bubbleSort_0_aux_90 --> line 20 bubbleSort_0_tab_196 := bubbleSort_0_tab_180 --> line 0 bubbleSort_0_tab_197[( bubbleSort_0_i_106 - 1 )] := bubbleSort_0_tab_196[bubbleSort_0_i_106] --> line 19 bubbleSort_0_tab_198[bubbleSort_0_i_106] := bubbleSort_0_aux_99 --> line 20 bubbleSort_0_tab_199[( bubbleSort_0_i_107 - 1 )] := bubbleSort_0_tab_198[bubbleSort_0_i_107] --> line 19 bubbleSort_0_tab_200[bubbleSort_0_i_107] := bubbleSort_0_aux_100 --> line 20 bubbleSort_0_tab_201[( bubbleSort_0_i_108 - 1 )] := bubbleSort_0_tab_200[bubbleSort_0_i_108] --> line 19 bubbleSort_0_tab_202[bubbleSort_0_i_108] := bubbleSort_0_aux_101 --> line 20 bubbleSort_0_tab_203[( bubbleSort_0_i_109 - 1 )] := bubbleSort_0_tab_202[bubbleSort_0_i_109] --> line 19 bubbleSort_0_tab_204[bubbleSort_0_i_109] := bubbleSort_0_aux_102 --> line 20 bubbleSort_0_tab_205[( bubbleSort_0_i_110 - 1 )] := bubbleSort_0_tab_204[bubbleSort_0_i_110] --> line 19 bubbleSort_0_tab_206[bubbleSort_0_i_110] := bubbleSort_0_aux_103 --> line 20 bubbleSort_0_tab_224 := bubbleSort_0_tab_206 --> line 0 bubbleSort_0_tab_225[( bubbleSort_0_i_121 - 1 )] := bubbleSort_0_tab_224[bubbleSort_0_i_121] --> line 19 bubbleSort_0_tab_226[bubbleSort_0_i_121] := bubbleSort_0_aux_113 --> line 20 bubbleSort_0_tab_227[( bubbleSort_0_i_122 - 1 )] := bubbleSort_0_tab_226[bubbleSort_0_i_122] --> line 19 bubbleSort_0_tab_228[bubbleSort_0_i_122] := bubbleSort_0_aux_114 --> line 20 bubbleSort_0_tab_229[( bubbleSort_0_i_123 - 1 )] := bubbleSort_0_tab_228[bubbleSort_0_i_123] --> line 19 bubbleSort_0_tab_230[bubbleSort_0_i_123] := bubbleSort_0_aux_115 --> line 20 bubbleSort_0_tab_231[( bubbleSort_0_i_124 - 1 )] := bubbleSort_0_tab_230[bubbleSort_0_i_124] --> line 19 bubbleSort_0_tab_232[bubbleSort_0_i_124] := bubbleSort_0_aux_116 --> line 20 bubbleSort_0_tab_252 := bubbleSort_0_tab_232 --> line 0 bubbleSort_0_tab_253[( bubbleSort_0_i_136 - 1 )] := bubbleSort_0_tab_252[bubbleSort_0_i_136] --> line 19 bubbleSort_0_tab_254[bubbleSort_0_i_136] := bubbleSort_0_aux_127 --> line 20 bubbleSort_0_tab_255[( bubbleSort_0_i_137 - 1 )] := bubbleSort_0_tab_254[bubbleSort_0_i_137] --> line 19 bubbleSort_0_tab_256[bubbleSort_0_i_137] := bubbleSort_0_aux_128 --> line 20 bubbleSort_0_tab_257[( bubbleSort_0_i_138 - 1 )] := bubbleSort_0_tab_256[bubbleSort_0_i_138] --> line 19 bubbleSort_0_tab_258[bubbleSort_0_i_138] := bubbleSort_0_aux_129 --> line 20 bubbleSort_0_tab_280 := bubbleSort_0_tab_258 --> line 0 bubbleSort_0_tab_281[( bubbleSort_0_i_151 - 1 )] := bubbleSort_0_tab_280[bubbleSort_0_i_151] --> line 19 bubbleSort_0_tab_282[bubbleSort_0_i_151] := bubbleSort_0_aux_141 --> line 20 bubbleSort_0_tab_283[( bubbleSort_0_i_152 - 1 )] := bubbleSort_0_tab_282[bubbleSort_0_i_152] --> line 19 bubbleSort_0_tab_284[bubbleSort_0_i_152] := bubbleSort_0_aux_142 --> line 20 bubbleSort_0_tab_308 := bubbleSort_0_tab_284 --> line 0 bubbleSort_0_tab_309[( bubbleSort_0_i_166 - 1 )] := bubbleSort_0_tab_308[bubbleSort_0_i_166] --> line 19 bubbleSort_0_tab_310[bubbleSort_0_i_166] := bubbleSort_0_aux_155 --> line 20 bubbleSort_0_tab_336 := bubbleSort_0_tab_310 --> line 0 The system is infeasible ------------------------ 3. MCS in CSP_a: {line 9} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 14,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 14,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 14,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 14,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 14,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 14,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 14,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 14,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 14,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 14,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 14,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 14} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 14} {line 23,line 25} {line 23,line 14} {line 23,line 14} {line 23,line 25} {line 23,line 14} {line 23,line 25} {line 23,line 14} {line 23,line 14} {line 23,line 25} {line 23,line 25} {line 14,line 14} {line 23,line 25} {line 14,line 25} {line 23,line 25} {line 23,line 25} {line 23,line 14} {line 23,line 25} {line 23,line 14} {line 23,line 14} {line 23,line 14} {line 23,line 14} {line 23,line 25} {line 23,line 25} Runtime of the method that compute MCS: 685.242 MIVcard(ctrs,line 9)=1.0 MIVcard(ctrs,line 14)=6.5 MIVcard(ctrs,line 23)=6.5 MIVcard(ctrs,line 23)=6.5 MIVcard(ctrs,line 23)=6.5 MIVcard(ctrs,line 23)=6.5 MIVcard(ctrs,line 23)=6.5 MIVcard(ctrs,line 23)=6.5 MIVcard(ctrs,line 23)=6.5 MIVcard(ctrs,line 23)=6.5 MIVcard(ctrs,line 23)=6.5 MIVcard(ctrs,line 23)=6.5 MIVcard(ctrs,line 23)=6.5 MIVcard(ctrs,line 23)=6.5 MIVcard(ctrs,line 25)=6.5 MIVcard(ctrs,line 25)=6.5 MIVcard(ctrs,line 25)=6.5 MIVcard(ctrs,line 25)=6.5 MIVcard(ctrs,line 25)=6.5 MIVcard(ctrs,line 25)=6.5 MIVcard(ctrs,line 25)=6.5 MIVcard(ctrs,line 25)=6.5 MIVcard(ctrs,line 25)=6.5 MIVcard(ctrs,line 25)=6.5 MIVcard(ctrs,line 25)=6.5 MIVcard(ctrs,line 25)=6.5 MIVcard(ctrs,line 14)=6.5 The number of instructions suspected: 27 IIS in CSP_a using Deletion Filter: {CE,line 9,line 25,line 25,line 25,line 25,line 25,line 25,line 25,line 25,line 25,line 25,line 25,line 25,line 14,POST} Runtime of the method that compute IIS using Deletion Filter: 9.328 IIS in CSP_a using QuickExplain: Length of the set of soft constraints : 485 {CE,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 14,line 9,POST} Runtime of the method that compute IIS using QuickExplain: 1.591 IIS in CSP_a using the conflict refiner implementation of CPLEX: {CE,line 9,line 14,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,POST} Runtime of the method that compute IIS using the conflict refiner implementation of CPLEX: 1.108 Solver: CPLEX 1. CSP_d: line 15(Else) : ( bubbleSort_0_i_13 < bubbleSort_0_j_0 ) line 12(Else) : ( bubbleSort_0_fini_195 == 0 ) ------------------------ 2. CSP_a: bubbleSort_0_tab_0[0] := 974 --> line -1 bubbleSort_0_tab_0[1] := 971 --> line -1 bubbleSort_0_tab_0[2] := 946 --> line -1 bubbleSort_0_tab_0[3] := 926 --> line -1 bubbleSort_0_tab_0[4] := 892 --> line -1 bubbleSort_0_tab_0[5] := 864 --> line -1 bubbleSort_0_tab_0[6] := 848 --> line -1 bubbleSort_0_tab_0[7] := 829 --> line -1 bubbleSort_0_tab_0[8] := 586 --> line -1 bubbleSort_0_tab_0[9] := 544 --> line -1 bubbleSort_0_tab_0[10] := 504 --> line -1 bubbleSort_0_tab_0[11] := 445 --> line -1 bubbleSort_0_tab_0[12] := 278 --> line -1 bubbleSort_0_tab_0[13] := 971 --> line -1 bubbleSort_0_i_0 := 0 --> line 8 bubbleSort_0_j_0 := ( 14 - 1 ) --> line 9 bubbleSort_0_aux_0 := 0 --> line 10 bubbleSort_0_fini_0 := 0 --> line 11 bubbleSort_0_fini_1 := 1 --> line 13 bubbleSort_0_i_1 := 1 --> line 14 bubbleSort_0_aux_1 := bubbleSort_0_tab_0[( bubbleSort_0_i_1 - 1 )] --> line 18 bubbleSort_0_fini_2 := 0 --> line 21 bubbleSort_0_i_2 := ( bubbleSort_0_i_1 + 1 ) --> line 23 bubbleSort_0_aux_2 := bubbleSort_0_tab_2[( bubbleSort_0_i_2 - 1 )] --> line 18 bubbleSort_0_fini_3 := 0 --> line 21 bubbleSort_0_i_3 := ( bubbleSort_0_i_2 + 1 ) --> line 23 bubbleSort_0_aux_3 := bubbleSort_0_tab_4[( bubbleSort_0_i_3 - 1 )] --> line 18 bubbleSort_0_fini_4 := 0 --> line 21 bubbleSort_0_i_4 := ( bubbleSort_0_i_3 + 1 ) --> line 23 bubbleSort_0_aux_4 := bubbleSort_0_tab_6[( bubbleSort_0_i_4 - 1 )] --> line 18 bubbleSort_0_fini_5 := 0 --> line 21 bubbleSort_0_i_5 := ( bubbleSort_0_i_4 + 1 ) --> line 23 bubbleSort_0_aux_5 := bubbleSort_0_tab_8[( bubbleSort_0_i_5 - 1 )] --> line 18 bubbleSort_0_fini_6 := 0 --> line 21 bubbleSort_0_i_6 := ( bubbleSort_0_i_5 + 1 ) --> line 23 bubbleSort_0_aux_6 := bubbleSort_0_tab_10[( bubbleSort_0_i_6 - 1 )] --> line 18 bubbleSort_0_fini_7 := 0 --> line 21 bubbleSort_0_i_7 := ( bubbleSort_0_i_6 + 1 ) --> line 23 bubbleSort_0_aux_7 := bubbleSort_0_tab_12[( bubbleSort_0_i_7 - 1 )] --> line 18 bubbleSort_0_fini_8 := 0 --> line 21 bubbleSort_0_i_8 := ( bubbleSort_0_i_7 + 1 ) --> line 23 bubbleSort_0_aux_8 := bubbleSort_0_tab_14[( bubbleSort_0_i_8 - 1 )] --> line 18 bubbleSort_0_fini_9 := 0 --> line 21 bubbleSort_0_i_9 := ( bubbleSort_0_i_8 + 1 ) --> line 23 bubbleSort_0_aux_9 := bubbleSort_0_tab_16[( bubbleSort_0_i_9 - 1 )] --> line 18 bubbleSort_0_fini_10 := 0 --> line 21 bubbleSort_0_i_10 := ( bubbleSort_0_i_9 + 1 ) --> line 23 bubbleSort_0_aux_10 := bubbleSort_0_tab_18[( bubbleSort_0_i_10 - 1 )] --> line 18 bubbleSort_0_fini_11 := 0 --> line 21 bubbleSort_0_i_11 := ( bubbleSort_0_i_10 + 1 ) --> line 23 bubbleSort_0_aux_11 := bubbleSort_0_tab_20[( bubbleSort_0_i_11 - 1 )] --> line 18 bubbleSort_0_fini_12 := 0 --> line 21 bubbleSort_0_i_12 := ( bubbleSort_0_i_11 + 1 ) --> line 23 bubbleSort_0_aux_12 := bubbleSort_0_tab_22[( bubbleSort_0_i_12 - 1 )] --> line 18 bubbleSort_0_fini_13 := 0 --> line 21 bubbleSort_0_i_13 := ( bubbleSort_0_i_12 + 1 ) --> line 23 bubbleSort_0_aux_13 := bubbleSort_0_tab_24[( bubbleSort_0_i_13 - 1 )] --> line 18 bubbleSort_0_fini_14 := 0 --> line 21 bubbleSort_0_i_14 := ( bubbleSort_0_i_13 + 1 ) --> line 23 bubbleSort_0_fini_15 := bubbleSort_0_fini_14 --> line 0 bubbleSort_0_i_15 := bubbleSort_0_i_14 --> line 0 bubbleSort_0_aux_14 := bubbleSort_0_aux_13 --> line 0 bubbleSort_0_j_1 := ( bubbleSort_0_j_0 - 1 ) --> line 25 bubbleSort_0_fini_16 := 1 --> line 13 bubbleSort_0_i_16 := 1 --> line 14 bubbleSort_0_aux_15 := bubbleSort_0_tab_28[( bubbleSort_0_i_16 - 1 )] --> line 18 bubbleSort_0_fini_17 := 0 --> line 21 bubbleSort_0_i_17 := ( bubbleSort_0_i_16 + 1 ) --> line 23 bubbleSort_0_aux_16 := bubbleSort_0_tab_30[( bubbleSort_0_i_17 - 1 )] --> line 18 bubbleSort_0_fini_18 := 0 --> line 21 bubbleSort_0_i_18 := ( bubbleSort_0_i_17 + 1 ) --> line 23 bubbleSort_0_aux_17 := bubbleSort_0_tab_32[( bubbleSort_0_i_18 - 1 )] --> line 18 bubbleSort_0_fini_19 := 0 --> line 21 bubbleSort_0_i_19 := ( bubbleSort_0_i_18 + 1 ) --> line 23 bubbleSort_0_aux_18 := bubbleSort_0_tab_34[( bubbleSort_0_i_19 - 1 )] --> line 18 bubbleSort_0_fini_20 := 0 --> line 21 bubbleSort_0_i_20 := ( bubbleSort_0_i_19 + 1 ) --> line 23 bubbleSort_0_aux_19 := bubbleSort_0_tab_36[( bubbleSort_0_i_20 - 1 )] --> line 18 bubbleSort_0_fini_21 := 0 --> line 21 bubbleSort_0_i_21 := ( bubbleSort_0_i_20 + 1 ) --> line 23 bubbleSort_0_aux_20 := bubbleSort_0_tab_38[( bubbleSort_0_i_21 - 1 )] --> line 18 bubbleSort_0_fini_22 := 0 --> line 21 bubbleSort_0_i_22 := ( bubbleSort_0_i_21 + 1 ) --> line 23 bubbleSort_0_aux_21 := bubbleSort_0_tab_40[( bubbleSort_0_i_22 - 1 )] --> line 18 bubbleSort_0_fini_23 := 0 --> line 21 bubbleSort_0_i_23 := ( bubbleSort_0_i_22 + 1 ) --> line 23 bubbleSort_0_aux_22 := bubbleSort_0_tab_42[( bubbleSort_0_i_23 - 1 )] --> line 18 bubbleSort_0_fini_24 := 0 --> line 21 bubbleSort_0_i_24 := ( bubbleSort_0_i_23 + 1 ) --> line 23 bubbleSort_0_aux_23 := bubbleSort_0_tab_44[( bubbleSort_0_i_24 - 1 )] --> line 18 bubbleSort_0_fini_25 := 0 --> line 21 bubbleSort_0_i_25 := ( bubbleSort_0_i_24 + 1 ) --> line 23 bubbleSort_0_aux_24 := bubbleSort_0_tab_46[( bubbleSort_0_i_25 - 1 )] --> line 18 bubbleSort_0_fini_26 := 0 --> line 21 bubbleSort_0_i_26 := ( bubbleSort_0_i_25 + 1 ) --> line 23 bubbleSort_0_aux_25 := bubbleSort_0_tab_48[( bubbleSort_0_i_26 - 1 )] --> line 18 bubbleSort_0_fini_27 := 0 --> line 21 bubbleSort_0_i_27 := ( bubbleSort_0_i_26 + 1 ) --> line 23 bubbleSort_0_fini_30 := bubbleSort_0_fini_27 --> line 0 bubbleSort_0_i_30 := bubbleSort_0_i_27 --> line 0 bubbleSort_0_aux_28 := bubbleSort_0_aux_25 --> line 0 bubbleSort_0_j_2 := ( bubbleSort_0_j_1 - 1 ) --> line 25 bubbleSort_0_fini_31 := 1 --> line 13 bubbleSort_0_i_31 := 1 --> line 14 bubbleSort_0_aux_29 := bubbleSort_0_tab_56[( bubbleSort_0_i_31 - 1 )] --> line 18 bubbleSort_0_fini_32 := 0 --> line 21 bubbleSort_0_i_32 := ( bubbleSort_0_i_31 + 1 ) --> line 23 bubbleSort_0_aux_30 := bubbleSort_0_tab_58[( bubbleSort_0_i_32 - 1 )] --> line 18 bubbleSort_0_fini_33 := 0 --> line 21 bubbleSort_0_i_33 := ( bubbleSort_0_i_32 + 1 ) --> line 23 bubbleSort_0_aux_31 := bubbleSort_0_tab_60[( bubbleSort_0_i_33 - 1 )] --> line 18 bubbleSort_0_fini_34 := 0 --> line 21 bubbleSort_0_i_34 := ( bubbleSort_0_i_33 + 1 ) --> line 23 bubbleSort_0_aux_32 := bubbleSort_0_tab_62[( bubbleSort_0_i_34 - 1 )] --> line 18 bubbleSort_0_fini_35 := 0 --> line 21 bubbleSort_0_i_35 := ( bubbleSort_0_i_34 + 1 ) --> line 23 bubbleSort_0_aux_33 := bubbleSort_0_tab_64[( bubbleSort_0_i_35 - 1 )] --> line 18 bubbleSort_0_fini_36 := 0 --> line 21 bubbleSort_0_i_36 := ( bubbleSort_0_i_35 + 1 ) --> line 23 bubbleSort_0_aux_34 := bubbleSort_0_tab_66[( bubbleSort_0_i_36 - 1 )] --> line 18 bubbleSort_0_fini_37 := 0 --> line 21 bubbleSort_0_i_37 := ( bubbleSort_0_i_36 + 1 ) --> line 23 bubbleSort_0_aux_35 := bubbleSort_0_tab_68[( bubbleSort_0_i_37 - 1 )] --> line 18 bubbleSort_0_fini_38 := 0 --> line 21 bubbleSort_0_i_38 := ( bubbleSort_0_i_37 + 1 ) --> line 23 bubbleSort_0_aux_36 := bubbleSort_0_tab_70[( bubbleSort_0_i_38 - 1 )] --> line 18 bubbleSort_0_fini_39 := 0 --> line 21 bubbleSort_0_i_39 := ( bubbleSort_0_i_38 + 1 ) --> line 23 bubbleSort_0_aux_37 := bubbleSort_0_tab_72[( bubbleSort_0_i_39 - 1 )] --> line 18 bubbleSort_0_fini_40 := 0 --> line 21 bubbleSort_0_i_40 := ( bubbleSort_0_i_39 + 1 ) --> line 23 bubbleSort_0_aux_38 := bubbleSort_0_tab_74[( bubbleSort_0_i_40 - 1 )] --> line 18 bubbleSort_0_fini_41 := 0 --> line 21 bubbleSort_0_i_41 := ( bubbleSort_0_i_40 + 1 ) --> line 23 bubbleSort_0_fini_45 := bubbleSort_0_fini_41 --> line 0 bubbleSort_0_i_45 := bubbleSort_0_i_41 --> line 0 bubbleSort_0_aux_42 := bubbleSort_0_aux_38 --> line 0 bubbleSort_0_j_3 := ( bubbleSort_0_j_2 - 1 ) --> line 25 bubbleSort_0_fini_46 := 1 --> line 13 bubbleSort_0_i_46 := 1 --> line 14 bubbleSort_0_aux_43 := bubbleSort_0_tab_84[( bubbleSort_0_i_46 - 1 )] --> line 18 bubbleSort_0_fini_47 := 0 --> line 21 bubbleSort_0_i_47 := ( bubbleSort_0_i_46 + 1 ) --> line 23 bubbleSort_0_aux_44 := bubbleSort_0_tab_86[( bubbleSort_0_i_47 - 1 )] --> line 18 bubbleSort_0_fini_48 := 0 --> line 21 bubbleSort_0_i_48 := ( bubbleSort_0_i_47 + 1 ) --> line 23 bubbleSort_0_aux_45 := bubbleSort_0_tab_88[( bubbleSort_0_i_48 - 1 )] --> line 18 bubbleSort_0_fini_49 := 0 --> line 21 bubbleSort_0_i_49 := ( bubbleSort_0_i_48 + 1 ) --> line 23 bubbleSort_0_aux_46 := bubbleSort_0_tab_90[( bubbleSort_0_i_49 - 1 )] --> line 18 bubbleSort_0_fini_50 := 0 --> line 21 bubbleSort_0_i_50 := ( bubbleSort_0_i_49 + 1 ) --> line 23 bubbleSort_0_aux_47 := bubbleSort_0_tab_92[( bubbleSort_0_i_50 - 1 )] --> line 18 bubbleSort_0_fini_51 := 0 --> line 21 bubbleSort_0_i_51 := ( bubbleSort_0_i_50 + 1 ) --> line 23 bubbleSort_0_aux_48 := bubbleSort_0_tab_94[( bubbleSort_0_i_51 - 1 )] --> line 18 bubbleSort_0_fini_52 := 0 --> line 21 bubbleSort_0_i_52 := ( bubbleSort_0_i_51 + 1 ) --> line 23 bubbleSort_0_aux_49 := bubbleSort_0_tab_96[( bubbleSort_0_i_52 - 1 )] --> line 18 bubbleSort_0_fini_53 := 0 --> line 21 bubbleSort_0_i_53 := ( bubbleSort_0_i_52 + 1 ) --> line 23 bubbleSort_0_aux_50 := bubbleSort_0_tab_98[( bubbleSort_0_i_53 - 1 )] --> line 18 bubbleSort_0_fini_54 := 0 --> line 21 bubbleSort_0_i_54 := ( bubbleSort_0_i_53 + 1 ) --> line 23 bubbleSort_0_aux_51 := bubbleSort_0_tab_100[( bubbleSort_0_i_54 - 1 )] --> line 18 bubbleSort_0_fini_55 := 0 --> line 21 bubbleSort_0_i_55 := ( bubbleSort_0_i_54 + 1 ) --> line 23 bubbleSort_0_fini_60 := bubbleSort_0_fini_55 --> line 0 bubbleSort_0_i_60 := bubbleSort_0_i_55 --> line 0 bubbleSort_0_aux_56 := bubbleSort_0_aux_51 --> line 0 bubbleSort_0_j_4 := ( bubbleSort_0_j_3 - 1 ) --> line 25 bubbleSort_0_fini_61 := 1 --> line 13 bubbleSort_0_i_61 := 1 --> line 14 bubbleSort_0_aux_57 := bubbleSort_0_tab_112[( bubbleSort_0_i_61 - 1 )] --> line 18 bubbleSort_0_fini_62 := 0 --> line 21 bubbleSort_0_i_62 := ( bubbleSort_0_i_61 + 1 ) --> line 23 bubbleSort_0_aux_58 := bubbleSort_0_tab_114[( bubbleSort_0_i_62 - 1 )] --> line 18 bubbleSort_0_fini_63 := 0 --> line 21 bubbleSort_0_i_63 := ( bubbleSort_0_i_62 + 1 ) --> line 23 bubbleSort_0_aux_59 := bubbleSort_0_tab_116[( bubbleSort_0_i_63 - 1 )] --> line 18 bubbleSort_0_fini_64 := 0 --> line 21 bubbleSort_0_i_64 := ( bubbleSort_0_i_63 + 1 ) --> line 23 bubbleSort_0_aux_60 := bubbleSort_0_tab_118[( bubbleSort_0_i_64 - 1 )] --> line 18 bubbleSort_0_fini_65 := 0 --> line 21 bubbleSort_0_i_65 := ( bubbleSort_0_i_64 + 1 ) --> line 23 bubbleSort_0_aux_61 := bubbleSort_0_tab_120[( bubbleSort_0_i_65 - 1 )] --> line 18 bubbleSort_0_fini_66 := 0 --> line 21 bubbleSort_0_i_66 := ( bubbleSort_0_i_65 + 1 ) --> line 23 bubbleSort_0_aux_62 := bubbleSort_0_tab_122[( bubbleSort_0_i_66 - 1 )] --> line 18 bubbleSort_0_fini_67 := 0 --> line 21 bubbleSort_0_i_67 := ( bubbleSort_0_i_66 + 1 ) --> line 23 bubbleSort_0_aux_63 := bubbleSort_0_tab_124[( bubbleSort_0_i_67 - 1 )] --> line 18 bubbleSort_0_fini_68 := 0 --> line 21 bubbleSort_0_i_68 := ( bubbleSort_0_i_67 + 1 ) --> line 23 bubbleSort_0_aux_64 := bubbleSort_0_tab_126[( bubbleSort_0_i_68 - 1 )] --> line 18 bubbleSort_0_fini_69 := 0 --> line 21 bubbleSort_0_i_69 := ( bubbleSort_0_i_68 + 1 ) --> line 23 bubbleSort_0_fini_75 := bubbleSort_0_fini_69 --> line 0 bubbleSort_0_i_75 := bubbleSort_0_i_69 --> line 0 bubbleSort_0_aux_70 := bubbleSort_0_aux_64 --> line 0 bubbleSort_0_j_5 := ( bubbleSort_0_j_4 - 1 ) --> line 25 bubbleSort_0_fini_76 := 1 --> line 13 bubbleSort_0_i_76 := 1 --> line 14 bubbleSort_0_aux_71 := bubbleSort_0_tab_140[( bubbleSort_0_i_76 - 1 )] --> line 18 bubbleSort_0_fini_77 := 0 --> line 21 bubbleSort_0_i_77 := ( bubbleSort_0_i_76 + 1 ) --> line 23 bubbleSort_0_aux_72 := bubbleSort_0_tab_142[( bubbleSort_0_i_77 - 1 )] --> line 18 bubbleSort_0_fini_78 := 0 --> line 21 bubbleSort_0_i_78 := ( bubbleSort_0_i_77 + 1 ) --> line 23 bubbleSort_0_aux_73 := bubbleSort_0_tab_144[( bubbleSort_0_i_78 - 1 )] --> line 18 bubbleSort_0_fini_79 := 0 --> line 21 bubbleSort_0_i_79 := ( bubbleSort_0_i_78 + 1 ) --> line 23 bubbleSort_0_aux_74 := bubbleSort_0_tab_146[( bubbleSort_0_i_79 - 1 )] --> line 18 bubbleSort_0_fini_80 := 0 --> line 21 bubbleSort_0_i_80 := ( bubbleSort_0_i_79 + 1 ) --> line 23 bubbleSort_0_aux_75 := bubbleSort_0_tab_148[( bubbleSort_0_i_80 - 1 )] --> line 18 bubbleSort_0_fini_81 := 0 --> line 21 bubbleSort_0_i_81 := ( bubbleSort_0_i_80 + 1 ) --> line 23 bubbleSort_0_aux_76 := bubbleSort_0_tab_150[( bubbleSort_0_i_81 - 1 )] --> line 18 bubbleSort_0_fini_82 := 0 --> line 21 bubbleSort_0_i_82 := ( bubbleSort_0_i_81 + 1 ) --> line 23 bubbleSort_0_aux_77 := bubbleSort_0_tab_152[( bubbleSort_0_i_82 - 1 )] --> line 18 bubbleSort_0_fini_83 := 0 --> line 21 bubbleSort_0_i_83 := ( bubbleSort_0_i_82 + 1 ) --> line 23 bubbleSort_0_fini_90 := bubbleSort_0_fini_83 --> line 0 bubbleSort_0_i_90 := bubbleSort_0_i_83 --> line 0 bubbleSort_0_aux_84 := bubbleSort_0_aux_77 --> line 0 bubbleSort_0_j_6 := ( bubbleSort_0_j_5 - 1 ) --> line 25 bubbleSort_0_fini_91 := 1 --> line 13 bubbleSort_0_i_91 := 1 --> line 14 bubbleSort_0_aux_85 := bubbleSort_0_tab_168[( bubbleSort_0_i_91 - 1 )] --> line 18 bubbleSort_0_fini_92 := 0 --> line 21 bubbleSort_0_i_92 := ( bubbleSort_0_i_91 + 1 ) --> line 23 bubbleSort_0_aux_86 := bubbleSort_0_tab_170[( bubbleSort_0_i_92 - 1 )] --> line 18 bubbleSort_0_fini_93 := 0 --> line 21 bubbleSort_0_i_93 := ( bubbleSort_0_i_92 + 1 ) --> line 23 bubbleSort_0_aux_87 := bubbleSort_0_tab_172[( bubbleSort_0_i_93 - 1 )] --> line 18 bubbleSort_0_fini_94 := 0 --> line 21 bubbleSort_0_i_94 := ( bubbleSort_0_i_93 + 1 ) --> line 23 bubbleSort_0_aux_88 := bubbleSort_0_tab_174[( bubbleSort_0_i_94 - 1 )] --> line 18 bubbleSort_0_fini_95 := 0 --> line 21 bubbleSort_0_i_95 := ( bubbleSort_0_i_94 + 1 ) --> line 23 bubbleSort_0_aux_89 := bubbleSort_0_tab_176[( bubbleSort_0_i_95 - 1 )] --> line 18 bubbleSort_0_fini_96 := 0 --> line 21 bubbleSort_0_i_96 := ( bubbleSort_0_i_95 + 1 ) --> line 23 bubbleSort_0_aux_90 := bubbleSort_0_tab_178[( bubbleSort_0_i_96 - 1 )] --> line 18 bubbleSort_0_fini_97 := 0 --> line 21 bubbleSort_0_i_97 := ( bubbleSort_0_i_96 + 1 ) --> line 23 bubbleSort_0_fini_105 := bubbleSort_0_fini_97 --> line 0 bubbleSort_0_i_105 := bubbleSort_0_i_97 --> line 0 bubbleSort_0_aux_98 := bubbleSort_0_aux_90 --> line 0 bubbleSort_0_j_7 := ( bubbleSort_0_j_6 - 1 ) --> line 25 bubbleSort_0_fini_106 := 1 --> line 13 bubbleSort_0_i_106 := 1 --> line 14 bubbleSort_0_aux_99 := bubbleSort_0_tab_196[( bubbleSort_0_i_106 - 1 )] --> line 18 bubbleSort_0_fini_107 := 0 --> line 21 bubbleSort_0_i_107 := ( bubbleSort_0_i_106 + 1 ) --> line 23 bubbleSort_0_aux_100 := bubbleSort_0_tab_198[( bubbleSort_0_i_107 - 1 )] --> line 18 bubbleSort_0_fini_108 := 0 --> line 21 bubbleSort_0_i_108 := ( bubbleSort_0_i_107 + 1 ) --> line 23 bubbleSort_0_aux_101 := bubbleSort_0_tab_200[( bubbleSort_0_i_108 - 1 )] --> line 18 bubbleSort_0_fini_109 := 0 --> line 21 bubbleSort_0_i_109 := ( bubbleSort_0_i_108 + 1 ) --> line 23 bubbleSort_0_aux_102 := bubbleSort_0_tab_202[( bubbleSort_0_i_109 - 1 )] --> line 18 bubbleSort_0_fini_110 := 0 --> line 21 bubbleSort_0_i_110 := ( bubbleSort_0_i_109 + 1 ) --> line 23 bubbleSort_0_aux_103 := bubbleSort_0_tab_204[( bubbleSort_0_i_110 - 1 )] --> line 18 bubbleSort_0_fini_111 := 0 --> line 21 bubbleSort_0_i_111 := ( bubbleSort_0_i_110 + 1 ) --> line 23 bubbleSort_0_fini_120 := bubbleSort_0_fini_111 --> line 0 bubbleSort_0_i_120 := bubbleSort_0_i_111 --> line 0 bubbleSort_0_aux_112 := bubbleSort_0_aux_103 --> line 0 bubbleSort_0_j_8 := ( bubbleSort_0_j_7 - 1 ) --> line 25 bubbleSort_0_fini_121 := 1 --> line 13 bubbleSort_0_i_121 := 1 --> line 14 bubbleSort_0_aux_113 := bubbleSort_0_tab_224[( bubbleSort_0_i_121 - 1 )] --> line 18 bubbleSort_0_fini_122 := 0 --> line 21 bubbleSort_0_i_122 := ( bubbleSort_0_i_121 + 1 ) --> line 23 bubbleSort_0_aux_114 := bubbleSort_0_tab_226[( bubbleSort_0_i_122 - 1 )] --> line 18 bubbleSort_0_fini_123 := 0 --> line 21 bubbleSort_0_i_123 := ( bubbleSort_0_i_122 + 1 ) --> line 23 bubbleSort_0_aux_115 := bubbleSort_0_tab_228[( bubbleSort_0_i_123 - 1 )] --> line 18 bubbleSort_0_fini_124 := 0 --> line 21 bubbleSort_0_i_124 := ( bubbleSort_0_i_123 + 1 ) --> line 23 bubbleSort_0_aux_116 := bubbleSort_0_tab_230[( bubbleSort_0_i_124 - 1 )] --> line 18 bubbleSort_0_fini_125 := 0 --> line 21 bubbleSort_0_i_125 := ( bubbleSort_0_i_124 + 1 ) --> line 23 bubbleSort_0_fini_135 := bubbleSort_0_fini_125 --> line 0 bubbleSort_0_i_135 := bubbleSort_0_i_125 --> line 0 bubbleSort_0_aux_126 := bubbleSort_0_aux_116 --> line 0 bubbleSort_0_j_9 := ( bubbleSort_0_j_8 - 1 ) --> line 25 bubbleSort_0_fini_136 := 1 --> line 13 bubbleSort_0_i_136 := 1 --> line 14 bubbleSort_0_aux_127 := bubbleSort_0_tab_252[( bubbleSort_0_i_136 - 1 )] --> line 18 bubbleSort_0_fini_137 := 0 --> line 21 bubbleSort_0_i_137 := ( bubbleSort_0_i_136 + 1 ) --> line 23 bubbleSort_0_aux_128 := bubbleSort_0_tab_254[( bubbleSort_0_i_137 - 1 )] --> line 18 bubbleSort_0_fini_138 := 0 --> line 21 bubbleSort_0_i_138 := ( bubbleSort_0_i_137 + 1 ) --> line 23 bubbleSort_0_aux_129 := bubbleSort_0_tab_256[( bubbleSort_0_i_138 - 1 )] --> line 18 bubbleSort_0_fini_139 := 0 --> line 21 bubbleSort_0_i_139 := ( bubbleSort_0_i_138 + 1 ) --> line 23 bubbleSort_0_fini_150 := bubbleSort_0_fini_139 --> line 0 bubbleSort_0_i_150 := bubbleSort_0_i_139 --> line 0 bubbleSort_0_aux_140 := bubbleSort_0_aux_129 --> line 0 bubbleSort_0_j_10 := ( bubbleSort_0_j_9 - 1 ) --> line 25 bubbleSort_0_fini_151 := 1 --> line 13 bubbleSort_0_i_151 := 1 --> line 14 bubbleSort_0_aux_141 := bubbleSort_0_tab_280[( bubbleSort_0_i_151 - 1 )] --> line 18 bubbleSort_0_fini_152 := 0 --> line 21 bubbleSort_0_i_152 := ( bubbleSort_0_i_151 + 1 ) --> line 23 bubbleSort_0_aux_142 := bubbleSort_0_tab_282[( bubbleSort_0_i_152 - 1 )] --> line 18 bubbleSort_0_fini_153 := 0 --> line 21 bubbleSort_0_i_153 := ( bubbleSort_0_i_152 + 1 ) --> line 23 bubbleSort_0_fini_165 := bubbleSort_0_fini_153 --> line 0 bubbleSort_0_i_165 := bubbleSort_0_i_153 --> line 0 bubbleSort_0_aux_154 := bubbleSort_0_aux_142 --> line 0 bubbleSort_0_j_11 := ( bubbleSort_0_j_10 - 1 ) --> line 25 bubbleSort_0_fini_166 := 1 --> line 13 bubbleSort_0_i_166 := 1 --> line 14 bubbleSort_0_aux_155 := bubbleSort_0_tab_308[( bubbleSort_0_i_166 - 1 )] --> line 18 bubbleSort_0_fini_167 := 0 --> line 21 bubbleSort_0_i_167 := ( bubbleSort_0_i_166 + 1 ) --> line 23 bubbleSort_0_fini_180 := bubbleSort_0_fini_167 --> line 0 bubbleSort_0_i_180 := bubbleSort_0_i_167 --> line 0 bubbleSort_0_aux_168 := bubbleSort_0_aux_155 --> line 0 bubbleSort_0_j_12 := ( bubbleSort_0_j_11 - 1 ) --> line 25 bubbleSort_0_fini_181 := 1 --> line 13 bubbleSort_0_i_181 := 1 --> line 14 bubbleSort_0_fini_195 := bubbleSort_0_fini_181 --> line 0 bubbleSort_0_i_195 := bubbleSort_0_i_181 --> line 0 bubbleSort_0_aux_182 := bubbleSort_0_aux_168 --> line 0 bubbleSort_0_j_13 := ( bubbleSort_0_j_12 - 1 ) --> line 25 ( bubbleSort_0_i_13 < bubbleSort_0_j_0 ) --> line -2 ( bubbleSort_0_fini_195 == 0 ) --> line -2 bubbleSort_0_tab_1[( bubbleSort_0_i_1 - 1 )] := bubbleSort_0_tab_0[bubbleSort_0_i_1] --> line 19 bubbleSort_0_tab_2[bubbleSort_0_i_1] := bubbleSort_0_aux_1 --> line 20 bubbleSort_0_tab_3[( bubbleSort_0_i_2 - 1 )] := bubbleSort_0_tab_2[bubbleSort_0_i_2] --> line 19 bubbleSort_0_tab_4[bubbleSort_0_i_2] := bubbleSort_0_aux_2 --> line 20 bubbleSort_0_tab_5[( bubbleSort_0_i_3 - 1 )] := bubbleSort_0_tab_4[bubbleSort_0_i_3] --> line 19 bubbleSort_0_tab_6[bubbleSort_0_i_3] := bubbleSort_0_aux_3 --> line 20 bubbleSort_0_tab_7[( bubbleSort_0_i_4 - 1 )] := bubbleSort_0_tab_6[bubbleSort_0_i_4] --> line 19 bubbleSort_0_tab_8[bubbleSort_0_i_4] := bubbleSort_0_aux_4 --> line 20 bubbleSort_0_tab_9[( bubbleSort_0_i_5 - 1 )] := bubbleSort_0_tab_8[bubbleSort_0_i_5] --> line 19 bubbleSort_0_tab_10[bubbleSort_0_i_5] := bubbleSort_0_aux_5 --> line 20 bubbleSort_0_tab_11[( bubbleSort_0_i_6 - 1 )] := bubbleSort_0_tab_10[bubbleSort_0_i_6] --> line 19 bubbleSort_0_tab_12[bubbleSort_0_i_6] := bubbleSort_0_aux_6 --> line 20 bubbleSort_0_tab_13[( bubbleSort_0_i_7 - 1 )] := bubbleSort_0_tab_12[bubbleSort_0_i_7] --> line 19 bubbleSort_0_tab_14[bubbleSort_0_i_7] := bubbleSort_0_aux_7 --> line 20 bubbleSort_0_tab_15[( bubbleSort_0_i_8 - 1 )] := bubbleSort_0_tab_14[bubbleSort_0_i_8] --> line 19 bubbleSort_0_tab_16[bubbleSort_0_i_8] := bubbleSort_0_aux_8 --> line 20 bubbleSort_0_tab_17[( bubbleSort_0_i_9 - 1 )] := bubbleSort_0_tab_16[bubbleSort_0_i_9] --> line 19 bubbleSort_0_tab_18[bubbleSort_0_i_9] := bubbleSort_0_aux_9 --> line 20 bubbleSort_0_tab_19[( bubbleSort_0_i_10 - 1 )] := bubbleSort_0_tab_18[bubbleSort_0_i_10] --> line 19 bubbleSort_0_tab_20[bubbleSort_0_i_10] := bubbleSort_0_aux_10 --> line 20 bubbleSort_0_tab_21[( bubbleSort_0_i_11 - 1 )] := bubbleSort_0_tab_20[bubbleSort_0_i_11] --> line 19 bubbleSort_0_tab_22[bubbleSort_0_i_11] := bubbleSort_0_aux_11 --> line 20 bubbleSort_0_tab_23[( bubbleSort_0_i_12 - 1 )] := bubbleSort_0_tab_22[bubbleSort_0_i_12] --> line 19 bubbleSort_0_tab_24[bubbleSort_0_i_12] := bubbleSort_0_aux_12 --> line 20 bubbleSort_0_tab_25[( bubbleSort_0_i_13 - 1 )] := bubbleSort_0_tab_24[bubbleSort_0_i_13] --> line 19 bubbleSort_0_tab_26[bubbleSort_0_i_13] := bubbleSort_0_aux_13 --> line 20 bubbleSort_0_tab_28 := bubbleSort_0_tab_26 --> line 0 bubbleSort_0_tab_29[( bubbleSort_0_i_16 - 1 )] := bubbleSort_0_tab_28[bubbleSort_0_i_16] --> line 19 bubbleSort_0_tab_30[bubbleSort_0_i_16] := bubbleSort_0_aux_15 --> line 20 bubbleSort_0_tab_31[( bubbleSort_0_i_17 - 1 )] := bubbleSort_0_tab_30[bubbleSort_0_i_17] --> line 19 bubbleSort_0_tab_32[bubbleSort_0_i_17] := bubbleSort_0_aux_16 --> line 20 bubbleSort_0_tab_33[( bubbleSort_0_i_18 - 1 )] := bubbleSort_0_tab_32[bubbleSort_0_i_18] --> line 19 bubbleSort_0_tab_34[bubbleSort_0_i_18] := bubbleSort_0_aux_17 --> line 20 bubbleSort_0_tab_35[( bubbleSort_0_i_19 - 1 )] := bubbleSort_0_tab_34[bubbleSort_0_i_19] --> line 19 bubbleSort_0_tab_36[bubbleSort_0_i_19] := bubbleSort_0_aux_18 --> line 20 bubbleSort_0_tab_37[( bubbleSort_0_i_20 - 1 )] := bubbleSort_0_tab_36[bubbleSort_0_i_20] --> line 19 bubbleSort_0_tab_38[bubbleSort_0_i_20] := bubbleSort_0_aux_19 --> line 20 bubbleSort_0_tab_39[( bubbleSort_0_i_21 - 1 )] := bubbleSort_0_tab_38[bubbleSort_0_i_21] --> line 19 bubbleSort_0_tab_40[bubbleSort_0_i_21] := bubbleSort_0_aux_20 --> line 20 bubbleSort_0_tab_41[( bubbleSort_0_i_22 - 1 )] := bubbleSort_0_tab_40[bubbleSort_0_i_22] --> line 19 bubbleSort_0_tab_42[bubbleSort_0_i_22] := bubbleSort_0_aux_21 --> line 20 bubbleSort_0_tab_43[( bubbleSort_0_i_23 - 1 )] := bubbleSort_0_tab_42[bubbleSort_0_i_23] --> line 19 bubbleSort_0_tab_44[bubbleSort_0_i_23] := bubbleSort_0_aux_22 --> line 20 bubbleSort_0_tab_45[( bubbleSort_0_i_24 - 1 )] := bubbleSort_0_tab_44[bubbleSort_0_i_24] --> line 19 bubbleSort_0_tab_46[bubbleSort_0_i_24] := bubbleSort_0_aux_23 --> line 20 bubbleSort_0_tab_47[( bubbleSort_0_i_25 - 1 )] := bubbleSort_0_tab_46[bubbleSort_0_i_25] --> line 19 bubbleSort_0_tab_48[bubbleSort_0_i_25] := bubbleSort_0_aux_24 --> line 20 bubbleSort_0_tab_49[( bubbleSort_0_i_26 - 1 )] := bubbleSort_0_tab_48[bubbleSort_0_i_26] --> line 19 bubbleSort_0_tab_50[bubbleSort_0_i_26] := bubbleSort_0_aux_25 --> line 20 bubbleSort_0_tab_56 := bubbleSort_0_tab_50 --> line 0 bubbleSort_0_tab_57[( bubbleSort_0_i_31 - 1 )] := bubbleSort_0_tab_56[bubbleSort_0_i_31] --> line 19 bubbleSort_0_tab_58[bubbleSort_0_i_31] := bubbleSort_0_aux_29 --> line 20 bubbleSort_0_tab_59[( bubbleSort_0_i_32 - 1 )] := bubbleSort_0_tab_58[bubbleSort_0_i_32] --> line 19 bubbleSort_0_tab_60[bubbleSort_0_i_32] := bubbleSort_0_aux_30 --> line 20 bubbleSort_0_tab_61[( bubbleSort_0_i_33 - 1 )] := bubbleSort_0_tab_60[bubbleSort_0_i_33] --> line 19 bubbleSort_0_tab_62[bubbleSort_0_i_33] := bubbleSort_0_aux_31 --> line 20 bubbleSort_0_tab_63[( bubbleSort_0_i_34 - 1 )] := bubbleSort_0_tab_62[bubbleSort_0_i_34] --> line 19 bubbleSort_0_tab_64[bubbleSort_0_i_34] := bubbleSort_0_aux_32 --> line 20 bubbleSort_0_tab_65[( bubbleSort_0_i_35 - 1 )] := bubbleSort_0_tab_64[bubbleSort_0_i_35] --> line 19 bubbleSort_0_tab_66[bubbleSort_0_i_35] := bubbleSort_0_aux_33 --> line 20 bubbleSort_0_tab_67[( bubbleSort_0_i_36 - 1 )] := bubbleSort_0_tab_66[bubbleSort_0_i_36] --> line 19 bubbleSort_0_tab_68[bubbleSort_0_i_36] := bubbleSort_0_aux_34 --> line 20 bubbleSort_0_tab_69[( bubbleSort_0_i_37 - 1 )] := bubbleSort_0_tab_68[bubbleSort_0_i_37] --> line 19 bubbleSort_0_tab_70[bubbleSort_0_i_37] := bubbleSort_0_aux_35 --> line 20 bubbleSort_0_tab_71[( bubbleSort_0_i_38 - 1 )] := bubbleSort_0_tab_70[bubbleSort_0_i_38] --> line 19 bubbleSort_0_tab_72[bubbleSort_0_i_38] := bubbleSort_0_aux_36 --> line 20 bubbleSort_0_tab_73[( bubbleSort_0_i_39 - 1 )] := bubbleSort_0_tab_72[bubbleSort_0_i_39] --> line 19 bubbleSort_0_tab_74[bubbleSort_0_i_39] := bubbleSort_0_aux_37 --> line 20 bubbleSort_0_tab_75[( bubbleSort_0_i_40 - 1 )] := bubbleSort_0_tab_74[bubbleSort_0_i_40] --> line 19 bubbleSort_0_tab_76[bubbleSort_0_i_40] := bubbleSort_0_aux_38 --> line 20 bubbleSort_0_tab_84 := bubbleSort_0_tab_76 --> line 0 bubbleSort_0_tab_85[( bubbleSort_0_i_46 - 1 )] := bubbleSort_0_tab_84[bubbleSort_0_i_46] --> line 19 bubbleSort_0_tab_86[bubbleSort_0_i_46] := bubbleSort_0_aux_43 --> line 20 bubbleSort_0_tab_87[( bubbleSort_0_i_47 - 1 )] := bubbleSort_0_tab_86[bubbleSort_0_i_47] --> line 19 bubbleSort_0_tab_88[bubbleSort_0_i_47] := bubbleSort_0_aux_44 --> line 20 bubbleSort_0_tab_89[( bubbleSort_0_i_48 - 1 )] := bubbleSort_0_tab_88[bubbleSort_0_i_48] --> line 19 bubbleSort_0_tab_90[bubbleSort_0_i_48] := bubbleSort_0_aux_45 --> line 20 bubbleSort_0_tab_91[( bubbleSort_0_i_49 - 1 )] := bubbleSort_0_tab_90[bubbleSort_0_i_49] --> line 19 bubbleSort_0_tab_92[bubbleSort_0_i_49] := bubbleSort_0_aux_46 --> line 20 bubbleSort_0_tab_93[( bubbleSort_0_i_50 - 1 )] := bubbleSort_0_tab_92[bubbleSort_0_i_50] --> line 19 bubbleSort_0_tab_94[bubbleSort_0_i_50] := bubbleSort_0_aux_47 --> line 20 bubbleSort_0_tab_95[( bubbleSort_0_i_51 - 1 )] := bubbleSort_0_tab_94[bubbleSort_0_i_51] --> line 19 bubbleSort_0_tab_96[bubbleSort_0_i_51] := bubbleSort_0_aux_48 --> line 20 bubbleSort_0_tab_97[( bubbleSort_0_i_52 - 1 )] := bubbleSort_0_tab_96[bubbleSort_0_i_52] --> line 19 bubbleSort_0_tab_98[bubbleSort_0_i_52] := bubbleSort_0_aux_49 --> line 20 bubbleSort_0_tab_99[( bubbleSort_0_i_53 - 1 )] := bubbleSort_0_tab_98[bubbleSort_0_i_53] --> line 19 bubbleSort_0_tab_100[bubbleSort_0_i_53] := bubbleSort_0_aux_50 --> line 20 bubbleSort_0_tab_101[( bubbleSort_0_i_54 - 1 )] := bubbleSort_0_tab_100[bubbleSort_0_i_54] --> line 19 bubbleSort_0_tab_102[bubbleSort_0_i_54] := bubbleSort_0_aux_51 --> line 20 bubbleSort_0_tab_112 := bubbleSort_0_tab_102 --> line 0 bubbleSort_0_tab_113[( bubbleSort_0_i_61 - 1 )] := bubbleSort_0_tab_112[bubbleSort_0_i_61] --> line 19 bubbleSort_0_tab_114[bubbleSort_0_i_61] := bubbleSort_0_aux_57 --> line 20 bubbleSort_0_tab_115[( bubbleSort_0_i_62 - 1 )] := bubbleSort_0_tab_114[bubbleSort_0_i_62] --> line 19 bubbleSort_0_tab_116[bubbleSort_0_i_62] := bubbleSort_0_aux_58 --> line 20 bubbleSort_0_tab_117[( bubbleSort_0_i_63 - 1 )] := bubbleSort_0_tab_116[bubbleSort_0_i_63] --> line 19 bubbleSort_0_tab_118[bubbleSort_0_i_63] := bubbleSort_0_aux_59 --> line 20 bubbleSort_0_tab_119[( bubbleSort_0_i_64 - 1 )] := bubbleSort_0_tab_118[bubbleSort_0_i_64] --> line 19 bubbleSort_0_tab_120[bubbleSort_0_i_64] := bubbleSort_0_aux_60 --> line 20 bubbleSort_0_tab_121[( bubbleSort_0_i_65 - 1 )] := bubbleSort_0_tab_120[bubbleSort_0_i_65] --> line 19 bubbleSort_0_tab_122[bubbleSort_0_i_65] := bubbleSort_0_aux_61 --> line 20 bubbleSort_0_tab_123[( bubbleSort_0_i_66 - 1 )] := bubbleSort_0_tab_122[bubbleSort_0_i_66] --> line 19 bubbleSort_0_tab_124[bubbleSort_0_i_66] := bubbleSort_0_aux_62 --> line 20 bubbleSort_0_tab_125[( bubbleSort_0_i_67 - 1 )] := bubbleSort_0_tab_124[bubbleSort_0_i_67] --> line 19 bubbleSort_0_tab_126[bubbleSort_0_i_67] := bubbleSort_0_aux_63 --> line 20 bubbleSort_0_tab_127[( bubbleSort_0_i_68 - 1 )] := bubbleSort_0_tab_126[bubbleSort_0_i_68] --> line 19 bubbleSort_0_tab_128[bubbleSort_0_i_68] := bubbleSort_0_aux_64 --> line 20 bubbleSort_0_tab_140 := bubbleSort_0_tab_128 --> line 0 bubbleSort_0_tab_141[( bubbleSort_0_i_76 - 1 )] := bubbleSort_0_tab_140[bubbleSort_0_i_76] --> line 19 bubbleSort_0_tab_142[bubbleSort_0_i_76] := bubbleSort_0_aux_71 --> line 20 bubbleSort_0_tab_143[( bubbleSort_0_i_77 - 1 )] := bubbleSort_0_tab_142[bubbleSort_0_i_77] --> line 19 bubbleSort_0_tab_144[bubbleSort_0_i_77] := bubbleSort_0_aux_72 --> line 20 bubbleSort_0_tab_145[( bubbleSort_0_i_78 - 1 )] := bubbleSort_0_tab_144[bubbleSort_0_i_78] --> line 19 bubbleSort_0_tab_146[bubbleSort_0_i_78] := bubbleSort_0_aux_73 --> line 20 bubbleSort_0_tab_147[( bubbleSort_0_i_79 - 1 )] := bubbleSort_0_tab_146[bubbleSort_0_i_79] --> line 19 bubbleSort_0_tab_148[bubbleSort_0_i_79] := bubbleSort_0_aux_74 --> line 20 bubbleSort_0_tab_149[( bubbleSort_0_i_80 - 1 )] := bubbleSort_0_tab_148[bubbleSort_0_i_80] --> line 19 bubbleSort_0_tab_150[bubbleSort_0_i_80] := bubbleSort_0_aux_75 --> line 20 bubbleSort_0_tab_151[( bubbleSort_0_i_81 - 1 )] := bubbleSort_0_tab_150[bubbleSort_0_i_81] --> line 19 bubbleSort_0_tab_152[bubbleSort_0_i_81] := bubbleSort_0_aux_76 --> line 20 bubbleSort_0_tab_153[( bubbleSort_0_i_82 - 1 )] := bubbleSort_0_tab_152[bubbleSort_0_i_82] --> line 19 bubbleSort_0_tab_154[bubbleSort_0_i_82] := bubbleSort_0_aux_77 --> line 20 bubbleSort_0_tab_168 := bubbleSort_0_tab_154 --> line 0 bubbleSort_0_tab_169[( bubbleSort_0_i_91 - 1 )] := bubbleSort_0_tab_168[bubbleSort_0_i_91] --> line 19 bubbleSort_0_tab_170[bubbleSort_0_i_91] := bubbleSort_0_aux_85 --> line 20 bubbleSort_0_tab_171[( bubbleSort_0_i_92 - 1 )] := bubbleSort_0_tab_170[bubbleSort_0_i_92] --> line 19 bubbleSort_0_tab_172[bubbleSort_0_i_92] := bubbleSort_0_aux_86 --> line 20 bubbleSort_0_tab_173[( bubbleSort_0_i_93 - 1 )] := bubbleSort_0_tab_172[bubbleSort_0_i_93] --> line 19 bubbleSort_0_tab_174[bubbleSort_0_i_93] := bubbleSort_0_aux_87 --> line 20 bubbleSort_0_tab_175[( bubbleSort_0_i_94 - 1 )] := bubbleSort_0_tab_174[bubbleSort_0_i_94] --> line 19 bubbleSort_0_tab_176[bubbleSort_0_i_94] := bubbleSort_0_aux_88 --> line 20 bubbleSort_0_tab_177[( bubbleSort_0_i_95 - 1 )] := bubbleSort_0_tab_176[bubbleSort_0_i_95] --> line 19 bubbleSort_0_tab_178[bubbleSort_0_i_95] := bubbleSort_0_aux_89 --> line 20 bubbleSort_0_tab_179[( bubbleSort_0_i_96 - 1 )] := bubbleSort_0_tab_178[bubbleSort_0_i_96] --> line 19 bubbleSort_0_tab_180[bubbleSort_0_i_96] := bubbleSort_0_aux_90 --> line 20 bubbleSort_0_tab_196 := bubbleSort_0_tab_180 --> line 0 bubbleSort_0_tab_197[( bubbleSort_0_i_106 - 1 )] := bubbleSort_0_tab_196[bubbleSort_0_i_106] --> line 19 bubbleSort_0_tab_198[bubbleSort_0_i_106] := bubbleSort_0_aux_99 --> line 20 bubbleSort_0_tab_199[( bubbleSort_0_i_107 - 1 )] := bubbleSort_0_tab_198[bubbleSort_0_i_107] --> line 19 bubbleSort_0_tab_200[bubbleSort_0_i_107] := bubbleSort_0_aux_100 --> line 20 bubbleSort_0_tab_201[( bubbleSort_0_i_108 - 1 )] := bubbleSort_0_tab_200[bubbleSort_0_i_108] --> line 19 bubbleSort_0_tab_202[bubbleSort_0_i_108] := bubbleSort_0_aux_101 --> line 20 bubbleSort_0_tab_203[( bubbleSort_0_i_109 - 1 )] := bubbleSort_0_tab_202[bubbleSort_0_i_109] --> line 19 bubbleSort_0_tab_204[bubbleSort_0_i_109] := bubbleSort_0_aux_102 --> line 20 bubbleSort_0_tab_205[( bubbleSort_0_i_110 - 1 )] := bubbleSort_0_tab_204[bubbleSort_0_i_110] --> line 19 bubbleSort_0_tab_206[bubbleSort_0_i_110] := bubbleSort_0_aux_103 --> line 20 bubbleSort_0_tab_224 := bubbleSort_0_tab_206 --> line 0 bubbleSort_0_tab_225[( bubbleSort_0_i_121 - 1 )] := bubbleSort_0_tab_224[bubbleSort_0_i_121] --> line 19 bubbleSort_0_tab_226[bubbleSort_0_i_121] := bubbleSort_0_aux_113 --> line 20 bubbleSort_0_tab_227[( bubbleSort_0_i_122 - 1 )] := bubbleSort_0_tab_226[bubbleSort_0_i_122] --> line 19 bubbleSort_0_tab_228[bubbleSort_0_i_122] := bubbleSort_0_aux_114 --> line 20 bubbleSort_0_tab_229[( bubbleSort_0_i_123 - 1 )] := bubbleSort_0_tab_228[bubbleSort_0_i_123] --> line 19 bubbleSort_0_tab_230[bubbleSort_0_i_123] := bubbleSort_0_aux_115 --> line 20 bubbleSort_0_tab_231[( bubbleSort_0_i_124 - 1 )] := bubbleSort_0_tab_230[bubbleSort_0_i_124] --> line 19 bubbleSort_0_tab_232[bubbleSort_0_i_124] := bubbleSort_0_aux_116 --> line 20 bubbleSort_0_tab_252 := bubbleSort_0_tab_232 --> line 0 bubbleSort_0_tab_253[( bubbleSort_0_i_136 - 1 )] := bubbleSort_0_tab_252[bubbleSort_0_i_136] --> line 19 bubbleSort_0_tab_254[bubbleSort_0_i_136] := bubbleSort_0_aux_127 --> line 20 bubbleSort_0_tab_255[( bubbleSort_0_i_137 - 1 )] := bubbleSort_0_tab_254[bubbleSort_0_i_137] --> line 19 bubbleSort_0_tab_256[bubbleSort_0_i_137] := bubbleSort_0_aux_128 --> line 20 bubbleSort_0_tab_257[( bubbleSort_0_i_138 - 1 )] := bubbleSort_0_tab_256[bubbleSort_0_i_138] --> line 19 bubbleSort_0_tab_258[bubbleSort_0_i_138] := bubbleSort_0_aux_129 --> line 20 bubbleSort_0_tab_280 := bubbleSort_0_tab_258 --> line 0 bubbleSort_0_tab_281[( bubbleSort_0_i_151 - 1 )] := bubbleSort_0_tab_280[bubbleSort_0_i_151] --> line 19 bubbleSort_0_tab_282[bubbleSort_0_i_151] := bubbleSort_0_aux_141 --> line 20 bubbleSort_0_tab_283[( bubbleSort_0_i_152 - 1 )] := bubbleSort_0_tab_282[bubbleSort_0_i_152] --> line 19 bubbleSort_0_tab_284[bubbleSort_0_i_152] := bubbleSort_0_aux_142 --> line 20 bubbleSort_0_tab_308 := bubbleSort_0_tab_284 --> line 0 bubbleSort_0_tab_309[( bubbleSort_0_i_166 - 1 )] := bubbleSort_0_tab_308[bubbleSort_0_i_166] --> line 19 bubbleSort_0_tab_310[bubbleSort_0_i_166] := bubbleSort_0_aux_155 --> line 20 bubbleSort_0_tab_336 := bubbleSort_0_tab_310 --> line 0 bubbleSort_0_tab_364 := bubbleSort_0_tab_336 --> line 0 The system is infeasible ------------------------ 3. MCS in CSP_a: {line 23,line 13} {line 23,line 0} {line 23,line 13} {line 23,line 0} {line 23,line 13} {line 23,line 0} {line 23,line 13} {line 23,line 0} {line 23,line 13} {line 23,line 0} {line 23,line 13} {line 9,line 13} {line 9,line 0} {line 23,line 0} {line 23,line 13} {line 23,line 13} {line 23,line 0} {line 23,line 0} {line 23,line 13} {line 23,line 0} {line 23,line 13} {line 23,line 13} {line 23,line 13} {line 14,line 13} {line 23,line 0} {line 23,line 0} {line 14,line 0} {line 23,line 0} Runtime of the method that compute MCS: 28.86 MIVcard(ctrs,line 9)=1.0 MIVcard(ctrs,line 14)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 23)=1.0 MIVcard(ctrs,line 13)=7.0 MIVcard(ctrs,line 0)=7.0 The number of instructions suspected: 15 IIS in CSP_a using Deletion Filter: {CE,line 13,line 0,POST} Runtime of the method that compute IIS using Deletion Filter: 7.464 IIS in CSP_a using QuickExplain: Length of the set of soft constraints : 490 {CE,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 14,line 9,POST} Runtime of the method that compute IIS using QuickExplain: 1.569 IIS in CSP_a using the conflict refiner implementation of CPLEX: {CE,line 9,line 14,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,line 23,POST} Runtime of the method that compute IIS using the conflict refiner implementation of CPLEX: 1.169 Solver: CPLEX 1. CSP_d: line 15(If) : ( bubbleSort_0_i_16 < bubbleSort_0_j_1 ) line 12(Else) : ( bubbleSort_0_fini_30 == 0 ) ------------------------ 2. CSP_a: bubbleSort_0_tab_0[0] := 974 --> line -1 bubbleSort_0_tab_0[1] := 971 --> line -1 bubbleSort_0_tab_0[2] := 946 --> line -1 bubbleSort_0_tab_0[3] := 926 --> line -1 bubbleSort_0_tab_0[4] := 892 --> line -1 bubbleSort_0_tab_0[5] := 864 --> line -1 bubbleSort_0_tab_0[6] := 848 --> line -1 bubbleSort_0_tab_0[7] := 829 --> line -1 bubbleSort_0_tab_0[8] := 586 --> line -1 bubbleSort_0_tab_0[9] := 544 --> line -1 bubbleSort_0_tab_0[10] := 504 --> line -1 bubbleSort_0_tab_0[11] := 445 --> line -1 bubbleSort_0_tab_0[12] := 278 --> line -1 bubbleSort_0_tab_0[13] := 971 --> line -1 bubbleSort_0_i_0 := 0 --> line 8 bubbleSort_0_j_0 := ( 14 - 1 ) --> line 9 bubbleSort_0_aux_0 := 0 --> line 10 bubbleSort_0_fini_0 := 0 --> line 11 bubbleSort_0_fini_1 := 1 --> line 13 bubbleSort_0_i_1 := 1 --> line 14 bubbleSort_0_aux_1 := bubbleSort_0_tab_0[( bubbleSort_0_i_1 - 1 )] --> line 18 bubbleSort_0_fini_2 := 0 --> line 21 bubbleSort_0_i_2 := ( bubbleSort_0_i_1 + 1 ) --> line 23 bubbleSort_0_aux_2 := bubbleSort_0_tab_2[( bubbleSort_0_i_2 - 1 )] --> line 18 bubbleSort_0_fini_3 := 0 --> line 21 bubbleSort_0_i_3 := ( bubbleSort_0_i_2 + 1 ) --> line 23 bubbleSort_0_aux_3 := bubbleSort_0_tab_4[( bubbleSort_0_i_3 - 1 )] --> line 18 bubbleSort_0_fini_4 := 0 --> line 21 bubbleSort_0_i_4 := ( bubbleSort_0_i_3 + 1 ) --> line 23 bubbleSort_0_aux_4 := bubbleSort_0_tab_6[( bubbleSort_0_i_4 - 1 )] --> line 18 bubbleSort_0_fini_5 := 0 --> line 21 bubbleSort_0_i_5 := ( bubbleSort_0_i_4 + 1 ) --> line 23 bubbleSort_0_aux_5 := bubbleSort_0_tab_8[( bubbleSort_0_i_5 - 1 )] --> line 18 bubbleSort_0_fini_6 := 0 --> line 21 bubbleSort_0_i_6 := ( bubbleSort_0_i_5 + 1 ) --> line 23 bubbleSort_0_aux_6 := bubbleSort_0_tab_10[( bubbleSort_0_i_6 - 1 )] --> line 18 bubbleSort_0_fini_7 := 0 --> line 21 bubbleSort_0_i_7 := ( bubbleSort_0_i_6 + 1 ) --> line 23 bubbleSort_0_aux_7 := bubbleSort_0_tab_12[( bubbleSort_0_i_7 - 1 )] --> line 18 bubbleSort_0_fini_8 := 0 --> line 21 bubbleSort_0_i_8 := ( bubbleSort_0_i_7 + 1 ) --> line 23 bubbleSort_0_aux_8 := bubbleSort_0_tab_14[( bubbleSort_0_i_8 - 1 )] --> line 18 bubbleSort_0_fini_9 := 0 --> line 21 bubbleSort_0_i_9 := ( bubbleSort_0_i_8 + 1 ) --> line 23 bubbleSort_0_aux_9 := bubbleSort_0_tab_16[( bubbleSort_0_i_9 - 1 )] --> line 18 bubbleSort_0_fini_10 := 0 --> line 21 bubbleSort_0_i_10 := ( bubbleSort_0_i_9 + 1 ) --> line 23 bubbleSort_0_aux_10 := bubbleSort_0_tab_18[( bubbleSort_0_i_10 - 1 )] --> line 18 bubbleSort_0_fini_11 := 0 --> line 21 bubbleSort_0_i_11 := ( bubbleSort_0_i_10 + 1 ) --> line 23 bubbleSort_0_aux_11 := bubbleSort_0_tab_20[( bubbleSort_0_i_11 - 1 )] --> line 18 bubbleSort_0_fini_12 := 0 --> line 21 bubbleSort_0_i_12 := ( bubbleSort_0_i_11 + 1 ) --> line 23 bubbleSort_0_aux_12 := bubbleSort_0_tab_22[( bubbleSort_0_i_12 - 1 )] --> line 18 bubbleSort_0_fini_13 := 0 --> line 21 bubbleSort_0_i_13 := ( bubbleSort_0_i_12 + 1 ) --> line 23 bubbleSort_0_fini_15 := bubbleSort_0_fini_13 --> line 0 bubbleSort_0_i_15 := bubbleSort_0_i_13 --> line 0 bubbleSort_0_aux_14 := bubbleSort_0_aux_12 --> line 0 bubbleSort_0_j_1 := ( bubbleSort_0_j_0 - 1 ) --> line 25 bubbleSort_0_fini_16 := 1 --> line 13 bubbleSort_0_i_16 := 1 --> line 14 bubbleSort_0_fini_30 := bubbleSort_0_fini_16 --> line 0 bubbleSort_0_i_30 := bubbleSort_0_i_16 --> line 0 bubbleSort_0_aux_28 := bubbleSort_0_aux_14 --> line 0 bubbleSort_0_j_2 := ( bubbleSort_0_j_1 - 1 ) --> line 25 !( ( bubbleSort_0_i_16 < bubbleSort_0_j_1 ) ) --> line -2 ( bubbleSort_0_fini_30 == 0 ) --> line -2 bubbleSort_0_tab_1[( bubbleSort_0_i_1 - 1 )] := bubbleSort_0_tab_0[bubbleSort_0_i_1] --> line 19 bubbleSort_0_tab_2[bubbleSort_0_i_1] := bubbleSort_0_aux_1 --> line 20 bubbleSort_0_tab_3[( bubbleSort_0_i_2 - 1 )] := bubbleSort_0_tab_2[bubbleSort_0_i_2] --> line 19 bubbleSort_0_tab_4[bubbleSort_0_i_2] := bubbleSort_0_aux_2 --> line 20 bubbleSort_0_tab_5[( bubbleSort_0_i_3 - 1 )] := bubbleSort_0_tab_4[bubbleSort_0_i_3] --> line 19 bubbleSort_0_tab_6[bubbleSort_0_i_3] := bubbleSort_0_aux_3 --> line 20 bubbleSort_0_tab_7[( bubbleSort_0_i_4 - 1 )] := bubbleSort_0_tab_6[bubbleSort_0_i_4] --> line 19 bubbleSort_0_tab_8[bubbleSort_0_i_4] := bubbleSort_0_aux_4 --> line 20 bubbleSort_0_tab_9[( bubbleSort_0_i_5 - 1 )] := bubbleSort_0_tab_8[bubbleSort_0_i_5] --> line 19 bubbleSort_0_tab_10[bubbleSort_0_i_5] := bubbleSort_0_aux_5 --> line 20 bubbleSort_0_tab_11[( bubbleSort_0_i_6 - 1 )] := bubbleSort_0_tab_10[bubbleSort_0_i_6] --> line 19 bubbleSort_0_tab_12[bubbleSort_0_i_6] := bubbleSort_0_aux_6 --> line 20 bubbleSort_0_tab_13[( bubbleSort_0_i_7 - 1 )] := bubbleSort_0_tab_12[bubbleSort_0_i_7] --> line 19 bubbleSort_0_tab_14[bubbleSort_0_i_7] := bubbleSort_0_aux_7 --> line 20 bubbleSort_0_tab_15[( bubbleSort_0_i_8 - 1 )] := bubbleSort_0_tab_14[bubbleSort_0_i_8] --> line 19 bubbleSort_0_tab_16[bubbleSort_0_i_8] := bubbleSort_0_aux_8 --> line 20 bubbleSort_0_tab_17[( bubbleSort_0_i_9 - 1 )] := bubbleSort_0_tab_16[bubbleSort_0_i_9] --> line 19 bubbleSort_0_tab_18[bubbleSort_0_i_9] := bubbleSort_0_aux_9 --> line 20 bubbleSort_0_tab_19[( bubbleSort_0_i_10 - 1 )] := bubbleSort_0_tab_18[bubbleSort_0_i_10] --> line 19 bubbleSort_0_tab_20[bubbleSort_0_i_10] := bubbleSort_0_aux_10 --> line 20 bubbleSort_0_tab_21[( bubbleSort_0_i_11 - 1 )] := bubbleSort_0_tab_20[bubbleSort_0_i_11] --> line 19 bubbleSort_0_tab_22[bubbleSort_0_i_11] := bubbleSort_0_aux_11 --> line 20 bubbleSort_0_tab_23[( bubbleSort_0_i_12 - 1 )] := bubbleSort_0_tab_22[bubbleSort_0_i_12] --> line 19 bubbleSort_0_tab_24[bubbleSort_0_i_12] := bubbleSort_0_aux_12 --> line 20 bubbleSort_0_tab_28 := bubbleSort_0_tab_24 --> line 0 bubbleSort_0_tab_56 := bubbleSort_0_tab_28 --> line 0 The system is infeasible ------------------------ 3. MCS in CSP_a: {line 25,line 13} {line 9,line 13} {line 13,line 14} {line 9,line 0} {line 25,line 0} {line 14,line 0} Runtime of the method that compute MCS: 0.982 MIVcard(ctrs,line 9)=1.0 MIVcard(ctrs,line 25)=1.0 MIVcard(ctrs,line 13)=1.5 MIVcard(ctrs,line 14)=1.0 MIVcard(ctrs,line 0)=1.5 The number of instructions suspected: 4 IIS in CSP_a using Deletion Filter: {CE,line 13,line 0,POST} Runtime of the method that compute IIS using Deletion Filter: 0.92 IIS in CSP_a using QuickExplain: Length of the set of soft constraints : 78 {CE,line 14,line 25,line 9,POST} Runtime of the method that compute IIS using QuickExplain: 0.441 IIS in CSP_a using the conflict refiner implementation of CPLEX: {CE,line 9,line 25,line 14,POST} Runtime of the method that compute IIS using the conflict refiner implementation of CPLEX: 0.145 The resulats: 1. Elapsed time during DFS exploration: 51.92 2. Elapsed time during MCS calculation: 1080.272 3. Elapsed time during IIS isolation using Deletion Filter: 26.383 4. Elapsed time during IIS isolation using QuickExplain: 5.977 5. Elapsed time during IIS isolation using Conflict Refiner: 3.516 /***************************************************************/ The final resulats: 1. The pretreatment(CFG building) time: 0.401 2. Total elapsed time during DFS exploration: 52.57 3. The time required to calculate the MCSs:1174.953 4. The time required for Deletion Filter:41.046 5. The time required for QuickExplain:240.299 6. The time required for the conflict refiner implementation:22.02 7. Total elapsed time during DFS exploration and MCS calculation: 1227.523 8. Total elapsed time during DFS exploration and IIS calculation using Deletion Filter: 93.616 9. Total elapsed time during DFS exploration and IIS calculation using QuickExplain: 292.869 10. Total elapsed time during DFS exploration and IIS calculation using conflict refiner: 74.59 11. Suspicious instructions (using MCSs):[18, 19, 20, 15, 12, 9, 14, 23, 21, 25, 13] 12. Suspicious instructions (using Deletion Filter):[18, 19, 20, 21, 9, 25, 12, 13, 14, 15] 13. Suspicious instructions (using QuickExplain):[18, 19, 20, 23, 9, 25, 12, 14, 15] 14. Suspicious instructions (using Conflict Refiner):[18, 19, 20, 23, 9, 25, 12, 14, 15] Total elapsed time: 1531.335 s.