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/SumV46.java
Loops are unwound 52 times.

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

1. CSP_d: empty set
------------------------
2. CSP_a:
Sum_0_n_0 := 51 --> 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 --> line 0
Sum_0_i_52 := Sum_0_i_51 --> line 0
Sum_0_Result_0 := Sum_0_s_52 --> 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.06

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

Suspicious instructions:
The number of suspicious instructions:0

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

1. CSP_d:
line 7(Else) : ( Sum_0_i_51 < Sum_0_n_0 ): (7:52)
------------------------
2. CSP_a:
Sum_0_n_0 := 51 --> 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_i_51 < 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_3 := ( Sum_0_i_2 + 1 )): (7:3.9)}
{line 9(Sum_0_i_51 := ( Sum_0_i_50 + 1 )): (7:51.9)}
{line 9(Sum_0_i_50 := ( Sum_0_i_49 + 1 )): (7:50.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_26 := ( Sum_0_i_25 + 1 )): (7:26.9)}
{line 9(Sum_0_i_1 := ( Sum_0_i_0 + 1 )): (7:1.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_32 := ( Sum_0_i_31 + 1 )): (7:32.9)}
{line 9(Sum_0_i_33 := ( Sum_0_i_32 + 1 )): (7:33.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_25 := ( Sum_0_i_24 + 1 )): (7:25.9)}
{line 9(Sum_0_i_49 := ( Sum_0_i_48 + 1 )): (7:49.9)}
{line 9(Sum_0_i_2 := ( Sum_0_i_1 + 1 )): (7:2.9)}

Runtime of the method that compute MCS: 5.997
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

The number of instructions suspected: 52

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

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.064
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.013
2. Elapsed time during DFS exploration and MCS calculation: 6.273
Total elapsed time: 7.55 s.