Verifying program while tracking: {}
Program has a potential bug: False bug
Verifying program while tracking: {$M.3}
Program has a potential bug: False bug
Verifying program while tracking: {$M.3, $M.2}
Program has a potential bug: False bug
Verifying program while tracking: {$M.3, $M.2, $M.1}
Program has a potential bug: False bug
Verifying program while tracking: {$M.3, $M.2, $M.1, $M.7}
Program has a potential bug: False bug
Verifying program while tracking: {$M.3, $M.2, $M.1, $M.7, $M.5}
Program has a potential bug: False bug
Verifying program while tracking: {$M.3, $M.2, $M.1, $M.7, $M.5, $pthreadStatus}
Program has a potential bug: False bug
Verifying program while tracking: {$M.3, $M.2, $M.1, $M.7, $M.5, $pthreadStatus, $CurrAddr}
Program has no bugs
Reached recursion bound of 9

Boogie verification time: 497.74 s
Time spent reading-writing programs: 22.46 s

Time spent checking a program (8): 495.85 s
Time spent checking a path (28): 27.23 s

Number of procedures inlined: 244
Number of variables tracked: 7
Total Time: 527.5672734 s
Total User CPU time: 524.9589651 s