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

=================== Stats ===================
   validCalls          : 56
   proverCalls         : 6
   memory (bytes)      : 325058560
   time (s)            : 1.81
   maxProcs            : 1
   statesInstantiated  : 92
   statesSaved         : 9
   statesSeen          : 9
   statesMatched       : 0
   steps               : 22
   transitions         : 8

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

=================== Stats ===================
   validCalls          : 66
   proverCalls         : 7
   memory (bytes)      : 460324864
   time (s)            : 2.43
   maxProcs            : 1
   statesInstantiated  : 103
   statesSaved         : 11
   statesSeen          : 11
   statesMatched       : 0
   steps               : 25
   transitions         : 10

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

=================== Stats ===================
   validCalls          : 76
   proverCalls         : 7
   memory (bytes)      : 460324864
   time (s)            : 3.4
   maxProcs            : 1
   statesInstantiated  : 114
   statesSaved         : 13
   statesSeen          : 13
   statesMatched       : 0
   steps               : 28
   transitions         : 12

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

=================== Stats ===================
   validCalls          : 86
   proverCalls         : 7
   memory (bytes)      : 460324864
   time (s)            : 4.79
   maxProcs            : 1
   statesInstantiated  : 125
   statesSaved         : 15
   statesSeen          : 15
   statesMatched       : 0
   steps               : 31
   transitions         : 14

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

=================== Stats ===================
   validCalls          : 96
   proverCalls         : 7
   memory (bytes)      : 734003200
   time (s)            : 4.95
   maxProcs            : 1
   statesInstantiated  : 136
   statesSaved         : 17
   statesSeen          : 17
   statesMatched       : 0
   steps               : 34
   transitions         : 16

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

=================== Stats ===================
   validCalls          : 106
   proverCalls         : 7
   memory (bytes)      : 735051776
   time (s)            : 8.61
   maxProcs            : 1
   statesInstantiated  : 147
   statesSaved         : 19
   statesSeen          : 19
   statesMatched       : 0
   steps               : 37
   transitions         : 18

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

=================== Stats ===================
   validCalls          : 116
   proverCalls         : 7
   memory (bytes)      : 734003200
   time (s)            : 10.06
   maxProcs            : 1
   statesInstantiated  : 158
   statesSaved         : 21
   statesSeen          : 21
   statesMatched       : 0
   steps               : 40
   transitions         : 20

The standard properties hold for all executions.

