CIVL v1.17.1+ of 2018-07-30 -- http://vsl.cis.udel.edu/civl
17s: mem=3480Mb trans=245445 traceSteps=176682 explored=245445 saved=233659 prove=190
32s: mem=5517Mb trans=510416 traceSteps=367703 explored=510416 saved=485601 prove=351
47s: mem=5129Mb trans=788812 traceSteps=568524 explored=788812 saved=750931 prove=500
62s: mem=4819Mb trans=1053317 traceSteps=759147 explored=1053317 saved=1001244 prove=662
77s: mem=4385Mb trans=1310416 traceSteps=944441 explored=1310416 saved=1244066 prove=818
92s: mem=5395Mb trans=1568850 traceSteps=1130483 explored=1568851 saved=1488117 prove=962
107s: mem=5077Mb trans=1821107 traceSteps=1312259 explored=1821107 saved=1726464 prove=1103
122s: mem=4746Mb trans=2068406 traceSteps=1490625 explored=2068406 saved=1959996 prove=1257
137s: mem=4461Mb trans=2317107 traceSteps=1669708 explored=2317107 saved=2193712 prove=1393
152s: mem=4086Mb trans=2563368 traceSteps=1846876 explored=2563368 saved=2425679 prove=1581

=== Source files ===
treebuffer-driver.cvl  (treebuffer-driver.cvl)
treebuffer.h  (treebuffer.h)
treebuffer-naive.c  (treebuffer-naive.c)
treebuffer-realtime.c  (treebuffer-realtime.c)


=== Command ===
civl compare -checkMemoryLeak=false -spec treebuffer-driver.cvl treebuffer-naive.c -impl treebuffer-driver.cvl treebuffer-realtime.c 

=== Stats ===
   time (s)            : 163.06
   memory (bytes)      : 4167041024
   max process count   : 1
   states              : 2746106
   states saved        : 2597502
   state matches       : 0
   transitions         : 2746105
   trace steps         : 1977737
   valid calls         : 5266706
   provers             : z3
   prover calls        : 1778

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