CIVL v1.11+ of 2017-07-07 -- http://vsl.cis.udel.edu/civl
19s: mem=2450Mb trans=30632 traceSteps=14813 explored=30445 saved=19958 prove=2
34s: mem=2451Mb trans=64491 traceSteps=31070 explored=64013 saved=42238 prove=2
49s: mem=2218Mb trans=99276 traceSteps=47698 explored=98468 saved=64966 prove=2
64s: mem=2046Mb trans=133338 traceSteps=64079 explored=132231 saved=87308 prove=2
79s: mem=1894Mb trans=168348 traceSteps=80785 explored=166916 saved=110262 prove=2
94s: mem=1754Mb trans=201888 traceSteps=96857 explored=200171 saved=132197 prove=2
109s: mem=1628Mb trans=236912 traceSteps=113583 explored=234883 saved=155233 prove=2
124s: mem=1462Mb trans=271059 traceSteps=129971 explored=268717 saved=177576 prove=2
139s: mem=1319Mb trans=303919 traceSteps=145794 explored=301292 saved=199064 prove=2
154s: mem=1160Mb trans=337559 traceSteps=161942 explored=334614 saved=221069 prove=2
169s: mem=1030Mb trans=370258 traceSteps=177643 explored=367008 saved=242392 prove=2
184s: mem=900Mb trans=403253 traceSteps=193474 explored=399706 saved=263974 prove=2
199s: mem=776Mb trans=437210 traceSteps=209677 explored=433332 saved=286142 prove=2
214s: mem=644Mb trans=470192 traceSteps=225519 explored=466036 saved=307700 prove=2
229s: mem=540Mb trans=503368 traceSteps=241497 explored=498918 saved=329470 prove=2
244s: mem=457Mb trans=537021 traceSteps=257568 explored=532250 saved=351505 prove=2
259s: mem=402Mb trans=569105 traceSteps=273019 explored=564037 saved=372476 prove=2
275s: mem=528Mb trans=601081 traceSteps=288396 explored=595734 saved=393328 prove=2
290s: mem=595Mb trans=634534 traceSteps=304430 explored=628870 saved=415187 prove=2
305s: mem=739Mb trans=667432 traceSteps=320130 explored=661465 saved=436701 prove=2
320s: mem=780Mb trans=700063 traceSteps=335884 explored=693816 saved=458094 prove=2
335s: mem=828Mb trans=733241 traceSteps=351691 explored=726699 saved=479814 prove=2
350s: mem=805Mb trans=766680 traceSteps=367683 explored=759812 saved=501684 prove=2
365s: mem=819Mb trans=798883 traceSteps=383132 explored=791735 saved=522749 prove=2
380s: mem=831Mb trans=830860 traceSteps=398566 explored=823420 saved=543647 prove=2
395s: mem=849Mb trans=864291 traceSteps=414564 explored=856554 saved=565571 prove=2
410s: mem=876Mb trans=898213 traceSteps=430847 explored=890165 saved=587786 prove=2
425s: mem=945Mb trans=931269 traceSteps=446647 explored=922926 saved=609450 prove=2
440s: mem=893Mb trans=964146 traceSteps=462409 explored=955516 saved=630963 prove=2
455s: mem=924Mb trans=997100 traceSteps=478208 explored=988167 saved=652528 prove=2
470s: mem=1257Mb trans=1024355 traceSteps=491259 explored=1015183 saved=670366 prove=2
485s: mem=1401Mb trans=1056367 traceSteps=506658 explored=1046900 saved=691273 prove=2

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

=== Stats ===
   time (s)            : 487.22
   memory (bytes)      : 1499987968
   max process count   : 7
   states              : 1052887
   states saved        : 695235
   state matches       : 9549
   transitions         : 1062434
   trace steps         : 509516
   valid calls         : 7050809
   provers             : z3, cvc4, cvc3
   prover calls        : 2

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