/opt/local/bin/civl-1.7.1 verify -inputN=5  -input_mpi_nprocs_hi=5 odd-even-par.cvl
CIVL v1.17.1 of 2018-07-30 -- http://vsl.cis.udel.edu/civl
18s: mem=31403Mb trans=40908 traceSteps=16097 explored=40913 saved=24954 prove=314
33s: mem=31403Mb trans=84131 traceSteps=33363 explored=84137 saved=51724 prove=647
48s: mem=31403Mb trans=127904 traceSteps=51010 explored=127909 saved=79109 prove=976
63s: mem=31403Mb trans=171620 traceSteps=68479 explored=171625 saved=106151 prove=1305
78s: mem=31403Mb trans=212965 traceSteps=85261 explored=212971 saved=132226 prove=1660
93s: mem=31403Mb trans=255620 traceSteps=102197 explored=255626 saved=158502 prove=2024
108s: mem=31403Mb trans=298482 traceSteps=119293 explored=298487 saved=185144 prove=2362
123s: mem=32480Mb trans=340865 traceSteps=136441 explored=340871 saved=211712 prove=2713
138s: mem=32475Mb trans=381139 traceSteps=152677 explored=381144 saved=236904 prove=3060
153s: mem=32475Mb trans=421032 traceSteps=168736 explored=421037 saved=261925 prove=3421
168s: mem=32470Mb trans=461846 traceSteps=185079 explored=461852 saved=287371 prove=3803

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


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

=== Stats ===
   time (s)            : 173.44
   memory (bytes)      : 34047787008
   max process count   : 6
   states              : 476776
   states saved        : 296691
   state matches       : 0
   transitions         : 476770
   trace steps         : 191176
   valid calls         : 1269948
   provers             : z3
   prover calls        : 3952

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