Command exited with non-zero status 10
20.99user 0.38system 0:21.62elapsed 98%CPU (0avgtext+0avgdata 27088maxresident)k
0inputs+3632outputs (0major+153776minor)pagefaults 0swaps
g
Checking SquareRootV25
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
Unwinding loop 1 iteration 11
Unwinding loop 1 iteration 12
Unwinding loop 1 iteration 13
Unwinding loop 1 iteration 14
Unwinding loop 1 iteration 15
Unwinding loop 1 iteration 16
Unwinding loop 1 iteration 17
Unwinding loop 1 iteration 18
Unwinding loop 1 iteration 19
Unwinding loop 1 iteration 20
Unwinding loop 1 iteration 21
Unwinding loop 1 iteration 22
Unwinding loop 1 iteration 23
Unwinding loop 1 iteration 24
Unwinding loop 1 iteration 25
Unwinding loop 1 iteration 26
Unwinding loop 1 iteration 27
Unwinding loop 1 iteration 28
Unwinding loop 1 iteration 29
Unwinding loop 1 iteration 30
Unwinding loop 1 iteration 31
Unwinding loop 1 iteration 32
Unwinding loop 1 iteration 33
Unwinding loop 1 iteration 34
Unwinding loop 1 iteration 35
size of program expression: 256 assignments
Generated 2 claims, 2 remaining
Passing problem to MiniSAT
Passing to decision procedure
Running MiniSAT
Solving with MiniSAT
20272 variables, 10494 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/SquareRoot/Versions/SquareRootV25.c line 14
  assertion
  res * res <= val && (res + 1) * (res + 1) > val

< 1 > Potential BUG @ :/home/mdbekkouche/These/Benchmarks_MCS-IIS/Programs_Benchmarks_MCS-IIS_BugAssist/ProgrammesWhile/Programs/WithoutArray/SquareRoot/Versions/SquareRootV25.c:10

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

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

< 17 > Potential BUG @ :/home/mdbekkouche/These/Benchmarks_MCS-IIS/Programs_Benchmarks_MCS-IIS_BugAssist/ProgrammesWhile/Programs/WithoutArray/SquareRoot/Versions/SquareRootV25.c:9

BUG Assist: No More suspects:
VERIFICATION FAILED