Dump learned clauses.