Command exited with non-zero status 10 103.57user 2.04system 1:46.05elapsed 99%CPU (0avgtext+0avgdata 99360maxresident)k 0inputs+14536outputs (0major+984103minor)pagefaults 0swaps Checking SquareRootV130 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 Unwinding loop 1 iteration 36 Unwinding loop 1 iteration 37 Unwinding loop 1 iteration 38 Unwinding loop 1 iteration 39 Unwinding loop 1 iteration 40 Unwinding loop 1 iteration 41 Unwinding loop 1 iteration 42 Unwinding loop 1 iteration 43 Unwinding loop 1 iteration 44 Unwinding loop 1 iteration 45 Unwinding loop 1 iteration 46 Unwinding loop 1 iteration 47 Unwinding loop 1 iteration 48 Unwinding loop 1 iteration 49 Unwinding loop 1 iteration 50 Unwinding loop 1 iteration 51 Unwinding loop 1 iteration 52 Unwinding loop 1 iteration 53 Unwinding loop 1 iteration 54 Unwinding loop 1 iteration 55 Unwinding loop 1 iteration 56 Unwinding loop 1 iteration 57 Unwinding loop 1 iteration 58 Unwinding loop 1 iteration 59 Unwinding loop 1 iteration 60 Unwinding loop 1 iteration 61 Unwinding loop 1 iteration 62 Unwinding loop 1 iteration 63 Unwinding loop 1 iteration 64 Unwinding loop 1 iteration 65 Unwinding loop 1 iteration 66 Unwinding loop 1 iteration 67 Unwinding loop 1 iteration 68 Unwinding loop 1 iteration 69 Unwinding loop 1 iteration 70 Unwinding loop 1 iteration 71 Unwinding loop 1 iteration 72 Unwinding loop 1 iteration 73 Unwinding loop 1 iteration 74 Unwinding loop 1 iteration 75 Unwinding loop 1 iteration 76 Unwinding loop 1 iteration 77 Unwinding loop 1 iteration 78 Unwinding loop 1 iteration 79 Unwinding loop 1 iteration 80 Unwinding loop 1 iteration 81 Unwinding loop 1 iteration 82 Unwinding loop 1 iteration 83 Unwinding loop 1 iteration 84 Unwinding loop 1 iteration 85 Unwinding loop 1 iteration 86 Unwinding loop 1 iteration 87 Unwinding loop 1 iteration 88 Unwinding loop 1 iteration 89 Unwinding loop 1 iteration 90 Unwinding loop 1 iteration 91 Unwinding loop 1 iteration 92 Unwinding loop 1 iteration 93 Unwinding loop 1 iteration 94 Unwinding loop 1 iteration 95 Unwinding loop 1 iteration 96 Unwinding loop 1 iteration 97 Unwinding loop 1 iteration 98 Unwinding loop 1 iteration 99 Unwinding loop 1 iteration 100 Unwinding loop 1 iteration 101 Unwinding loop 1 iteration 102 Unwinding loop 1 iteration 103 Unwinding loop 1 iteration 104 Unwinding loop 1 iteration 105 Unwinding loop 1 iteration 106 Unwinding loop 1 iteration 107 Unwinding loop 1 iteration 108 Unwinding loop 1 iteration 109 Unwinding loop 1 iteration 110 Unwinding loop 1 iteration 111 Unwinding loop 1 iteration 112 Unwinding loop 1 iteration 113 Unwinding loop 1 iteration 114 Unwinding loop 1 iteration 115 Unwinding loop 1 iteration 116 Unwinding loop 1 iteration 117 Unwinding loop 1 iteration 118 Unwinding loop 1 iteration 119 Unwinding loop 1 iteration 120 Unwinding loop 1 iteration 121 Unwinding loop 1 iteration 122 Unwinding loop 1 iteration 123 Unwinding loop 1 iteration 124 Unwinding loop 1 iteration 125 Unwinding loop 1 iteration 126 Unwinding loop 1 iteration 127 Unwinding loop 1 iteration 128 Unwinding loop 1 iteration 129 Unwinding loop 1 iteration 130 Unwinding loop 1 iteration 131 Unwinding loop 1 iteration 132 Unwinding loop 1 iteration 133 Unwinding loop 1 iteration 134 Unwinding loop 1 iteration 135 Unwinding loop 1 iteration 136 Unwinding loop 1 iteration 137 Unwinding loop 1 iteration 138 Unwinding loop 1 iteration 139 Unwinding loop 1 iteration 140 size of program expression: 991 assignments Generated 2 claims, 2 remaining Passing problem to MiniSAT Passing to decision procedure Running MiniSAT Solving with MiniSAT 72881 variables, 45434 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/SquareRootV130.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/SquareRootV130.c:10 < 2 > Potential BUG @ :/home/mdbekkouche/These/Benchmarks_MCS-IIS/Programs_Benchmarks_MCS-IIS_BugAssist/ProgrammesWhile/Programs/WithoutArray/SquareRoot/Versions/SquareRootV130.c:11 < 23 > Potential BUG @ :/home/mdbekkouche/These/Benchmarks_MCS-IIS/Programs_Benchmarks_MCS-IIS_BugAssist/ProgrammesWhile/Programs/WithoutArray/SquareRoot/Versions/SquareRootV130.c:13 < 35 > Potential BUG @ :/home/mdbekkouche/These/Benchmarks_MCS-IIS/Programs_Benchmarks_MCS-IIS_BugAssist/ProgrammesWhile/Programs/WithoutArray/SquareRoot/Versions/SquareRootV130.c:9 BUG Assist: No More suspects: VERIFICATION FAILED