CIVL v1.17.1 of 2018-07-30 -- http://vsl.cis.udel.edu/civl
16s: mem=31403Mb trans=11560 traceSteps=7946 explored=11560 saved=10525 prove=636

=== Source files ===
pair-insert.cvl  (pair-insert.cvl)


=== Command ===
civl verify pair-insert.cvl 

=== Stats ===
   time (s)            : 19.71
   memory (bytes)      : 32928432128
   max process count   : 1
   states              : 13918
   states saved        : 12454
   state matches       : 0
   transitions         : 13917
   trace steps         : 9367
   valid calls         : 54433
   provers             : z3
   prover calls        : 826

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