/opt/local/bin/civl-1.7.1 verify -inputN=4  -input_mpi_nprocs_hi=4 odd-even-par.cvl
CIVL v1.17.1 of 2018-07-30 -- http://vsl.cis.udel.edu/civl
19s: mem=31403Mb trans=40073 traceSteps=15726 explored=40078 saved=24380 prove=303

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


=== Command ===
civl verify -inputN=4 -input_mpi_nprocs_hi=4 odd-even-par.cvl 

=== Stats ===
   time (s)            : 25.97
   memory (bytes)      : 32928432128
   max process count   : 5
   states              : 61116
   states saved        : 37456
   state matches       : 0
   transitions         : 61111
   trace steps         : 24165
   valid calls         : 160920
   provers             : z3
   prover calls        : 499

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