Open Kallistos opened 4 years ago
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”
The following has to be done:
Thank you for providing the information.
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”