Only print stats in case any clauses were input to the solver