Diamond: How does Timing Analysis use the CLKOFFSET value of the INPUT_SETUP preference?

Diamond: How does Timing Analysis use the CLKOFFSET value of the INPUT_SETUP preference?

Consider an example report with INPUT_SETUP preferences, one with a 0.5 X CLKOFFSET and another one with -0.5 X CLKOFFSET. The calculation should be the following:

Externally, user is using a positive-edge triggered flop and internally the tool is capturing it with the next negative edge. By adding 20 ns (half period) to the data path, the positive edge of clock has a delay of 20 ns and the negative edge 40 ns. Thus:
 
 -(40 + 1.771) + 20.796 = -20.975 ns