IncWMaxSatz is the weighted version of inc-maxsatz. It is based on W-MaxSatz.