CIVL v1.11+ of 2017-07-07 -- http://vsl.cis.udel.edu/civl
19s: mem=2449Mb trans=30104 traceSteps=13825 explored=29805 saved=19096 prove=2
34s: mem=2449Mb trans=67453 traceSteps=30534 explored=66492 saved=42487 prove=2
49s: mem=2327Mb trans=109722 traceSteps=49338 explored=107942 saved=69007 prove=2
64s: mem=2131Mb trans=146764 traceSteps=66163 explored=144411 saved=92514 prove=2
79s: mem=1971Mb trans=184461 traceSteps=83066 explored=181462 saved=116233 prove=2
94s: mem=1827Mb trans=222578 traceSteps=100050 explored=218904 saved=140110 prove=2
109s: mem=1693Mb trans=264188 traceSteps=118536 explored=259709 saved=166228 prove=2
124s: mem=1517Mb trans=300466 traceSteps=135002 explored=295447 saved=189344 prove=2
139s: mem=1364Mb trans=337927 traceSteps=151750 explored=332274 saved=212943 prove=2

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

=== Stats ===
   time (s)            : 150.28
   memory (bytes)      : 1341652992
   max process count   : 9
   states              : 365210
   states saved        : 233813
   state matches       : 6369
   transitions         : 371577
   trace steps         : 166474
   valid calls         : 2792602
   provers             : z3, cvc4, cvc3
   prover calls        : 2

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