These weighted partial MaxSAT instances come from the Package Upgradability problem [1]. Instances were generated by the packup tool [2] for the "embedded" and "paranoid-size" category of the basic track of the MISC-2012 competition [3]. [1] http://www.mancoosi.org/ [2] M. Janota, I. Lynce, V. Manquinho, J. Marques-Silva. PackUp: Tools for Package Upgradability Solving. Journal on Satisfiability, Boolean Modeling and Computation, Volume 8, 2012 [3] http://www.mancoosi.org/misc-2012/