removed solver caching to get more fair comparison.