added more execution time to one example of the DListSpec