TEXT   151
Boogie verification time
Guest on 23rd December 2024 02:14:15 AM


  1. Boogie verification time: 0.19 s
  2. Time spent reading-writing programs: 0.80 s
  3.  
  4. Time spent checking a program (1): 1.08 s
  5. Time spent checking a path (0): 0.00 s
  6.  
  7. Number of procedures inlined: 2
  8. Number of variables tracked: 0
  9. Total Time: 1.9032122 s
  10. Total User CPU time: 2.0748133 s
Raw Paste

Login or Register to edit or fork this paste. It's free.