In reply to sk7799:
Sometimes the constraint solving problem becomes too complicated to be solved in a reasonable amount of time. This example has an array of 200 elements each needing to be at least 6 bits. So that is 1200 bits all with many interwoven constraints between them. Breaking the constraints into two separate sets reduces the complexity.
The repeat(2) is insignificant, it was just for debugging. I should have changed it back to 200 as in your original example.