SLDVで解析が進まない理由

sldvで機能モデル（基本double型）の設計エラー確認をしたいです。ゼロ割とデッドロジック（網羅）を確認したいのですが、どうも途中で解析が進まなく設定されていた解析時間でタイムアウトしてしまいます。( ポップアップ上80 /100解析から進まないような感じ) 。ゼロ割だけに絞った場合解析はできたので、デッドロジックの解析だと進まないのですが、理由としては何がありますでしょうか。