Updates for new weights.

The weights for the tau-heuristics seem to move in the wrong direction.