TEXT   135
stats time
Guest on 10th December 2024 01:02:55 AM


  1. === Stats ===
  2.    time (s)            : 135.95
  3.    memory (bytes)      : 634912768
  4.    max process count   : 3
  5.    states              : 2237290
  6.    states saved        : 1334776
  7.    state matches       : 762477
  8.    transitions         : 2999766
  9.    trace steps         : 2097252
  10.    valid calls         : 4978036
  11.    provers             : cvc4
  12.    prover calls        : 3
Raw Paste

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