CIVL v1.11+ of 2017-07-07 -- http://vsl.cis.udel.edu/civl
19s: mem=2450Mb trans=32693 traceSteps=17884 explored=32652 saved=22362 prove=2

=== Command ===
civl verify -input_mpi_nprocs=3 -inputM=8 -inputN=8 -inputL=8 -enablePrintf=false matmat_mw_mpi.c 

=== Stats ===
   time (s)            : 22.34
   memory (bytes)      : 2569011200
   max process count   : 4
   states              : 42307
   states saved        : 29013
   state matches       : 63
   transitions         : 42368
   trace steps         : 23201
   valid calls         : 305813
   provers             : z3, cvc4, cvc3
   prover calls        : 2

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