Hello,
We stopped using the partial model in Princess here as there were several solver issues when using it with rational formulas. Most of these issues have now been resolved by the Princess developers and we should look into whether it's possible to return to using the partial model in JavaSMT.