Added class intervalcoverage. To record the DP result in intervalcoverage.