/opt/local/bin/civl-1.7.1 verify -inputN=4 odd-even-seq.cvl
CIVL v1.17.1 of 2018-07-30 -- http://vsl.cis.udel.edu/civl

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


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

=== Stats ===
   time (s)            : 10.59
   memory (bytes)      : 32928432128
   max process count   : 1
   states              : 11909
   states saved        : 11280
   state matches       : 0
   transitions         : 11908
   trace steps         : 8362
   valid calls         : 51394
   provers             : z3
   prover calls        : 493

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