CIVL v1.7.1+ of 2016-05-31 -- http://vsl.cis.udel.edu/civl
19s: mem=1419Mb trans=16681 traceSteps=8014 explored=16744 saved=7918 prove=2
34s: mem=2448Mb trans=36844 traceSteps=17249 explored=36761 saved=16802 prove=2
49s: mem=2312Mb trans=57727 traceSteps=26426 explored=57374 saved=25515 prove=2
64s: mem=2213Mb trans=78001 traceSteps=35797 explored=77561 saved=34574 prove=2
79s: mem=2127Mb trans=99330 traceSteps=45313 explored=98643 saved=43641 prove=2
94s: mem=2044Mb trans=118778 traceSteps=54287 explored=118004 saved=52323 prove=2
109s: mem=1890Mb trans=140190 traceSteps=63901 explored=139205 saved=61508 prove=2
124s: mem=1819Mb trans=160093 traceSteps=72821 explored=158932 saved=70062 prove=2
139s: mem=1686Mb trans=180859 traceSteps=82315 explored=179557 saved=79192 prove=2
154s: mem=1568Mb trans=202645 traceSteps=91814 explored=201026 saved=88176 prove=2
169s: mem=1459Mb trans=222042 traceSteps=100860 explored=220383 saved=96970 prove=2
184s: mem=1362Mb trans=243603 traceSteps=110452 explored=241707 saved=106112 prove=2
199s: mem=1263Mb trans=263134 traceSteps=119349 explored=261125 saved=114701 prove=2
214s: mem=1159Mb trans=284327 traceSteps=128917 explored=282134 saved=123868 prove=2
229s: mem=1059Mb trans=305245 traceSteps=138165 explored=302830 saved=132698 prove=2
244s: mem=947Mb trans=325252 traceSteps=147366 explored=322731 saved=141586 prove=2
259s: mem=856Mb trans=347083 traceSteps=156989 explored=344284 saved=150721 prove=2

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

=== Stats ===
   time (s)            : 260.28
   memory (bytes)      : 897581056
   max process count   : 9
   states              : 347654
   states saved        : 152049
   state matches       : 6369
   transitions         : 350526
   trace steps         : 158417
   valid calls         : 3821509
   provers             : z3, cvc4
   prover calls        : 2

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