Don't test operations on the boundaries of representable value ranges, because the results are solver dependent.
Add Access test.
Replace some of the IlogCP tests with corresponding solver tests.