CIVL v1.11+ of 2017-07-07 -- http://vsl.cis.udel.edu/civl
19s: mem=2450Mb trans=31736 traceSteps=14798 explored=31436 saved=20258 prove=2
34s: mem=2450Mb trans=70398 traceSteps=32741 explored=69583 saved=45199 prove=2
49s: mem=2220Mb trans=108350 traceSteps=50307 explored=107052 saved=69639 prove=2
64s: mem=2049Mb trans=146449 traceSteps=67853 explored=144643 saved=94086 prove=2
79s: mem=1895Mb trans=186968 traceSteps=86536 explored=184570 saved=120031 prove=2
94s: mem=1755Mb trans=224000 traceSteps=103752 explored=221143 saved=143854 prove=2
109s: mem=1630Mb trans=262064 traceSteps=121310 explored=258694 saved=168235 prove=2
124s: mem=1463Mb trans=300284 traceSteps=138928 explored=296384 saved=192692 prove=2
139s: mem=1318Mb trans=339956 traceSteps=157207 explored=335484 saved=218099 prove=2
154s: mem=1159Mb trans=376462 traceSteps=174137 explored=371539 saved=241584 prove=2
169s: mem=1001Mb trans=414009 traceSteps=191471 explored=408581 saved=265677 prove=2
184s: mem=879Mb trans=453277 traceSteps=209490 explored=447279 saved=290780 prove=2
199s: mem=749Mb trans=490999 traceSteps=226973 explored=484506 saved=315015 prove=2
214s: mem=624Mb trans=528022 traceSteps=244025 explored=521046 saved=338782 prove=2
229s: mem=631Mb trans=563074 traceSteps=260114 explored=555592 saved=361269 prove=2
244s: mem=745Mb trans=599293 traceSteps=276934 explored=591368 saved=384587 prove=2
259s: mem=970Mb trans=636395 traceSteps=294026 explored=627965 saved=408308 prove=2
274s: mem=1160Mb trans=675480 traceSteps=311948 explored=666483 saved=433365 prove=2
289s: mem=1259Mb trans=712198 traceSteps=328982 explored=702759 saved=457098 prove=2
304s: mem=1473Mb trans=748992 traceSteps=345908 explored=739061 saved=480671 prove=2
319s: mem=1657Mb trans=787972 traceSteps=363754 explored=777475 saved=505639 prove=2

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

=== Stats ===
   time (s)            : 326.28
   memory (bytes)      : 1816133632
   max process count   : 8
   states              : 797483
   states saved        : 518595
   state matches       : 10799
   transitions         : 808280
   trace steps         : 373083
   valid calls         : 5651067
   provers             : z3, cvc4, cvc3
   prover calls        : 2

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