CIVL v1.7.1+ of 2016-05-31 -- http://vsl.cis.udel.edu/civl
19s: mem=1420Mb trans=17548 traceSteps=8706 explored=17624 saved=8613 prove=2
34s: mem=2449Mb trans=37187 traceSteps=18310 explored=37289 saved=18038 prove=2
49s: mem=2309Mb trans=56755 traceSteps=27817 explored=56891 saved=27365 prove=2
64s: mem=2212Mb trans=76505 traceSteps=37482 explored=76676 saved=36844 prove=2
79s: mem=2125Mb trans=96217 traceSteps=47017 explored=96413 saved=46181 prove=2
94s: mem=1963Mb trans=115824 traceSteps=56552 explored=116058 saved=55534 prove=2
109s: mem=1888Mb trans=135375 traceSteps=66061 explored=135635 saved=64848 prove=2
124s: mem=1750Mb trans=155003 traceSteps=75590 explored=155294 saved=74194 prove=2
139s: mem=1624Mb trans=174743 traceSteps=85119 explored=175055 saved=83522 prove=2
154s: mem=1551Mb trans=194350 traceSteps=94605 explored=194681 saved=92807 prove=2
169s: mem=1361Mb trans=213975 traceSteps=104134 explored=214338 saved=102156 prove=2
184s: mem=1274Mb trans=233469 traceSteps=113551 explored=233872 saved=111393 prove=2
199s: mem=1158Mb trans=252843 traceSteps=123050 explored=253280 saved=120707 prove=2
214s: mem=1048Mb trans=271990 traceSteps=132385 explored=272460 saved=129860 prove=2
229s: mem=938Mb trans=291237 traceSteps=141813 explored=291738 saved=139102 prove=2
244s: mem=847Mb trans=310456 traceSteps=151178 explored=310998 saved=148281 prove=2
259s: mem=732Mb trans=329811 traceSteps=160627 explored=330386 saved=157541 prove=2
274s: mem=644Mb trans=349213 traceSteps=170054 explored=349819 saved=166775 prove=2
289s: mem=559Mb trans=368526 traceSteps=179453 explored=369165 saved=175986 prove=2
304s: mem=485Mb trans=388192 traceSteps=188974 explored=388850 saved=185300 prove=2
319s: mem=431Mb trans=407615 traceSteps=198389 explored=408291 saved=194511 prove=2
334s: mem=397Mb trans=426734 traceSteps=207696 explored=427452 saved=203638 prove=2
349s: mem=383Mb trans=445805 traceSteps=216978 explored=446555 saved=212738 prove=2
364s: mem=383Mb trans=465001 traceSteps=226383 explored=465789 saved=221964 prove=2
379s: mem=383Mb trans=484110 traceSteps=235642 explored=484924 saved=231037 prove=2
394s: mem=383Mb trans=503166 traceSteps=244915 explored=504019 saved=240129 prove=2
409s: mem=383Mb trans=522316 traceSteps=254237 explored=523195 saved=249261 prove=2
424s: mem=383Mb trans=541047 traceSteps=263411 explored=541957 saved=258250 prove=2
439s: mem=383Mb trans=560129 traceSteps=272716 explored=561074 saved=267369 prove=2
454s: mem=383Mb trans=579255 traceSteps=282014 explored=580231 saved=276479 prove=2
469s: mem=383Mb trans=598552 traceSteps=291361 explored=599560 saved=285634 prove=2
484s: mem=383Mb trans=617537 traceSteps=300608 explored=618577 saved=294700 prove=2
499s: mem=383Mb trans=636962 traceSteps=310027 explored=638029 saved=303924 prove=2
514s: mem=383Mb trans=656047 traceSteps=319367 explored=657151 saved=313088 prove=2
529s: mem=383Mb trans=675283 traceSteps=328655 explored=676409 saved=322182 prove=2
544s: mem=383Mb trans=693960 traceSteps=337757 explored=695124 saved=331115 prove=2
559s: mem=383Mb trans=713374 traceSteps=347154 explored=714559 saved=340309 prove=2
574s: mem=383Mb trans=732122 traceSteps=356282 explored=733339 saved=349261 prove=2
589s: mem=383Mb trans=751554 traceSteps=365693 explored=752792 saved=358467 prove=2
604s: mem=383Mb trans=769609 traceSteps=374591 explored=770887 saved=367205 prove=2
619s: mem=384Mb trans=788551 traceSteps=383798 explored=789862 saved=376230 prove=2
634s: mem=383Mb trans=807827 traceSteps=393104 explored=809159 saved=385341 prove=2
649s: mem=383Mb trans=827204 traceSteps=402503 explored=828554 saved=394531 prove=2
664s: mem=383Mb trans=846107 traceSteps=411746 explored=847502 saved=403615 prove=2
679s: mem=383Mb trans=865334 traceSteps=421003 explored=866752 saved=412683 prove=2
694s: mem=417Mb trans=882203 traceSteps=429282 explored=883664 saved=420813 prove=2
709s: mem=417Mb trans=901550 traceSteps=438641 explored=903035 saved=429976 prove=2
724s: mem=417Mb trans=920357 traceSteps=447805 explored=921876 saved=438964 prove=2
739s: mem=417Mb trans=939738 traceSteps=457190 explored=941279 saved=448149 prove=2
754s: mem=426Mb trans=958464 traceSteps=466287 explored=960038 saved=457073 prove=2
769s: mem=425Mb trans=977766 traceSteps=475635 explored=979364 saved=466223 prove=2

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

=== Stats ===
   time (s)            : 778.49
   memory (bytes)      : 437780480
   max process count   : 7
   states              : 991904
   states saved        : 472249
   state matches       : 9549
   transitions         : 990304
   trace steps         : 481797
   valid calls         : 10848659
   provers             : z3, cvc4
   prover calls        : 2

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