CIVL v1.7.1+ of 2016-05-31 -- http://vsl.cis.udel.edu/civl
19s: mem=1421Mb trans=18899 traceSteps=10083 explored=19028 saved=10054 prove=2
34s: mem=2449Mb trans=37631 traceSteps=20076 explored=37883 saved=20000 prove=2
49s: mem=2214Mb trans=56582 traceSteps=30180 explored=56965 saved=30059 prove=2
64s: mem=2041Mb trans=75431 traceSteps=40272 explored=75938 saved=40097 prove=2
79s: mem=1963Mb trans=94125 traceSteps=50261 explored=94753 saved=50029 prove=2
94s: mem=1817Mb trans=112925 traceSteps=60315 explored=113682 saved=60035 prove=2
109s: mem=1685Mb trans=131767 traceSteps=70423 explored=132640 saved=70082 prove=2
124s: mem=1609Mb trans=150413 traceSteps=80430 explored=151402 saved=80029 prove=2
139s: mem=1409Mb trans=168847 traceSteps=90305 explored=169957 saved=89848 prove=2
154s: mem=1305Mb trans=187689 traceSteps=100410 explored=188918 saved=99893 prove=2
169s: mem=1158Mb trans=206473 traceSteps=110422 explored=207813 saved=109839 prove=2

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

=== Stats ===
   time (s)            : 176.81
   memory (bytes)      : 1142947840
   max process count   : 5
   states              : 218714
   states saved        : 115609
   state matches       : 629
   transitions         : 217314
   trace steps         : 116237
   valid calls         : 3245417
   provers             : z3, cvc4
   prover calls        : 2

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