Contains all empirically evaluated models and results for the paper SMT-Based Variability Analyses in FeatureIDE. Void Explanations were not measures as none of the models were void.
All used systems were evaluated via FeatureIDE.
All models for the feature model analyses can be found here. All models from XSEngine to vrc4375.
automotive model used for the configuration analyses can be found here. The model is named Automotive02_V4.
The first antenna preprocessor example project for the preprocessor analyses can be found here and the second example project can be found here.
All the models for attribute range analysis can be found here.