more meaningful names in solver_pm_t