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 (128.3 files/s, 19758.4 lines/s)"
1,CUDA,36,21,97
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)      : 1383071744
   time (s)            : 12.92
   maxProcs            : 14
   statesInstantiated  : 388700
   statesSaved         : 16228
   statesSeen          : 16154
   statesMatched       : 8706
   steps               : 48114
   transitions         : 24859

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 (68.5 files/s, 9865.7 lines/s)"
1,CUDA,23,29,92
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)      : 1283457024
   time (s)            : 15.73
   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 (63.2 files/s, 15611.9 lines/s)"
1,CUDA,47,64,136
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          : 51953
   proverCalls         : 17
   memory (bytes)      : 920649728
   time (s)            : 5.86
   maxProcs            : 11
   statesInstantiated  : 57432
   statesSaved         : 2970
   statesSeen          : 2936
   statesMatched       : 1124
   steps               : 7841
   transitions         : 4059

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 (69.7 files/s, 5995.5 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)      : 650117120
   time (s)            : 4.75
   maxProcs            : 15
   statesInstantiated  : 92597
   statesSaved         : 5231
   statesSeen          : 4971
   statesMatched       : 1664
   steps               : 11710
   transitions         : 6634

The standard properties hold for all executions.
