CIVL v1.7.1+ of 2016-05-31 -- http://vsl.cis.udel.edu/civl
19s: mem=1419Mb trans=17544 traceSteps=8556 explored=17609 saved=8454 prove=2
34s: mem=2448Mb trans=37303 traceSteps=17782 explored=37285 saved=17385 prove=2
49s: mem=2310Mb trans=57367 traceSteps=27211 explored=57286 saved=26539 prove=2
64s: mem=2213Mb trans=77664 traceSteps=36703 explored=77518 saved=35748 prove=2
79s: mem=2126Mb trans=98116 traceSteps=46236 explored=97898 saved=44995 prove=2
94s: mem=1964Mb trans=118657 traceSteps=55788 explored=118366 saved=54260 prove=2
109s: mem=1889Mb trans=138988 traceSteps=65289 explored=138621 saved=63462 prove=2
124s: mem=1750Mb trans=159416 traceSteps=74859 explored=158975 saved=72734 prove=2
139s: mem=1625Mb trans=179355 traceSteps=84186 explored=178841 saved=81772 prove=2
154s: mem=1567Mb trans=199328 traceSteps=93499 explored=198740 saved=90791 prove=2
169s: mem=1410Mb trans=219575 traceSteps=102918 explored=218913 saved=99911 prove=2
184s: mem=1317Mb trans=239970 traceSteps=112406 explored=239233 saved=109099 prove=2
199s: mem=1195Mb trans=260147 traceSteps=121805 explored=259333 saved=118204 prove=2
214s: mem=1124Mb trans=280452 traceSteps=131310 explored=279557 saved=127411 prove=2
229s: mem=1000Mb trans=300700 traceSteps=140731 explored=299731 saved=136532 prove=2
244s: mem=899Mb trans=320575 traceSteps=150025 explored=319525 saved=145526 prove=2
259s: mem=816Mb trans=340802 traceSteps=159415 explored=339679 saved=154617 prove=2
274s: mem=718Mb trans=360935 traceSteps=168794 explored=359726 saved=163696 prove=2
289s: mem=638Mb trans=381145 traceSteps=178180 explored=379866 saved=172790 prove=2
304s: mem=555Mb trans=400870 traceSteps=187495 explored=399550 saved=181851 prove=2
319s: mem=484Mb trans=420885 traceSteps=196832 explored=419496 saved=190898 prove=2
334s: mem=431Mb trans=440682 traceSteps=206074 explored=439230 saved=199859 prove=2
349s: mem=398Mb trans=460728 traceSteps=215448 explored=459205 saved=208936 prove=2
364s: mem=383Mb trans=480583 traceSteps=224697 explored=478996 saved=217906 prove=2
379s: mem=383Mb trans=500487 traceSteps=233950 explored=498831 saved=226876 prove=2
394s: mem=383Mb trans=520177 traceSteps=243212 explored=518475 saved=235883 prove=2
409s: mem=383Mb trans=540130 traceSteps=252502 explored=538355 saved=244882 prove=2
424s: mem=383Mb trans=560016 traceSteps=261766 explored=558172 saved=253860 prove=2
439s: mem=383Mb trans=580022 traceSteps=271055 explored=578103 saved=262857 prove=2
454s: mem=383Mb trans=600147 traceSteps=280440 explored=598155 saved=271942 prove=2
469s: mem=383Mb trans=620170 traceSteps=289747 explored=618098 saved=280959 prove=2
484s: mem=383Mb trans=639948 traceSteps=299019 explored=637825 saved=289973 prove=2
499s: mem=383Mb trans=659808 traceSteps=308261 explored=657613 saved=298927 prove=2
514s: mem=383Mb trans=679900 traceSteps=317571 explored=677631 saved=307943 prove=2
529s: mem=383Mb trans=699629 traceSteps=326757 explored=697281 saved=316841 prove=2
544s: mem=388Mb trans=719677 traceSteps=336049 explored=717256 saved=325842 prove=2
559s: mem=383Mb trans=739779 traceSteps=345415 explored=737276 saved=334909 prove=2

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

=== Stats ===
   time (s)            : 570.48
   memory (bytes)      : 401604608
   max process count   : 8
   states              : 754458
   states saved        : 342577
   state matches       : 10799
   transitions         : 757063
   trace steps         : 353375
   valid calls         : 8037964
   provers             : z3, cvc4
   prover calls        : 2

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