The current docking protocol has a hard coded score function for the high res cycle, which is the docking with docking_min patch. Since this hasn’t changed for a few years, I would expect the server to use the same score function. Sergey can confirm this. We are in the process of transitioning to REF2015.