Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization