CIVL v1.11+ of 2017-07-07 -- http://vsl.cis.udel.edu/civl
19s: mem=2448Mb trans=27986 traceSteps=12796 explored=27758 saved=17696 prove=2
34s: mem=2448Mb trans=64446 traceSteps=28899 explored=63495 saved=40431 prove=2
49s: mem=2331Mb trans=102745 traceSteps=45538 explored=100929 saved=64038 prove=2

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

=== Stats ===
   time (s)            : 58.69
   memory (bytes)      : 2333605888
   max process count   : 10
   states              : 127863
   states saved        : 80472
   state matches       : 2575
   transitions         : 130436
   trace steps         : 57040
   valid calls         : 1061604
   provers             : z3, cvc4, cvc3
   prover calls        : 2

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