DOING LOCALIZATION... NLS missing message: initializer_error in: org.eclipse.core.internal.runtime.messages NLS missing message: fileInitializer_fileNotFound in: org.eclipse.core.internal.runtime.messages NLS missing message: fileInitializer_IOError in: org.eclipse.core.internal.runtime.messages NLS missing message: fileInitializer_missingFileName in: org.eclipse.core.internal.runtime.messages Starting conversion of file: /home/mdbekkouche/These/Benchmarks_MCS-IIS/Programs_Benchmarks_MCS-IIS/ProgrammesWhile/Programs/WithoutArray/Sum/Versions/SumV86.java Loops are unwound 92 times. From the counterexample, LocFaults calculates MCS by exploring the graph in DFS from top to bottom and by deviating at most '0' conditional statements. Solver: CP OPTIMIZER By deviating '0' condition(s), we obtain: 1. CSP_d: empty set ------------------------ 2. CSP_a: Sum_0_n_0 := 91 --> line -1 Sum_0_s_0 := 0 --> line 5 Sum_0_i_0 := 0 --> line 6 Sum_0_s_1 := ( Sum_0_s_0 + Sum_0_i_0 ) --> line 8 Sum_0_i_1 := ( Sum_0_i_0 + 1 ) --> line 9 Sum_0_s_2 := ( Sum_0_s_1 + Sum_0_i_1 ) --> line 8 Sum_0_i_2 := ( Sum_0_i_1 + 1 ) --> line 9 Sum_0_s_3 := ( Sum_0_s_2 + Sum_0_i_2 ) --> line 8 Sum_0_i_3 := ( Sum_0_i_2 + 1 ) --> line 9 Sum_0_s_4 := ( Sum_0_s_3 + Sum_0_i_3 ) --> line 8 Sum_0_i_4 := ( Sum_0_i_3 + 1 ) --> line 9 Sum_0_s_5 := ( Sum_0_s_4 + Sum_0_i_4 ) --> line 8 Sum_0_i_5 := ( Sum_0_i_4 + 1 ) --> line 9 Sum_0_s_6 := ( Sum_0_s_5 + Sum_0_i_5 ) --> line 8 Sum_0_i_6 := ( Sum_0_i_5 + 1 ) --> line 9 Sum_0_s_7 := ( Sum_0_s_6 + Sum_0_i_6 ) --> line 8 Sum_0_i_7 := ( Sum_0_i_6 + 1 ) --> line 9 Sum_0_s_8 := ( Sum_0_s_7 + Sum_0_i_7 ) --> line 8 Sum_0_i_8 := ( Sum_0_i_7 + 1 ) --> line 9 Sum_0_s_9 := ( Sum_0_s_8 + Sum_0_i_8 ) --> line 8 Sum_0_i_9 := ( Sum_0_i_8 + 1 ) --> line 9 Sum_0_s_10 := ( Sum_0_s_9 + Sum_0_i_9 ) --> line 8 Sum_0_i_10 := ( Sum_0_i_9 + 1 ) --> line 9 Sum_0_s_11 := ( Sum_0_s_10 + Sum_0_i_10 ) --> line 8 Sum_0_i_11 := ( Sum_0_i_10 + 1 ) --> line 9 Sum_0_s_12 := ( Sum_0_s_11 + Sum_0_i_11 ) --> line 8 Sum_0_i_12 := ( Sum_0_i_11 + 1 ) --> line 9 Sum_0_s_13 := ( Sum_0_s_12 + Sum_0_i_12 ) --> line 8 Sum_0_i_13 := ( Sum_0_i_12 + 1 ) --> line 9 Sum_0_s_14 := ( Sum_0_s_13 + Sum_0_i_13 ) --> line 8 Sum_0_i_14 := ( Sum_0_i_13 + 1 ) --> line 9 Sum_0_s_15 := ( Sum_0_s_14 + Sum_0_i_14 ) --> line 8 Sum_0_i_15 := ( Sum_0_i_14 + 1 ) --> line 9 Sum_0_s_16 := ( Sum_0_s_15 + Sum_0_i_15 ) --> line 8 Sum_0_i_16 := ( Sum_0_i_15 + 1 ) --> line 9 Sum_0_s_17 := ( Sum_0_s_16 + Sum_0_i_16 ) --> line 8 Sum_0_i_17 := ( Sum_0_i_16 + 1 ) --> line 9 Sum_0_s_18 := ( Sum_0_s_17 + Sum_0_i_17 ) --> line 8 Sum_0_i_18 := ( Sum_0_i_17 + 1 ) --> line 9 Sum_0_s_19 := ( Sum_0_s_18 + Sum_0_i_18 ) --> line 8 Sum_0_i_19 := ( Sum_0_i_18 + 1 ) --> line 9 Sum_0_s_20 := ( Sum_0_s_19 + Sum_0_i_19 ) --> line 8 Sum_0_i_20 := ( Sum_0_i_19 + 1 ) --> line 9 Sum_0_s_21 := ( Sum_0_s_20 + Sum_0_i_20 ) --> line 8 Sum_0_i_21 := ( Sum_0_i_20 + 1 ) --> line 9 Sum_0_s_22 := ( Sum_0_s_21 + Sum_0_i_21 ) --> line 8 Sum_0_i_22 := ( Sum_0_i_21 + 1 ) --> line 9 Sum_0_s_23 := ( Sum_0_s_22 + Sum_0_i_22 ) --> line 8 Sum_0_i_23 := ( Sum_0_i_22 + 1 ) --> line 9 Sum_0_s_24 := ( Sum_0_s_23 + Sum_0_i_23 ) --> line 8 Sum_0_i_24 := ( Sum_0_i_23 + 1 ) --> line 9 Sum_0_s_25 := ( Sum_0_s_24 + Sum_0_i_24 ) --> line 8 Sum_0_i_25 := ( Sum_0_i_24 + 1 ) --> line 9 Sum_0_s_26 := ( Sum_0_s_25 + Sum_0_i_25 ) --> line 8 Sum_0_i_26 := ( Sum_0_i_25 + 1 ) --> line 9 Sum_0_s_27 := ( Sum_0_s_26 + Sum_0_i_26 ) --> line 8 Sum_0_i_27 := ( Sum_0_i_26 + 1 ) --> line 9 Sum_0_s_28 := ( Sum_0_s_27 + Sum_0_i_27 ) --> line 8 Sum_0_i_28 := ( Sum_0_i_27 + 1 ) --> line 9 Sum_0_s_29 := ( Sum_0_s_28 + Sum_0_i_28 ) --> line 8 Sum_0_i_29 := ( Sum_0_i_28 + 1 ) --> line 9 Sum_0_s_30 := ( Sum_0_s_29 + Sum_0_i_29 ) --> line 8 Sum_0_i_30 := ( Sum_0_i_29 + 1 ) --> line 9 Sum_0_s_31 := ( Sum_0_s_30 + Sum_0_i_30 ) --> line 8 Sum_0_i_31 := ( Sum_0_i_30 + 1 ) --> line 9 Sum_0_s_32 := ( Sum_0_s_31 + Sum_0_i_31 ) --> line 8 Sum_0_i_32 := ( Sum_0_i_31 + 1 ) --> line 9 Sum_0_s_33 := ( Sum_0_s_32 + Sum_0_i_32 ) --> line 8 Sum_0_i_33 := ( Sum_0_i_32 + 1 ) --> line 9 Sum_0_s_34 := ( Sum_0_s_33 + Sum_0_i_33 ) --> line 8 Sum_0_i_34 := ( Sum_0_i_33 + 1 ) --> line 9 Sum_0_s_35 := ( Sum_0_s_34 + Sum_0_i_34 ) --> line 8 Sum_0_i_35 := ( Sum_0_i_34 + 1 ) --> line 9 Sum_0_s_36 := ( Sum_0_s_35 + Sum_0_i_35 ) --> line 8 Sum_0_i_36 := ( Sum_0_i_35 + 1 ) --> line 9 Sum_0_s_37 := ( Sum_0_s_36 + Sum_0_i_36 ) --> line 8 Sum_0_i_37 := ( Sum_0_i_36 + 1 ) --> line 9 Sum_0_s_38 := ( Sum_0_s_37 + Sum_0_i_37 ) --> line 8 Sum_0_i_38 := ( Sum_0_i_37 + 1 ) --> line 9 Sum_0_s_39 := ( Sum_0_s_38 + Sum_0_i_38 ) --> line 8 Sum_0_i_39 := ( Sum_0_i_38 + 1 ) --> line 9 Sum_0_s_40 := ( Sum_0_s_39 + Sum_0_i_39 ) --> line 8 Sum_0_i_40 := ( Sum_0_i_39 + 1 ) --> line 9 Sum_0_s_41 := ( Sum_0_s_40 + Sum_0_i_40 ) --> line 8 Sum_0_i_41 := ( Sum_0_i_40 + 1 ) --> line 9 Sum_0_s_42 := ( Sum_0_s_41 + Sum_0_i_41 ) --> line 8 Sum_0_i_42 := ( Sum_0_i_41 + 1 ) --> line 9 Sum_0_s_43 := ( Sum_0_s_42 + Sum_0_i_42 ) --> line 8 Sum_0_i_43 := ( Sum_0_i_42 + 1 ) --> line 9 Sum_0_s_44 := ( Sum_0_s_43 + Sum_0_i_43 ) --> line 8 Sum_0_i_44 := ( Sum_0_i_43 + 1 ) --> line 9 Sum_0_s_45 := ( Sum_0_s_44 + Sum_0_i_44 ) --> line 8 Sum_0_i_45 := ( Sum_0_i_44 + 1 ) --> line 9 Sum_0_s_46 := ( Sum_0_s_45 + Sum_0_i_45 ) --> line 8 Sum_0_i_46 := ( Sum_0_i_45 + 1 ) --> line 9 Sum_0_s_47 := ( Sum_0_s_46 + Sum_0_i_46 ) --> line 8 Sum_0_i_47 := ( Sum_0_i_46 + 1 ) --> line 9 Sum_0_s_48 := ( Sum_0_s_47 + Sum_0_i_47 ) --> line 8 Sum_0_i_48 := ( Sum_0_i_47 + 1 ) --> line 9 Sum_0_s_49 := ( Sum_0_s_48 + Sum_0_i_48 ) --> line 8 Sum_0_i_49 := ( Sum_0_i_48 + 1 ) --> line 9 Sum_0_s_50 := ( Sum_0_s_49 + Sum_0_i_49 ) --> line 8 Sum_0_i_50 := ( Sum_0_i_49 + 1 ) --> line 9 Sum_0_s_51 := ( Sum_0_s_50 + Sum_0_i_50 ) --> line 8 Sum_0_i_51 := ( Sum_0_i_50 + 1 ) --> line 9 Sum_0_s_52 := ( Sum_0_s_51 + Sum_0_i_51 ) --> line 8 Sum_0_i_52 := ( Sum_0_i_51 + 1 ) --> line 9 Sum_0_s_53 := ( Sum_0_s_52 + Sum_0_i_52 ) --> line 8 Sum_0_i_53 := ( Sum_0_i_52 + 1 ) --> line 9 Sum_0_s_54 := ( Sum_0_s_53 + Sum_0_i_53 ) --> line 8 Sum_0_i_54 := ( Sum_0_i_53 + 1 ) --> line 9 Sum_0_s_55 := ( Sum_0_s_54 + Sum_0_i_54 ) --> line 8 Sum_0_i_55 := ( Sum_0_i_54 + 1 ) --> line 9 Sum_0_s_56 := ( Sum_0_s_55 + Sum_0_i_55 ) --> line 8 Sum_0_i_56 := ( Sum_0_i_55 + 1 ) --> line 9 Sum_0_s_57 := ( Sum_0_s_56 + Sum_0_i_56 ) --> line 8 Sum_0_i_57 := ( Sum_0_i_56 + 1 ) --> line 9 Sum_0_s_58 := ( Sum_0_s_57 + Sum_0_i_57 ) --> line 8 Sum_0_i_58 := ( Sum_0_i_57 + 1 ) --> line 9 Sum_0_s_59 := ( Sum_0_s_58 + Sum_0_i_58 ) --> line 8 Sum_0_i_59 := ( Sum_0_i_58 + 1 ) --> line 9 Sum_0_s_60 := ( Sum_0_s_59 + Sum_0_i_59 ) --> line 8 Sum_0_i_60 := ( Sum_0_i_59 + 1 ) --> line 9 Sum_0_s_61 := ( Sum_0_s_60 + Sum_0_i_60 ) --> line 8 Sum_0_i_61 := ( Sum_0_i_60 + 1 ) --> line 9 Sum_0_s_62 := ( Sum_0_s_61 + Sum_0_i_61 ) --> line 8 Sum_0_i_62 := ( Sum_0_i_61 + 1 ) --> line 9 Sum_0_s_63 := ( Sum_0_s_62 + Sum_0_i_62 ) --> line 8 Sum_0_i_63 := ( Sum_0_i_62 + 1 ) --> line 9 Sum_0_s_64 := ( Sum_0_s_63 + Sum_0_i_63 ) --> line 8 Sum_0_i_64 := ( Sum_0_i_63 + 1 ) --> line 9 Sum_0_s_65 := ( Sum_0_s_64 + Sum_0_i_64 ) --> line 8 Sum_0_i_65 := ( Sum_0_i_64 + 1 ) --> line 9 Sum_0_s_66 := ( Sum_0_s_65 + Sum_0_i_65 ) --> line 8 Sum_0_i_66 := ( Sum_0_i_65 + 1 ) --> line 9 Sum_0_s_67 := ( Sum_0_s_66 + Sum_0_i_66 ) --> line 8 Sum_0_i_67 := ( Sum_0_i_66 + 1 ) --> line 9 Sum_0_s_68 := ( Sum_0_s_67 + Sum_0_i_67 ) --> line 8 Sum_0_i_68 := ( Sum_0_i_67 + 1 ) --> line 9 Sum_0_s_69 := ( Sum_0_s_68 + Sum_0_i_68 ) --> line 8 Sum_0_i_69 := ( Sum_0_i_68 + 1 ) --> line 9 Sum_0_s_70 := ( Sum_0_s_69 + Sum_0_i_69 ) --> line 8 Sum_0_i_70 := ( Sum_0_i_69 + 1 ) --> line 9 Sum_0_s_71 := ( Sum_0_s_70 + Sum_0_i_70 ) --> line 8 Sum_0_i_71 := ( Sum_0_i_70 + 1 ) --> line 9 Sum_0_s_72 := ( Sum_0_s_71 + Sum_0_i_71 ) --> line 8 Sum_0_i_72 := ( Sum_0_i_71 + 1 ) --> line 9 Sum_0_s_73 := ( Sum_0_s_72 + Sum_0_i_72 ) --> line 8 Sum_0_i_73 := ( Sum_0_i_72 + 1 ) --> line 9 Sum_0_s_74 := ( Sum_0_s_73 + Sum_0_i_73 ) --> line 8 Sum_0_i_74 := ( Sum_0_i_73 + 1 ) --> line 9 Sum_0_s_75 := ( Sum_0_s_74 + Sum_0_i_74 ) --> line 8 Sum_0_i_75 := ( Sum_0_i_74 + 1 ) --> line 9 Sum_0_s_76 := ( Sum_0_s_75 + Sum_0_i_75 ) --> line 8 Sum_0_i_76 := ( Sum_0_i_75 + 1 ) --> line 9 Sum_0_s_77 := ( Sum_0_s_76 + Sum_0_i_76 ) --> line 8 Sum_0_i_77 := ( Sum_0_i_76 + 1 ) --> line 9 Sum_0_s_78 := ( Sum_0_s_77 + Sum_0_i_77 ) --> line 8 Sum_0_i_78 := ( Sum_0_i_77 + 1 ) --> line 9 Sum_0_s_79 := ( Sum_0_s_78 + Sum_0_i_78 ) --> line 8 Sum_0_i_79 := ( Sum_0_i_78 + 1 ) --> line 9 Sum_0_s_80 := ( Sum_0_s_79 + Sum_0_i_79 ) --> line 8 Sum_0_i_80 := ( Sum_0_i_79 + 1 ) --> line 9 Sum_0_s_81 := ( Sum_0_s_80 + Sum_0_i_80 ) --> line 8 Sum_0_i_81 := ( Sum_0_i_80 + 1 ) --> line 9 Sum_0_s_82 := ( Sum_0_s_81 + Sum_0_i_81 ) --> line 8 Sum_0_i_82 := ( Sum_0_i_81 + 1 ) --> line 9 Sum_0_s_83 := ( Sum_0_s_82 + Sum_0_i_82 ) --> line 8 Sum_0_i_83 := ( Sum_0_i_82 + 1 ) --> line 9 Sum_0_s_84 := ( Sum_0_s_83 + Sum_0_i_83 ) --> line 8 Sum_0_i_84 := ( Sum_0_i_83 + 1 ) --> line 9 Sum_0_s_85 := ( Sum_0_s_84 + Sum_0_i_84 ) --> line 8 Sum_0_i_85 := ( Sum_0_i_84 + 1 ) --> line 9 Sum_0_s_86 := ( Sum_0_s_85 + Sum_0_i_85 ) --> line 8 Sum_0_i_86 := ( Sum_0_i_85 + 1 ) --> line 9 Sum_0_s_87 := ( Sum_0_s_86 + Sum_0_i_86 ) --> line 8 Sum_0_i_87 := ( Sum_0_i_86 + 1 ) --> line 9 Sum_0_s_88 := ( Sum_0_s_87 + Sum_0_i_87 ) --> line 8 Sum_0_i_88 := ( Sum_0_i_87 + 1 ) --> line 9 Sum_0_s_89 := ( Sum_0_s_88 + Sum_0_i_88 ) --> line 8 Sum_0_i_89 := ( Sum_0_i_88 + 1 ) --> line 9 Sum_0_s_90 := ( Sum_0_s_89 + Sum_0_i_89 ) --> line 8 Sum_0_i_90 := ( Sum_0_i_89 + 1 ) --> line 9 Sum_0_s_91 := ( Sum_0_s_90 + Sum_0_i_90 ) --> line 8 Sum_0_i_91 := ( Sum_0_i_90 + 1 ) --> line 9 Sum_0_s_92 := Sum_0_s_91 --> line 0 Sum_0_i_92 := Sum_0_i_91 --> line 0 Sum_0_Result_0 := Sum_0_s_92 --> line 11 ( ( Sum_0_Result_0 == ( ( ( Sum_0_n_0 * ( ( Sum_0_n_0 + 1 ) ) ) ) / 2 ) ) ) --> line -2 The system is infeasible ------------------------ This constraint system is nonlinear: to calculate MCSs, we use the solver IBM ILOG CP OPTIMIZER of CPLEX ------------------------ 3. MCS in CSP_a: Runtime of the method that compute MCS: 0.071 The resulats: 1. Elapsed time during DFS exploration and MCS calculation: 0.162 2. The sum of computation time of MCS isolations only: 0.071 Suspicious instructions: The number of suspicious instructions:0 /***************************************************************/ The final resulats: 1. The pretreatment(CFG building) time: 0.836 2. Elapsed time during DFS exploration and MCS calculation: 0.162 Total elapsed time: 1.202 s.