Save the output bounds into files with different extension as below: 

*.naive.sysout file is the results using naive widen strategy 

*.gradual.sysout file is the result using gradual widen strategy.