SCIP EX1.18 Perform faster integer multiplication by means of repeated addition in iterative 2016-04-29