
blah 
blah
NAME: foo.c
CITE: \cite{foo:2056:blah}
TYPE: $\text{O}^a$
SCALE: $\texttt{NT}\leq 5$


files,language,blank,comment,code,"http://cloc.sourceforge.net v 1.62  T=0.01 s (121.4 files/s, 20393.1 lines/s)"
1,C,11,38,119


18s: mem=746Mb steps=38494 trans=19331 seen=19332 saved=20117 prove=322
33s: mem=796Mb steps=96228 trans=46971 seen=46972 saved=49140 prove=453

=================== Stats ===================
   validCalls          : 408269
   proverCalls         : 473
   memory (bytes)      : 835715072
   time (s)            : 37.41
   maxProcs            : 4
   statesInstantiated  : 643789
   statesSaved         : 56881
   statesSeen          : 54307
   statesMatched       : 0
   steps               : 111704
   transitions         : 54306

blah blah blah


NAME: foo.c
CITE: \cite{foo:2056:blah}
TYPE: $\text{O}^a$
SCALE: $\texttt{NT}\leq 5$



files,language,blank,comment,code,"http://cloc.sourceforge.net v 1.62  T=0.01 s (121.4 files/s, 20393.1 lines/s)"
1,C,11,38,119



18s: mem=746Mb steps=38494 trans=19331 seen=19332 saved=20117 prove=322
33s: mem=796Mb steps=96228 trans=46971 seen=46972 saved=49140 prove=453

=================== Stats ===================
   validCalls          : 408269
   proverCalls         : 473
   memory (bytes)      : 835715072
   time (s)            : 37.41
   maxProcs            : 4
   statesInstantiated  : 643789
   statesSaved         : 56881
   statesSeen          : 54307
   statesMatched       : 0
   steps               : 111704
   transitions         : 54306

blah blah blah

