Data updates (OKsolver and Tanbir Ahmed's solver).