[Cbc] 2 buggy examples

[Gleb Belov]

Hi,

attaching 2 examples where cbc reports wrong answers in default setting. 
The 1st one says "infeasible" in 4 seconds, the 2nd delivers a wrong 
optimum 26 in 72 seconds (KUbuntu 15.04, 64-bit, i7-4k).

These models are derived from the original CP models using simple&dense 
unary encodings (i.e., a binary variable for each value in the domain). 
With "-preprocess off" or when the encodings are sparse, the wrong 
answers are not produced.

Gleb
-------------- next part --------------
A non-text attachment was scrubbed...
Name: tdtsp_10_34_00.mps.gz
Type: application/x-gzip
Size: 434207 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20160222/2cd21948/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mspsp_medium_5.mps.gz
Type: application/x-gzip
Size: 358748 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20160222/2cd21948/attachment-0003.bin>