CIVL v1.7.1+ of 2016-05-31 -- http://vsl.cis.udel.edu/civl

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

=== Stats ===
   time (s)            : 5.61
   memory (bytes)      : 919076864
   max process count   : 3
   states              : 4127
   states saved        : 2221
   state matches       : 0
   transitions         : 4089
   trace steps         : 2220
   valid calls         : 39186
   provers             : z3, cvc4
   prover calls        : 2

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