Verifying program while tracking: {} Program has a potential bug: False bug Verifying program while tracking: {$M.3, $M.4, $M.5} Program has no bugs Reached recursion bound of 4 Boogie verification time: 11.54 s Time spent reading-writing programs: 3.32 s Time spent checking a program (2): 12.42 s Time spent checking a path (4): 2.85 s Number of procedures inlined: 34 Number of variables tracked: 3 Total Time: 16.4606332 s Total User CPU time: 16.4737056 s