Command exited with non-zero status 10
5.98user 0.33system 0:06.58elapsed 95%CPU (0avgtext+0avgdata 19236maxresident)k
0inputs+2568outputs (0major+139958minor)pagefaults 0swaps
V4
Generating GOTO Program
Pointer Analysis
Adding Pointer Checks
Starting Bounded Model Checking
Unwinding loop 1 iteration 1
Unwinding loop 1 iteration 2
Unwinding loop 1 iteration 3
Unwinding loop 1 iteration 4
Unwinding loop 1 iteration 5
Unwinding loop 1 iteration 6
Unwinding loop 1 iteration 7
Unwinding loop 1 iteration 8
Unwinding loop 1 iteration 9
Unwinding loop 1 iteration 10
size of program expression: 80 assignments
Generated 3 claims, 3 remaining
Passing problem to MiniSAT
Passing to decision procedure
Running MiniSAT
Solving with MiniSAT
15286 variables, 23115 clauses
SAT checker: negated claim is SATISFIABLE, i.e., does not hold
Building error trace

Counterexample:

Violated property:
  file /home/mdbekkouche/These/Benchmarks_MCS-IIS/Programs_Benchmarks_MCS-IIS_BugAssist/ProgrammesWhile/Programs/WithoutArray/Sum/Versions/SumV4.c line 11
  assertion
  s == n * (n + 1) / 2

< 1 > Potential BUG @ :/home/mdbekkouche/These/Benchmarks_MCS-IIS/Programs_Benchmarks_MCS-IIS_BugAssist/ProgrammesWhile/Programs/WithoutArray/Sum/Versions/SumV4.c:9

< 10 > Potential BUG @ :/home/mdbekkouche/These/Benchmarks_MCS-IIS/Programs_Benchmarks_MCS-IIS_BugAssist/ProgrammesWhile/Programs/WithoutArray/Sum/Versions/SumV4.c:7

< 11 > Potential BUG @ :/home/mdbekkouche/These/Benchmarks_MCS-IIS/Programs_Benchmarks_MCS-IIS_BugAssist/ProgrammesWhile/Programs/WithoutArray/Sum/Versions/SumV4.c:11

< 20 > Potential BUG @ :/home/mdbekkouche/These/Benchmarks_MCS-IIS/Programs_Benchmarks_MCS-IIS_BugAssist/ProgrammesWhile/Programs/WithoutArray/Sum/Versions/SumV4.c:8

BUG Assist: No More suspects:
VERIFICATION FAILED