Eclipse plugin featureIDE中的产品生成没有为每个产品生成正确的功能组合

我正在使用featureIDE，希望从功能模型自动生成所有有效的产品。我用一个简单的模型和一些约束尝试了featureIDE的产品生成选项。我希望最终有九个有效的产品，并且数字是正确的，但是当我检查每个配置文件中的功能组合时，有些产品中缺少一些功能

模型如下：

我期望以下功能组合：

P1:t1_4 v1

P2:t1_4 v3

P3:t1_5 v3

P4:t2_5 v1

P5:t2_10 v1

P6:t3_5 v2

P7:t3_5 v3

P8:t3_10 v2

P9:t3_10 v3

但我只得到了少数几个功能组合正确的功能，其中大多数功能缺失或双功能

下面是我得到的一些配置

以前有人讨论过这个问题吗

谢谢大家!