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

=================== Stats ===================
   validCalls          : 88
   proverCalls         : 8
   memory (bytes)      : 460324864
   time (s)            : 2.13
   maxProcs            : 1
   statesInstantiated  : 175
   statesSaved         : 16
   statesSeen          : 16
   statesMatched       : 0
   steps               : 44
   transitions         : 15

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

=================== Stats ===================
   validCalls          : 110
   proverCalls         : 9
   memory (bytes)      : 460324864
   time (s)            : 3.18
   maxProcs            : 1
   statesInstantiated  : 208
   statesSaved         : 22
   statesSeen          : 22
   statesMatched       : 0
   steps               : 53
   transitions         : 21

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

=================== Stats ===================
   validCalls          : 132
   proverCalls         : 9
   memory (bytes)      : 735051776
   time (s)            : 5.14
   maxProcs            : 1
   statesInstantiated  : 241
   statesSaved         : 28
   statesSeen          : 28
   statesMatched       : 0
   steps               : 62
   transitions         : 27

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

=================== Stats ===================
   validCalls          : 154
   proverCalls         : 9
   memory (bytes)      : 734003200
   time (s)            : 10.45
   maxProcs            : 1
   statesInstantiated  : 274
   statesSaved         : 34
   statesSeen          : 34
   statesMatched       : 0
   steps               : 71
   transitions         : 33

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

=================== Stats ===================
   validCalls          : 176
   proverCalls         : 9
   memory (bytes)      : 734003200
   time (s)            : 10.19
   maxProcs            : 1
   statesInstantiated  : 307
   statesSaved         : 40
   statesSeen          : 40
   statesMatched       : 0
   steps               : 80
   transitions         : 39

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

=================== Stats ===================
   validCalls          : 198
   proverCalls         : 9
   memory (bytes)      : 1275068416
   time (s)            : 11.17
   maxProcs            : 1
   statesInstantiated  : 340
   statesSaved         : 46
   statesSeen          : 46
   statesMatched       : 0
   steps               : 89
   transitions         : 45

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

=================== Stats ===================
   validCalls          : 220
   proverCalls         : 9
   memory (bytes)      : 1275068416
   time (s)            : 15.68
   maxProcs            : 1
   statesInstantiated  : 373
   statesSaved         : 52
   statesSeen          : 52
   statesMatched       : 0
   steps               : 98
   transitions         : 51

The standard properties hold for all executions.

