BMSSP_Correctness.BMSSP_Partition_Interface