CIVL v1.7.1+ of 2016-05-31 -- http://vsl.cis.udel.edu/civl
19s: mem=2448Mb trans=7339 traceSteps=3979 explored=7384 saved=3980 prove=2

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

=== Stats ===
   time (s)            : 24.8
   memory (bytes)      : 2987917312
   max process count   : 9
   states              : 8618
   states saved        : 4354
   state matches       : 0
   transitions         : 8560
   trace steps         : 4353
   valid calls         : 72176
   provers             : z3, cvc4
   prover calls        : 2

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