models of the ORCA case study in piSOD-M