An Experimental Study of Permanently Stored Learned Clauses