I was instructed (by email, post not in forum) to clear up structural violations and once I was able to clear all the structural violations in the design I fired a run to perform all the functional CDC checks. The total run time taken was approx. 5-6 days, but to my suprise most (95%) of the checks returned a status of ED (explored depth), indicating a higher prove effort is required (but atleast the run finished with some results).
If I do increase prove effort won't it increase the already long run time or are there any other suggestions on how I may proceed to reduce the run time by also reducing the total number of ED paths.
Thanks for the help,