Warning: Using default recursion bound of 1
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.5}
Program has a potential bug: False bug
Verifying program while tracking: {$M.3, $M.2, $M.1, $M.5, $pthreadStatus}
Program has a potential bug: False bug
Program has a potential bug: False bug
Verifying program while tracking: {$M.3, $M.2, $M.1, $M.5, $pthreadStatus, $M.8, $CurrAddr}
Program has no bugs

Boogie verification time: 24.30 s
Time spent reading-writing programs: 22.09 s

Time spent checking a program (7): 21.39 s
Time spent checking a path (28): 29.67 s

Number of procedures inlined: 74
Number of variables tracked: 7
Total Time: 55.3765371 s
Total User CPU time: 54.6159501 s