CIVL v1.11+ of 2017-07-07 -- http://vsl.cis.udel.edu/civl
19s: mem=2449Mb trans=31090 traceSteps=16247 explored=31038 saved=20987 prove=2
34s: mem=2450Mb trans=64856 traceSteps=34031 explored=64719 saved=43943 prove=2
49s: mem=2214Mb trans=99133 traceSteps=52130 explored=98905 saved=67239 prove=2
64s: mem=1965Mb trans=132586 traceSteps=69807 explored=132264 saved=89944 prove=2
79s: mem=1820Mb trans=166369 traceSteps=87651 explored=165945 saved=112865 prove=2
94s: mem=1626Mb trans=199256 traceSteps=105071 explored=198736 saved=135183 prove=2

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

=== Stats ===
   time (s)            : 106.99
   memory (bytes)      : 1530920960
   max process count   : 5
   states              : 228556
   states saved        : 155429
   state matches       : 629
   transitions         : 229183
   trace steps         : 120882
   valid calls         : 1662492
   provers             : z3, cvc4, cvc3
   prover calls        : 2

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