RSMT Test Cases