let print_stats_certificate visited cname = printf "Certificate generation : %a@." print_time (TimeCertificate.get ()); printf "Quantified clauses : %d@." (List.length visited); printf "File size : %a@." print_file_size (Unix.stat cname).Unix.st_size