RUNNING_SOLVER is a list.