Not timing BellmanGPU