I don't know the internals, so I am just guessing. The constraint myConstraintBB
is significantly more complicated than myConstraintAA
, and the complexity of the algebraic algorithms increases very very rapidly with the size of the input. I would personally try a simpler model with fewer variables.