Sanity-3-log.txt

Options for the verification:
  Generating no trace
  Search order is breadth first
  Using conservative space optimisation
  Seed is 1466158213
  State space representation uses difference bound matrices

Verifying property 1 at line 6
 -- Property is satisfied.
Exit code      : 0
Elapsed time   : 52.56
Kernel time    : 0.22 (0.4%)
User time      : 48.59 (92.5%)
page fault #   : 34876
Working set    : 135180 KB
Paged pool     : 42 KB
Non-paged pool : 9 KB
Page file size : 144548 KB