[Termtools] C integer transitions - need benchmarks for testing

[Thiemann, Rene]

> Johannes wrote:
> 
> for the new "C integer transitions" category,
> I could use some benchmarks for testing.
> 
> This is just for testing - you should still
> make a real benchmark submission, for inclusion with TPDB.

and please send these real submissions to me, preferable until tomorrow, as indicated by the deadlines on 

http://termination-portal.org/wiki/Termination_Competition_2015

René