NAME: cuda-omp.cu
CITE: \cite{arc:cuda}
TYPE: $\text{C}$
SCALE: {\texttt{1$\leq$NBLK$\leq$4,1$\leq$NTperBLK$\leq$2}}

files,language,blank,comment,code,"http://cloc.sourceforge.net v 1.62  T=0.01 s (159.3 files/s, 24379.0 lines/s)"
1,CUDA,36,19,98
civl verify -enablePrintf=false  -inputBLOCK_B=4 -inputTHREADS_B=2 cuda-omp.cu
CIVL v0.16 of 2015-1-6 -- http://vsl.cis.udel.edu/civl

=================== Stats ===================
   validCalls          : 638968
   proverCalls         : 81
   memory (bytes)      : 1379926016
   time (s)            : 12.92
   maxProcs            : 14
   statesInstantiated  : 388839
   statesSaved         : 16252
   statesSeen          : 16178
   statesMatched       : 8706
   steps               : 48139
   transitions         : 24883

The standard properties hold for all executions.
NAME: dot.cu
CITE: \cite{sanders-kandrot:2010:cuda-by-example}
TYPE: $\text{C}$
SCALE: {\texttt{1$\leq$N$\leq$6, 1$\leq$NTperBLK$\leq$4}}

files,language,blank,comment,code,"http://cloc.sourceforge.net v 1.62  T=0.01 s (67.0 files/s, 9922.7 lines/s)"
1,CUDA,23,28,97
civl verify -enablePrintf=false  -inputN_B=6 -inputthreadsPerBlock_B=4 dot.cu
CIVL v0.16 of 2015-1-6 -- http://vsl.cis.udel.edu/civl

=================== Stats ===================
   validCalls          : 588610
   proverCalls         : 165
   memory (bytes)      : 1321730048
   time (s)            : 15.44
   maxProcs            : 14
   statesInstantiated  : 546871
   statesSaved         : 24746
   statesSeen          : 24536
   statesMatched       : 11354
   steps               : 71175
   transitions         : 35889

The standard properties hold for all executions.
NAME: matMult1.cu
CITE: \cite{rcac:cuda}
TYPE: $\text{C}$
SCALE: {\texttt{NBLK=4,NTperBLK=1}}

files,language,blank,comment,code,"http://cloc.sourceforge.net v 1.62  T=0.02 s (64.4 files/s, 15913.9 lines/s)"
1,CUDA,47,74,126
civl verify -enablePrintf=false  -inputN=2 -inputTILE_WIDTH=1 matMult1.cu
CIVL v0.16 of 2015-1-6 -- http://vsl.cis.udel.edu/civl

=================== Stats ===================
   validCalls          : 51909
   proverCalls         : 17
   memory (bytes)      : 920649728
   time (s)            : 5.71
   maxProcs            : 11
   statesInstantiated  : 57208
   statesSaved         : 2942
   statesSeen          : 2908
   statesMatched       : 1124
   steps               : 7785
   transitions         : 4031

The standard properties hold for all executions.
NAME: sum.cu
CITE: \cite{hathhorn-etal:2012:cuda-semantics}
TYPE: $\text{C}$
SCALE: {\texttt{NBLK=4,NTperBLK=2}}

files,language,blank,comment,code,"http://cloc.sourceforge.net v 1.62  T=0.01 s (73.1 files/s, 6283.4 lines/s)"
1,CUDA,13,4,69
civl verify -enablePrintf=false  -inputN=8 -inputNBLOCKS=4 sum.cu
CIVL v0.16 of 2015-1-6 -- http://vsl.cis.udel.edu/civl

=================== Stats ===================
   validCalls          : 138359
   proverCalls         : 13
   memory (bytes)      : 920649728
   time (s)            : 4.71
   maxProcs            : 15
   statesInstantiated  : 92597
   statesSaved         : 5231
   statesSeen          : 4971
   statesMatched       : 1664
   steps               : 11710
   transitions         : 6634

The standard properties hold for all executions.
