Hi,
thank you for your performance check. I will check this in detail for the next version. However, I can see the problem is in Antecedent::activationDegree(), where there are a few dynamic_cast<> that could be removed by adding the necessary methods to check the type of Expression. I am not sure what dynamic_cast you changed for static_cast, and this should be done very carefully. If you are interested in performing some changes that I have in mind, and then measuring the performance, I could provide more details. Let me know. The changes I am thinking of involve removing the dynamic_cast from Antecedent::activationDegree(). They should improve the performance.
Cheers.