CIVL v1.7.1+ of 2016-05-31 -- http://vsl.cis.udel.edu/civl
19s: mem=1420Mb trans=15266 traceSteps=7299 explored=15354 saved=7244 prove=2
34s: mem=2449Mb trans=34040 traceSteps=15906 explored=34004 saved=15534 prove=2
49s: mem=2312Mb trans=54294 traceSteps=24764 explored=53975 saved=23921 prove=2
64s: mem=2214Mb trans=74014 traceSteps=33575 explored=73486 saved=32331 prove=2
79s: mem=2127Mb trans=94411 traceSteps=42372 explored=93559 saved=40624 prove=2
94s: mem=2044Mb trans=115286 traceSteps=51163 explored=114035 saved=48848 prove=2

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

=== Stats ===
   time (s)            : 98.8
   memory (bytes)      : 2143289344
   max process count   : 10
   states              : 122176
   states saved        : 51969
   state matches       : 2575
   transitions         : 123627
   trace steps         : 54543
   valid calls         : 1451458
   provers             : z3, cvc4
   prover calls        : 2

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