Compare time spent in fixpoint vs NN in nodes

[jardinetsouffleton]

The goal of this issue is to caracterize the amount of time spent in nodes of the search tree: how much time is spent in constraint progapation vs of much time is spent in inference for the neural net.

To have a conclusive analysis, we should get results for different problem instances and types.