changed option to run inequality solver by default