=== Command ===
civl verify -timeout=1200 3V-S-Num3-nlc-T2.c 

=== Stats ===
   time (s)            : 18.41
   memory (bytes)      : 383778816
   max process count   : 3
   states              : 139049
   states saved        : 90850
   state matches       : 42902
   transitions         : 181950
   trace steps         : 133751
   valid calls         : 110149
   provers             : cvc4
   prover calls        : 3

=== Result ===
The standard properties hold for all executions.