=== Stats ===
   time (s)            : 135.95
   memory (bytes)      : 634912768
   max process count   : 3
   states              : 2237290
   states saved        : 1334776
   state matches       : 762477
   transitions         : 2999766
   trace steps         : 2097252
   valid calls         : 4978036
   provers             : cvc4
!highlight!   prover calls        : 3