/opt/local/bin/civl-1.7.1 verify -inputN=5 odd-even-seq.cvl
CIVL v1.17.1 of 2018-07-30 -- http://vsl.cis.udel.edu/civl
16s: mem=31403Mb trans=18815 traceSteps=14164 explored=18815 saved=18900 prove=659
31s: mem=31403Mb trans=36041 traceSteps=27047 explored=36041 saved=36072 prove=1302
46s: mem=31403Mb trans=53447 traceSteps=40066 explored=53447 saved=53337 prove=1944
61s: mem=31403Mb trans=70769 traceSteps=53007 explored=70769 saved=70535 prove=2578
76s: mem=31403Mb trans=86504 traceSteps=64659 explored=86504 saved=85896 prove=3216

=== Source files ===
odd-even-seq.cvl  (odd-even-seq.cvl)


=== Command ===
civl verify -inputN=5 odd-even-seq.cvl 

=== Stats ===
   time (s)            : 87.33
   memory (bytes)      : 32928432128
   max process count   : 1
   states              : 103606
   states saved        : 102023
   state matches       : 0
   transitions         : 103605
   trace steps         : 76810
   valid calls         : 503074
   provers             : z3
   prover calls        : 3892

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