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/SumV60.java
Loops are unwound 66 times.

From the counterexample, LocFaults calculates MCS by exploring the graph in DFS from top to bottom and by deviating at most '3' conditional statements.
Solver: CP OPTIMIZER
By deviating '0' condition(s), we obtain:

1. CSP_d: empty set
------------------------
2. CSP_a:
Sum_0_n_0 := 65 --> 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 --> line 0
Sum_0_i_66 := Sum_0_i_65 --> line 0
Sum_0_Result_0 := Sum_0_s_66 --> 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.085

The resulats:
1. Elapsed time during DFS exploration and MCS calculation: 0.242
2. The sum of computation time of MCS isolations only: 0.085

Suspicious instructions:
The number of suspicious instructions:0

By deviating '1' condition(s), we obtain:

1. CSP_d:
line 7(Else) : ( Sum_0_i_65 < Sum_0_n_0 ): (7:66)
------------------------
2. CSP_a:
Sum_0_n_0 := 65 --> 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_i_65 < Sum_0_n_0 ) --> line -2

The system is infeasible
------------------------
This constraint system is linear: to calculate MCSs, we use the solver IBM ILOG MIP of CPLEX
------------------------
3. MCS in CSP_a:
{line 9(Sum_0_i_65 := ( Sum_0_i_64 + 1 )): (7:65.9)}
{line 9(Sum_0_i_3 := ( Sum_0_i_2 + 1 )): (7:3.9)}
{line 9(Sum_0_i_64 := ( Sum_0_i_63 + 1 )): (7:64.9)}
{line 6(Sum_0_i_0 := 0): (6)}
{line 9(Sum_0_i_4 := ( Sum_0_i_3 + 1 )): (7:4.9)}
{line 9(Sum_0_i_5 := ( Sum_0_i_4 + 1 )): (7:5.9)}
{line 9(Sum_0_i_6 := ( Sum_0_i_5 + 1 )): (7:6.9)}
{line 9(Sum_0_i_7 := ( Sum_0_i_6 + 1 )): (7:7.9)}
{line 9(Sum_0_i_8 := ( Sum_0_i_7 + 1 )): (7:8.9)}
{line 9(Sum_0_i_9 := ( Sum_0_i_8 + 1 )): (7:9.9)}
{line 9(Sum_0_i_10 := ( Sum_0_i_9 + 1 )): (7:10.9)}
{line 9(Sum_0_i_11 := ( Sum_0_i_10 + 1 )): (7:11.9)}
{line 9(Sum_0_i_12 := ( Sum_0_i_11 + 1 )): (7:12.9)}
{line 9(Sum_0_i_13 := ( Sum_0_i_12 + 1 )): (7:13.9)}
{line 9(Sum_0_i_14 := ( Sum_0_i_13 + 1 )): (7:14.9)}
{line 9(Sum_0_i_15 := ( Sum_0_i_14 + 1 )): (7:15.9)}
{line 9(Sum_0_i_16 := ( Sum_0_i_15 + 1 )): (7:16.9)}
{line 9(Sum_0_i_17 := ( Sum_0_i_16 + 1 )): (7:17.9)}
{line 9(Sum_0_i_18 := ( Sum_0_i_17 + 1 )): (7:18.9)}
{line 9(Sum_0_i_19 := ( Sum_0_i_18 + 1 )): (7:19.9)}
{line 9(Sum_0_i_20 := ( Sum_0_i_19 + 1 )): (7:20.9)}
{line 9(Sum_0_i_21 := ( Sum_0_i_20 + 1 )): (7:21.9)}
{line 9(Sum_0_i_22 := ( Sum_0_i_21 + 1 )): (7:22.9)}
{line 9(Sum_0_i_23 := ( Sum_0_i_22 + 1 )): (7:23.9)}
{line 9(Sum_0_i_24 := ( Sum_0_i_23 + 1 )): (7:24.9)}
{line 9(Sum_0_i_25 := ( Sum_0_i_24 + 1 )): (7:25.9)}
{line 9(Sum_0_i_26 := ( Sum_0_i_25 + 1 )): (7:26.9)}
{line 9(Sum_0_i_27 := ( Sum_0_i_26 + 1 )): (7:27.9)}
{line 9(Sum_0_i_28 := ( Sum_0_i_27 + 1 )): (7:28.9)}
{line 9(Sum_0_i_29 := ( Sum_0_i_28 + 1 )): (7:29.9)}
{line 9(Sum_0_i_30 := ( Sum_0_i_29 + 1 )): (7:30.9)}
{line 9(Sum_0_i_31 := ( Sum_0_i_30 + 1 )): (7:31.9)}
{line 9(Sum_0_i_33 := ( Sum_0_i_32 + 1 )): (7:33.9)}
{line 9(Sum_0_i_1 := ( Sum_0_i_0 + 1 )): (7:1.9)}
{line 9(Sum_0_i_34 := ( Sum_0_i_33 + 1 )): (7:34.9)}
{line 9(Sum_0_i_35 := ( Sum_0_i_34 + 1 )): (7:35.9)}
{line 9(Sum_0_i_36 := ( Sum_0_i_35 + 1 )): (7:36.9)}
{line 9(Sum_0_i_37 := ( Sum_0_i_36 + 1 )): (7:37.9)}
{line 9(Sum_0_i_38 := ( Sum_0_i_37 + 1 )): (7:38.9)}
{line 9(Sum_0_i_39 := ( Sum_0_i_38 + 1 )): (7:39.9)}
{line 9(Sum_0_i_40 := ( Sum_0_i_39 + 1 )): (7:40.9)}
{line 9(Sum_0_i_41 := ( Sum_0_i_40 + 1 )): (7:41.9)}
{line 9(Sum_0_i_42 := ( Sum_0_i_41 + 1 )): (7:42.9)}
{line 9(Sum_0_i_43 := ( Sum_0_i_42 + 1 )): (7:43.9)}
{line 9(Sum_0_i_44 := ( Sum_0_i_43 + 1 )): (7:44.9)}
{line 9(Sum_0_i_45 := ( Sum_0_i_44 + 1 )): (7:45.9)}
{line 9(Sum_0_i_46 := ( Sum_0_i_45 + 1 )): (7:46.9)}
{line 9(Sum_0_i_47 := ( Sum_0_i_46 + 1 )): (7:47.9)}
{line 9(Sum_0_i_48 := ( Sum_0_i_47 + 1 )): (7:48.9)}
{line 9(Sum_0_i_49 := ( Sum_0_i_48 + 1 )): (7:49.9)}
{line 9(Sum_0_i_50 := ( Sum_0_i_49 + 1 )): (7:50.9)}
{line 9(Sum_0_i_51 := ( Sum_0_i_50 + 1 )): (7:51.9)}
{line 9(Sum_0_i_52 := ( Sum_0_i_51 + 1 )): (7:52.9)}
{line 9(Sum_0_i_53 := ( Sum_0_i_52 + 1 )): (7:53.9)}
{line 9(Sum_0_i_54 := ( Sum_0_i_53 + 1 )): (7:54.9)}
{line 9(Sum_0_i_55 := ( Sum_0_i_54 + 1 )): (7:55.9)}
{line 9(Sum_0_i_56 := ( Sum_0_i_55 + 1 )): (7:56.9)}
{line 9(Sum_0_i_57 := ( Sum_0_i_56 + 1 )): (7:57.9)}
{line 9(Sum_0_i_58 := ( Sum_0_i_57 + 1 )): (7:58.9)}
{line 9(Sum_0_i_59 := ( Sum_0_i_58 + 1 )): (7:59.9)}
{line 9(Sum_0_i_60 := ( Sum_0_i_59 + 1 )): (7:60.9)}
{line 9(Sum_0_i_61 := ( Sum_0_i_60 + 1 )): (7:61.9)}
{line 9(Sum_0_i_62 := ( Sum_0_i_61 + 1 )): (7:62.9)}
{line 9(Sum_0_i_32 := ( Sum_0_i_31 + 1 )): (7:32.9)}
{line 9(Sum_0_i_63 := ( Sum_0_i_62 + 1 )): (7:63.9)}
{line 9(Sum_0_i_2 := ( Sum_0_i_1 + 1 )): (7:2.9)}

Runtime of the method that compute MCS: 14.09
MIVcard(ctrs,line 6)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0
MIVcard(ctrs,line 9)=1.0

The number of instructions suspected: 66

The resulats:
1. Elapsed time during DFS exploration and MCS calculation: 14.221
2. The sum of computation time of MCS isolations only: 14.09

Suspicious instructions:7,6,9
The number of suspicious instructions:3

By deviating '2' condition(s), we obtain:


The resulats:
1. Elapsed time during DFS exploration and MCS calculation: 0.119
2. The sum of computation time of MCS isolations only: 0.0

Suspicious instructions:7,6,9
The number of suspicious instructions:3

By deviating '3' condition(s), we obtain:


The resulats:
1. Elapsed time during DFS exploration and MCS calculation: 0.116
2. The sum of computation time of MCS isolations only: 0.0

Suspicious instructions:7,6,9
The number of suspicious instructions:3

/***************************************************************/
The final resulats:
1. The pretreatment(CFG building) time: 1.5
2. Elapsed time during DFS exploration and MCS calculation: 14.698
Total elapsed time: 16.598 s.