CIVL v1.17.1 of 2018-07-30 -- http://vsl.cis.udel.edu/civl
16s: mem=31403Mb trans=13999 traceSteps=10378 explored=13999 saved=13691 prove=613
31s: mem=31403Mb trans=29039 traceSteps=21504 explored=29039 saved=28308 prove=1227
46s: mem=31403Mb trans=45378 traceSteps=33626 explored=45378 saved=44240 prove=1841
61s: mem=31403Mb trans=60653 traceSteps=44957 explored=60653 saved=59189 prove=2448
76s: mem=31403Mb trans=76680 traceSteps=56714 explored=76681 saved=74537 prove=3071
91s: mem=31403Mb trans=90094 traceSteps=66627 explored=90094 saved=87554 prove=3684
106s: mem=31403Mb trans=93229 traceSteps=68798 explored=93228 saved=90322 prove=4135
121s: mem=31403Mb trans=96143 traceSteps=70829 explored=96143 saved=92902 prove=4569
136s: mem=31403Mb trans=99609 traceSteps=73226 explored=99609 saved=95951 prove=4983
151s: mem=31403Mb trans=111062 traceSteps=81115 explored=111062 saved=106399 prove=5581

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


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

=== Stats ===
   time (s)            : 159.41
   memory (bytes)      : 32928432128
   max process count   : 1
   states              : 115269
   states saved        : 109850
   state matches       : 0
   transitions         : 115268
   trace steps         : 83702
   valid calls         : 530570
   provers             : z3
   prover calls        : 6036

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