某算法的部分流程图如图所示，执行这部分流程，下列说法正确的是（    ）

A、其中语句i<=5共执行了6次

B、程序结束后s值可能为3

C、流程执行结束后k值一定为1

D、流程执行过程中共产生5个t值，t值取值为1或2