fix (performance) bug in nogood grounder; small update in house benchmark