Checked in the HPWL difference computation function