BiqCrunch will not modify your model before solving it, so be cautious when modeling your problem. The semidefinite bound and the efficiency of the solver could be affected. In particular, if one wants to get a stronger underlying semidefinite relaxation, some extra constraints (redundant in the initial 0-1 model) should be added in the model. A small example illustrating this point is provided in /problems/generic/examples/.