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

=================== Stats ===================
   validCalls          : 49
   proverCalls         : 5
   memory (bytes)      : 325058560
   time (s)            : 1.68
   maxProcs            : 1
   statesInstantiated  : 88
   statesSaved         : 9
   statesSeen          : 9
   statesMatched       : 0
   steps               : 21
   transitions         : 8

The standard properties hold for all executions.

civl verify -inputnum_elements=4 derivative.cvl
CIVL v0.6 of 2014-02-01 -- http://vsl.cis.udel.edu/civl

=================== Stats ===================
   validCalls          : 58
   proverCalls         : 6
   memory (bytes)      : 325058560
   time (s)            : 2.18
   maxProcs            : 1
   statesInstantiated  : 99
   statesSaved         : 11
   statesSeen          : 11
   statesMatched       : 0
   steps               : 24
   transitions         : 10

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

=================== Stats ===================
   validCalls          : 67
   proverCalls         : 6
   memory (bytes)      : 325058560
   time (s)            : 2.47
   maxProcs            : 1
   statesInstantiated  : 110
   statesSaved         : 13
   statesSeen          : 13
   statesMatched       : 0
   steps               : 27
   transitions         : 12

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

=================== Stats ===================
   validCalls          : 76
   proverCalls         : 6
   memory (bytes)      : 460324864
   time (s)            : 3.39
   maxProcs            : 1
   statesInstantiated  : 121
   statesSaved         : 15
   statesSeen          : 15
   statesMatched       : 0
   steps               : 30
   transitions         : 14

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

=================== Stats ===================
   validCalls          : 85
   proverCalls         : 6
   memory (bytes)      : 460324864
   time (s)            : 6.08
   maxProcs            : 1
   statesInstantiated  : 132
   statesSaved         : 17
   statesSeen          : 17
   statesMatched       : 0
   steps               : 33
   transitions         : 16

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

=================== Stats ===================
   validCalls          : 94
   proverCalls         : 6
   memory (bytes)      : 460324864
   time (s)            : 6.09
   maxProcs            : 1
   statesInstantiated  : 143
   statesSaved         : 19
   statesSeen          : 19
   statesMatched       : 0
   steps               : 36
   transitions         : 18

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

=================== Stats ===================
   validCalls          : 103
   proverCalls         : 6
   memory (bytes)      : 460324864
   time (s)            : 7.35
   maxProcs            : 1
   statesInstantiated  : 154
   statesSaved         : 21
   statesSeen          : 21
   statesMatched       : 0
   steps               : 39
   transitions         : 20

The standard properties hold for all executions.
