Closed
Description
In the benchmarks for exhaustivity V we can see that the performance went from 1.5 to 2.3 in #2197.
We should explore if this slowdown is justified and see if we can improve it.
In the benchmarks for exhaustivity V we can see that the performance went from 1.5 to 2.3 in #2197.
We should explore if this slowdown is justified and see if we can improve it.