Changed calculation of subintervals, changed calculation of the length
of intervals and changed the filtering of intervals. Now the Darwin
example works with 5 witnesses.