CIVL v1.7.1+ of 2016-05-31 -- http://vsl.cis.udel.edu/civl
19s: mem=2447Mb trans=7940 traceSteps=4384 explored=7988 saved=4385 prove=2
34s: mem=2731Mb trans=8948 traceSteps=4746 explored=9013 saved=4747 prove=2

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

=== Stats ===
   time (s)            : 33.76
   memory (bytes)      : 2863661056
   max process count   : 10
   states              : 9815
   states saved        : 4941
   state matches       : 0
   transitions         : 9749
   trace steps         : 4940
   valid calls         : 87104
   provers             : z3, cvc4
   prover calls        : 2

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