Investigating solver properties.