CIVL v1.7.1+ of 2016-05-31 -- http://vsl.cis.udel.edu/civl
19s: mem=1421Mb trans=18264 traceSteps=9378 explored=18374 saved=9322 prove=2
34s: mem=2450Mb trans=37645 traceSteps=19259 explored=37855 saved=19102 prove=2
49s: mem=2307Mb trans=57278 traceSteps=29232 explored=57595 saved=28970 prove=2
64s: mem=2212Mb trans=76999 traceSteps=39212 explored=77422 saved=38853 prove=2
79s: mem=2041Mb trans=96327 traceSteps=49112 explored=96855 saved=48650 prove=2
94s: mem=1888Mb trans=115544 traceSteps=58943 explored=116181 saved=58381 prove=2
109s: mem=1817Mb trans=135062 traceSteps=68841 explored=135805 saved=68169 prove=2
124s: mem=1685Mb trans=154608 traceSteps=78792 explored=155454 saved=78014 prove=2
139s: mem=1550Mb trans=173812 traceSteps=88569 explored=174761 saved=87688 prove=2
154s: mem=1444Mb trans=192902 traceSteps=98289 explored=193962 saved=97307 prove=2
169s: mem=1274Mb trans=212302 traceSteps=108197 explored=213469 saved=107118 prove=2
184s: mem=1183Mb trans=231615 traceSteps=117999 explored=232886 saved=116816 prove=2
199s: mem=1048Mb trans=250732 traceSteps=127762 explored=252098 saved=126468 prove=2
214s: mem=937Mb trans=269766 traceSteps=137509 explored=271236 saved=136119 prove=2
229s: mem=815Mb trans=288994 traceSteps=147270 explored=290562 saved=145768 prove=2
244s: mem=710Mb trans=308002 traceSteps=157028 explored=309674 saved=155422 prove=2
259s: mem=605Mb trans=326901 traceSteps=166715 explored=328680 saved=165005 prove=2
274s: mem=519Mb trans=345877 traceSteps=176415 explored=347760 saved=174601 prove=2
289s: mem=450Mb trans=364365 traceSteps=185931 explored=366351 saved=184018 prove=2
304s: mem=404Mb trans=383508 traceSteps=195706 explored=385600 saved=193684 prove=2
319s: mem=383Mb trans=402304 traceSteps=205298 explored=404498 saved=203174 prove=2
334s: mem=383Mb trans=420690 traceSteps=214748 explored=422981 saved=212522 prove=2
349s: mem=383Mb trans=439643 traceSteps=224427 explored=442037 saved=222104 prove=2
364s: mem=383Mb trans=458493 traceSteps=234008 explored=460989 saved=231582 prove=2
379s: mem=383Mb trans=477301 traceSteps=243577 explored=479891 saved=241043 prove=2
394s: mem=383Mb trans=495799 traceSteps=253065 explored=498493 saved=250433 prove=2
409s: mem=383Mb trans=514169 traceSteps=262511 explored=516956 saved=259769 prove=2
424s: mem=383Mb trans=532899 traceSteps=272091 explored=535781 saved=269245 prove=2
439s: mem=383Mb trans=551098 traceSteps=281450 explored=554073 saved=278500 prove=2
454s: mem=383Mb trans=570194 traceSteps=291155 explored=573267 saved=288105 prove=2
469s: mem=383Mb trans=588937 traceSteps=300695 explored=592115 saved=297549 prove=2
484s: mem=383Mb trans=607485 traceSteps=310169 explored=610767 saved=306926 prove=2
499s: mem=383Mb trans=625923 traceSteps=319621 explored=629304 saved=316276 prove=2
514s: mem=383Mb trans=644602 traceSteps=329156 explored=648073 saved=325702 prove=2
529s: mem=391Mb trans=662822 traceSteps=338534 explored=666378 saved=334972 prove=2

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

=== Stats ===
   time (s)            : 532.38
   memory (bytes)      : 401604608
   max process count   : 6
   states              : 671592
   states saved        : 337587
   state matches       : 3599
   transitions         : 668015
   trace steps         : 341185
   valid calls         : 8307748
   provers             : z3, cvc4
   prover calls        : 2

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