all solver names are being converted to lower case prior to lookup