Updating UTS benchmark to include naive lazy scheduling version and
eager split-half schedling