A benchmark of optimally folded protein structures using integer programming and the 3D-HP-SC model. (February 2020)