Portfolio for MaxSAT described originally in: Carlos Ansótegui, Yuri Malitsky, Meinolf Sellmann: MaxSAT by Improved Instance-Specific Algorithm Configuration. AAAI 2014: 2594-2600 ms_portfolio_2015.sh for MaxSAT category at MSE-2015 pms_portfolio_2015.sh for Partial MaxSAT category at MSE-2015 wpms_portfolio_2015.sh for Weighted Partial MaxSAT category at MSE-2015.