Discrepancies in execution time with identical configurations

[Ding0042]

Hi,
I have been using your Java library and noticed significant differences in execution time when running the same configuration repeatedly.
As can be seen from the picture, conflicts and decisions are consistent, but the execution time is greatly different.

Could you shed some light on this issue? Any insights or suggestions would be greatly appreciated.

[NikolajBjorner]

try running with verbose=10 and observe time taken during pre-processing tactics if they differ.