RPCST solver method names, and scoreUB bug in enumsolver