Grammar-based performance analyze

[Kallistos]

Analyze performance of the grammar-based sampling strategy

Time to sample is stored in the log of the individual runs in an additional line:
“ConfigurationSampling done in $0 ms”

[ChristianKaltenecker]

The following has to be done:

• Adjust the scripts so that not only one, but multiple different machine-learning algorithms are analyzed.
• Additionally analyze the performance of the sampling process

Thank you for providing the information.