Instances for Partially Weighted MaxSAT generated from SMACCMPilot benchmarks. - View it on GitHub