Add solver comparison example.