Boogie verification time: 0.19 s
Time spent reading-writing programs: 0.80 s

Time spent checking a program (1): 1.08 s
Time spent checking a path (0): 0.00 s

Number of procedures inlined: 2
Number of variables tracked: 0
Total Time: 1.9032122 s
Total User CPU time: 2.0748133 s