civl verify  -inputrows=3 -inputcols=3 laplace2d.cvl
CIVL v0.6 of 2014-02-01 -- http://vsl.cis.udel.edu/civl

=================== Stats ===================
   validCalls          : 77
   proverCalls         : 11
   memory (bytes)      : 1275068416
   time (s)            : 4.95
   maxProcs            : 1
   statesInstantiated  : 132
   statesSaved         : 8
   statesSeen          : 8
   statesMatched       : 0
   steps               : 30
   transitions         : 7

The standard properties hold for all executions.
civl verify  -inputrows=3 -inputcols=4 laplace2d.cvl
CIVL v0.6 of 2014-02-01 -- http://vsl.cis.udel.edu/civl

=================== Stats ===================
   validCalls          : 93
   proverCalls         : 11
   memory (bytes)      : 1276641280
   time (s)            : 8.53
   maxProcs            : 1
   statesInstantiated  : 142
   statesSaved         : 10
   statesSeen          : 10
   statesMatched       : 0
   steps               : 33
   transitions         : 9

The standard properties hold for all executions.
civl verify  -inputrows=3 -inputcols=5 laplace2d.cvl
CIVL v0.6 of 2014-02-01 -- http://vsl.cis.udel.edu/civl

=================== Stats ===================
   validCalls          : 109
   proverCalls         : 11
   memory (bytes)      : 1163919360
   time (s)            : 13.58
   maxProcs            : 1
   statesInstantiated  : 153
   statesSaved         : 12
   statesSeen          : 12
   statesMatched       : 0
   steps               : 36
   transitions         : 11

The standard properties hold for all executions.
civl verify  -inputrows=3 -inputcols=6 laplace2d.cvl
CIVL v0.6 of 2014-02-01 -- http://vsl.cis.udel.edu/civl

=================== Stats ===================
   validCalls          : 125
   proverCalls         : 11
   memory (bytes)      : 1391460352
   time (s)            : 16.8
   maxProcs            : 1
   statesInstantiated  : 164
   statesSaved         : 14
   statesSeen          : 14
   statesMatched       : 0
   steps               : 39
   transitions         : 13

The standard properties hold for all executions.
civl verify  -inputrows=3 -inputcols=7 laplace2d.cvl
CIVL v0.6 of 2014-02-01 -- http://vsl.cis.udel.edu/civl

=================== Stats ===================
   validCalls          : 141
   proverCalls         : 11
   memory (bytes)      : 1280311296
   time (s)            : 16.82
   maxProcs            : 1
   statesInstantiated  : 175
   statesSaved         : 16
   statesSeen          : 16
   statesMatched       : 0
   steps               : 42
   transitions         : 15

The standard properties hold for all executions.
civl verify  -inputrows=3 -inputcols=8 laplace2d.cvl
CIVL v0.6 of 2014-02-01 -- http://vsl.cis.udel.edu/civl

=================== Stats ===================
   validCalls          : 157
   proverCalls         : 11
   memory (bytes)      : 1132462080
   time (s)            : 26.87
   maxProcs            : 1
   statesInstantiated  : 186
   statesSaved         : 18
   statesSeen          : 18
   statesMatched       : 0
   steps               : 45
   transitions         : 17

The standard properties hold for all executions.
civl verify  -inputrows=3 -inputcols=9 laplace2d.cvl
CIVL v0.6 of 2014-02-01 -- http://vsl.cis.udel.edu/civl

=================== Stats ===================
   validCalls          : 173
   proverCalls         : 11
   memory (bytes)      : 1006632960
   time (s)            : 38.87
   maxProcs            : 1
   statesInstantiated  : 197
   statesSaved         : 20
   statesSeen          : 20
   statesMatched       : 0
   steps               : 48
   transitions         : 19

The standard properties hold for all executions.
