CIVL v1.11+ of 2017-07-07 -- http://vsl.cis.udel.edu/civl

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

=== Stats ===
   time (s)            : 10.39
   memory (bytes)      : 1489502208
   max process count   : 11
   states              : 12315
   states saved        : 7137
   state matches       : 0
   transitions         : 12313
   trace steps         : 5560
   valid calls         : 66955
   provers             : z3, cvc4, cvc3
   prover calls        : 2

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