Add solver benchmark