Add solver runtime to Minisat backend