CIVL v1.7.1+ of 2016-05-31 -- http://vsl.cis.udel.edu/civl
19s: mem=2446Mb trans=8704 traceSteps=4805 explored=8758 saved=4806 prove=2
34s: mem=2733Mb trans=9538 traceSteps=5129 explored=9601 saved=5130 prove=2

=== Command ===
civl verify -input_mpi_nprocs=10 -enablePrintf=false parallel-dot.c 

=== Stats ===
   time (s)            : 41.37
   memory (bytes)      : 2633498624
   max process count   : 11
   states              : 11034
   states saved        : 5536
   state matches       : 0
   transitions         : 10960
   trace steps         : 5535
   valid calls         : 103434
   provers             : z3, cvc4
   prover calls        : 2

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